Запитання з тегом «np»

Мені цікаво конкретно, чи існує цікава умова щодо відсотка завдань, які відповідають формулі 3SAT, щоб гарантувати, що такі проблеми можна відстежувати. Припустимо, наприклад, клас задач 3SAT, що з можливих призначень задовольняє булева формула; чи можемо ми ефективно знайти задоволення? Для чого є результуючою проблемою в P?2 n ϵϵ ( n …

12 cc.complexity-theory  ds.algorithms  sat  np 

ETH стверджує, що SAT не може бути вирішена в гіршому випадку за субекспоненціальний час. Що про середній випадок? Чи існують природні проблеми в НП, які в середньому випадку передбачаються експоненціально важкими? Візьміть середній випадок до середнього середнього часу роботи з рівномірним розподілом на входах.

12 cc.complexity-theory  np  average-case-complexity 

Розгляньте повну інформацію двокористувацьких комбінаторних ігор, які закінчуються після поліноміального числа ходів, і, по черзі, гравці вибирають із обмеженої кількості дозволених ходів. Звичайне питання полягає в тому, наскільки важко сказати переможцю з певної позиції. Іншим було б, як важко вибрати виграшну ходу з виграшної позиції. (Тут я називаю хід виграшним, …

11 cc.complexity-theory  np  board-games  pspace 

Припустимо, що NP = co-NP і поліном обмежує довжину доказу незадовільності для екземпляра 3-CNF . Тоді чи є результати, за якою формою може бути якийсь доказ незадовільності для довжини ? Тобто, чи повинен такий доказ використовувати, наприклад, повну силу логіки другого порядку над нескінченними структурами (я знаю, що пропозиція довести …

11 cc.complexity-theory  lo.logic  np  proof-complexity 

Ось дві варіанти визначення NP. Вони (майже напевно) визначають окремі класи складності, але моє запитання: чи існують природні приклади проблем, які вписуються в ці класи? (Мій поріг того, що тут вважається природним, трохи нижчий, ніж зазвичай.) 1 клас (суперклас НП): Проблеми зі свідками розміру полінома, які потребують перевірки суперполіноміального, але …

11 cc.complexity-theory  complexity-classes  np 

Добре відомо , що деякі класи NP -проблеми Have дихотомії теорем, які гарантують , що кожна задача в класі є або NP -повне або знаходиться в P . Найвідоміший такий результат - теорема про дихотомію Шефера разом із низкою узагальнень. Я розумію, що довести ці теореми про дихотомію не дуже …

10 cc.complexity-theory  np  descriptive-complexity 

Доказовий складність є найбільш базовою областю теорії складності обчислень. Кінцевою метою цієї області є доведення , тобто будь-який довідник не може дати доказ незадовільності заданої формули введення. NП≠ c o NПNП≠cоNПNP\neq coNP Графік є однією з формальних моделей доказів. Моє питання щодо подальшого обмеження цієї моделі. Доказ представлений як DAG. …

10 cc.complexity-theory  reference-request  graph-theory  np  proof-complexity 

Чи кожна пізнавана Тьюрінгом невідмінна мова має підмножину NP? Це питання можна розглядати як більш сильну версію того факту, що кожна нескінченна впізнавана Тюрінгом мова має нескінченно визначальний підмножина.

9 cc.complexity-theory  np-hardness  complexity-classes  np  decidability 

Це питання виникло в контексті криптографії, але нижче я викладу його з точки зору теорії складності, оскільки люди тут більше знайомі з останньою. Це питання пов'язане з проблемами в NP, але не з середнім рівнем P / poly та неефективністю побиття Oracle Access . Неформальне твердження: Коли нерівномірним супротивникам (тобто …

9 cc.complexity-theory  cr.crypto-security  np  advice-and-nonuniformity  average-case-complexity