Теоретична інформатика

Я шукаю просторову структуру даних, яка містить набори (без повторення) елементів розміру слів і підтримує швидке вставлення (амортизований O (1)). Під "просторовим" я маю на увазі в ідеалі слів для зберігання n елементів.n+o(n)n+o(n)n + o(n)nnn Набір набору є важливою частиною питання: якщо кожен елемент доданий разів, ніж використаний простір, не …

11 ds.data-structures 

Наступна проблема вирішується: Враховуючи контекстну граматику , чи ?L ( G ) = ∅GGGL(G)=∅L(G)=∅L(G) = \varnothing Наступна проблема не визначена: Враховуючи контекстну граматику , чи ?L ( G ) = A ∗GGGL(G)=A∗L(G)=A∗L(G) = A^{\ast} Чи є характеристика без контекстних мов з рівномірною рівністю ?L ( G ) = MMMML(G)=ML(G)=ML(G) = …

11 computability  fl.formal-languages 

Що відомо про фазовий перехід у проблемах # P-Complete? Зокрема, чи існує різний фазовий перехід для # DNF-k-SAT та # CNF-k-SAT? Оновлення: Як ми знаємо, у Random k-SAT є фазовий перехід, коли вирішення проблеми переходить від простого до важкого і знову до легкого. Я хотів би знати, чи існує таке …

11 cc.complexity-theory  counting-complexity  phase-transition 

Як можна дивитися на проблему та причину того, що це, ймовірно, NP-Intermediate на відміну від NP-Complete? Часто досить просто подивитися на проблему і сказати, ймовірно, це NP-Complete чи ні, але мені здається, що набагато важче сказати, чи є проблема NP-Intermediate, оскільки лінія здається, що між ними є досить тонка заняття. …

11 cc.complexity-theory  complexity-classes  np-intermediate 

Зараз я розглядаю хороший довідковий матеріал, що стосується немісцевих ігор з корисними аспектами в квантовій комунікації. Наприклад, мені відомо, що не локальні ігри добре знижують складну комунікаційну складність, а також забезпечують безпеку протоколів QKD. Що я хотів би знати, - які основні статті щодо нелокальних ігор у квантовій комунікації? Чи …

11 reference-request  quantum-computing  communication-complexity  quantum-information 

Мені хотілося б знати, чи можна вирішити наступну проблему в (недетермінованому просторі журналів):N LNL\mathsf{NL} Враховуючи спрямований графік з двома розрізненими вершинами і , чи існує унікальний шлях від до в ?с тГGGсssтttт ГсssтttГGG Я відчуваю, що це, ймовірно, буде в оскільки ми можемо вирішити як наявність - шляху, так і …

11 reference-request  graph-theory 

У 1975 році Міллер показав, як зменшити факторизацію цілого числа до знаходження періоду функції такий, що f (x + r) = f (x) з деяким випадковим чином обраним a <N . Добре відомо, що алгоритм Шора може ефективно знайти r на квантовому комп'ютері, тоді як вважається, що класичний комп'ютер не …

11 cc.complexity-theory  cr.crypto-security  factoring 

Закріпимо 0<E<10<E<100 . для будь-якого nnn та для будь-якого вектора c¯∈[0,1]nc¯∈[0,1]n\bar{c} \in [0,1]^n такого, що ∑i∈[n]ci≥E×n∑i∈[n]ci≥E×n\sum_{i\in [n]} c_i \geq E \times n Ac¯:=|{S⊆[n]:∑i∈S ci≥E×t}|≥(E×nt)Ac¯:=|{S⊆[n]:∑i∈S ci≥E×t}|≥(E×nt)A_{\bar{c}} :=|\{ S \subseteq [n] : \sum_{i \in S}~ c_i \geq E \times t \}| \geq \binom{ E \times n}{ t } Я не знаю, чи …

11 co.combinatorics  it.information-theory 

Чи можливо побудувати алгоритм, який приймає як вхід автоматичний автоматичний вимикач разом із обіцянкою того, що мова, прийнята цим автоматом L ( M ), є детермінованою безконтекстною мовою і видає детермінований автоматичний автоматичний вимикач N, який точно приймає прийняту мову від М ?МMMЛ ( М)L(M)L(M)NNNМMM Еквівалентною проблемою було б побудувати …

11 reference-request  computability  fl.formal-languages  automata-theory 

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

11 cc.complexity-theory  interactive-proofs 

Усі музеї та експонати, пов'язані з комп’ютером, я знаю, здається, лише висвітлюють історію обчислювальної техніки, але нічого не стосується тем інформатики. Ви берете участь у створенні нового Музею обчислювальної техніки, який заручається для навчання, розваг та натхнення широкої громадськості у широкому спектрі обчислень / інформатики / комунікацій / математики. Хоча …

11 soft-question  big-list  ho.history-overview 

Чи правильно називати структуру mapReduce тип об'ємної синхронної рамки паралельного програмування без локального збереження пам'яті в процесорах між синхронізаціями? Якщо ні, то яка паралельна програма програмування найбільш точно інкапсулює карту mapReduce?

11 dc.parallel-comp  machine-models 

Я шукаю високоефективну структуру даних для зберігання даних, подібних до наступних. Ідентифікаційні теги Order1 Order2 -------------------------- 1 1,2 1 1 2 2,5 2 3 3 1,7 4 7 4 6 3 0 Мені потрібно , щоб мати можливість запросити цю структуру таким чином , що це дало б мені список …

11 ds.data-structures  application-of-theory  db.databases 

Я не пам'ятаю, як бачив поділ класів, який не базувався на результатах діагоналізації та релятивізації. Діагоналізація все ще може бути використана для відокремлення залишилися відомих класів, оскільки нерелятивізуючі аргументи все ще можуть використовуватися у висновку діагоналізації або в діагоналізованій конструкції машини Тьюрінга. Ось кілька пов'язаних питань: Чи існують докази поділу …

11 cc.complexity-theory  complexity-classes  relativization  barriers 

Я знаю, що питання "чи формула формули першого порядку є моделлю" взагалі не визначається.ϕϕ\phi Хто-небудь міг би дати мені посилання чи книгу, які дають відповідь для обмежених моделей. Якщо у мене формула першого порядку , чи вирішується, чи має кінцеву модель? Я майже впевнений, що питання добре відомо, але я …

11 reference-request  lo.logic  computability  finite-model-theory