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

Класи складності обчислювальної техніки та їх співвідношення

6
Чи існує природна проблема в квазіполіномний час, а не в поліноміальний час?
Нещодавно Ласло Бабай довів, що проблема ізоморфізму Графа перебуває у квазіполіномічному часі . Дивіться також його розмови в Чиказькому університеті, примітка до переговорів Джеремі Куна GLL post 1 , GLL post 2 , GLL post 3 . Згідно з теоремою Ладнера, якщо P≠NPП≠NПP \neq NP , то не порожній, тобто …
1
«Майже прості» проблеми, пов'язані з NP
Скажімо, що мова є близькою до P- щільності, якщо існує поліноміальний алгоритм часу, який правильно визначає майже на всіх входах.LLLLLLL Іншими словами, є P , такий, що зникає, що означає Це також означає, що на рівномірному випадковому вході багаточастовий алгоритм для A дасть правильну відповідь для L з вірогідністю наближення …
4
Складність спілкування… Заняття?
Обговорення : Останнім часом я приділяю деякий особистий час, вивчаючи різні речі в умовах складності спілкування. Наприклад, я ознайомився з відповідною главою в Арорі / Бараку, почав читати деякі документи і замовив книгу Кушилевіца / Нісана. Інтуїтивно, я хочу протиставити комунікаційну складність і обчислювальну складність. І зокрема, мене вражає той …
1
Чи всі класи складності мають характеристику мови листів?
Листові мови - прекрасний спосіб рівномірно визначити багато класів складності. Більшість класів складності зазвичай задаються моделлю обчислень (наприклад, детерміновані / рандомізовані ТМ) та обмеженими ресурсами (час журналу, поліпростір тощо). Однак у формулюванні мови листка існує лише одна модель обчислення, і клас визначається, надаючи мову листка. Деталі занадто довгі для пояснення, …
2
PPAD та Quantum
Сьогодні в Нью-Йорку та у всьому світі відзначають день народження Крістоса Пападімітріу. Це хороша можливість запитати про співвідношення класу складності Крістоса ППАД (та інших його суміжних класів) та квантових комп'ютерів. У своїй знаменитій статті 1994 року Пападімітріу представив та систематично вивчив декілька важливих класів складності, таких як PLS, PPAD та …
1
Поділ на дві функції в #P
Нехай ціле число функція така , що в . випливає, що знаходиться у ? Чи є причини вважати, що це навряд чи завжди буде таким? Будь-які посилання, про які я повинен знати?FFF2F2F2F#P#P\#PFFF#P#P\#P Дещо дивно, що ця ситуація виникла (зі значно більшою константою) для функції для якої - стара відкрита проблема. …
1
Проблеми в BQP, але, мабуть, знаходяться поза P
У Вікіпедії перераховано чотири проблеми, які знаходяться в але передбачається, що вони поза : Цілісна факторизація; Дискретний логарифм; Моделювання квантових систем; Обчислення полінома Джонса на певних коренях єдності.Б Q ПБQПBQPППP Чи є інші подібні проблеми?
1
Чи є краща, ніж лінійна нижня межа для факторингу та дискретного журналу?
Чи є посилання, які містять детальну інформацію про нижню межу схеми для конкретних важких проблем, що виникають у криптографії, такі як цілочисельний факторинг, проста / складова дискретна логарифмова задача та її варіант щодо групи точок еліптичних кривих (та їх абелевих вищих розмірів) та загальних прихована проблема підгрупи? Зокрема, чи є …
1
Наслідки UP дорівнюють NP
EDIT в 2011/02/08: Після пошуку та читання деяких посилань я вирішив розділити оригінальне запитання на два окремих. Ось частина, що стосується UP vs NP, про частину синтаксичних та семантичних класів див. Переваги для синтаксичних та семантичних класів . (однозначний поліноміальний час, див.Вікітазоопаркдля посилань) визначається як мови, вирішені N P -машинами …
4
Паритет і
Паритет і це нерозлучні близнюки. Або так здавалося останні 30 років. Зважаючи на результат Райана, відновиться інтерес до малих класів.AC0AC0AC^0 Фурст Сакс-Сіпсер - Яо - Хастад - це сукупність паритетних і випадкових обмежень. Разборов / Смоленський - це приблизний многочлен з парністю (ок, модні ворота). Aspnes та ін використовують слабкий …
1
Природний кандидат проти конституції ізоморфізму?
Знаменита концепція ізоморфізму Бермана та Хартманіса говорить, що всі незавершені мови є многочленним ізоморфним часом (p-ізоморфним) один для одного. Ключове значення гіпотези полягає в тому, що вона передбачає . Він був опублікований у 1977 р., І підтверджуючи, що всі проблеми, що не стосуються відомі на той час, справді були p-ізоморфними. …
1
Шукаєте приємну проблему всередині SC, але не на перших двох рівнях
Складність зоопарк не має багато про SCSC\mathsf{SC} . Я шукаю приємну проблему, що знаходиться на більш високих рівнях ієрархії, тобто проблему в але невідомо, що в .††^\daggerDTimeSpace(nO(1),lgO(1)n)DTimeSpace(nO(1),lgO(1)⁡n)\mathsf{DTimeSpace}(n^{O(1)},\lg^{O(1)} n)DTimeSpace(nO(1),lg2n)DTimeSpace(nO(1),lg2⁡n)\mathsf{DTimeSpace}(n^{O(1)},\lg^2n) Як побічне запитання, чи є якась відома причина, чому пошук прикладів приємних проблем у вищих рівнях ієрархій ( , , , тощо)? …
1
Головоломка вирізання
Проблема: нам надають набір паличок, всі мають цілі довжини. Загальна сума їх довжин - n (n + 1) / 2. Чи можемо ми їх розбити, щоб отримати паліноми розміром за багаточлен? 1 , 2 , … , н1,2,…,n{1,2,\ldots,n} Дивно, але єдине посилання, яке я знаходжу на цю проблему, - це …
1
Найвідоміші спільні утримання для / від NP та Parity-P?
Parity-P - це набір мов, розпізнаваний недетермінованою машиною Тьюрінга, який може розрізняти лише парне чи непарне число шляхів "прийняття" (а не нульове чи не нульове число шляхів прийняття). Таким чином Паритет-P в основному PP хирлявий молодший брат «s: в той час як ППИ розраховують ледве не число прінімающіхов траєкторій NP-машина …
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.