Я хотел бы знать текущее состояние фазового перехода для случайных k-sat, учитывая n переменных и m предложений, что является наиболее известным c = m / n для верхней и нижней...
Я хотел бы знать текущее состояние фазового перехода для случайных k-sat, учитывая n переменных и m предложений, что является наиболее известным c = m / n для верхней и нижней...
На SODA 2006 работа Мартина Грохе и D sharp Нила Маркса «Решение ограничений с помощью дробных краевых покрытий» ( цитирование ACM ) показала, что для класса гиперграфов H с ограниченной дробной шириной гипердерева CSP ( H ) \ in ПТИМ .a´a´\acute{\rm a}HHHHHH∈PTIME∈PTIME\in PTIME Определения и т....
График автоморфизм является перестановкой узлов графа , который индуцирует биекцию на множество ребер . Формально, это - перестановка узлов, таких тогда и только тогда, когдаf ( u , v ) ∈ E ( f ( u ) , f ( v ) ) ∈ EЕЕEееf( u , v ) ∈ E(U,v)∈Е(u,v)\in E( ф( и ) , е( v ) ) ∈...
Этот вопрос возник у меня в голове после прочтения вклада Андраса Саламона и Колина Маккуиллана в мой предыдущий вопрос « Подсчет решений формул Monotone-2CNF» . РЕДАКТИРОВАТЬ 30- го марта 2011 г. Добавлен вопрос № 2. РЕДАКТИРОВАТЬ 29- го октября 2010 г. Вопрос перефразирован после предложения...
Hiroimono является популярной головоломкой Complete. Я заинтересован в вычислительной сложности связанной головоломки.NпNPNP Проблема в: Входные данные : заданный набор точек на квадратной сетке x n и целое число kNnnNnnКkk Вопрос : существует ли прямолинейный многоугольник (его стороны параллельны...
Пусть - перестановка. Обратите внимание, что хотя действует на бесконечной области, его описание может быть конечным. Под описанием я имею в виду программу, которая описывает функциональность . (Как и в колмогоровской сложности.) См. Пояснения ниже. π ππ:{0,1}∗→{0,1}∗π:{0,1}∗→{0,1}∗\pi \colon...
Кто-нибудь знает о наборе проблем, которые единообразно варьируются и охватывают одну из «интересных» иерархий сложности и вычислимости? Под интересным я имею в виду, например, полиномиальную иерархию, арифметическую иерархию или аналитическую иерархию. Или, может быть (N) P, (N) EXP, 2 (N)...
Резолюция - это схема, доказывающая неудовлетворенность CNF. Доказательством в резолюции является логический вывод пустого предложения для начальных предложений в CNF. В частности, любой начальный пункт может быть выведен, и из двух пунктов и B ∨ ¬ x также может быть выведен пункт A ∨ B....
Фон Сложность схемы определяется как набор семейств схем (т. Е. Последовательности схем, по одной для каждого входного размера) ограниченной глубины и полиномиального размера, построенных с использованием неограниченного разветвления И, ИЛИ и НЕ.A C0AC0AC^0 Функция четности с n- битным входом равна...
В предыдущем вопросе об иерархии времени я узнал, что равенства между двумя классами можно распространять на более сложные классы, а неравенства можно распространять на менее сложные классы с аргументами, использующими заполнение. Поэтому возникает вопрос. Почему мы изучаем вопрос о различных типах...
В этом вопросе было отмечено, что существуют версии описательной сложности теоремы Райса. Я нашел доказательство следующей теоремы: Учитывая класс сложности C , нетривиальные свойства языков в C не могут быть вычислены в C Ранее я опубликовал найденное мной доказательство, но поскольку оно было...
Постановка задачи : Позволять MMM быть (потенциально недетерминированным) автоматом и AA\cal Aбыть его входным алфавитом. Есть ли словоw∈A∗w∈A∗w \in \cal A^* улица |w|≤k|w|≤k|w| \leq k что принято MMM ? Эта проблема NP-полная? Было ли это изучено? Есть ли алгоритм, позволяющий найти такое...
Учитывая булеву схему для переменных (которая использует только вентили NOT, AND и OR), каков наиболее эффективный способ извлечь логическую формулу, представленную схемой? Есть ли алгоритм Polytime для этой...
Есть ли способ, которым проверяющий может убедить верификатора в том, что некоторое выражение HORN-SAT выполнимо? Конечно, это может показаться глупым, поскольку для HORN-SAT существуют линейные алгоритмы времени. С другой стороны, HORN-SAT является P-полным, что означает, что он не имеет...
Я играл с очень интересным и все еще открытым вопросом « Азбука одноленточной машины Тьюринга » (Эмануэле Виола) и придумал следующий язык: L = { x ∈ { 0 , 1 }N ул | х | = n = 2м и c o u n t 1 ( x ) = k ∗ m ;n , m , k ≥ 1 }L={x∈{0,1}n s.t. |x|=n=2m and count1(x)=k∗m;n,m,k≥1}L = \{ x \in \{0,1\}^n...
Короче говоря, теоремы иерархии времени говорят о том, что машина Тьюринга может решить больше проблем, если у нее будет больше времени для вычислений. Подробно для детерминированных TM и функций, построенных по времени, с это и для недетерминированных функций TM и функций времени, f, g с f (n + 1)...
Span-программа - это линейно-алгебраический способ задания булевой функции, представленный здесь . Недавно эта модель использовалась, чтобы показать, что метод отрицательного противника обеспечивает точную характеристику (по крайней мере, до ) сложности квантовых...
Рассмотрим проблему доминирующего множества в общих графах, и пусть будет количеством вершин в графе. Алгоритм жадного приближения дает гарантию приближения фактора , т. Е. В полиномиальное время можно найти решение такое, что , где - размер минимального доминирующего множества. Есть оценки ,...
Хотя экспоненциальное разделение между сложностью квантового запроса с ограниченной ошибкой ( Q ( f)Q(f)Q(f) ) и сложностью детерминированного запроса ( Д ( ф)D(f)D(f) ) или сложностью рандомизированного запроса с ограниченной ошибкой ( R ( f)R(f)R(f) ) известно, они применяются только к...
Обновление: кажется, что эта проблема была недавно изучена и решена, см. Эту статью вики: http://en.wikipedia.org/wiki/Tree_walking_automaton А также этот опрос: http://www.mimuw.edu.pl/~bojan /papers/twasurvey.pdf Предположим, что вместо обычного набора слов {0,1} * наши слова не линейны, а заданы...