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

Чому більшість людей вважають за краще використовувати багато-одну зменшення для визначення повноти NP замість, наприклад, скорочень Тьюрінга?

39 cc.complexity-theory  np-hardness  reductions 

Проблема суми квадратних коренів задає дві послідовності і додатних цілих чисел, чи сума менша, дорівнює або більша ніж сумаa1,a2,…,ana1,a2,…,ana_1, a_2, \dots, a_nb1,b2,…,bnb1,b2,…,bnb_1, b_2, \dots, b_n∑iai−−√∑iai\sum_i \sqrt{a_i}∑ibi−−√∑ibi\sum_i \sqrt{b_i} . Статус складності цієї проблеми є відкритим; див. цю публікацію для отримання більш детальної інформації. Ця проблема, природно, виникає в обчислювальній геометрії, особливо …

37 ds.algorithms  big-list  reductions  computing-over-reals 

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

36 cc.complexity-theory  reductions  derandomization 

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

29 cc.complexity-theory  reductions  derandomization  unique-solution 

Сьогодні в блозі Скотта Аронсон викладено список цікавих відкритих проблем / завдань за складністю. Зокрема, один привернув мою увагу: Створіть публічну бібліотеку з примірників 3SAT з якомога менше змінних та підказок, які матимуть вагомі наслідки, якщо їх вирішити. (Наприклад, екземпляри, що кодують проблеми факторингу RSA.) Дослідіть ефективність найкращих поточних SAT-рішень …

28 cc.complexity-theory  cr.crypto-security  sat  reductions  factoring 

Чи є приклад мови, яка є в , але де ми не можемо довести цей факт безпосередньо, показавши, що існує поліноміальний свідок членства в цій мові?NПNПNP Натомість той факт, що мова перебуває в було б доведено шляхом зменшення її до іншої мови в , де зв’язок між ними не є …

27 reductions  np 

Деякі важкопроблемні задачі NP, які є експоненціальними на загальних графах, є субекспоненціальними на плоских графах, оскільки ширина ширини не більше і вони експоненціальні в широкій ширині.4.9|V(G)|−−−−−−√4.9|V(Г)|4.9 \sqrt{|V(G)|} В основному мене цікавить, чи існують субекспоненціальні алгоритми для PLANAR SAT, який є NP-повним. Нехай - формула CNF для змінних а -ве застереження …

26 graph-theory  sat  reductions 

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

24 graph-theory  counting-complexity  reductions  permanent 

Деякі з вас, можливо, стежили за цим питанням , яке було закрито через відсутність рівня досліджень. Отже, я витягую частину питання, що знаходиться на дослідницькому рівні. Поза "простішими" методами, такими як зменшення до сортування або завдання, повне EXPTIME, які методи були використані для доведення нижчих меж для часової складності проблеми? …

23 cc.complexity-theory  reference-request  fl.formal-languages  time-complexity  reductions 

Очевидно, скорочення від CLIQUE до k-Color є тим, що вони обоє NP-Complete. Насправді я можу сконструювати його, склавши скорочення від CLIQUE до 3-SAT зі зменшенням від 3-SAT до k-Color. Мені цікаво, чи є розумне пряме скорочення між цими проблемами. Скажімо, скорочення, яке я міг би пояснити другові досить коротко, не …

23 cc.complexity-theory  graph-theory  np-hardness  reductions 

У роботі "СКЛАДНІСТЬ ПРОБЛЕМ ЗАБЕЗПЕЧЕННЯ" Томаса Дж. Шефера автор зазначив, що 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 

Це питання стосується взаємозв'язку між нормальним множенням двійкових чисел та поліноміальним множенням модуля 2. Щоб зробити питання конкретним, в ідеалі я хотів би дізнатися, чи є краще рішення питання від Knuth vol. 2, 3-е видання, сторінка 420, ніж наведено в книзі. "Чи можна полегшити множення поліномів по модулю 2, використовуючи …

22 ds.algorithms  reductions  time-complexity 

Це уздовж рядків « Алгоритмів із книги ». Хоча скорочення також є алгоритмами, я вважав сумнівним, що можна думати про зменшення відповіді на запитання про алгоритми з книги. Звідси окремий запит! Усі скорочення вітаються найвищим рівнем. Почну з дійсно простого скорочення від вершини до мультикотажу на зірках. Скорочення майже напрошується, …

22 ds.algorithms  np-hardness  big-list  reductions 

У цьому питанні ми, мабуть, визначили природну проблему, яка є NP-повною при рандомізованих скороченнях, але, можливо, не під детермінованими скороченнями (хоча це залежить від того, які недоведені припущення в теорії чисел справджуються). Чи відомі ще якісь подібні проблеми? Чи існують якісь природні проблеми, які є NP-повними при зменшенні P / …

20 cc.complexity-theory  np-hardness  big-list  randomness  reductions 

USTCONN - проблема, яка вимагає вирішити, чи існує шлях від вихідної вершини до цільової вершини в графі , де всі вони задані як частина вводу.ssstttGGG Омер Рейнгольд показав, що USTCONN знаходиться в L (doi: 10.1145 / 1391289.1391291 ). Доказ будує розширювач постійного ступеня за допомогою zig-zag виробу. Розширювач постійного ступеня …

19 cc.complexity-theory  lower-bounds  reductions  space-bounded