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

Мені шкода, якщо на це питання є якась тривіальна відповідь, яку я пропускаю. Кожного разу, коли я вивчаю якусь проблему, яка виявилася невід’ємною, я зауважую, що доказ покладається на зменшення до іншої проблеми, яка виявилася невирішеною. Я розумію, що це створює якесь наказ про ступінь складності проблеми. Але моє запитання …

11 computability  reductions  undecidability 

Зоопарк Складності визначає, що є класом задач рішення, що вирішуються детермінованою машиною Тьюрінга в лінійний час.Л яNLINLIN Л яN⊆ РLIN⊆PLIN \subseteq P Оскільки HORN-SAT розв’язується в (як зазначено в алгоритмах лінійного часу для тестування на відповідність формулам пропозицій ріжка (1984) )O ( n )O(n)O(n) Представлені нові алгоритми вирішення питання про …

11 complexity-theory  time-complexity  reductions 

Я навчаюсь для свого фіналу з теорії обчислень, і я борюся з належним чином відповісти, чи правдиве це твердження неправдивим. За визначенням з можна побудувати наступну заяву,≤m≤m\leq_m w∈A⟺f(w)∈B→w∉A⟺f(w)∉Bw∈A⟺f(w)∈B→w∉A⟺f(w)∉Bw \in A \iff f(w) \in B \rightarrow w \notin A \iff f(w) \notin B Тут я застряг, я хочу сказати, що оскільки …

11 complexity-theory  computability  reductions 

Для міркування про такі речі, як NP-повнота, ми зазвичай використовуємо багато-одну зменшення (тобто скорочення Карпа). Це призводить до таких зображень: (за стандартними домислами). Я впевнений, що ми всі знайомі з подібними речами. Яку картину ми отримуємо, якщо працюємо зі скороченнями Тьюрінга (тобто скороченнями Кука)? Як змінюється малюнок? Зокрема, які найважливіші …

10 complexity-theory  reductions  complexity-classes 

У нас було кілька питань щодо співвідношення скорочень Кука та Карпа . Зрозуміло, що скорочення Кука (скорочення Тюрінга в поліномічному часі) не визначають таке ж поняття NP-повноти, як скорочення Карпа (скорочення багаточленного часу багато-один), яке зазвичай використовується. Зокрема, скорочення Кука не можуть відокремити NP від ​​ко-NP, навіть якщо P NP. …

10 complexity-theory  reference-request  np-complete  reductions 

Розглянемо наступну проблему, вхідним екземпляром якої є простий графік та натуральне ціле число k .ГГGккk Чи є такий набір такий, що G - S двосторонній і | S | ≤ k ?S⊆V( G )S⊆V(Г)S \subseteq V(G)G - SГ-SG - S|S| ≤k|S|≤к|S| \leq k Я хотів би показати, що ця проблема …

10 complexity-theory  np-complete  reductions 

Я намагаюся знайти доказ для наступного: Для будь-якої мови AAA , існує мова BBB такі , що A≤TBA≤TBA \le_{\mathrm{T}} B , але B ≰TA≰TA\nleq_{\mathrm{T}} A . Я думав дозволити BBB бути ATMATMA_{\mathrm{TM}} , але я розумію, що не всі мови Тюрінг зводяться до ATMATMA_{\mathrm{TM}} , тому A≤TBA≤TBA \le _T B …

9 computability  reductions  undecidability 

Існує відоме і елегантне скорочення від максимальної задачі двостороннього відповідності до проблеми максимального потоку: ми створюємо мережу з вихідним вузлом , кінцевим вузлом і одним вузлом для кожного елемента, який повинен відповідати, а потім додаємо відповідні краї.ссsттt Безумовно, існує спосіб зменшити максимальний потік до максимального співпадіння між двома частинами за …

9 reductions  network-flow  bipartite-matching 

Скажімо, ми знаємо, що проблема A є важкою, тоді ми зводимо A до невідомої задачі B, щоб довести B також важко. Як приклад: ми знаємо, що триколірне забарвлення важко. Потім ми зменшуємо 3-кольорові до 4-х забарвлень. Поєднуючи один із кольорів у 3-х забарвленнях, ви маєте 4-кольорові кольори, ерго-4-розфарбовування важко. Ось …

9 complexity-theory  np-complete  reductions 

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

9 computability  turing-machines  reductions  simulation