Каждый ли распознаваемый по Тьюрингу неразрешимый язык имеет NP-полное подмножество? Этот вопрос можно рассматривать как более сильную версию того факта, что каждый бесконечный распознаваемый по Тьюрингу язык имеет бесконечное разрешимое...
Предположим, P! = NP. Мы знаем, что можем в любое время легко создавать 3-SAT. Мы также можем генерировать то, что мы считаем трудными примерами (потому что наши алгоритмы не могут их быстро решить). Что-нибудь мешает множеству жестких экземпляров быть сколь угодно малыми, при условии, что для...
Существуют ли известные алгоритмы для следующей задачи, которые побеждают наивный алгоритм? Входные данные: матрица и векторы , где все элементы являются неотрицательными целыми числами.AAAb,cb,cb,cA,b,cA,b,cA,b,c Вывод: оптимальное решение от до...
Предположим, что у меня есть пPP наборы с элементами, взятыми из рrrвозможные. Каждый набор имеет размерNnn (n <
Меня интересует вариант соответствия максимального веса на графике, который я называю «Максимальное соответствие соответствия». Предположим, что график заполнен (т.е. E=V×VE=V×VE=V\times V), Имеет четное число вершин, и что вес задается функцией прибыль . Для совпадающего обозначим через прибыль...
Мне интересно, если следующая проблема NP-трудна. Входные данные: G=(V,E)G=(V,E)G = (V,E) простой график и раскраска f:E→{1,2,3}f:E→{1,2,3}f : E \to \{1,2,3\} краев (fff не проверяет какие-либо конкретные свойства). Вопрос: возможно ли разбиениеEEE в |E|/3|E|/3|E|/3 треугольники, так что каждый...
Стандартная проблема 1-в-3 SAT (или XSAT или X3SAT): Экземпляр : формула CNF с каждым предложением, содержащим ровно 3 литерала. Вопрос : есть ли удовлетворительная установка присваивания, точно равная 1 литералу на предложение, верно? Проблема является NP-полной и остается сложной, даже если...
При фиксированном ориентированный граф (орграф) , то Проблема Решение -раскраска спрашивает , может ли входной Орграф имеет гомоморфизм к . (Гомоморфизм в - это отображение из в , сохраняющее дуги, то есть, если - дуга в , то - это дуга...
Есть хорошая статья 1991 года, которая содержит три диаграммы о различных семействах графов, показывающих то, что известно о сложности определения хроматического индекса для них. Есть ли какие-либо новости с тех пор? Меня больше всего интересует то, что известно о графах с ограниченным...
Каковы наиболее известные асимптотические верхние оценки размеров вероятностно проверяемых доказательств? В идеале я ищу современное исследование по этому широкому вопросу, но если его нет, меня особенно интересует неприемлемость 3-SAT. Пусть 7/8 + ε-3-SAT будет 3-SAT с обещанием, что если 7/8 + ε...