ImageVerifierCode 换一换
格式:PPT , 页数:11 ,大小:224KB ,
资源ID:377850      下载积分:2000 积分
快捷下载
登录下载
邮箱/手机:
温馨提示:
快捷下载时,用户名和密码都是您填写的邮箱或者手机号,方便查询和重复下载(系统自动生成)。 如填写123,账号就是123,密码也是123。
特别说明:
请自助下载,系统不会自动发送文件的哦; 如果您已付费,想二次下载,请登录后访问:我的下载记录
支付方式: 支付宝扫码支付 微信扫码支付   
验证码:   换一换

加入VIP,免费下载
 

温馨提示:由于个人手机设置不同,如果发现不能下载,请复制以下地址【http://www.mydoc123.com/d-377850.html】到电脑端继续下载(重复下载不扣费)。

已注册用户请登录:
账号:
密码:
验证码:   换一换
  忘记密码?
三方登录: 微信登录  

下载须知

1: 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。
2: 试题试卷类文档,如果标题没有明确说明有答案则都视为没有答案,请知晓。
3: 文件的所有权益归上传用户所有。
4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
5. 本站仅提供交流平台,并不能对任何下载内容负责。
6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

版权提示 | 免责声明

本文(A New Algorithm for Optimal 2-Constraint Satisfaction and Its .ppt)为本站会员(diecharacter305)主动上传,麦多课文库仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对上载内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知麦多课文库(发送邮件至master@mydoc123.com或直接QQ联系客服),我们立即给予删除!

A New Algorithm for Optimal 2-Constraint Satisfaction and Its .ppt

1、A New Algorithm for Optimal 2-Constraint Satisfaction and Its Implications,Ryan Williams Computer Science Department, Carnegie Mellon UniversityPresented by Mu-Fen Hsieh,MAX-CUT,Given a graph G = (V,E), positive integer N, is there a partition of V into disjoint sets S and T=V-S such that the number

2、 of the edges from E that have one endpoint in S and one endpoint in T is at least N? Proved to be NP-hard by reducing from MAX-2-SAT Karp, 1972 Can be solved in polynomial time if G is planar Hadlock, 1975, Orlova et al., 1972 Can be transformed to an instance of MAX-2-SAT in polynomial time,MAX 2-

3、Satisfiability,Given a set U of n variables, a collection C of m clauses over U such that each clause has |c| = 2, positive integer N |C|, is there a truth assignment for U that simultaneously satisfies at least N of the clauses in C? Garey et al., 1976 Solvable in polynomial time if N = |C| Even et

4、 al., 1976 Approximated in O(2-)n), O(2-)m) Dantsin et al.,2001 Previous best worst-case bound: O*(2m/5) Hirsch et al., 2003 This paper counts number of truth assignments that simultaneously satisfies exactly N of the clauses in C in O(m32n/3) time,Encode Max-Cut as Max-2-SAT,The size of the cut ass

5、ociated to the assignment = |E| - number of violated clauses,T,T,T,F,F,F,Split and list: split the set of n variables into k partitions of equal size, and list 2n/k variable assignments for each partition.,Set k=3, we get O(m32n/3),MAX-CUT,MAX-2-SAT,k-CLIQUE,Matrix Multiplication,Polynomial-time tra

6、nsformation,Split and list,Fast k-Clique Detecting and Counting,Locate 3-clique: given G = (V,E) with n = |V|, let A(G) be its adjacency matrix. tr(A(G)3) = 6 * (number of triangles in G),0 1 11 0 11 1 0,A(G)=,2 1 1 1 2 1 1 1 2,A(G)2=,2 3 33 2 33 3 2,A(G)3=,Fast k-Clique Detecting and Counting,Locat

7、e k-clique: build a graph Gk/3 = (Vk/3,Ek/3) where Vk/3 = (k/3)-cliques in G and Ek/3 = c1,c2:c1,c2 Vk/3,c1 c2 is a (2k/3)-clique in G Each triangle in Gk/3 corresponds to a unique k-clique in G? Time complexity: For example, to locate 6-clique:,Split and List,Step 1: Delegating responsibilityDefine

8、 responsibility map r: C (|k| ),x1 x2 0 0 0 1 1 0 1 1,x3 x4 0 0 0 1 1 0 1 1,x5 x6 0 0 0 1 1 0 1 1,Split and List (Cont.),Step 2: Weighting accordinglyConsider the partitions as a weighted k-partite complete graph. Assign weights to both vertices and edges.,x1 x2 0 0 0 1 1 0 1 1,x3 x4 0 0 0 1 1 0 1 1

9、,x5 x6 0 0 0 1 1 0 1 1,# of cliques = 2n,# of vertices = k2k,Split and List (Cont.),Step 3: Enumerate unweighted graphs reducing from the weighted graph in step 2. Each unweighted graph, constructed in amortized time O(1), consists of cliques of weight N. Decompose N into different combinations of w

10、eights ( nonnegative integers)Consider variables y1,2, y1,3,yk-1,k where y1,2 0,1,2,N. Solve the following equation: y1,2+y1,3+y1,k + y2,1 +yk-1,k = Nvi: some node in partition i w(): weight of some node or some edge,w(v1) + w(v2) + w(v1,v2),w(vj) + w(vi,vj),w(vi,vj),Time Complexity,Set k=3, we get O(m32n/3),

copyright@ 2008-2019 麦多课文库(www.mydoc123.com)网站版权所有
备案/许可证编号:苏ICP备17064731号-1