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

Когда мы смотрим на книгу «Гомотопическая теория типов» - мы видим следующие темы: Homotopy type theory 2.1 Types are higher groupoids 2.2 Functions are functors 2.3 Type families are fibrations 2.4 Homotopies and equivalences 2.5 The higher groupoid structure of type formers 2.6 Cartesian product types 2.7 S-types 2.8 The …

16 type-systems 

Мне интересно, существуют ли какие-нибудь хорошие пояснительные статьи или обзоры, на которые я могу сослаться, когда пишу об операторах класса сложности : операторах, которые преобразуют классы сложности, выполняя такие вещи, как добавление к ним кванторов. Примеры операторов Следующее может быть истолковано как минимальный список операторов, который должен уметь дать ответ. …

16 reference-request  complexity-classes 

Край крышки представляет собой подмножество ребер графа, что каждая вершина графа смежна по крайней мере , одного края крышки. В следующих двух статьях говорится, что подсчет краевых покрытий является # P- полным: Простая FPTAS для подсчета краевых покрытий и генерации краевых покрытий для графов путей . Однако, если я что-то …

16 reference-request  graph-algorithms  counting-complexity  proofs 

Я ищу проблемы, которые, как известно, являются NPC для ориентированных графов, но имеют полиномиальный алгоритм для неориентированных графов. Я видел вопрос, касающийся здесь «направленных» проблем, которые проще, чем их «ненаправленный» вариант , но я ищу жесткость на направленной стороне. Например, известно, что набор ребер обратной связи является NPC для ориентированного, …

16 cc.complexity-theory  ds.algorithms  graph-theory  graph-algorithms  np-hardness 

Однозначные конечные автоматы (UFA) - это особый тип недетерминированных конечных автоматов (NFA). NFA называется однозначным, если каждое слово имеет не более одного приемлемого пути.w ∈ Σ*вес∈Σ*w\in \Sigma^* Это означает , что .D FA ⊂ UFA ⊂ NFADFA⊂UFA⊂NFADFA\subset UFA\subset NFA Известные связанные результаты автоматов: Минимизация NFA - PSPACE-Complete. Минимизация NFA над …

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

Гауэрс недавно изложил проблему, которую он называет «дискретизированной определенностью Бореля», решение которой связано с доказательством нижних границ схемы. Можете ли вы дать краткое изложение подхода, ориентированного на аудиторию теоретиков сложности? Что потребуется для этого подхода, чтобы доказать что-либо , включая повторное доказательство известных нижних границ?

16 cc.complexity-theory  p-vs-np 

Существует очень мало информации, которую я могу найти по NP-полной задаче решения линейного диофантового уравнения в неотрицательных целых числах. То есть, есть решение в неотрицательном к уравнению 1 х 1 + 2 х 2 + . , , + a n x n = b , где все константы положительны? …

16 cc.complexity-theory  reference-request  np-hardness  counting-complexity 

В работе «Эффективный алгоритм изоморфизма графов » Корнейла и Готлиба, 1970 г. была высказана гипотеза, на которой основывался алгоритм для решения GI за полиномиальное время. А именно: что репрезентативные графы демонстрируют автоморфизм разбиения данного графа Очевидно, что эта гипотеза не доказана до сих пор (иначе мы бы знали, что GI …

16 graph-isomorphism  automorphism 

Любой плоский , соответственно, внешний планарный граф удовлетворяет условию | E ′ | ≤ 3 | V ′ | - 6 , соответственно, | E ′ | ≤ 2 | V ′ | - 3 , для каждого подграфа G ' = ( V ' , E ' ) в …

16 reference-request  graph-theory  graph-algorithms 

Мне предложили преподавать новую программу средней школы TCS, которая требует составления учебного плана. Мне бы очень хотелось услышать мнения и предложения по этому поводу. Во-первых, кто-нибудь знает о средних школах, где программа TCS преподавалась успешно (или безуспешно)? Идея предназначена для трехлетней программы (10-12 классы, возраст 16-18 лет), около 8 часов …

16 teaching 

Этот вопрос, вероятно, находится на границе между темой и темой, однако я видел подобные вопросы здесь, поэтому я задам его. Я реализую уникальный kkk -SAT-решатель, вход которого представляет собой формулу kkk -CNF, имеющую не более 111 удовлетворительного назначения. Чтобы проверить его практическое поведение, мне нужен набор таких формул. Я искал …

16 sat 

Вышла новая статья, утверждающая квазиполиномиальный алгоритм для дискретного логарифма. http://arxiv.org/abs/1306.4244 Если все верно, значит ли это, что у нас больше нет экспоненциального разделения по сложности классического алгоритма и его квантовой версии для задачи дискретного логарифма? Имеет ли это какое-либо значение для квантовой теории сложности?

16 cc.complexity-theory 

Мне интересно, есть ли какие-либо статьи или исследования, посвященные явно выталкивающим автоматам, но позволяющие помещать слова, а не отдельные буквы, в стек. С другой стороны, конструкция, которая позволяла нажимать символы на ϵϵ\epsilon переходы, могла бы достичь той же цели. Очевидно, что такие вариации могут быть сформированы, но мне интересно, разрушает …

16 reference-request  fl.formal-languages  automata-theory  context-free  context-free-languages 

n×nn×nn\times nlog2(n)log2⁡(n)\log^2(n)111∥A∥≤1‖A‖≤1\left\|A\right\|\leq 11/poly1/poly1/\text{poly} В этом отношении, какое «правильное» приближение нужно запрашивать - мультипликативное или аддитивное? (см. один из ответов ниже).

16 determinant  cc.complexity-theory 

Предположим , что P ≠ N Pп≠Nп\mathsf{P} \neq \mathsf{NP} . N P INпя\mathsf{NPI} - класс задач в Н ПNп\mathsf{NP} которых нет ни в пп\mathsf{P} ни в Н ПNп\mathsf{NP} -твердых. Вы можете найти список проблем предположительно N P INпя\mathsf{NPI} здесь . Теорема Ладнера говорит нам, что если то существует бесконечная иерархия …

16 cc.complexity-theory  np-hardness  np-intermediate