Запитання з тегом «polynomial-time»

4
Чому 2SAT в P?
Я натрапив на поліноміальний алгоритм, який вирішує 2SAT. Мені здається, що 2SAT бореться, що 2SAT знаходиться в P, де всі (або багато інших) випадків SAT є NP-Complete. Що робить цю проблему різною? Що робить це таким простим (NL-Complete - навіть простіше, ніж P)?

2
Які класи математичних програм можна розв’язувати точно або приблизно за багаточлен?
Мене досить бентежить література безперервної оптимізації та література ТКС щодо того, які типи (безперервних) математичних програм (МП) можна ефективно вирішити, а які - не. Спільнота безперервної оптимізації, схоже, стверджує, що всі опуклі програми можна вирішити ефективно, але я вважаю, що їх визначення "ефективного" не збігається з визначенням TCS. Це питання …

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

2
Знаходження простої, більшої за задану межу
Чи є алгоритм детермінованого полінома-часу, відомий для наступної проблеми: Введення: натуральне число (у двійковому кодуванні)nnn Вихід: просте число .p>np>np > n (Відповідно до переліку відкритих проблем Леонарда Адлемана, ця проблема була відкрита в 1995 році.)

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


1
Чи можна розпізнати у багатовіковому ймовірнісному сублогіаритмічному просторі?
Розглянемо мову .EQUALITY={anbn∣n≥0}EQUALITY={anbn∣n≥0} \mathtt{EQUALITY} = \{ a^nb^n \mid n \geq 0 \} Відомо, що не може бути розпізнана жодною сублогіаритмічною простірною машиною, що чергує Тюрінга (ATM) (Szepietowski, 1994) . (Є банкомат, що використовує сулогіарифмічний простір для членів, але не для всіх не членів!)EQUALITYEQUALITY \mathtt{EQUALITY} З іншого боку, Фрейвальдс (1981) показав, …

3
Як швидко ми можемо вирішити цілком одномодульну цілолінійну лінійну програму?
(Це продовження цього питання та його відповідь .) У мене є наступна цілком одномодульна (TU) ціла лінійна програма (ILP). Тут - усі додатні цілі числа, подані як частина вхідних даних. Зазначений підмножина змінних x i j встановлюється нулем, а решта може приймати додатні інтегральні значення:ℓ , м , н1, н2, …

6
Чи існує природна проблема в квазіполіномний час, а не в поліноміальний час?
Нещодавно Ласло Бабай довів, що проблема ізоморфізму Графа перебуває у квазіполіномічному часі . Дивіться також його розмови в Чиказькому університеті, примітка до переговорів Джеремі Куна GLL post 1 , GLL post 2 , GLL post 3 . Згідно з теоремою Ладнера, якщо P≠NPП≠NПP \neq NP , то не порожній, тобто …

5
Які помітні моделі автоматів містять поліноміально-рішучі засоби?
Я намагаюся вирішити конкретну проблему, і я подумав, що, можливо, вдасться вирішити її за допомогою теорії автомати. Мені цікаво, які моделі автоматів мають обмежувальний вміст, який можна вирішити в поліноміальний час? тобто якщо у вас є машини M1,M2M1,M2M_1, M_2 ви можете перевірити, чи ефективно L(M1)⊆L(M2)L(M1)⊆L(M2)L(M_1) \subseteq L(M_2) . Очевидними з …

2
Давши вільний графік
Проблема kkk -cycle полягає в наступному: Екземпляр: Непрямий графік GGG з nnn вершинами і до ребра.(n2)(n2)n \choose 2 Питання: Чи існує (правильний) -цикл у ?kkkGGG Передумови: Для будь-якого фіксованого ми можемо вирішити -цикл за .kkk2k2k2kO(n2)O(n2)O(n^2) Рафаель Юстер, Урі Цвік: Шукати навіть цикли ще швидше. SIAM J. Дискретна математика. 10 (2): …

1
Які наслідки
Мова є якщо існує машина журналу простору Тьюрінга, яка визначає мову з поліноміальною кількістю порад.L/polyL/polyL/poly Дивіться тут для отримання додаткової інформації: https://en.wikipedia.org/wiki/L/poly Питання Які наслідки ?P⊆L/polyP⊆L/polyP \subseteq L/poly

4
Чи сумісна ета-еквівалентність функцій з послідовною операцією Haskell?
Лема: якщо припустити, що у нас є ета-еквівалентність (\x -> ⊥) = ⊥ :: A -> B. Доведення: ⊥ = (\x -> ⊥ x)ета-еквівалентністю та (\x -> ⊥ x) = (\x -> ⊥)зменшенням під лямбда. Звіт Haskell 2010, розділ 6.2, визначає seqфункцію двома рівняннями: seq :: a -> b -> …

3
Чи містить P мови, існування яких не залежить від PA чи ZFC? (Вікі спільноти TCS)
Відповідь: невідомо. Задані питання є природними, відкритими і, мабуть, важкими; питання зараз - вікі спільноти. Огляд Питання має на меті розділити мови, що належать до класу складності - разом із рішеннями машин Тьюрінга (ТМ), які приймають ці мови - на два допоміжні підкласи:PPP гностичні мови та ТМ (які можна перевірити …

2
Підрахунок кількості задовольняючих завдань у ПОЗИТИВНІЙ CNF-SAT
Ми знаємо, що проблема підрахунку кількості задовольняючих завдань у заданій загальній булевій формулі (CNF-SAT), заданій формулі DNF або навіть заданій формулі 2SAT є повною проблемою # P. Тепер розглянемо CNF-SAT без від'ємного прямого (ні , завжди A ). Проблема рішення дуже проста (встановіть всі змінні на TRUE і перевірте, чи …

Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.