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

В этой теме попытка Нобетта Блюма в доказательстве лаконично опровергается, когда отмечается, что функция Тардоса является контрпримером к теореме 6P≠NPP≠NPP \neq NP Теорема 6 : Пусть - любая монотонная булева функция. Предположим, что существует CNF-DNF-аппроксиматор который можно использовать для доказательства нижней оценки . Тогда также можно использовать для доказательства той …

22 cc.complexity-theory  np-hardness  complexity-classes 

Я читал статью Андрея Бауэра « Первые шаги в теории синтетической вычислимости» . В заключении он отмечает, что Наша аксиоматизация имеет свой предел: она не может доказать какие-либо результаты в теории вычислимости, которые не могут относиться к вычислениям оракула. Это так, потому что теория может быть интерпретирована в варианте эффективного …

22 computability  relativization 

Я читал, что изначально Черч предложил -calculus как часть своей статьи «Постулаты логики» (которая читается плотно). Но Клини доказал свою «систему» ​​непоследовательной, после чего Черч извлек соответствующие вещи для своей работы по «эффективной вычислимости» и отказался от своей предыдущей работы над логикой.λλ\lambda Насколько я понимаю, -система и ее обозначения приняли …

22 lo.logic  big-picture  lambda-calculus  ho.history-overview 

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

22 cc.complexity-theory  sat  lower-bounds  space-bounded  space-complexity 

Это своего рода открытый вопрос, за который я заранее прошу прощения. Существуют ли примеры утверждений, которые (казалось бы) не имеют ничего общего со сложностью или машинами Тьюринга, но ответ на них подразумевал бы ?P ≠ N PP≠NP\mathbf{P}\neq \mathbf{NP}

22 cc.complexity-theory  complexity-classes  p-vs-np 

Я разрабатываю простой статически типизированный функциональный язык программирования для обучения. Похоже, что система типов, которую я реализовал до сих пор, могла (с небольшой дополнительной работой) включать типы пересечений и объединений, например, вы могли бы иметь: <Union String Integer> <Union Integer Foo> Пересечение двух типов выше было бы простым Integer Союз …

22 type-theory  functional-programming  type-inference  language-design 

В статье Томаса Дж. Шефера « Сложность проблем с удовлетворенностью» автор упомянул, что This raises the intriguing possibility of computer-assisted NP-completeness proofs. Once the researcher has established the basic framework for simulating conjunctions of clauses, the relational complexity could be explored with the help of a computer. The computer would …

22 cc.complexity-theory  reference-request  soft-question  reductions  proof-assistants 

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

22 cc.complexity-theory  graph-algorithms  np-hardness 

В свете недавней пропасти на глубине 3 результата (который, среди прочего, дает глубины 3 арифметическая схема дляп×попределителя надС), у меня следующие вопросы: Григорьев и Карпиньскидоказалв2Ом(п)нижняя граница для любой глубины-3 арифметической схемы вычислительной Определительп×пматрицы над конечными полями (что, я думаю, справедливо и для перманента). Формула Райзерадля вычисления перманента дает арифметическую схему …

22 circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant 

Я ищу неориентированные, невзвешенные связные графы , в которых для каждой пары существует уникальный путь который реализует расстояние ,G=(V,E)G=(V,E)G=(V,E)u,v∈Vu,v∈Vu,v \in Vu→vu→vu \rightarrow vd(u,v)d(u,v)d(u,v) Этот класс графиков хорошо известен? Какие еще свойства у него есть? Например, каждое дерево такого типа, как и каждый граф без четного цикла. Тем не менее, существуют …

22 graph-theory 

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

22 ds.algorithms 

Рассмотрим электрическую сеть, смоделированную как планарный граф G, где каждое ребро представляет собой резистор 1 Ом. Как быстро мы можем вычислить точное эффективное сопротивление между двумя вершинами в G? Эквивалентно, как быстро мы можем вычислить точный ток, протекающий вдоль каждого края, если мы подключим батарею 1 В к двум вершинам …

22 ds.algorithms  graph-theory  planar-graphs  physics 

Кубические графы - это графы, в которых каждая вершина имеет степень 3. Они были тщательно изучены, и я знаю, что некоторые NP-сложные задачи остаются NP-трудными, даже если они ограничены подклассами кубических графов, но некоторые другие становятся проще. Суперкласс кубических графов - это класс графов с максимальной степенью .Δ ≤ 3Δ≤3\Delta …

22 graph-theory  graph-algorithms  np-hardness 

Есть ли полезное описание будущего или обещания с точки зрения теории категорий? В частности, каким может быть категорический дуал будущего?

22 pl.programming-languages  ct.category-theory  concurrency 

Я работал над внедрением некоторых результатов вычислительной сложности в теоретическую биологию, особенно эволюцию и экологию , с целью быть интересным / полезным для биологов. Одна из самых больших трудностей, с которыми я столкнулся, заключается в обосновании полезности асимптотического анализа наихудшего случая для нижних оценок. Есть ли ссылки на длину статьи, …

22 cc.complexity-theory  reference-request  big-picture  application-of-theory  worst-case