Запитання з тегом «unique-solution»

Клас складності складається з тих N P -проблем, які можуть вирішуватися поліноміальною недетермінованою машиною Тюрінга, яка має щонайменше один прийнятий обчислювальний шлях. Тобто рішення, якщо воно є, є унікальним у цьому сенсі. Вважається , дуже малоймовірно , що всі U P -проблеми в P , так як по доблесну-Вазірані теореми …

37 cc.complexity-theory  ds.algorithms  graph-algorithms  complexity-classes  unique-solution 

Valiant-Вазіраньте теорему стверджує , що якщо існує поліноміальний алгоритм часу (детермінований або рандомізовані) для розрізнення формули SAT , яка має рівно одне задовольняє завдання, і нездійсненне формула - то NP = RP . Ця теорема доведена, показуючи, що UNIQUE-SAT є NP- твердим при рандомізованих скороченнях. Теорема може бути підсилена до …

29 cc.complexity-theory  reductions  derandomization  unique-solution 

Розглянемо наступну проблему: враховуючи формулу CNF та завдання, яке задовольняє цій формулі, чи є ще одна задовольняюча задача для цієї формули? У чому полягає складність цієї проблеми? (Це, безумовно, є в NP, але це також NP-важко?) Що робити, якщо вам не дано завдання, і ви просто хочете вирішити, чи має …

25 cc.complexity-theory  np-hardness  sat  unique-solution 

EDIT в 2011/02/08: Після пошуку та читання деяких посилань я вирішив розділити оригінальне запитання на два окремих. Ось частина, що стосується UP vs NP, про частину синтаксичних та семантичних класів див. Переваги для синтаксичних та семантичних класів . (однозначний поліноміальний час, див.Вікітазоопаркдля посилань) визначається як мови, вирішені N P -машинами …

19 cc.complexity-theory  complexity-classes  conditional-results  unique-solution 

Після пропозиції Джоша Грохова я перетворюю свій коментар з попереднього запитання в нове запитання. Які докази ми маємо для UP≠NPUP≠NP\mathsf{UP} \neq \mathsf{NP} ? Тут UPUP\mathsf{UP} - клас мов, впізнаваний за недетермінованими машинами Тюрінга в поліноміальних часах, які мають унікальний приймальний шлях на екземпляри "так" і не приймають шлях на екземпляри …

17 cc.complexity-theory  complexity-classes  conditional-results  unique-solution 

Я хочу розібратися, чи є якісь загальні результати щодо чи приклади, що стосуються NP-повноти проблеми пошуку другого рішення проблеми, завершеної NP. Точніше, мене цікавлять будь-які проблеми такої форми: З огляду на рішення до примірника I як NP-повної задачі є рішення S ' ≠ S в I ?SSSIЯIS′≠SS'≠SS' \neq SIЯI Будемо …

17 cc.complexity-theory  reference-request  np-hardness  unique-solution 

Преамбула. Клас складності AM - це ті задачі, які можна вирішити двокруглою інтерактивною системою доказування між доказом "Мерлін" та верифікатором "Артур". Проблема - яка тестує деяку властивість об'єкта X - полягає в AM, якщо: Для випадків ТАК для випадкового повідомлення про "виклик" (поліномальної довжини) Артур генерує, з великою часткою ймовірності, …

15 cc.complexity-theory  interactive-proofs  unique-solution 

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

14 np-hardness  np-complete  unique-solution  promise-problems 

Проблема "Другий " - це проблема вирішення існування іншого рішення, відмінного від певного рішення для екземпляра проблеми.ХXX Для деяких неповних проблем, друга версія рішення - незавершена (вирішує питання про існування іншого рішення для часткової задачі завершення латинських квадратів), тоді як для інших вона є тривіальною (Другий NAE SAT) або не …

11 cc.complexity-theory  unique-solution