楼主:
Aa841018 (andrew)
2020-01-21 20:33:03https://i.imgur.com/oiFkCVm.jpg
https://i.imgur.com/G23Xg6H.jpg
想问(b)(c)
(b):这题详解是不是少了假设x=np?因为没有这假设,就算sat(npc) reduce to X,x也不
见得是npc说不定是np hard
(c):这和笔记好像有点矛盾,NPC不应该存在P的解法,否则NP=P
但NPC的某些input 又可以在非exponential time解开
时间复杂度排序:exponential>polynomial
(=n^k)
那如果不在exponential 解开,那肯定在polynomial范围内,这岂不是和笔记内容矛盾?
不知道哪里出错…
作者:
zuchang (chang)
2020-01-21 20:35:00B NPC也算是NP hard啊
楼主:
Aa841018 (andrew)
2020-01-21 20:37:00对,但题目说npc应该是希望找出同时属于np,np hard的集合,可是没有先令x属于np,有可能x是属于np hard但不属于np
作者:
zuchang (chang)
2020-01-21 20:45:00B 妳想法没错 c我的解释是可能要阶乘甚至指数指数
(c)会不会是说 某些特殊情况可以在p内解 像是bipartite找ham path之类的
楼主:
Aa841018 (andrew)
2020-01-21 21:00:00这我有点不确定,但若存在npc可在p解,似乎直接等价于p=np,因为所有np都可reduce到它
作者:
DLHZ ( )
2020-01-21 21:10:00decision不等于在p啊一个叫optimization problem一个叫decision problem好像回答的文不对题 前面就先别看 我误会了 简单来说要找Hamiltonian cycle是NPC 但如果今天前提是输入的图一定是cycle当然是可解 他问题在于 for all kind这件事 如果我没理解错那存在一种种类的输入可以简单的解出来的话这叙述就不成立我认为for all kind of inputs拿掉就没问题
错在他已经假设了P不等于NP吧 但这是还没有被证明的问题
作者: orz860708 2020-01-21 23:16:00
3.用SAT想 考虑clause为单独一个X1 判断他可否满足只需O(1) 因此input很小的时候不一定需要指数时间