Algorithm Problem
Arcome
这个作者很懒,什么都没留下…
展开
-
算法概论 - 8.8
Problem在精确的4SAT(EXACT 4SAT)问题中,输入为一组子句,每个子句都是恰好4个文字的析取,且每个变量最多在每个子句中出现一次。目标是求它的满足赋值————如果该赋值存在。证明精确的4SAT是NP-完全问题。Reduction考虑通过将3SAT问题归约到4SAT(EXACT 4SAT)问题来验证4SAT(EXACT 4SAT)问题的NP完全性原创 2016-11-29 23:49:08 · 535 阅读 · 0 评论 -
算法概论 - 8.9
Problem在碰撞集(HITTING SET)问题中,给定一组集合 {S1,S2,...,SnS_1,S_2, ... ,S_n} 和预算bb,我们希望求一个所有的 SiS_i 相交且规模不超过 bb 的集合 HH,当然,前提是这样的集合确实存在。换句话说,我们希望对所有的 ii 满足 H∩Si=ϕH \cap S_i = \phi 。请证明该问题是NP-完全的。Solution通过将最小顶点覆盖原创 2016-12-01 16:47:00 · 435 阅读 · 0 评论 -
算法概论 - 8.14
Problem证明如下问题是NP-完全的:给定一个无向图G=(V,E)G=(V, E) 和整数kk,求GG 中一个规模为kk的团以及一个规模为kk的独立集。假定它们都是存在的。Solution可以将最大团问题归约到此问题。对于任意无向图G=(V,E)G=(V, E),假设GG中最大团大小为k。在图GG中添加k个相互独立的点。由于这k个点相互独立,所以GG中团的大小仍为k。此时求GG中一个规模为kk的原创 2016-12-01 17:17:19 · 469 阅读 · 0 评论 -
算法概论 - 8.15
Problem最大公共子图问题。 证明如下问题是NP完全的: 输入:两个图 G1=(V1,E1)G_1=(V_1,E_1) 和 G2=(V2,E2)G_2=(V_2,E_2),预算bb; 输出:两个节点集合V′1⊆V1V_1'\subseteq V_1和V′2⊆V2V_2'\subseteq V_2,它们被移除后,将在两图中分别留下至少bb个节点,且图的剩余部分完全一样。Solution可将最原创 2017-01-13 16:20:41 · 397 阅读 · 0 评论 -
算法概论 - 8.19
Problem所谓风筝图是这样的,其顶点数为偶数(比如2n),且其中的n个顶点构成了一个团,剩余的n个顶点则由一条称为“尾巴”的路径连接,尾巴的某个端点与团中的一个顶点相连。给定一个图和目标g,风筝图问题要求该图的一个包含2g各顶点的风筝子图。请证明该问题是NP完全的。Solution可将最大团问题归约到风筝图问题。设有图G(V,E),在G中添加V个新顶点,将这V各新顶点分别与G中各个不同的顶点相连原创 2017-01-13 16:24:19 · 610 阅读 · 0 评论 -
算法概论 - 8.3
Problem吝啬SAT问题是这样的:给定一组子句(每个子句都是其中文字的析取)和整数k,求一个最多有k各变量为true的满足赋值 —— 如果该赋值存在。证明吝啬SAT是NP完全问题。Solution可以将SAT问题归约到此问题。首先,若得到了吝啬SAT问题的一个解,按照此解对吝啬SAT的每个子句赋值,即可验证这个解是否成立,这个过程是多项式时间的,所以吝啬SAT是NP问题。 下面将SAT问题归约原创 2017-01-12 17:36:10 · 362 阅读 · 0 评论