Questions tagged «np-intermediate»

1
多项式为yes的NP完全问题?
我的印象中,每一个NP完全问题,对于无限多个输入尺寸,唯唯诺诺的情况下接管尺寸的所有可能的输入数量,(至少)在指数。nnnnnnnnn 这是真的?是否可以证明(可能仅在的假设下)?还是我们可以人为地找到一个问题,对于所有(足够大)来说,yes-instances的数量最多为多项式?P≠NPP≠NPP\neq NPnnnnnn 我的推理基本上是给定3-SAT的yes实例,我们可以在每个子句中识别出使它为true的文字,并用另一个变量替换该子句中的另一个变量,而不会改变它的可满足性。由于我们可以对每个子句执行此操作,因此它会导致数量成倍的yes-instances。汉密尔顿路径等许多其他问题也是如此:我们可以自由更改路径上不存在的边。然后,我提出一个非常重要的理由,因为涉及到以某种方式必须保留解决方案的可简化性,所以它必须适用于所有NP完全问题。 这似乎也适用于图同构的NP中间问题(如果我们知道映射关系,就可以在两个图上自由应用相同的更改)。我想知道它是否也适用于整数分解。

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
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.