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

Скорочення - це перетворення однієї проблеми на іншу. Прикладом використання скорочення може бути показ, чи проблема P не визначена. Цього можна було б досягти шляхом перетворення або виконання скорочення задачі на рішення у нерозв'язну проблему. Якщо цього можна досягти, ми показали, що ця проблема P не може бути вирішена. P

1
Чи є перелік канонічних проблем у розподілених системах?
Минулого тижня я знову читав розписку Леслі Лампорт 1982 року конференції, яку він дав про вирішені проблеми, нерозв’язані проблеми та непроблеми в паралельній валюті . Папір легко читається, але однією з речей, на які я задумався, є наступне твердження: Чи можна будь-яку проблему розцінювати як проблему взаємного виключення чи проблему …
2
Чи дійсно PPAD захоплює поняття знаходження іншої неврівноваженої вершини?
Клас складності PPAD був винайдений Крістосом Пападімітріу у своїй роботі з 1994 року . Клас призначений для відображення складності задач пошуку, коли існування рішення гарантується "аргументом паритету у спрямованих графах": якщо в спрямованому графіку є неврівноважена вершина, то повинна існувати ще одна. Але зазвичай клас формально визначається з точки зору …
1
Скорочення між мовами різної щільності?
Щільність мовної є функцією д х : N → N визначено як Припустимо,XXXdX:N→NdX:N→Nd_X \colon \mathbb{N} \to \mathbb{N}dX(n)=|{x∈X∣|x|≤n}|.dX(n)=|{x∈X∣|x|≤n}|.d_X(n) = |\{x\in X \mid |x| \le n\}|.AAA і є мовами більш деякого кінцевого алфавіту, багатьох один logspace зводиться до , а B не перебуває у L = DSpace ( журнал п ) . …
1
До якого класу складності належить задача цієї теорії чисел?
'Дано a , b , c ∈ Na,b,c∈Na,b,c\in\Bbb N , чи існує х , у∈ Nx,y∈Nx,y\in\Bbb N , а х2+ б у= cax2+by=cax^2+by=c ' є NPNP\mathsf{NP} -комплектним. До якого класу складності 'Враховуючи a,b,c∈Na,b,c∈Na,b,c\in\Bbb N , чи належать x,y∈Nx,y∈Nx,y\in\Bbb N , ax2+by2=cax2+by2=cax^2+by^2=c '?
3
Чи є скорочення до ігор «дверцята та напорна плита», що не розриває довжину розчину?
Ця стаття дає доказ того, що в грі з дверима та напірними плитами важко визначити, чи може аватар (гравця) досягти певного місця. Це доводиться зменшенням від TQBF , а довжина отриманих розчинів експоненціально залежить від кількості універсальних кванторів у формулі. Чи є скорочення від машини NPSPACE до такої гри, для …
1
Унікальна модель SAT проти саме
Унікальний SAT - це добре відома проблема: враховуючи формулу CNF , чи правда, що F має саме одну модель?FFFFFF Мене цікавить проблема «Рівно -SAT»: з урахуванням формули CNF F і цілого числа m > 1 , чи правда, що F має саме m моделей?mmmFFFm>1m>1m>1FFFmmm Обидві проблеми виглядають схоже. Отже, мої …
3
Обчислення конструкцій: стиснути вираз до його найменшої форми
Я знаю, що обчислення конструкцій сильно нормалізується, тобто кожен вираз має нормальне значення, яке не може бути бета-ета-зменшено далі. Тож насправді це найефективніший вираз, який обчислює те саме значення, що й вихідний вираз. Але в певних випадках нормалізація може зменшити невеликий вираз до величезного вираження (з точки зору розміру). Чи …
2
Обмежена кількість змінних випадків у 1-у-3 SAT
Чи відомий результат класу складності 1-в-3-SAT з обмеженою кількістю змінних випадків? Я придумав наступне скоромовне скорочення з Пітером Найтінгейлом, але я хочу навести щось, якщо це буде відомо. Ось хитрість, яку ми придумали. Це показує, що 1-в-3-SAT обмежено 3 входами на змінну - NP повний і #P повний (оскільки 1-в-3-SAT …
4
Чи повинна повнота / твердість NP повинна бути конструктивною?
Чи є із такими властивостями:L ∈ N PL∈NPL\in {\bf NP} Відомо, що означає .P = N PL ∈ PL∈PL\in {\bf P}P = N PP=NP{\bf P}={\bf NP} Там немає (відомо) Полінома Тьюринга скорочення (або які -небудь іншого -повної проблеми) в .N P LSА ТSATSATН ПNP{\bf NP}LLL Іншими словами, якщо алгоритм поліноміального …
1
Чому задачі, повні з NP, не мають аналогічних коефіцієнтів наближення?
Оскільки 2 задачі, заповнені NP, за визначенням зводяться один до одного, тому рішення однієї з них можна отримати, використовуючи чорну скриньку, вирішуючи іншу, чому вони не мають аналогічних коефіцієнтів наближення (маючи на увазі їх аналоги оптимізації) )? Я здогадуюсь, що можна зрозуміти деякий постійний або навіть багаточленний дрейф, але у …
5
Момент скорочення FPT, що не є скороченням полінома-часу
У параметризованій складності люди використовують скорочення з фіксованим параметром (FPT), щоб довести W [t] -твердість. Теоретично зменшення FPT не є скороченням поліноміального часу, оскільки може працювати експоненціально в параметрі k. Але на практиці всі скорочення FPT, які я бачив, є скороченнями p-часу, а це означає, що докази твердості W [t] …
2
Що означає "гаджет" при зниженні рівня NP?
Це питання може бути не технічним. Я, як нерічний оратор, і TA для класу алгоритму, завжди замислювався про те, що означає гаджет у "гаджеті-клаузі" чи "змінному гаджеті". У словнику сказано, що гаджет - це машина чи пристрій, але я не впевнений, яке розмовне значення він має в контексті повного підтвердження …
6
Чи багато скорочень та скорочення Тюрінга визначають один і той же клас NPC
Цікаво, чи рівні рівні NPC, визначені скороченнями багато-один, і зменшенням Тьюрінга. Редагувати: Ще одне питання: чи зменшення Тьюрінга є лише руйнуючими класами C та co-C для деяких C чи існує клас такий як існує проблема не в під скороченням Карпа, а в під зменшенням Тюрінга ?C ∪ c o - …
1
На рідкісних комплектаціях і P vs L
Теорема Махейні говорить нам , що якщо є розріджена -повне безліч під поліноміальний час багато-одне скорочення, то P = N P . (Див. " Рідкісні комплекти для NP: рішення гіпотези Бермана та Хартманіса ")NПNПNPП= NПП=NПP = NP Чи відомі наслідки існування рідкісних комплектів для інших класів складності? Зокрема, якщо в …
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.