Запитання з тегом «cc.complexity-theory»

P проти НП та інших обчислень, обмежених ресурсами.

1
НП проти ко-НП та логіка другого порядку
Припустимо, що NP = co-NP і поліном обмежує довжину доказу незадовільності для екземпляра 3-CNF . Тоді чи є результати, за якою формою може бути якийсь доказ незадовільності для довжини ? Тобто, чи повинен такий доказ використовувати, наприклад, повну силу логіки другого порядку над нескінченними структурами (я знаю, що пропозиція довести …
2
Твердість вершинних сепараторів
Для даного графіка задача сепаратора задає питання про те, чи існує вершина чи ребровий набір малої кардинальності (чи ваги), чиї вилучення розділяють G на два неперервні графіки приблизно однакових розмірів. Це називається Проблема розділення вершин, коли видалений набір є набором вершин, і проблема Розділення країв, коли це набір ребер. Обидві …
1
Чи дивляться люди на петлеве гніздо в булевих схемах?
У той час як EE undergrad, я відвідував деякі лекції, в яких було представлено приємну характеристику булевих схем з точки зору кількості вкладених циклів. За складністю булеві схеми часто розглядаються як даги, але в реальних апаратних циклах поширені. Тепер, з точки зору деяких технічних можливостей щодо того, що таке цикл, …
1
які відомі межі щодо складності нетривіального автоматичного графіку
З огляду на будь-який простий непрямий графік G, нетривіально визначати, чи має G нетривіальні (неідентифікаційні) автоморфізми. Але які результати у верхній / нижній межі цієї проблеми рішення?
3
Два варіанти НП
Ось дві варіанти визначення NP. Вони (майже напевно) визначають окремі класи складності, але моє запитання: чи існують природні приклади проблем, які вписуються в ці класи? (Мій поріг того, що тут вважається природним, трохи нижчий, ніж зазвичай.) 1 клас (суперклас НП): Проблеми зі свідками розміру полінома, які потребують перевірки суперполіноміального, але …
2
Приклад чогось різного для родових та випадкових оракулів?
Нехай GGG - це загальний оракул у значенні категорії Коен / Баїр. Нехай - випадковий оракул.RRR Чи існують класи складності A і B з або навпаки, A G ≠ B GAG=BGandAR≠BRAG=BGandAR≠BR\mathrm{A}^G=\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R\ne \mathrm{B}^RАГ≠ БГіАR= ВR?АГ≠БГіАR=БR?\mathrm{A}^G\ne\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R= \mathrm{B}^R\text{?} Питання надихнуло коментарем Скотта Ааронсона .
2
Чи проблема NP N Queens не є складною?
Проблема N-queen така: Вхід: N Вихід: розміщення N "королеви" на шаховій дошці NXN таким чином, що жодна дві королеви не лежать на одному рядку, стовпчику чи діагоналі. Здійснюючи пошук у Google, я виявив, що багато слайдів багатьох професорів стверджують, що це проблема NP-Hard. (Наприклад, web.mst.edu/~ercal/387/slides/NP-Hard.ppt) Однак мені не вдалося знайти …
4
Співвідношення складності обчислень та інформації
Я працюю в лабораторії обчислювальної нейронауки, яка кількісно оцінює взаємну інформацію між парами або групами нейронів. Нещодавно бос пересунув свою увагу на вимірювання "складності нейронної динаміки". Проводячи цю лінію досліджень, деякі люди моєї групи, схоже, порівнюють "складний" з "має високу ентропію". Чи може хтось орієнтувати мене на те, який взаємозв'язок …
2
Що означає "гаджет" при зниженні рівня NP?
Це питання може бути не технічним. Я, як нерічний оратор, і TA для класу алгоритму, завжди замислювався про те, що означає гаджет у "гаджеті-клаузі" чи "змінному гаджеті". У словнику сказано, що гаджет - це машина чи пристрій, але я не впевнений, яке розмовне значення він має в контексті повного підтвердження …
2
Мінімальний істинний однотонний 3SAT
Мене цікавить варіація SAT, де формула CNF є монотонною (жодні змінні не заперечуються). Така формула, очевидно, задовольняє. Але скажімо, кількість справжніх змінних є мірою того, наскільки хорошим є наше рішення. Отже, у нас є така проблема: МІНІМАЛЬНА ПРАВИЛЬНА МОНОТОНА 3SAT ІНСТАНЦІЯ: Встановити U змінних, збірник C диз'юнктивних пропозицій 3-х літералів, …
6
Чи багато скорочень та скорочення Тюрінга визначають один і той же клас NPC
Цікаво, чи рівні рівні NPC, визначені скороченнями багато-один, і зменшенням Тьюрінга. Редагувати: Ще одне питання: чи зменшення Тьюрінга є лише руйнуючими класами C та co-C для деяких C чи існує клас такий як існує проблема не в під скороченням Карпа, а в під зменшенням Тюрінга ?C ∪ c o - …
1
Наскільки важко вирішувати існування ідеального поєднання червоно-синього?
Двокольорова проблема ідеального узгодження полягає у вирішенні того, чи має графік забарвлення двома кольорами, щоб кожен вузол мав рівно один сусід того ж кольору, що й сам. Шефер виявив, що ця проблема є NP-повною . Він залишається NP-повним навіть для плоских кубічних графіків. Мене цікавить варіант, коли ми хочемо вирішити, …
1
Перешкода на зразок ETH
Ми знаємо, що в рамках ми не можемо вирішити -SUM за часу за будь-якої функції (зазвичай ).ETHETHETHKKKf(K)poly(nK)f(K)poly(nK)f(K)poly(nK)f(K)f(K)f(K)2O(K)2O(K)2^{O(K)} Чи існує якась гіпотеза, яка заважає складності (це цілком відповідає можливості, оскільки нам потрібен експоненційний час для суми підмножини) або така можливість дозволена?(logn)O(K)(log⁡n)О(К)(\log n)^{O(K)}К= Ω ( n )К=Ω(н)K=\Omega(n)
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.