Предположим , что 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} здесь . Теорема Ладнера говорит нам, что если то...
Мы знаем , что краевые раскраски графа являются вершинными раскрасками специального графа, а именно на линию граф от .GGG L(G)L(G)L(G)GGG Существует ли оператор графа такой, что раскраски вершин графа являются краевыми раскрасками графа ? Меня интересует такой оператор графа, который можно...
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} В этом отношении, какое «правильное» приближение нужно запрашивать - мультипликативное или аддитивное? (см. один из ответов...
Вышла новая статья, утверждающая квазиполиномиальный алгоритм для дискретного логарифма. http://arxiv.org/abs/1306.4244 Если все верно, значит ли это, что у нас больше нет экспоненциального разделения по сложности классического алгоритма и его квантовой версии для задачи дискретного логарифма?...
Мне интересно, есть ли какие-либо статьи или исследования, посвященные явно выталкивающим автоматам, но позволяющие помещать слова, а не отдельные буквы, в стек. С другой стороны, конструкция, которая позволяла нажимать символы на ϵϵ\epsilon переходы, могла бы достичь той же цели. Очевидно, что...
Любой плоский , соответственно, внешний планарный граф удовлетворяет условию | E ′ | ≤ 3 | V ′ | - 6 , соответственно, | E ′ | ≤ 2 | V ′ | - 3 , для каждого подграфа G ' = ( V ' , E ' ) в G .G=(V,E)G=(V,E)G=(V,E)|E′|≤3|V′|−6|E′|≤3|V′|−6|E'|\le 3|V'|-6|E′|≤2|V′|−3|E′|≤2|V′|−3|E'|\le...
В работе «Эффективный алгоритм изоморфизма графов » Корнейла и Готлиба, 1970 г. была высказана гипотеза, на которой основывался алгоритм для решения GI за полиномиальное время. А именно: что репрезентативные графы демонстрируют автоморфизм разбиения данного графа Очевидно, что эта гипотеза не...
Этот вопрос, вероятно, находится на границе между темой и темой, однако я видел подобные вопросы здесь, поэтому я задам его. Я реализую уникальный kkk -SAT-решатель, вход которого представляет собой формулу kkk -CNF, имеющую не более 111 удовлетворительного назначения. Чтобы проверить его...
Мне предложили преподавать новую программу средней школы TCS, которая требует составления учебного плана. Мне бы очень хотелось услышать мнения и предложения по этому поводу. Во-первых, кто-нибудь знает о средних школах, где программа TCS преподавалась успешно (или безуспешно)? Идея предназначена...
Существует очень мало информации, которую я могу найти по NP-полной задаче решения линейного диофантового уравнения в неотрицательных целых числах. То есть, есть решение в неотрицательном к уравнению 1 х 1 + 2 х 2 + . , , + a n x n = b , где все константы положительны? Единственное заслуживающее...
Гауэрс недавно изложил проблему, которую он называет «дискретизированной определенностью Бореля», решение которой связано с доказательством нижних границ схемы. Можете ли вы дать краткое изложение подхода, ориентированного на аудиторию теоретиков сложности? Что потребуется для этого подхода, чтобы...
Однозначные конечные автоматы (UFA) - это особый тип недетерминированных конечных автоматов (NFA). NFA называется однозначным, если каждое слово имеет не более одного приемлемого пути.w ∈ Σ*вес∈Σ*w\in \Sigma^* Это означает , что .D FA ⊂ UFA ⊂ NFADFA⊂UFA⊂NFADFA\subset UFA\subset NFA Известные...
Я ищу проблемы, которые, как известно, являются NPC для ориентированных графов, но имеют полиномиальный алгоритм для неориентированных графов. Я видел вопрос, касающийся здесь «направленных» проблем, которые проще, чем их «ненаправленный» вариант , но я ищу жесткость на направленной стороне....
Когда мы смотрим на книгу «Гомотопическая теория типов» - мы видим следующие темы: 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...
Теоремы об иерархии являются фундаментальными инструментами. Многие из них были собраны в предыдущем вопросе (см. Какие иерархии и / или теоремы иерархии вы знаете? ). Некоторые разделения классов сложности прямо следуют из теорем иерархии. Примеры таких хорошо известных разделений: , , ,...
Край крышки представляет собой подмножество ребер графа, что каждая вершина графа смежна по крайней мере , одного края крышки. В следующих двух статьях говорится, что подсчет краевых покрытий является # P- полным: Простая FPTAS для подсчета краевых покрытий и генерации краевых покрытий для графов...
NP в ?DTIME(npolylogn)DTIME(npolylogn)DTIME(n^{poly\log
Мне интересно, существуют ли какие-нибудь хорошие пояснительные статьи или обзоры, на которые я могу сослаться, когда пишу об операторах класса сложности : операторах, которые преобразуют классы сложности, выполняя такие вещи, как добавление к ним кванторов. Примеры операторов Следующее может быть...
Я пытаюсь понять сложность функций, которые можно выразить через пороговые элементы, и это привело меня к . В частности, мне интересно, что в настоящее время известно об обучении в , так как я не эксперт в этой области.TC0TC0\mathsf{TC}^0TC0TC0\mathsf{TC}^0 На данный момент я обнаружил, что: Все из...
Извините, если это слишком широкий вопрос для этого форума, но меня интересуют конкретные тактики и советы, которые исследователи (в TCS) используют, чтобы написать введение в исследовательскую работу....