В SODA 1995 года Джефф Эриксон показал нижние оценки линейной выполнимости (проверяя, удовлетворяет ли некоторое подмножество действительных чисел линейному уравнению на переменных). Метод доказательства использует бесконечно малые и принцип переноса Тарского .н рrrrnnnrrr Может ли кто-нибудь...
Детерминированные контекстно-свободные языки (DCFL) и языки визуального нажатия (VPL) являются наборами формальных языков между контекстно-свободными языками (CFL) и обычными языками (REG). Есть ли удобочитаемая нотация, которая может быть выражена в простом ASCII-формате, например Backus-Naur-Form...
Легко видеть, что для любого существует отображение 1-1 F из {0,1} n в {0,1} n + O ( log n ) такое, что для любого x вектор F ( x ) равен " сбалансированный », т. е. имеет равное количество единиц и нулей. Можно ли определить такое F, чтобы при заданном x мы могли эффективно вычислить F ( x )...
Привет всем, в настоящее время я пытаюсь найти твердую тему магистерской диссертации, относящуюся к некоторой отрасли теории автоматов или связанной с формальными языками. Я пытаюсь выработать несколько хороших идей для приемлемой темы, чего-то амбициозного, но в то же время выполнимого. Любые...
Покажите функцию которая конструируется в пространстве, но не является временной.е( н )е(N)f(n) Связана ли эта проблема с возможным разделением между классами сложности DTIME (f (n)) и SPACE (f...
Звезда система представляет собой семейство п подмножеств п-элементов , установленных S . Звезда система графическая если есть граф G ( V , E ) таким образом, что Р является семейством окрестностей вершин в G . Это N P -полных , чтобы определить , является ли данная графическая система...
Примеры ограниченных полных вариантов неразрешимых множеств:NпNPNP Ограниченная задача остановки = { | NTM-машина останавливает и принимает течение шагов}М х т( М, х , 1T)(M,x,1t)(M, x, 1^t)MMMИксxxTtt Ограниченная плитка = { | есть плитка квадрата области плитками из }т 2 т( Т, 1T)(T,1t)(T,...
Многие здесь, вероятно, знают о недавних суперлинейных нижних оценках Алона для сетей в естественной геометрической обстановке [PDF] . Я хотел бы знать, что, во всяком случае, такая нижняя граница подразумевает в отношении аппроксимируемости связанных задач Set Cover / Hitting Set. ϵϵ\epsilon Чтобы...
Stratego - это язык трансформации программирования / переписывание DSL. Энтони Слоун проделал определенную работу по реализации, которая работает на Scala . Каковы теоретические пределы Stratego как функционального языка? (независимо от реализации). Можно ли написать аппликативный порядок...
Меня интересуют "сложные" отдельные примеры NP-полных задач. Райан Уильямс обсудил проблему SAT0 в блоге Ричарда Липтона . SAT0 спрашивает, имеет ли экземпляр SAT конкретное решение, состоящее из всех 0. Это заставило меня задуматься о создании экземпляров SAT, которые, вероятно, будут «сложными»....
Есть ли у нас классы сложности, скажем, относительно средней сложности? Например, существует ли (именованный) класс сложности для задач, решение которых занимает ожидаемое полиномиальное время? Другой вопрос рассматривает сложность наилучшего случая , приведенную ниже. Есть ли класс (естественных)...
Предположим,п≠ NпP≠NPP \neq NP Давайте использовать следующие обозначения для тетратации (то есть. ).яaia{}^iaяа = аa⋅⋅⋅aя разia=aa⋅⋅⋅a⏟i times{}^ia = \underbrace{a^{a^{\cdot^{\cdot^{\cdot^{a}}}}}}_{i \mbox{ times}} | Х | это размер экземпляра х. Пусть L язык,L |е( i ) ≤ | х | < г( я ): =...
Неуязвимые генераторы определяются следующим образом: Пусть RRR - отношение NP, а MMM - машина, которая принимает L(R)L(R)L(R) . Неформально программа является неуязвимым генератором, если на входе 1n1n1^n она создает пары свидетельства экземпляра (x,w)∈R(x,w)∈R(x, w) \in R , где |x|=n|x|=n|x| = n...
Известен ли какой-либо класс сложности, содержащий онлайн-аналоги задач оптимизации? Если нет, то как можно определить такой класс? Мы знаем, что у многих проблем есть онлайн-версия: например, онлайн-версия проблемы с упаковкой бункера. Проблемы онлайн сложнее, если судить по их...
Интересно знать погоду есть редкий язык (даже построен с задержкой diagolanization) в НПИ в предположении , что .P≠NPP≠NPP \neq
Я ищу хэш-функцию над множествами H (.) И отношением R (.,.), Чтобы, если A входит в B, то R (H (A), H (B)). Конечно, R (.,.) Должно легко проверяться (постоянное время), а H (A) должно вычисляться за линейное время. Одним из примеров H и R является: ЧАС( А ) = ⋁x ∈ A1 < < ( ч ( х...
Я хотел бы знать текущее состояние фазового перехода для случайных k-sat, учитывая n переменных и m предложений, что является наиболее известным c = m / n для верхней и нижней...
Какие документы по обработке ошибок в распределенных системах вы
Я искал на форуме, чтобы узнать, спрашивался ли об этом раньше, и пока обсуждается теория алгоритмических игр, я не смог найти эту конкретную проблему. Я пытаюсь выяснить, каков самый известный алгоритм для вычисления приближенных (смешанных стратегий) равновесий Нэша в конечной игре с n людьми....
На SODA 2006 работа Мартина Грохе и D sharp Нила Маркса «Решение ограничений с помощью дробных краевых покрытий» ( цитирование ACM ) показала, что для класса гиперграфов H с ограниченной дробной шириной гипердерева CSP ( H ) \ in ПТИМ .a´a´\acute{\rm a}HHHHHH∈PTIME∈PTIME\in PTIME Определения и т....