Запитання з тегом «cc.complexity-theory»

P проти НП та інших обчислень, обмежених ресурсами.

11
Чи є доказом Норберта Блума 2017 рік, що правильний?
Нещодавно Норберт Блюм опублікував доказ на 38 сторінках, що . Це правильно?P≠NPP≠NПP \ne NP Також на тему: де ще (в Інтернеті) обговорюється її правильність? Примітка: фокус тексту цього питання з часом змінювався. Деталі див. У коментарях до питань.

28
Проблеми між P та NPC
Факторинговий і графічний ізоморфізм - проблеми в НП, які, як відомо, не існують в Р, а також не є NP-завершеними. Які ще (достатньо різні) природні проблеми поділяють цю властивість? Штучні приклади, що випливають безпосередньо з доказів теореми Ладнера, не враховуються. Чи є будь-який з цих прикладів NP-проміжним, припускаючи лише якусь …

14
Яке математичне підґрунтя потрібно для теорії складності?
Зараз я студент магістратури, який повинен закінчити цей рік. Після закінчення навчання я збираюся працювати над магістром / доктором технічних наук. Мене почало цікавити, які галузі математики вважаються корисними для ТКС, особливо (класичної) теорії складності. Які сфери ви вважаєте важливими для того, хто хоче вивчити теорію складності? Чи знаєте ви …

7
Які цікаві теореми в TCS покладаються на вибір аксіоми? (Або, як аксіома рішучості?)
Математики іноді хвилюються з приводу вибору аксіоми (AC) та дефіцитності аксіоми (AD). Аксіома вибору : При будь-якому наборі непустих множин існує функція F , що, з огляду на безліч S в C , повертає елемент з S .CC{\cal C}fffSSSCC{\cal C}SSS Аксіома рішучості : Нехай - це набір нескінченно довгих розрядних …

7
А
В даний час розв’язання або -повної задачі, або P S P A C E -комплектної задачі неможливо в загальному випадку для великих входів. Однак обидва вирішуються в експоненціальному часі та поліномічному просторі.NПNПNPПSПА СЕPSPACEPSPACE Так як ми не можемо побудувати недетермінірованних або «щасливчиків» комп'ютерів, він робить ніякої різниці для нас , …

11
Які хороші посилання на розуміння доведення теореми PCP?
Я знайомий з багатьма результатами, які використовують теорему PCP (головним чином, в алгоритмах наближення), але я ніколи не стикався з чітким поясненням теореми PCP (тобто, що ).NP=PCP(O(log(n)),O(1))NP=PCP(O(log⁡(n)),O(1))\mathsf{NP} = \mathsf{PCP}(O(\log(n)),O(1)) Які хороші папери / книги для цього читати?

7
Чи визначаються межі виконання в Р? (відповідь: ні)
Поставляється запитання, чи можна вирішити наступне питання: Проблема З огляду на ціле число і машина Тюрінга обіцяє бути в P, чи час виконання щодо довжини вводу ?kkkMMMMMM O(nk)O(nk){O}(n^k)nnn Вузька відповідь "так", "ні" або "відкрито" є прийнятною (із посиланнями, ескізом доказів або оглядом наявних знань), але більш широкі відповіді також дуже …

1
Детальніше про PH в PP?
Недавній питання по Гека Bennett з проханням , чи був клас PH міститься в класі РР, отримав кілька суперечливі відповіді (все це правда, здається). З одного боку, кілька результатів оракулу давали протилежне, а з іншого Скотт припустив, що відповідь, ймовірно, позитивна, оскільки теорема Тоди показує, що PH знаходиться в BP.PP, …

12
Параметризована складність від P до NP-жорсткого і знову
Я шукаю приклади задач, параметризованих числом k∈Nk∈Nk \in \mathbb{N} , де твердість задачі немонотонна в kkk . Більшість проблем (на мій досвід) мають однофазний перехід, наприклад, kkk -SAT має однофазний перехід від k∈{1,2}k∈{1,2}k \in \{1,2\} (де проблема знаходиться в P) до k≥3k≥3k \ge 3 (де проблема NP- повна). Мене цікавлять …

8
Який клас складності найбільш тісно пов'язаний з тим, що людський розум може швидко досягти?
Це питання я щось замислювався. Коли люди описують проблему P проти NP, вони часто порівнюють клас NP з творчістю. Вони зазначають, що скласти симфонію якості Моцарта (аналогічну задачі НП) здається набагато важче, ніж перевірити, що вже складена симфонія має якість Моцарта (що є аналогом завдання Р). Але чи справді НП …

4
Проблеми, які можуть бути використані для показу результатів твердості багаточленного часу
При розробці алгоритму нової проблеми, якщо через деякий час я не можу знайти алгоритм поліноміального часу, я можу спробувати довести, що це NP-hard натомість. Якщо мені це вдалося, я пояснив, чому не зміг знайти алгоритм багаточленного часу. Це не те, що я точно знаю, що P! = NP, це просто …

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

3
Дивовижні алгоритми підрахунку проблем
Існують деякі проблеми підрахунку, які передбачають підрахунок експоненціально багатьох речей (відносно розміру вхідних даних), але все ж мають дивовижні точні, детерміновані алгоритми в многочленному часі. Приклади включають: Підрахунок ідеальних відповідностей у площинному графіку ( алгоритм FKT ), що є основою для роботи голографічних алгоритмів . Підрахунок гілок дерев у графіку …

2
Чи можна посилити P = NP за межами P = PH?
У описовій складності Іммерман має Наслідок 7.23. Наступні умови еквівалентні: 1. P = NP. 2. Над скінченними, упорядкованими структурами, FO (LFP) = SO. Це можна вважати "посиленням" P = NP до еквівалентного твердження щодо (імовірно) великих класів складності. Зауважте, що SO фіксує ієрархію полінома-часу PH, а FO (LFP) фіксує P, …

9
Поясніть Р = проблема NP до 10-річного віку
Це моє перше питання на цьому сайті. Я беру магістерський курс з теорії обчислень. Як би ви пояснили проблему P = NP 10-річній дитині і чому вона має таку грошову винагороду? Ваш взяти? Я оновлю це питання, коли моя голова стане зрозумілою.

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