Вопросы с тегом «reference-request»

Есть ли известный результат по классу сложности 1-в-3-SAT с ограниченным числом вхождений переменных? Я придумал следующее экономное сокращение с Питером Найтингейлом, но я хочу процитировать кое-что, если это известно. Вот трюк, который мы придумали. Это показывает, что 1-в-3-SAT, ограниченный 3-мя вхождениями на переменную, является NP-завершенным и #P-завершенным (поскольку 1-в-3-SAT является) …

11 reference-request  sat  reductions 

Есть алгоритмическая теория графов / теория чисел / комбинаторика / теория информации / теория игр. Есть ли алгоритмический математический анализ? Согласно вики, математический анализ включает в себя теории дифференцирования, интегрирования, измерения, пределов, бесконечных рядов и аналитических функций. Можно сосредоточиться на реальном анализе (вики), который имеет дело с действительными числами и …

11 cc.complexity-theory  reference-request  soft-question  computability 

Я аспирант в области теоретических компьютерных наук, и в частности, алгоритмы аппроксимации. Теперь я нахожу, что меня больше интересует чистая математика (я могу сказать это, потому что мне, кажется, нравятся курсы математики больше, чем курсы CS). Я хотел бы спросить, есть ли области теоретической информатики, которые в значительной степени являются …

11 reference-request  soft-question 

Я хотел бы знать ( в связи с этим другой вопрос ) , если нижние оценки были известны следующие задачи тестирования: один получает доступ запроса к последовательности неотрицательных чисел п ≥ ⋯ ≥ 1 и & epsi ; ∈ ( 0 , 1 ) с обещанием, что либо k n …

11 reference-request  randomized-algorithms  property-testing 

Рассмотрим следующую проблему: Для двух строк x, y решите, существует ли строковый гомоморфизм f такой, что f (x) = y. Легко показать , что эта проблема находится в . Есть ли что-то еще, что мы можем сказать об этой проблеме? Например, это в c o N P или даже в …

11 cc.complexity-theory  reference-request  fl.formal-languages 

Как мы знаем, определение вычислительной сложности алгоритма практически не вызывает противоречий, но определение вычислительной сложности вещественных чисел или моделей вычислений над действительными значениями не в таком случае. Мы знаем модель и модель Блюма и Смалеса в книге «Вычислительный анализ». И, похоже, модель в Computable Analysis соответствует классической модели, но определение …

11 cc.complexity-theory  reference-request  computability  computing-over-reals  computable-analysis 

У Конвея очень приятная конструкция из сюрреалистических чисел. Это «числа», которые содержат как действительные числа, так и порядковые числа, полностью упорядочены и имеют все свойства поля (за исключением того, что они образуют не множество, а класс). Смотрите, например, этот PDF или Википедию для ознакомления. Их можно еще более обобщить на …

11 reference-request  gt.game-theory  implementation  board-games  combinatorial-game-theory 

Рассмотрим граф (задача имеет смысл как для ориентированных, так и для неориентированных графов). Назовите матрицей расстояний : - это кратчайшее расстояние от вершины до вершины в для некоторой фиксированной функции агрегирования (например, или ).GGGMGMGM_GGGGMG[i,j]MG[i,j]M_G[i, j]iiijjjGGG+++maxmax\max Я сказать , что подграф G′G′G' из GGG (с таким же множеством вершин) является зр-эквивалентно …

11 ds.algorithms  reference-request  graph-algorithms  shortest-path 

В теоремах бесплатно! Вадлер говорит, что характеристика параметричности может быть выражена в терминах слабых естественных преобразований, и это будет предметом дальнейшей статьи. На какую бумагу он ссылается? Я знаю, что категорический подход к параметричности использует динатуральные преобразования, как в Функториальном полиморфизме Бейнбриджа, Фрейда, Щедрова и П. Дж. Скотта. Какова связь …

11 reference-request  ct.category-theory  parametricity 

Известно ли следующее утверждение? Утверждение : для любого графа с вершинами существует раскраска такая, что каждое независимое множество окрашивается не более чем цветами.n G O ( √граммGGNnnграммGGO ( n--√)O(n)O(\sqrt{n})

11 reference-request  graph-colouring 

Знаете ли вы задачи, которые являются W [1] -твердыми даже для ограниченных графов степеней? Метрическое измерение сложно на графах со степенью не более 3, но это W [2] -твердый. Красно-синий неблокатор был W [1] -твердым на ограниченных графах степеней, но в доказательстве была ошибка (книга Downey Fellows 2013), и это …

11 reference-request  parameterized-complexity 

Я читаю знаменитую статью Impagliazzo и Wigderson в 1997 году. Так как я новичок в этой области, и эта статья является краткой версией конференции, мне трудно следить за их доказательствами. В частности, некоторые из их новых теорем не имеют доказательств. Насколько мне известно, не было опубликовано ни одной версии журнала.P=BPPP=BPP\mathsf …

11 cc.complexity-theory  reference-request  circuit-complexity  derandomization  pseudorandom-generators 

Я ищу ресурсы (желательно справочник) по сложным темам в алгоритмах (темам, выходящим за рамки учебников по алгоритмам, таким как CLRS и DPV). Тип материала, который можно использовать для преподавания таких тем в курсе алгоритмов, как курс Эрика Демейна и Дэвида Каргера « Расширенные алгоритмы» . Ресурсы, которые дают обзор области …

11 ds.algorithms  reference-request  survey  books 

Я заинтересован в изучении полных задач Изоморфизма графов (GI). В работе Kellogg S. Booth (1979) «Проблемы, полиномиально эквивалентные изоморфизму графа» доказано, что многие базовые задачи являются GI-полными с использованием методов замены краев, методов композиции и т. Д. Я хотел бы изучить еще несколько методов, которые используются в недавних работах. Кто-нибудь …

11 cc.complexity-theory  reference-request  graph-isomorphism 

К настоящему времени имеется множество результатов по разделителям в графах, от плоского разделителя, разделителя деревьев, ограниченных графов ширины дерева, ограниченного рода родов и т. Д., И т. Д., И т. Д., И т. Д. Есть ли какой-нибудь хороший обновленный обзор по этому поводу и их применениям?

11 reference-request  graph-algorithms  survey