Questions tagged «np-hard»

决策问题至少与NP完全问题一样困难

1
寻找最佳问题顺序以最大程度地减少学生的总时间
假设有一个大学的辅导课。我们有一组问题Q = { q 1 … q k }和一组n个 学生S = { s 1 … s n }。每个学生有问题,即,针对每个学生的特定子集疑问小号Ĵ,让Q Ĵ ⊆ Q是一系列问题,一个学生都有怀疑。假设 ∀ 1 ≤ Ĵ ≤ ñ :Q Ĵ ≠ķkkQ = { q1个… qķ}Q={q1…qk}Q = \{ q_1 \ldots q_k \}ñnn小号= { s1个… 秒ñ}S={s1…sn}S = \{ s_1 \ldots s_n \}sĴsjs_j问Ĵ⊆ QQj⊆QQ_j …

2
regex填字游戏对NP有用吗?
前几天,我在这个网站上闲逛:http : //regexcrossword.com/,这让我想知道解决它的最佳方法是什么。 您可以在多项式时间内解决以下问题吗?还是NP难? 给定一个NxM网格,其中N个正则表达式用于列,M个用于行,请找到该网格的任何解决方案,以便满足所有正则表达式,或者说不存在任何解决方案。

2
MIN-2-XOR-SAT和MAX-2-XOR-SAT:它们是NP硬的吗?
和\ text {MAX-2-XOR-SAT}的复杂性是什么?他们在P吗?他们是NP硬手吗?MIN-2-XOR-SATMIN-2-XOR-SAT\text{MIN-2-XOR-SAT}MAX-2-XOR-SATMAX-2-XOR-SAT\text{MAX-2-XOR-SAT} 为了更精确地将其形式化,让 Φ(x)=∧niCi,Φ(x)=∧inCi,\Phi\left(\mathbf x\right)={\huge\wedge}_{i}^{n}C_i, 其中x=(x1,…,xm)x=(x1,…,xm)\mathbf{x} = (x_1,\dots,x_m)并且每个子句CiCiC_i的形式为(xi⊕xj)(xi⊕xj)(x_i \oplus x_j)或(xi⊕¬xj)(xi⊕¬xj)(x_i \oplus \neg x_j)。 该2-异或2-异或\text{2-XOR-SAT}问题是要找到一个分配XX\mathbf{x}是满足ΦΦ\Phi。这个问题在PPP,因为它对应于线性方程组mod 222。 该MAX-2-XOR-SATMAX-2-XOR-SAT\text{MAX-2-XOR-SAT}问题是要找到一个分配XX\mathbf{x},最大限度地提高被满足子句的数目。该MIN-2-XOR-SATMIN-2-XOR-SAT\text{MIN-2-XOR-SAT}问题是要找到一个分配XX\mathbf{x},最大限度地减少被满足子句的数目。这些问题的复杂性是什么? 受到MIN或MAX-True-2-XOR-SAT NP-hard的启发吗?

2
coNP完整性是否暗示NP硬度?
coNP完整性是否暗示NP硬度?特别是,我有一个问题,证明我已经完成了coNP。我可以声称它是NP硬性的吗?我意识到我可以声称coNP困难,但是我不确定该术语是否标准。 我对这样的说法感到满意,即如果NP完全问题属于coNP,则NP = coNP。但是,这些讲义指出,如果NP难题属于coNP,则NP = coNP。然后,这表明我不能断言我的问题是NP难题(或者我已经证明coNP = NP,我对此表示高度怀疑)。 也许,我的想法有问题。我认为一个coNP完全问题是NP难题,因为: NP中的每个问题都可以简化为互补,即属于coNP。 coNP中的补数问题简化为我的coNP完全问题。 因此,我们从NP的每个问题都减少到我的coNP完全问题,所以我的问题是NP困难。

1
用矩形块覆盖的NP硬度(Google哈希代码2015年测试回合)
Google Hash Code 2015测试回合(问题说明)询问了以下问题: 输入:具有一些标记正方形的网格,阈值,最大面积Ť ∈ Ñ甲∈ Ñ中号MMŤ∈ ñT∈NT \in \mathbb{N}甲∈ ÑA∈NA \in \mathbb{N} 输出:一组整数(以为单位)的不相交矩形的最大可能总面积,以使每个矩形至少包含标记的正方形,每个矩形最多具有面积。Ť 一中号MMŤTT一种AA 用Google的术语来说,网格是比萨饼,标记的正方形是火腿,不相交的矩形是切片。 通过添加一个额外的输入我们可以清楚地将这个问题改写为决策问题,并将答案设为“是否存在满足总面积至少为正方形的条件的一组不相交的矩形”。 ÑÑ ∈ Ñn∈Nn \in \mathbb{N}ñnn 我的问题是:虽然Google问题要求应聘者为特定情况下的计算问题找到“尽可能好的”解决方案,但我认为一般问题(在其决策措词中)很可能是NP完全的。但是,我找不到显示NP硬度的减少量。(NP成员身份是即时的。)如何证明此问题对NP不利? 下面是一些示例,以帮助可视化问题。考虑 x网格,带有标记的正方形,和,以图形方式表示以指示标记的正方形:4 { 0 ,1 ,2 ,3 } × { 0 ,1 ,2 ,3 } (1 ,1 )(0 ,2 )(2 ,2 )444444{ 0 ,1 ,2 ,3 …

1
减少到TSP的连续优化问题
假设我在平面上得到了一组有限的点,并要求通过绘制两次可微分的曲线,以使其周长尽可能小。假设和,我可以将这个问题形式化为:p1,p2,..pnp1,p2,..pnp_1,p_2,..p_nC(P)C(P)C(P)pipip_ipi=(xi,yi)pi=(xi,yi)p_i=(x_i,y_i)xi&lt;xi+1xi&lt;xi+1x_i<x_{i+1} 问题1(根据Suresh的评论进行编辑)确定 参数函数,使得弧长 最小化,其中,对于所有,我们有。C2C2C^2x(t),y(t)x(t),y(t)x(t),y(t)tttL=∫[t∈0,1]x′2+y′2−−−−−−−√dtL=∫[t∈0,1]x′2+y′2dt L = \int_{[t \in 0,1]} \sqrt{x'^2+y'^2}dtx(0)=x1,x(1)=xnx(0)=x1,x(1)=xnx(0) = x_1, x(1) = x_nti:x(ti)=xiti:x(ti)=xit_i: x(t_i) = x_iy(ti)=yi)y(ti)=yi)y(t_i)=y_i) 我如何证明(或反驳)问题1是NP问题? 为什么我怀疑NP硬度 假设假设是宽松的。显然,最小弧长的功能是的Traveling Salesman旅行。也许约束只会使问题变得更加困难?p 我Ç 2C2C2C^2pipip_iC2C2C^2 上下文在MSE上发布了此问题的变体。在那里和MO都没有得到答案。考虑到解决问题并非易事,我想确定问题的难度。

1
证明有向图诊断很困难
我有一段时间一直在做作业,我一直在努力,对此我将不胜感激。这是关于选择一个已知问题的,该问题的NP完全性得到证明,然后构造从该问题到下一个问题的归约关系,我将其称为DGD(有向图诊断)。 问题 DGD 一个实例由顶点V = I组成。∪ Ø 。∪乙,向边Ë和一个正整数ķ。共有三种类型的顶点:仅具有输入边I的顶点,仅具有输出边O的顶点和具有输入和输出边B的顶点。此外,令D =O × I。(五,E,k )(V,Ë,ķ)(V,E,k)V= 我∪。Ø ∪。乙V=一世∪。Ø∪。乙V = I \overset{.}{\cup} O \overset{.}{\cup} BËËEķķk一世一世IØØO乙乙BD = O × 我d=Ø×一世D=O\times I 现在的问题是,我们是否可以覆盖最多D个元素的所有节点,即ķķkddD ∃小号⊆ d ,| 小号| ≤ķ。∀ v ∈ V。∃ (v1个,v2)∈ 小号。v 1个→∗v →∗v2∃小号⊆d,|小号|≤ķ。 ∀v∈V。 ∃(v1个,v2)∈小号。 v1个→∗v→∗v2\qquad \displaystyle \exists\,S\subseteq D, |S|\leq k.\ \forall\, v\in V.\ \exists\,(v_1,v_2) …

1
仅当至少一个是NP-hard时,NP-完全集才由另外两个集合形成吗?
该问题与先前关于由NP-完全集的集合运算形成的集合的问题相反: 如果由两个可确定集合 和并集,交集或笛卡尔乘积得出的集合是NP完全的,则中的至少一个是否一定是NP困难的?我知道它们不能都在P中(假设P!= NP),因为在这些设置操作下P是关闭的。我还知道“可判定”和“ NP难”的条件是必要的,因为如果我们考虑NP 之外的任何NP完全集和另一个集(无论是NP难还是不可判定),那么我们可以形成两个新的NP硬集不在交集为NP完全的NP中。例如:和。但是,此后我不知道如何进行。 大号2 大号1,大号2大号乙大号1:= 01 大号∪ 11 乙大号2:= 01 大号∪ 00 乙L1L1L_1L2L2L_2L1,L2L1,L2L_1, L_2LLLBBBL1:=01L∪11BL1:=01L∪11BL_1:= 01L \cup 11BL2:=01L∪00BL2:=01L∪00BL_2:= 01L \cup 00B 我认为并集的情况可能不正确,因为我们可以采用NP完全集合并按照Ladner定理执行构造,以得到NPI中的集合它是的子集。那么是原始的NP完全集合。但是,我不知道是否仍处于NPI或NP-hard中。对于交叉点和笛卡尔积,我什至不知道从哪里开始。乙∈ 甲乙∪ (甲∖ 乙)= 阿甲∖ 乙AAAB∈B∈B \inAAAB∪(A∖B)=AB∪(A∖B)=AB \cup (A \setminus B) = AA∖BA∖BA \setminus B


3
用浮桥NP-连接岛屿是否完整?
我脑子里有一个问题,我认为这是一个NPC问题,但我不知道如何证明。 这是问题所在: 在一个非常大的湖泊中有k个岛,并且有n 个扇形浮桥。这些浮桥大小相同,但初始方向不同,在湖中的原始位置也不同。浮桥可以绕其质心自由旋转,并且没有旋转的成本。 现在我们需要移动那些浮桥,以便可以连接湖中的所有岛屿。我们可以保证浮桥的数量足以连接所有岛屿。 [注意]:我们不能重复使用浮筒!! 任务是找到具有最小移动浮桥总距离的解决方案,以使所有孤岛相连。移动一个浮桥的距离可以计算为质心的原始位置与其展开位置之间的距离。 为了清楚起见,我画了一个这样的数字。假设我们有3个岛A,B和C。它们位于湖中某处。我有几个扇形的卡通漫画。现在的解决方案是找到连接图A,B和C的最小移动距离总和,如图底部所示。希望它有助于理解问题。:) 看来问题出在NPC上,但我不知道要证明这一点。谁可以帮我这个事?
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.