Меня интересует следующая проблема: учитывая множество X и подмножества X_1, ..., X_n из X, найдите раскраску элементов X с помощью k цветов, чтобы все элементы в каждом X_i были по-разному окрашены. Более конкретно, я смотрю на случай, когда все X_i имеют размер k. Известно ли это в литературе под...
Эта статья предполагает, что есть комбинаторы (представляющие символические вычисления), которые не могут быть представлены лямбда-исчислением (если я правильно понимаю...
Проблема: нам дают набор палочек, имеющих целую длину. Общая сумма их длин n (n + 1) / 2. Можем ли мы разбить их, чтобы получить палочки размером за полиномиальное время? 1 , 2 , … , n1,2,...,N{1,2,\ldots,n} Удивительно, но единственная ссылка, которую я нахожу для этой проблемы, - это древнее...
Пусть - неориентированный простой граф, и пусть - различные вершины. Пусть длина простого st-пути будет числом ребер на пути. Мне интересно вычислить максимальный размер набора простых st-путей, чтобы каждый путь имел нечетную длину, а наборы вершин каждой пары путей попарно пересекались только по...
Меня интересует явная булева функция со следующим свойством: если постоянна в некотором аффинном подпространстве , то размерность этого подпространства равна .е:0 , 1N→0 , 1е:0,1N→0,1f \colon \\{0,1\\}^n \rightarrow \\{0,1\\}ееf о ( п )0 , 1N0,1N\\{0,1\\}^no ( n )о(N)o(n) Нетрудно показать, что...
В каких университетах существует сильная учебная программа по квантовым вычислениям и предлагаются какие-либо курсы / исследования по квантовым вычислениям? Цель здесь - собрать полезный список для тех, кто рассматривает аспирантуру в этих областях, а не для обсуждения того, что является «лучшим»....
В классической статье Манро и Патерсон изучают проблему того, сколько памяти требуется алгоритму для нахождения медианы в случайно отсортированном массиве. В частности, они ориентированы на следующую модель: ввод читается слева направо в течение числа P раз. Показано, что O ( n12...
В доказательство систем для классической логики , если один хочет , чтобы показать , что определенная формула не выводима один просто показывает , что ¬ ψ может быть получена (хотя возможны и другие методы , безусловно , возможны). Не выводимость по существу следует из обоснованности и полноты...
Кто-нибудь знает о результате NP-полноты для задачи DOMINATING SET в графах, ограниченной классом плоских двудольных графов максимальной степени 3? Я знаю, что он NP-полон для класса плоских графов максимальной степени 3 (см. Книгу Гарея и Джонсона), а также для двудольных графов максимальной...
Недавно Ватроус и др. Доказали, что QIP (3) = PSPACE - замечательный результат. Это был удивительный результат для меня, если не сказать больше, и это заставило меня задуматься ... Я задавался вопросом, что если бы Quantum Computers могла эффективно моделироваться классическими компьютерами. Может...
Теория сложности, кажется, отражает нечто фундаментальное в структуре вселенной, поскольку она формализует интуитивное представление о том, что некоторые проблемы сложнее других. Скотт Ааронсон предсказал : «Предположение о твердости NP в конечном итоге будет рассматриваться как аналог Второго...
Очень часто, если время выполнения алгоритма является сложным выражением, сам алгоритм также является сложным и непрактичным. Каждый из корней куба и факторов в асимптотическом времени выполнения имеет тенденцию увеличивать сложность алгоритма, а также скрытые постоянные факторы для времени...
Метод производных Бжозовского - очень симпатичная техника для построения детерминированных автоматов из регулярных выражений хорошо алгебраическим способом. Я разработал несколько симпатичных обобщений этого метода для обработки некоторых более крупных классов грамматик, но алгоритмы достаточно...
Правильно ли я понимаю, что доказательство того, что задача NP завершена, является успехом исследования? Если так, то
Похоже, что для некоторых задач NP-Hard много работы по разработке быстрых экспоненциальных алгоритмов с точным временем (т. Е. Результатов вида: Алгоритм A решает задачу за время O (c ^ n), причем c мало). Похоже, что для решения некоторых сложных задач (например, « Измерить и победить»: простой...
Эта страница утверждает, что многие языки не используют неявный подтип (структурная эквивалентность), предпочитая явный / объявленный подтип (декларационная эквивалентность) Я в основном использовал языки программирования, которые используют явные подтипы . Каковы преимущества неявного...
Общеизвестно, что есть множество любителей, в том числе и я, которые заинтересованы в проблеме P против NP. Есть также много любителей, в том числе и я, которые пытались решить проблему. Одна из проблем, от которой, по моему мнению, страдает сообщество TCS, - это относительно высокое отношение...
2 вопроса для вычислительных геометров или алгебраистов: Я только начинаю погружаться в вычислительную геометрию, и мне это нравится =) Я пытаюсь прочитать знаменитую статью Гибаса и Столфи под названием «Примитивы для манипулирования общими подразделениями и вычисления диаграмм Вороного» с целью...
Я только что прочитал вопрос « Является ли целочисленная факторизация NP-полной проблемой? » ... поэтому я решил потратить часть своей репутации :-), задавая еще один вопрос с :QQQP(Q is trivial)≈1п(Q тривиально)≈1P(\text{Q is trivial}) \approx 1 Если является оракулом, который решает целочисленную...
Верно ли, что в полиномиальной иерархии существуют проблемы, разрешимые во времени (с помощью чередующейся машины Тьюринга на некотором уровне полиномиальной иерархии), которые не разрешимы в O ( n k - 1 ) на любом уровне полиномиальная иерархия? Другими словами - существует ли теорема временной...