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

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

24 lo.logic  soft-question  pl.programming-languages  linear-logic 

Это связано с вопросом: известен ли размер свидетельства для каждого языка NP, уже известного? Некоторые естественные задачи (-complete) имеют свидетелей линейной длины: удовлетворительное назначение для S A T , последовательность вершин для H A M P A T H и т. Д.Н ПNP\mathsf{NP}SА ТSATSATЧАСА МпА ТЧАСHAMPATHHAMPATH Рассмотрим класс сложности « …

24 cc.complexity-theory  complexity-classes  np 

Для любого языка над определите На словах состоит из всех , для которых есть одинаковой длины таким образом, что .Σ * L +1 / +2 = { х ∈ Σ * : х у ∈ L , у ∈ Σ | х | } . L 1 / 2 х …

24 fl.formal-languages  automata-theory 

Существует репутация, что в информатике у нас нет научно-популярных книг. Конечно, это не совсем так! (В том же духе из списка « Какие книги должен читать каждый?» , « Какие газеты должен читать каждый?» , « Какие видео должен смотреть каждый?», Созданный по мотивам « Любимой популярной математической книги» ) …

24 big-list  books 

Редактировать: я сначала неправильно сформулировал свое ограничение (2), теперь оно исправлено. Я также добавил больше информации и примеров. С некоторыми коллегами, изучающими какой-то другой алгоритмический вопрос, мы смогли свести нашу проблему к следующей интересной проблеме, но мы не смогли решить вопрос о ее сложности. Проблема заключается в следующем. Экземпляр: целое …

24 cc.complexity-theory  ds.algorithms  reference-request 

РЕДАКТИРОВАТЬ (v2): в конце добавлен раздел о том, что я знаю о проблеме. РЕДАКТИРОВАТЬ (v3): Добавлено обсуждение пороговой степени в конце. Вопрос Этот вопрос в основном справочный запрос. Я не знаю много о проблеме. Я хочу знать, была ли предыдущая работа по этой проблеме, и если да, может ли кто-нибудь …

24 cc.complexity-theory  reference-request  circuit-complexity  polynomials 

Существует множество применений реального анализа в теоретической информатике, охватывающих тестирование свойств, сложность коммуникации, обучение PAC и многие другие области исследований. Тем не менее, я не могу думать о каком-либо результате в TCS, который опирается на комплексный анализ (за исключением квантовых вычислений, где комплексные числа являются неотъемлемой частью модели). У кого-нибудь …

24 soft-question  big-picture 

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

24 quantum-computing  reference-request  fault-tolerance 

В «Требованиях к квантовым вычислениям» Бартлетт и Сандерс суммируют некоторые из известных результатов для квантовых вычислений с непрерывной переменной в следующей таблице: Мой вопрос состоит из трех частей: Девять лет спустя, можно ли заполнить последнюю ячейку? Если столбец добавлен с заголовком «Универсальный для BQP», как будет выглядеть остальная часть столбца? …

24 quantum-computing 

Даны Nnn подмножеств S1, … , SNS1,…,SnS_1,\ldots,S_n из { 1 , … , д}{1,…,d}\{1,\ldots,d\} . Проверьте, есть ли множества Sя, SJSi,SjS_i,S_j с Sя⊊ SJSi⊊SjS_i \subsetneq S_j . (Если так, найдите пример, если нет, просто скажите «нет») Тривиальное решение этой проблемы проходит через все пары наборов и проверяет включение для пары …

24 ds.algorithms  reference-request 

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

24 lo.logic  pl.programming-languages  type-theory 

Проблема стабильного брака: http://en.wikipedia.org/wiki/Stable_marriage_problem Мне известно, что для случая SMP возможны многие другие стабильные браки, кроме одного, возвращенного алгоритмом Гейла-Шепли. Однако, если нам дается только , число мужчин / женщин, мы задаем следующий вопрос: можем ли мы составить список предпочтений, который дает максимальное количество стабильных браков? Какова верхняя граница для …

24 ds.algorithms  co.combinatorics  graph-algorithms  heuristics  matching 

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

24 reference-request  graph-theory  co.combinatorics  treewidth 

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

24 ds.algorithms  reference-request  lo.logic  sat 

Подсчет количества совершенных совпадений в двудольном графе сразу сводится к вычислению перманента. Поскольку поиск идеального соответствия в двудольном графе есть в NP, существует некоторое сокращение от двудольных графов к перманенту, но это может привести к неприятному полиномиальному взрыву, используя приведение Кука к SAT, а затем теорему Валианта, чтобы свести к …

24 graph-theory  counting-complexity  reductions  permanent