Запитання з тегом «conditional-results»

Додайте X як гіпотезу, де X, як відомо, не є ні істинним, ні хибним.

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

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

4
Які наслідки ?
Ми знаємо, що і що , де . Ми також знаємо, що тому, що останній має повні проблеми в логарифмічному просторі багато-один скорочення, а перший - ні (через теорему про ієрархію простору). Щоб зрозуміти зв’язок між та , може допомогти спочатку зрозуміти взаємозв'язок між та .L⊆NL⊆PL⊆NL⊆P\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{P}L⊆NL⊆L2⊆L⊆NL⊆L2⊆\mathsf{L} …

3
Чи означає ?
Наскільки я розумію, програма теорії геометричної складності намагається відокремити , довівши, що перманент складної матриці обчислити набагато важче, ніж визначник.VP≠VNPVP≠VNPVP \neq VNP Питання, яке у мене виникло після проїзду через статті GCT: Чи це негайно означатиме , чи це просто головний крок до цієї мети?P≠NPP≠NPP \neq NP

3
NC = P наслідки?
Зоопарк складності вказує у записі на EXP, що якщо L = P, тоді PSPACE = EXP. Оскільки NPSPACE = PSPACE від Savitch, наскільки я можу сказати, основний аргумент прокладки поширюється на те, що Ми також знаємо, що L NL NC P через змінну ієрархію, обмежену ресурсами Ruzzo.(NL=P)⇒(PSPACE=EXP).(NL=П)⇒(PSPACE=EXP).(\text{NL} = \text{P}) \Rightarrow …

3
Наслідки перебування факторингу в P?
Відомо, що факторинг не є NP-завершеним. Це питання задало наслідки того, що факторинг закінчився NP. Цікаво, що ніхто не запитував наслідки перебування Факторинга в Р (можливо, тому, що таке питання є тривіальним). Тому мої запитання: Які теоретичні наслідки перебування Факторинга в P? Як на загальну картину класів складності вплине такий …

2
Наслідки
Як любитель TCS, я читаю популярний, дуже вступний матеріал про квантові обчислення. Ось кілька елементарних бітів інформації, яких я дізнався до цих пір: Відомо, що квантові комп'ютери не вирішують задач, повних NP, у поліноміальний час. "Квантової магії буде недостатньо" (Bennett et al., 1997): якщо ви викинете структуру проблеми і просто …

2
Статус світів Імпальяццо?
У 1995 році Рассел Імпальяццо запропонував п'ять світів складності: 1- Алгоритміка: з усіма дивовижними наслідками.П= NПП=NПP=NP 2- Heuristica: -повні проблеми важкі в гіршому випадку ( P ≠ N P ), але ефективно вирішуються в середньому випадку.NПNПNPП≠ NПП≠NПP \ne NP 3- Пессіленд: Існують середні випадкові -повні проблеми, але односторонні функції не …

4
Твердість наближення припускаючи NP! = CoNP
Двома загальними припущеннями для підтвердження твердості результатів апроксимації є та Unique Games Conjecture. Чи існують якісь тверді результати наближення, припускаючи ? Я шукаю проблему таку, що "важко наблизити всередині фактора якщо ".P≠NPP≠NPP \neq NPNP≠coNPNP≠coNPNP \neq coNPAAAAAAαα\alphaNP=coNPNP=coNPNP = coNP Відомо, що "показник твердості NP для найкоротшої векторної проблеми означатиме, що ". …

5
Докази того, що PPAD важкий?
Часто цитується філософське обгрунтування думки, що P! = NP навіть без доказів. Інші класи складності мають свідчення того, що вони є різними, тому що, як ні, то виникли б "дивовижні" наслідки (наприклад, крах ієрархії поліномів). Моє запитання полягає в тому, що є підставою для переконання, що клас PPAD є незламним? …

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

4
Наслідки NP = PSPACE
Якими були б неприємні наслідки NP = PSPACE? Я здивований, що нічого не знайшов на цьому, враховуючи, що ці заняття є одними з найвідоміших. Зокрема, чи це матиме наслідки для нижчих класів?

3
Проблема рішення, яка, як відомо, не є в PH, але буде в P, якщо P = NP
Редагувати : Як правильно вказав у своїй відповіді Раві Боппана, а Скотт Ааронсон також додав ще один приклад у свою відповідь , відповідь на це питання виявився «так» таким чином, якого я зовсім не очікував. Спочатку я подумав, що вони не відповідають на запитання, яке я хотів задати, але, подумавши, …

2
Причини вважати
Це питання було перенесено з обміну стека інформатики, оскільки на нього можна відповісти на Теоретичній біржі стека комп'ютерних наук. Мігрували 6 років тому . Здається, що багато людей вважають, що , частково тому, що вони вважають, що факторинг не розв'язується у поліметрі. (Шива Кінталі перерахував тут кілька інших проблемних питань …

2
Які наслідки парності-L = P?
Parity-L - це набір мов, розпізнаваний недетермінованою машиною Тюрінга, який може розрізняти лише парне число чи непарне число шляхів "прийняття" (а не нульове чи не нульове число шляхів прийняття), і який є далі обмежена робота в логарифмічному просторі. Розв’язання лінійної системи рівнянь над ℤ 2 є повною задачею для Parity-L, …

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