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

Принцип 0-1 говорит, что если сеть сортировки работает для всех последовательностей 0-1, то она работает для любого набора чисел. Существует ли такое, что если сеть сортирует каждую последовательность 0-1 из S, то она сортирует каждую последовательность 0-1, а размер S является полиномиальным по n ?S⊂{0,1}nS⊂{0,1}nS\subset \{0,1\}^nSSSnnn Например, если состоит из …

16 ds.algorithms  sorting  sorting-network 

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

16 reference-request  boolean-functions 

Я читал, что целочисленное линейное программирование разрешимо за полиноминальное время, если число переменных фиксировано, т.е. n ∈ O ( 1 ) . Если число переменных растет логарифмически, т. Е. N ∈ O ( log 2 ( N ) ) для заданного входного значения размера N , проблема все еще разрешима …

16 cc.complexity-theory  np  open-problem 

Пусть орграф (не обязательно DAG) и . Что является сложность подсчета количества простой путей в . GGGs,t∈V(G)s,t∈V(G)s,t \in V(G) s−ts−ts-tGGG Я ожидал бы, что проблема будет # -полной, но не смог найти точную ссылку. PP{\mathsf P} Также обратите внимание, что на ряд похожих вопросов были даны правильные ответы здесь и …

16 ds.algorithms  reference-request  counting-complexity 

Глядя на блог по теории гомотопических типов, можно легко найти множество библиотек, формализующих большую часть теории гомотопических типов в Agda и Coq. Кто-нибудь знает, есть ли подобная попытка формализовать HoTT в Идрисе ?

16 proof-assistants  homotopy-type-theory 

Я ищу однопроходный алгоритм, который вычисляет четность перестановки. Я предполагаю, что входная перестановка задается потоком . Выходными данными должно быть соотношение перестановок. Вопрос, который меня интересует, сколько памяти должен использовать детерминированный алгоритм. Есть ли какой-либо рандомизированный алгоритм для задачи?π[1],π[2],⋯,π[n]π[1],π[2],⋯,π[n]\pi[1], \pi[2], \cdots, \pi[n] Я знаю, что для вычисления числа инверсий за …

16 ds.algorithms  permutations  streaming-algorithms 

Существует ли общая теорема, которая при надлежащей дезинфекции утверждает, что наиболее известные результаты, касающиеся использования действительных чисел, могут фактически использоваться при рассмотрении только вычислимых вещественных чисел? Или существует правильная характеристика результатов, которые остаются действительными при рассмотрении только вычислимых действительных значений? Дополнительный вопрос заключается в том, можно ли доказать результаты, касающиеся …

16 computability  computing-over-reals  topology  model-theory 

Мне нужен список полных языков . Есть две такие проблемы, перечисленные в зоопарке сложности , а именно:Σp2Σ2p\Sigma_2^p Минимальный эквивалент DNF. Учитывая формулу DNF F и целое число k, существует ли формула DNF, эквивалентная F с k или меньшим числом вхождений литералов? Кратчайший имплицит. Учитывая формулу F и целое число k, …

16 complexity-classes  polynomial-hierarchy 

Недавно у меня была беседа с другом (сторонником строго типизированных языков). Он сделал комментарий: Изобретатели Lambda Calculus всегда предполагали, что он будет напечатан. Теперь мы видим , что церковь была связана с в Просто типизированных лямбда - исчислению . Действительно, кажется, что он объяснил Лямбда-исчисление Простого Типа, чтобы уменьшить недопонимание …

16 lambda-calculus  church-turing-thesis  lisp  typed-lambda-calculus 

Мы говорим , что НКА является постоянно Неоднозначность , если существует K ∈ N такое , что любое слово W ∈ Е * принимается либо 0 или (точно) К путям.MMMk∈Nk∈Nk\in \mathbb{N}w∈Σ∗w∈Σ∗w\in \Sigma^*000kkk Если автомат постоянно неоднозначен при k = 1 , то M называется однозначным FA (UFA).MMMk=1k=1k=1MMM Пусть обычный язык.LLL …

16 complexity-classes  fl.formal-languages  automata-theory  regular-language 

Извините, если это слишком широкий вопрос для этого форума, но меня интересуют конкретные тактики и советы, которые исследователи (в TCS) используют, чтобы написать введение в исследовательскую работу.

16 soft-question  advice-request  research-practice  writing 

Я преподаю курс по структурам данных и в начале следующей недели расскажу о деревьях сплайнов. Я много раз читал статью о деревьях сплайнов и знаком с анализом и интуицией, стоящими за структурой данных. Тем не менее, я не могу найти твердую интуицию для потенциальной функции, которую Слеатор и Тарьян используют …

16 ds.data-structures  intuition  amortized-analysis 

Я пытаюсь понять сложность функций, которые можно выразить через пороговые элементы, и это привело меня к . В частности, мне интересно, что в настоящее время известно об обучении в , так как я не эксперт в этой области.TC0TC0\mathsf{TC}^0TC0TC0\mathsf{TC}^0 На данный момент я обнаружил, что: Все из могут быть изучены в …

16 cc.complexity-theory  reference-request  cr.crypto-security  lg.learning  boolean-functions 

NP в ?DTIME(npolylogn)DTIME(npolylog⁡n)DTIME(n^{poly\log n})

16 cc.complexity-theory  complexity-classes 

Теоремы об иерархии являются фундаментальными инструментами. Многие из них были собраны в предыдущем вопросе (см. Какие иерархии и / или теоремы иерархии вы знаете? ). Некоторые разделения классов сложности прямо следуют из теорем иерархии. Примеры таких хорошо известных разделений: , , , .L≠PSPACEL≠PSPACEL\neq PSPACEP≠EXPP≠EXPP\neq EXPNP≠NEXPNP≠NEXPNP\neq NEXPPSPACE≠EXPSPACEPSPACE≠EXPSPACEPSPACE\neq EXPSPACE Однако не каждое …

16 cc.complexity-theory  complexity-classes  hierarchy-theorems