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

Существуют ли разрешимые проблемы, такие, что для любого алгоритма, который решает проблему, мы можем дать ограничение по времени как функцию длины n входного экземпляра? Я пришел к этому вопросу, потому что думал о следующем: Предположим, у нас есть рекурсивно перечислимая, но неразрешимая проблема. Предположим далее, что я - "да" -инстанция …

12 computability  time-complexity 

Дан фильтр Блума размером N битов и K хэш-функций, из которых установлены M-биты (где M <= N) фильтра. Можно ли приблизить количество элементов, вставленных в фильтр Блума? Простой пример Я обдумывал следующий пример, предполагая, что BF состоит из 100 битов и 5 хэш-функций, где установлены 10 битов ... В лучшем …

12 ds.data-structures  pr.probability 

Скажем, у кого-то есть язык , но вы не знаете, какие строки на самом деле являются частью языка. Все, что есть, - это конечное представление языка: конечный набор строк о которых известно, что они есть в языке, и конечный набор строк , которые известны не быть на языке.L⊆Σ∗L⊆Σ∗L \subseteq \Sigma^*A⊆LA⊆LA …

12 cc.complexity-theory  fl.formal-languages  automata-theory 

Я ищу быстрый алгоритм для расчета максимального потока в динамических графиках. то есть, учитывая граф и s , t ∈ V, мы имеем максимальный поток F в G от s к t . Затем новый / старый узел u добавляется / удаляется с соответствующими ему ребрами для формирования графа G …

12 graph-theory  graph-algorithms 

Обычно проще рассуждать о исчислении, где ограничение - это конечность вычислений, а не порог, подобный «вычислимому за полиномиальное количество времени». В теории формальных языков, например, вместо использования чтобы охарактеризовать апериодический моноид, проще использовать проконечные слова, чтобы .∃n.xn+1=xn∃n.xn+1=xn\exists n. x^{n+1} = x^nxω+1=xωxω+1=xωx^{\omega+1} = x^{\omega} В теории сложности единственная известная мне техника, …

12 cc.complexity-theory  computability 

Я просто хочу знать некоторые примеры функций, которые могут быть вычислены нетипизированным лямбда-исчислением, но не типизированными лямбда-исчислениями. Поскольку я новичок, некоторые повторение справочной информации будет оценено. Благодарю. Редактировать: набрав лямбда-исчисление, я намеревался узнать о системе F и лямбда-исчислении простого типа. Под функцией я подразумеваю любую вычислимую по Тьюрингу функцию.

12 pl.programming-languages  type-theory  lambda-calculus  computable-analysis 

Вес |x||x||x|двоичной строки x∈{0,1}nx∈{0,1}nx\in\{0,1\}^n - количество единиц в строке. Что произойдет, если мы заинтересованы в вычислении монотонной функции на входах с несколькими из них? Мы знаем, что решить, имеет ли граф клик, сложно для монотонных цепей (см., Среди прочего, Alon Boppana, 1987), но если граф имеет, например, не более k …

12 cc.complexity-theory  lower-bounds  circuit-complexity  parameterized-complexity  monotone 

Учитывая endofunctor , мы можем определить функции наблюдения как функции , которые являются полиморфными для любого F -коалгебры, то есть о б ы определена для любого F -коалгебры ⟨ A , гр : A → F A ⟩ . о б ы : ∀ ⟨ А , с ⟩ . …

12 ct.category-theory 

Я ищу язык L со следующими свойствами: L не должен быть контекстно-свободным. Дополнение L не должно быть контекстно-свободным. (Все, что вы видите в учебниках как главные примеры неконтекстно-свободных языков, похоже, не соответствует этому второму требованию.) L не должен быть слишком сложным. Например, я знаю, что неразрешимые языки соответствуют первым двум …

12 fl.formal-languages  automata-theory 

Как хорошо известно, задачи NP-hard оптимизации могут иметь много разных коэффициентов аппроксимации, начиная от PTAS и заканчивая отсутствием аппроксимации ни по одному фактору. Между ними у нас есть различные константы, , и т. Д.p o l y ( n )O ( журналн )O(log⁡n)O(\log n)р о л у( н )poly(n)poly(n) Что …

12 cc.complexity-theory  approximation-hardness 

Зоология сложности Грега Куперберга утверждает, что существует такой язык XXX , что BPPX⊈Δ2PXBPPX⊈Δ2PX\mathsf{BPP}^X \nsubseteq \mathsf{\Delta_2 \mathsf{P}}^X - другими словами, BPPX⊈PNPXBPPX⊈PNPX\mathsf{BPP}^X \nsubseteq \mathsf{P}^{\mathsf{NP}^X} - но не дает ссылку на этот результат. Почему это так? Или где найти доказательство? Этот вопрос частично мотивирован моим ответом на вопрос «Что известно о интерактивных доказательствах …

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

Я скорее специалист по квантовой оптике, чем специалист по квантовой информации, и занимаюсь главным образом уравнениями мастера. Меня интересует форма оператор-сумма, и я хотел бы получить ошибки в этой форме для небольшой квантовой системы, которую я моделирую. Подвох: Квантовая система управляется внешним (классическим) полем, моделируемым синусоидальной функцией, и скорости демпфирования …

12 quantum-information 

Рассмотрим следующую задачу проверки принадлежности к абелевой подгруппе . Входы: Конечная абелева группа с произвольно большим .G = Zd1× Zd1… × ZdмG=Zd1×Zd1…×ZdmG=\mathbb{Z}_{d_1}\times\mathbb{Z}_{d_1}\ldots\times\mathbb{Z}_{d_m}dяdid_i Производящая-набор { ч1, ... , чN}{h1,…,hn}\lbrace h_1,\ldots,h_n\rbrace подгруппы ЧАС⊂ GH⊂GH\subset G . Элемент b ∈ Gb∈Gb\in G . Вывод: «да», если b ∈ Hb∈Hb\in H и «нет» в …

12 ds.algorithms  time-complexity  matrices  nt.number-theory  gr.group-theory 

Я нашел проблему в доказательстве понижения субъекта Барендрегтом (Thm 4.2.5. Лямбда-исчисления с типами ). Последний шаг доказательства (стр. 60) гласит: "и, следовательно, по лемме 4.1.19 (1), Γ,x:ρ⊢P:σ′Γ,x:ρ⊢P:σ′\quad\Gamma,x:\rho\vdash P:\sigma' . " Однако согласно лемме 4.1.19 (1) это должно быть Γ[α⃗ :=τ⃗ ],x:ρ⊢P:σ′Γ[α→:=τ→],x:ρ⊢P:σ′\Gamma[\vec{\alpha}:=\vec{\tau}],x:\rho\vdash P:\sigma' , поскольку подстановка выполняется для всего контекста, а …

12 lo.logic  type-theory  lambda-calculus  proof-theory 

В моей работе возникает следующая проблема: Существует ли известный алгоритм, который аппроксимирует хроматическое число графа без независимого набора порядка 65? (Таким образом, альфа (G) <= 64 известна, а | V | / 64 - тривиальная нижняя, | V | тривиальная верхняя граница. Но существуют ли более проверенные аппроксимации при этом …

12 ds.algorithms  graph-algorithms  approximation-algorithms  graph-colouring