Что-нибудь известно о втором наименьшем - -резе в сети потока? Или, в общем, об этой проблеме:sssTTt Вход: сеть и число , все в двоичном виде. Выход: наименьшее - вырезать.NNNККkККksssTTt - й наименьший - разреза любые - вырезать, например , что существует ровно - порезы , чьи мощностиККksssTTt( S,...
Я заинтересован в понимании структуры класса графов , чтобы в четырех вершинах не было индуцированного вершинами подграфа, который был бы идеальным соответствием. Иными словами, для любых четырех вершин в если и - ребра, у графа должно быть как минимум еще одно ребро в четырех вершинах. Этот класс...
P / poly - это класс задач решения, решаемых семейством булевых схем полиномиального размера. В качестве альтернативы его можно определить как машину Тьюринга за полиномиальное время, которая получает строку подсказки, которая имеет полиномиальный размер по n и основана исключительно на размере n....
Treewidth и pathwidth являются популярными параметрами, измеряющими близость графа к дереву или пути, соответственно. В самом деле, кажется, что древовидная ширина настолько популярна, что во многих статьях, книгах и конспектах лекций, которые (даже очень осторожно) знакомят с алгоритмическими...
Рассмотрим проблему, когда нам задают в качестве входных данных направленный ациклический граф G=(V,E)G=(V,E)G = (V, E) , функцию маркировки λλ\lambda из VVV в некоторый набор LLL с полным порядком...
Когда мы хотим доказать , что является -полных, то стандартный подход выставляться полиномиальное время вычислимой сокращение многих один из известного -полных задачи в . В этом контексте нам не нужно жестко ограничивать время выполнения сокращения. Достаточно иметь любую полиномиальную границу,...
Согласно этой статье , в которой обсуждается недетерминированное расширение гипотезы сильного экспоненциального времени (SETH), «[…] Уильямс недавно показал, что связанные гипотезы о сложности Мерлин-Артура k-TAUT являются ложными». Тем не менее, эта статья цитирует только личное общение. Как...
Хорошо известно, что свойство Чёрча-Россера верно для редуцирования в простом типе лямбда-исчисления. Это означает , что исчисление соответствует, в том смысле , что не все уравнения с участием Х -терминов являются выводимыми: например, K ≠ I , так как они не разделяют ту же нормальную...
Насколько сложно найти самое редкое решение системы линейных уравнений? Более формально рассмотрим следующую проблему решения: Экземпляр: система линейных уравнений с целыми коэффициентами и числом ccc . Вопрос: существует ли решение для системы с хотя бы ccc переменными, присвоенными нулю? Я также...
Правда ли, что добавление аксиом в CIC может оказать негативное влияние на вычислительное содержание определений и теорем? Я понимаю , что в нормальном поведении теории, любой замкнутый терм сведет к канонической нормальной форме, например , если верно, то п должен сводиться к слагаемому виду ( S у...
Для булевой функции влияние й переменной определяется как где строка, полученная путем переключения го бита . Тогда минимальное влияние - этоf:{−1,1}n→{−1,1}f:{−1,1}n→{−1,1}f\colon\{-1,1\}^n \to \{-1,1\}iiiInfi[f]=defPrx∼{−1,1}n[f(x)≠f(x⊕i)]Infi[f]=defPrx∼{−1,1}n[f(x)≠f(x⊕i)]...
Линейная логика интерпретируется с использованием когерентных пространств , и они выделяются в работах Жирара. Я знаю все три основных способа их формального определения, и они на самом деле не представляют проблемы для использования и доказательства чего-либо, но я просто не могу понять, что они...
Я ищу: Майкл О. Рабин, «Степень сложности вычисления функции и частичное упорядочение рекурсивных множеств», Еврейский университет, Иерусалим, 1960 Резюме: «Мы пытаемся измерить объем работы, свойственный задаче вычисления заданной вычислимой (рекурсивной) функции. Представлено и изучено понятие...
Лэнс Фортноу недавно заявил, что доказательство L! = NP должно быть проще, чем доказательство P! = NP : Отдельный NP от логарифмического пространства. Я дал четыре подхода в обзоре диагонализации перед разделом 2001 года (Раздел 3), хотя ни один из них не удался. Должно быть намного проще, чем...
Для каких неориентированных графов все деревья поиска в глубину (для всех возможных начальных вершин и для всех вариантов выбора соседей для поиска в первую очередь) являются направленными путями? То есть каждое дерево DFS должно иметь только один лист, а каждая другая вершина должна иметь ровно...
Теперь мы видим , что церковь была связана с в Просто типизированных лямбда - исчислению . Действительно, кажется, что он объяснил Лямбда-исчисление Простого Типа, чтобы уменьшить недопонимание о Лямбда-исчислении. Теперь, когда Джон Маккарти создал Лисп - он основал его на лямбда-исчислении . По...
Известно , что если NP⊆P/PolyNP⊆P/PolyNP\subseteq P/Poly то многочлен иерархии коллапсирует ΣP2Σ2P\Sigma_2^{P} и MA=AMMA=AMMA = AM . Какие самые сильные коллапсы могут произойти, если ?NEXP⊆P/PolyNEXP⊆P/PolyNEXP\subseteq...
Какой самый быстрый известный детерминированный алгоритм может распознавать ориентированные графы с парой вершинных непересекающихся циклов? Я знаю, что графы с минимальной третьей степенью всегда имеют такую пару ( Thomassen'83 ), но даже в этом случае я не могу найти эффективный алгоритм в...
Класс сложности PPAD был изобретен Христосом Пападимитриу в его основополагающей статье 1994 года . Этот класс предназначен для охвата сложности задач поиска, когда существование решения гарантируется «аргументом четности в ориентированных графах»: если в ориентированном графе существует...
В 1978 году Адлеман показал, что BPP⊆P/polyBPP⊆P/poly\mathrm{BPP}\subseteq \mathrm{P/poly} : если булева функция fff из nnn переменных может быть вычислена с помощью вероятностной булевой схемы размера MMM , тогда fff может быть вычислена с помощью детерминированной булевой схемы размера многочлен...