Меня интересует критическая плотность 3-удовлетворяемости (3-SAT) . Предполагается, что такой α существует: если количество случайно сгенерированных 3-SAT-предложений равно ( α + ϵ ) n или более, они почти наверняка неудовлетворительны. (Здесь ϵ - любая малая постоянная, а n - число переменных.)...
Я слышал от некоторых старших исследователей в области теоретической информатики, что работа в неиндустриальной отрасли, даже на несколько лет, убьет вашу карьеру в качестве исследователя TCS. Однако я с подозрением отношусь к утверждению, что путь от исследователя TCS к неисследовательской работе...
Мы определяем язык регулярного дерева, как в книге TATA : это множество деревьев, принятых недетерминированным автоматом конечного дерева (глава 1) или, что эквивалентно, множество деревьев, порожденных грамматикой регулярного дерева (глава 2). Оба формализма очень похожи на хорошо известные...
Другие мудрые редакторы в Википедии отклонили мою просьбу перевести статью в Википедии об алгоритме Рабина-Карпа на то, что, я думаю, следует назвать алгоритмом Карпа-Рабина, исходя из того, что имя Рабина-Карпа используется чаще ( ложь, если кто-то идет по цифрам ученого Google), или что это...
Некоторые NP-сложные задачи, которые являются экспоненциальными на общих графах, являются субэкспоненциальными на плоских графах, потому что ширина дерева не более и они экспоненциальны в ширине дерева.4.9 | В( G ) |------√4.9|V(G)|4.9 \sqrt{|V(G)|} В основном меня интересует, существуют ли...
RP - это класс проблем, решаемых недетерминированной машиной Тьюринга, которая завершается за полиномиальное время, но также допускается односторонняя ошибка. P - это обычный класс задач, разрешимых детерминированной машиной Тьюринга, которая заканчивается за полиномиальное время. P = RP следует из...
Пересечение двух (минимальных) DFA с n состояниями может быть вычислено с использованием O (n 2 ) времени и пространства. В общем, это оптимально, поскольку результирующий (минимальный) DFA может иметь n 2 состояний. Однако, если результирующий минимальный DFA имеет z состояний, где z = O (n),...
Есть ли какие-либо ссылки на
Знаковый ранг матрицы A с элементами + 1, -1 является наименьшим рангом (по реалам) матрицы B, которая имеет такой же шаблон знака, что и A (то есть для всех i , к ). Это понятие важно в сложности общения и теории обучения.Aя жВя ж> 0AяJВяJ>0A_{ij}B_{ij}>0я , джя,Ji,j Мой вопрос: существуют...
Хорошо известно, что любое доказательство, решающее вопрос P против NP, должно преодолевать релятивизацию , естественные доказательства и барьеры алгебраизации . Следующая диаграмма разбивает «пространство доказательств» на различные области. Например, соответствует набору доказательств, которые...
Считайте, что этот вопрос решен. Я не буду выбирать лучший ответ, поскольку все они внесли свой вклад в мое понимание темы. Я не уверен, какую пользу мы получаем, формально определяя семантику логики предикатов. Но я вижу ценность в формальном доказательстве. Я хочу сказать, что нам не нужна...
Рассмотрим следующую проблему: учитывая формулу CNF и присвоение, которое удовлетворяет этой формуле, есть ли другое удовлетворяющее назначение для этой формулы? В чем сложность этой проблемы? (Это наверняка есть в NP, но это также NP-hard?) Что если вам не дано назначение, и вы просто хотите...
Была ли изучена сложность следующей проблемы? Вход : кубический (или регулярный) граф G = ( V , E ) , естественная верхняя граница t333G=(V,E)G=(V,E)G=(V,E)ttt Вопрос : есть ли раздел на | E | / 3 части размера 3 , так что сумма порядков (необязательно связанных) соответствующих подграфов не...
Недавно я преподавал расширители и ввел понятие рамануджановских графов. Майкл Форбс спросил, почему их так называют, и я должен был признать, что не знаю. Кто...
1) Какова связь между статической типизацией и формальными грамматиками, если таковые имеются? 2) В частности, возможно ли, чтобы линейный ограниченный автомат проверял, хорошо ли, например, написана программа на C ++ или SML? Вложенный стек? 3) Есть ли естественный способ выразить статические...
Эй, ребята, я понимаю, что уловка заполнения позволяет нам переводить классы сложности вверх - например, . Заполнение работает, «раздувая» ввод, выполняя преобразование (скажем, от к ), что приводит к «волшебному» алгоритму, который вы можете запустить на дополненном вводе. Хотя это имеет...
Извиняюсь за вопрос, который обязательно должен быть во многих стандартных ссылках. Мне любопытно точно вопрос в названии, в частности, я имею в виду булевы схемы, без ограничений по глубине. Я поместил «наименьшее» в кавычки, чтобы учесть, что существует множество разных классов, которые, как...
В свете недавнего результата Arora, Barak и Steurer, Субэкспоненциальные алгоритмы для уникальных игр и смежных задач , я заинтересован в графовых задачах, которые имеют субэкспоненциальные алгоритмы времени, но полагают, что они не являются полиномиально разрешимыми. Известным примером является...
Обычно каждый строит граф, а затем задает вопросы о разложении собственных значений матрицы смежности (или некоторого близкого родственника, такого как лапласиан ) (также называемого спектрами графа ). Но как насчет обратной проблемы? Учитывая собственных значений, можно (эффективно) найти граф,...
Я читал это . Это говорит ... Ты не будешь голоден, как Чистая Математика. (Вы все равно всегда будете нуждаться в финансировании.) ... Почему чистые математики нуждаются в финансировании? Зачем кому-то, проводящему теоретические исследования, нужно финансирование? Я думаю, что инструментами...