FewP - это класс -задач с полиномиальной оценкой числа решений (во входном размере). Там нет никакого известного Св.нут P -полные проблемы в ф х ш Р . Мне интересно, как далеко мы можем расширить это наблюдение.NпNPNPNпNPNPее ш РfewPfewP Существует ли естественная -полная проблема с...
Этот вопрос также был размещен на Math.SE, /math/1002540/fixed-points-in-computability-nd-logic Я надеюсь, что это также хорошо, чтобы опубликовать это здесь. Если нет, или если это слишком просто для CS.SE, пожалуйста, сообщите мне, и я удалю его. Я хотел бы лучше понять связь между теоремами о...
Около года назад мы с другом подумали, как реализовать алгоритм Крускала для плотных графов лучше, чем обычная граница (без учета предварительно отсортированных ребер). В частности, мы достигаем во всех случаях, аналогично Prim, когда реализованы с использованием матриц смежности.O ( м журналм...
Информационная сложность была очень полезным инструментом в сложности коммуникации, в основном используемой для снижения сложности коммуникации в распределенных задачах. Есть ли аналог сложности информации для сложности запросов? Существует много параллелей между сложностью запросов и сложностью...
Если , то существует алгоритм пространства журнала, который решает версию решения 2-SAT.L = N LL=NL\mathsf{L = NL} Известно ли, что подразумевает наличие алгоритма логического пространства для получения удовлетворительного назначения , когда в качестве входных данных предоставляется...
Итак, некоторое время назад я сначала попросил кого-то сказать мне, что call / cc может разрешить объекты доказательства для классических доказательств путем реализации закона Пирса. Недавно я немного подумал над этой темой и не могу найти в ней недостаток. Однако я не могу видеть, чтобы кто-то еще...
Я математик, интересующийся теорией множеств, порядковой теорией, бесконечной комбинаторикой и общей топологией. Есть ли приложения для этих предметов в информатике? Я немного посмотрел и нашел много приложений (конечно) для теории конечных графов, конечной топологии, низкоразмерной топологии,...
В нашей недавней работе мы решили вычислительную проблему, возникшую в комбинаторном контексте, исходя из предположения, что , где - это -версия . Единственной найденной нами статьей о была статья Бейгеля-Бурмана-Фортнау 1998 года , в которой упоминается комплексный зоопарк . Мы понимаем, что можем...
Этот вопрос был ранее размещен на бирже компьютерных наук здесь . Представьте, что вы очень успешный коммивояжёр с клиентами по всей стране. Чтобы ускорить доставку, вы разработали парк одноразовых доставочных дронов, каждый из которых имеет эффективный радиус действия 50 километров. Благодаря...
Предположим, что рандомизированный алгоритм использует случайных битов. Наименьшая вероятность ошибки, которую можно ожидать (не имея детерминированного алгоритма с ошибкой 0), составляет 2 - Ω ( r ) . Какие рандомизированные алгоритмы достигают такой минимальной вероятности ошибки?ррr2- Ω ( r...
Предположим, нам дан набор из n булевых переменных x_1, ..., x_n и набора из m функций y_1 ... y_m, где каждый y_i является XOR (заданного) подмножества этих переменных. Цель состоит в том, чтобы вычислить минимальное количество операций XOR, которое необходимо выполнить для вычисления всех этих...
Обозначим через множество а через C (n, k) - множество всех комбинаций элементов из без повторения. Пусть - k- кортеж в C (n, k) . Мы говорим, что перестановка \ pi: [n] \ rightarrow [n] из набора [n] избегает p, если нет k-кортежа целых чисел i_1 <i_2 <... <i_k, такого что \ pi (i_1) =...
Вдохновением для этого вопроса является следующий (расплывчатый) вопрос: каковы язык программирования / логические основы наличия ИИ, который мог бы рассуждать о своем собственном исходном коде и изменять его? Это совсем не строгое, так что вот моя попытка извлечь конкретный вопрос из этого. Есть...
Проблема цикла заключается в следующем:Кkk Экземпляр: неориентированный граф с n вершинами и до ( nграммGGNnn края.( н2)(n2)n \choose 2 Вопрос: существует ли (правильный) цикл в G ?КkkграммGG Предыстория: для любого фиксированного мы можем решить цикл за времени.2 k O ( n 2 )Кkk2 к2k2kO (...
В простой форме: Может ли двусторонний конечный автомат распознавать вершинные графы, содержащие треугольник с состояниями?vvvo(v3)o(v3)o(v^3) Детали Здесь представляют интерес графы с вершинами, закодированные с использованием последовательности ребер, причем каждое ребро представляет собой пару...
В сложности схемы у нас есть разделения между степенями различных моделей схемы. В сложности доказательства мы имеем разделения между степенями различных систем доказательства. Но в алгоритмическом у нас все еще есть только несколько разделений между степенями алгоритмических парадигм . Мои вопросы...
Каковы некоторые основные примеры успешной дерандомизации или, по крайней мере, прогресса в демонстрации конкретных доказательств достижения цели (а не связи между случайностью и жесткостью)?п= B Pппзнак равноВппP=BPP Единственный пример, который мне приходит в голову, - это тестирование AKS на...
Вопрос: Предположим, у меня есть спецификация задачи, состоящей из аксиом и цели (т. Е. Связанная проблема доказательства состоит в том, является ли цель выполнимой при всех аксиомах). Предположим также, что проблема не содержит каких-либо противоречий / противоречий между аксиомами. Есть ли способ...
Фон: Учитывая два детерминированных конечных автомата A и B, мы формируем произведение C, позволяя состояниям в C быть декартовым произведением состояний в A и состояний в B. Затем мы выбираем переходы, начальное состояние и конечные состояния, так что язык, принятый C является пересечением языков...
Это не обязательно вопрос исследования. Просто вопрос из любопытства: Я пытаюсь понять, можно ли определить «неприводимые» языки. В качестве первого предположения я называю язык L «сводимым», если он может быть записан как L = A ⋅ BL=A⋅BL = A \cdot B с и , в противном случае называю язык...