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

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

23 cc.complexity-theory  np-hardness  automata-theory  regular-language  scheduling 

Проблема не всіх рівних -SAT (NAE -SAT) з урахуванням набору застережень над набором булевих змінних, таким чином, що кожне застереження містить максимум літералів, запитує, чи існує присвоєння істини змінних таким, що кожен пункт містить принаймні один істинний і хоча б один неправдивий буквальний текст.k C X kкkkкkkСCCХXXкkk Проблема PLANAR NAE …

23 cc.complexity-theory  reference-request  np-hardness  polynomial-time 

Сабхеш Кхоти «s Унікальні гри Гіпотеза є одним з активних областей досліджень в теорії складності. Які докази ми маємо для цього? Які докази ми маємо проти цього?

23 cc.complexity-theory  unique-games-conjecture 

У цій темі спроба Норбета Блума доказування коротко спростована, зазначивши, що функція Tardos є контрприкладом до теореми 6.P≠NPP≠NPP \neq NP Теорема 6 : Нехай - будь-яка монотонна булева функція. Припустимо, що існує CNF-DNF-аппроксиматор який може бути використаний для доведення нижньої межі для . Тоді також можна використовувати для доказу тієї …

22 cc.complexity-theory  np-hardness  complexity-classes 

Виходячи з попереднього запитання , які найкращі нижні межі поточного простору для SAT? Під нижньою межею пробілу я маю на увазі кількість комірок робочої стрічки, використовуваних машиною Тьюрінга, яка використовує алфавіт двійкової робочої стрічки. Постійний термін добавки неминучий, оскільки ТМ може використовувати внутрішні стани для імітації будь-якої фіксованої кількості комірок …

22 cc.complexity-theory  sat  lower-bounds  space-bounded  space-complexity 

Це свого роду відкрите запитання - за яке я заздалегідь вибачаюся. Чи є приклади тверджень, які (здавалося б, не мають нічого спільного зі складністю або машинами Тюрінга, але відповідь яких означатиме ?P≠NPP≠NP\mathbf{P}\neq \mathbf{NP}

22 cc.complexity-theory  complexity-classes  p-vs-np 

У роботі "СКЛАДНІСТЬ ПРОБЛЕМ ЗАБЕЗПЕЧЕННЯ" Томаса Дж. Шефера автор зазначив, що This raises the intriguing possibility of computer-assisted NP-completeness proofs. Once the researcher has established the basic framework for simulating conjunctions of clauses, the relational complexity could be explored with the help of a computer. The computer would be instructed …

22 cc.complexity-theory  reference-request  soft-question  reductions  proof-assistants 

Я працював над тим, щоб внести деякі результати обчислювальної складності в теоретичну біологію, особливо еволюцію та екологію , з метою бути цікавим / корисним для біологів. Однією з найбільших труднощів, з якими я стикався, є виправдання корисності асимптотичного найгіршого аналізу для нижчих меж. Чи є посилання на довжину статті, які …

22 cc.complexity-theory  reference-request  big-picture  application-of-theory  worst-case 

Багато задач алгоритмічного графіка можна вирішити в поліноміальний час як на невагомих, так і на зважених графіках. Деякі приклади - найкоротший шлях, міні-нахилене дерево, найдовший шлях (у спрямованих ациклічних графіках), максимальний потік, хв. Зріз, макс. Зіставлення, оптимальна дендраресценція, певні найгустіші проблеми підграфа, макс. встановити в певних класах графів, різних задач …

22 cc.complexity-theory  graph-algorithms  np-hardness 

Під час тестування властивостей графіка алгоритм запитує цільовий графік щодо наявності чи відсутності ребер і повинен визначити, чи має ціль певне властивість, або -відсутнє у властивості. (Алгоритм може бути запропонований, щоб досягти успіху з односторонньою або двосторонньою помилкою.) Графік - не має властивості, якщо жоден \ epsilon \ binom {n} …

22 cc.complexity-theory  machine-learning  query-complexity  property-testing 

Існує безліч результатів несподіваності, які покладаються на унікальну гіпотезу. Наприклад, Якщо припустити унікальну гіпотезу на ігри, NP-важко наблизити максимальну проблему скорочення в межах фактора R для будь-якої постійної R > R GW . (Тут R GW = 0,878 ... - коефіцієнт наближення алгоритму Гомена-Вільямсона.) Однак деякі люди вважають за краще …

22 cc.complexity-theory  approximation-hardness  unique-games-conjecture 

У грі в захист вежі у вас є сітка NxM із початком, фінішним покриттям та низкою стін. Вороги проходять найкоротший шлях від початку до кінця, не проходячи через жодні стіни (вони, як правило, не обмежені сіткою, але для простоти скажімо, що вони є. В будь-якому випадку вони не можуть просуватися …

22 cc.complexity-theory  ds.algorithms  graph-theory  graph-algorithms 

Стан наших знань про загальні арифметичні схеми схоже на стан наших знань про булеві ланцюги, тобто у нас немає хороших нижніх меж. З іншого боку, ми маємо нижню межу експоненціальної величини для монотонних булевих схем . Що ми знаємо про монотонні арифметичні схеми? Чи є у нас подібні хороші нижчі …

22 cc.complexity-theory  circuit-complexity  boolean-functions  monotone  arithmetic-circuits 

Мені було цікаво, які папери я повинен прочитати, щоб зрозуміти це питання Несподіваний зв’язок з іншими сферами математики, такими як алгебраїчна геометрія або вища когомологія. Можливо, навіть область математики ще не розвинена. Можливо, хтось виробить зовсім новий напрямок математики, щоб впоратися з питанням P проти NP. -З Fortnow 2002 Іншим …

22 cc.complexity-theory  reference-request  gct  algebraic-topology 

Читаючи відповідь Пітера Шор та попереднє запитання Адама Крюма, я зрозумів, що у мене є помилки щодо того, що означає бути -hard.PP\mathsf{P} Проблема - тверда, якщо будь-яка проблема в зводиться до неї за допомогою (або якщо ви віддаєте перевагу ) скорочення. Проблема знаходиться поза межами якщо не існує поліноміального алгоритму …

22 cc.complexity-theory  complexity-classes