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

Визначте ioioio - - клас мов таким, що є мова і нескінченно багато ,L L ′ ∈ ∩ ε > 0 T I M E ( 2 n ε ) n LSUBEXPSUBEXPSUBEXPLLLL′∈∩ε>0TIME(2nε)L′∈∩ε>0TIME(2nε)L' \in \cap_{\varepsilon > 0} TIME(2^{n^{\varepsilon}})nnnLLL і L′L′L' домовляються про всі випадки довжини nnn . (Тобто, це клас мов, …

30 cc.complexity-theory  sat  oracles 

У багатьох областях існують канонічні прийоми, якими мають оволодіти всі, хто працює в цій галузі. Наприклад, для скорочення простору журналу "бітовий трюк" для композиції, що складається не з побудови повного виводу складеної функції, а завжди з проханням перерахувати результат за кожен біт виводу, дозволяючи зберігати обмеження простору журналу. Моє запитання …

28 cc.complexity-theory  oracles  relativization 

Взагалі, запит-стрічка для оракула зараховується до просторової складності TM. Однак видається правдоподібним дозволити оракул-стрічку лише для запису (наприклад, що використовується у скороченні простору L). Чи корисна така конструкція? Чи дає якісь особливо абсурдні результати?

20 cc.complexity-theory  space-bounded  oracles 

Ну, заголовок майже все це говорить. Цікаве питання, яке було задано вище, запитав коментер Джей у своєму блозі (дивіться тут і тут ). Я здогадуюсь і те, що відповідь "так", і що існує досить просте доказ, але я не міг це побачити з очей. (Дуже приблизно, можна спробувати показати, що …

18 computability  oracles  random-oracles 

Припустимо, TTT - дерево постійного ступеня, структура якого ми не знаємо. Проблема полягає у виведенні дерева , задаючи запити форми: "Чи лежить вузол на шляху від вузла до вузла ?". Припустимо, що кожен запит може відповідати оракулом постійно. Ми знаємо значення , кількість вузлів на дереві. Мета - мінімізувати час, …

18 ds.algorithms  reference-request  graph-algorithms  oracles  query-complexity 

Я щойно прочитав питання " Чи є цілочисельна факторизація неповною проблемою? ". Тому я вирішив витратити частину своєї репутації :-) задаючи інше питання маючи P ( Q тривіально ) ≈ 1 :QQQP(Q is trivial)≈1P(Q is trivial)≈1P(\text{Q is trivial}) \approx 1 Якщо - це оракул, який вирішує цілочисельну факторизацію, яка сила …

18 cc.complexity-theory  oracles  factoring 

Фон Відомо , що існує оракул AAA такий , що PSPACEA≠PHAPSPACEA≠PHAPSPACE^A \neq PH^A . Відомо навіть, що поділ має відношення до випадкового оракула. Неофіційно можна трактувати це так, що існує багато оракул, для яких PSPACEPSPACEPSPACE і PHPHPH є окремими. Питання Як складно ці оракули , які відокремлюють PSPACEPSPACEPSPACE від PHPHPH …

17 cc.complexity-theory  oracles  relativization  pspace  structural-complexity 

У «Квантових обчисленнях та квантовій інформації» Майка та Айка дуже детально пояснюється алгоритм Гровера. Однак у книзі та у всіх поясненнях, які я знайшов в Інтернеті щодо алгоритму Гровера, начебто не згадується про те, як побудований Oracle Grover, якщо ми вже не знаємо, в якому стані це шукаємо, перемагаючи мету …

16 quantum-computing  quantum-information  oracles  search-problem  black-box 

Найпоширеніший спосіб зустрічі оракул у теорії складності полягає в наступному: Фіксований оракул стає доступним, скажімо, машині Тюрінга з певними обмеженими ресурсами, і вивчається, як оракул збільшує обчислювальну потужність машини. Однак є й інший спосіб, коли іноді трапляються оракули: як частина введення . Наприклад, припустимо, я хочу вивчити алгоритми обчислення обсягу …

14 cc.complexity-theory  oracles 

У статті під назвою "Про заперечення в загальній системі відліку та випадкової моделі Oracle" Рафаель Пас пише: Зауважимо, що при доведенні безпеки відповідно до стандартного визначення нульових знань у моделі RO [Random Oracle], тренажер має дві переваги перед звичайним модельним симулятором, а саме: Симулятор може бачити, на які значення сторони …

13 cc.complexity-theory  cr.crypto-security  oracles  black-box 

Простіше кажучи: яка відповідність між машинами Тюрінга з оракулами та сімействами однорідних схем з оракулами? Як визначаються останні для того, щоб отримати таку ж обчислювальну модель для даної машини Oracle Turing? Це може бути елементарним питанням, але не очевидно, куди шукати, і я такий тип людини, який любить переконатися, що …

13 cc.complexity-theory  turing-machines  oracles  circuit-families 

Загальновідомо, що проблема зупинки є непорушною. Однак можна експоненціально «стиснути» інформацію про проблему зупинки, щоб розпакувати її обчислимо. Точніше, можна обчислити опис машин Тьюрінга і n -біт поради, що визначають відповідь на проблему зупинки для всіх 2 n - 1 машин Тьюрінга, припускаючи, що порада є надійною - ми дозвольте …

12 computability  lower-bounds  turing-machines  communication-complexity  oracles 

Я читав документ Бурмана та Гомера «Суперполіноміальні схеми, майже розріджені оракули та експоненціальна ієрархія» . Внизу сторінки 2 вони зазначають, що з результатів Каннана випливає, що NEXPTIMENPNEXPTIMENPNEXPTIME^{NP} не має схем розмірів поліномів. Я знаю, що в експоненціальній часовій ієрархії NEXPTIMENPNEXPTIMENPNEXPTIME^{NP} є просто Σ2EXPΣ2EXP\Sigma_2EXP , і я також знаю, що результат …

12 cc.complexity-theory  complexity-classes  time-complexity  oracles  circuits 

Чи ?NPNP∩coNP=NPNPNP∩coNP=NP\mathsf{NP^{NP \,\cap\, coNP}=NP} Ясно, що , але мені здається, що є "детермінованим", що змушує мене повірити, що це правда.N P ∩ c o N PNPNP≠NPNPNP≠NP\mathsf{NP^{NP}\neq NP}N P ∩ c o N PNP∩coNP\mathsf{NP\cap coNP} Чи є простий доказ (а може, просто за визначенням)?

12 cc.complexity-theory  complexity-classes  oracles 

Зоологія складності Грега Куперберга стверджує, що існує мова така, що B P P X X ⊈ Δ 2 P X - іншими словами, B P P X ⊈ P N P X - але не дає посилання на цей результат. Чому це дотримується? Або де можна знайти доказ?XXXBPPX⊈Δ2PXBPPX⊈Δ2PX\mathsf{BPP}^X \nsubseteq \mathsf{\Delta_2 …

12 cc.complexity-theory  oracles  relativization  polynomial-hierarchy  separation