1
NP-Complete задачи, которые допускают эффективный алгоритм под обещанием уникального решения
Недавно я читал очень хорошую статью от Valiant и Vazirani, в которой показано, что если , то не может быть эффективного алгоритма для решения SAT, даже при условии, что он либо неудовлетворителен, либо имеет уникальное решение. , Таким образом, показывая, что SAT не допускает эффективного алгоритма даже при условии, что …