Вопросы с тегом «ppad»

Я предполагаю, что я прочитал слишком много амбициозных статей CoRR . Проблема в том, что эти документы не рецензируются, но часто звучат интересно и проходят базовые проверки правдоподобия. Или, может быть, нет, и мне просто нужно улучшить проверку правдоподобия. Вот недавний образец таких работ: Деревья единственности: возможный полиномиальный подход к …

24 soft-question  graph-isomorphism  paper-review  ppad 

Класс сложности PPAD (например, вычисление различных равновесий по Нэшу) может быть определен как совокупность полных задач поиска, многократно сводимых к END OF LINE : КОНЕЦ ЛИНИИ : Для заданных схем S и P с n входными битами и n выходными битами, такими что P (0 n ) = 0 n …

20 reference-request  combinatory-logic  graph-theory  ppad 

Что произойдет, если мы определим P P A DP P A D{\bf PPAD} таким образом, чтобы вместо схемы времени Тьюринга / машины полисайта схема Тьюринга пространства журналов или схема A C 0A C0{\bf AC^0} кодировали проблему? В последнее время оказалось важным дать более быстрые алгоритмы для обеспечения удовлетворительности схемы для …

15 cc.complexity-theory  circuit-complexity  logspace  ppad  ac0 

Класс сложности PPAD был изобретен Христосом Пападимитриу в его основополагающей статье 1994 года . Этот класс предназначен для охвата сложности задач поиска, когда существование решения гарантируется «аргументом четности в ориентированных графах»: если в ориентированном графе существует несбалансированная вершина, то должна существовать другая. Но обычно класс формально определяется в терминах ANOTHER …

13 cc.complexity-theory  reductions  search-problem  ppad 

Класс сложности PPAD обычно определяется указанием того, что End-Of-The-Line является PPAD-завершенным. End-Of-The-Line - это проблема поиска. Входные данные состоят из ориентированного графа, в котором у каждого узла максимальная и минимальная степени равны 1. Граф задается вычисляемой функцией полиномиального времени которая возвращает предшественника и преемника x . Кроме того, каждому дается …

13 cc.complexity-theory  complexity-classes  ppad 

Равновесия Нэша вообще неисчислимы. ϵϵ\epsilonРавновесие по Нэшу - это набор стратегий, где, учитывая стратегии противников, каждый игрок получает в течение ϵϵ\epsilonмаксимально возможного ожидаемого вознаграждения. Нахождениеϵϵ\epsilon-Наш равновесия, учитывая ϵϵ\epsilon и игра, это PPADPPAD\mathsf{PPAD}-полное. Строго следуя определениям, похоже, нет особых оснований полагать, что стратегии данного ϵϵ\epsilonРавновесие по Нэшу близко к стратегиям любого …

9 reference-request  gt.game-theory  ppad