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

CMSOL - это подсчет монадической логики второго порядка, т. Е. Логики графов, в которой доменом является множество вершин и ребер, существуют предикаты для смежности вершин и вершин, существует ребро-вершина, существует количественное определение по ребрам, вершинам, наборам ребер и вершинам. множества, и существует предикат , который выражает ли размер является по …

12 ds.algorithms  reference-request  graph-algorithms  descriptive-complexity  cliquewidth 

Я задавал этот вопрос несколько недель назад в mathoverflow , но не получил ответа. Здесь под 3D-сеткой с длиной стороны я имею в виду граф G = ( V , E ) с V = { 1 , … , k } 3 и E = { ( ( a …

12 reference-request  graph-theory  co.combinatorics  treewidth  integer-lattice 

Линейное программирование, конечно, в настоящее время очень хорошо понято. У нас много работы, которая характеризует структуру возможных решений и структуру оптимальных решений. У нас сильная двойственность, многовременные алгоритмы и т. Д. Но что известно о минимальных максимальных решениях ЛП? Или, что эквивалентно, максимальные минимальные решения? (Это на самом деле не …

12 cc.complexity-theory  ds.algorithms  reference-request  linear-programming  optimization 

Я ищу имя или какие-либо ссылки на эту проблему. Для заданного взвешенного графа найти разбиение вершин с точностью доустанавливает таким образом, чтобы максимизировать значение срезов: Обратите внимание, что некоторые из множеств могут быть пустыми. Таким образом, проблема, по сути, заключается в максимальном k-сокращении, за исключением того, что не является частью …

12 ds.algorithms  reference-request  approximation-algorithms  max-cut 

Мне недавно напомнили о проблеме против N P, как объяснил Стивен А. Кук в Математическом институте Клея.пP\mathsf{P}Н ПNP\mathsf{NP} Это вызвало у меня интерес, и я хотел бы узнать об этом больше. Первым шагом будет более глубокое понимание проблемы и понимание области в целом. Можете ли вы порекомендовать какие-либо книги или …

12 cc.complexity-theory  reference-request  survey  books  p-vs-np 

Какие проблемы с наилучшим известным коэффициентом аппроксимации достигаются алгоритмом, возвращающим равномерно случайное решение? Я знаю один такой пример для задачи магазина перестановок : в статье « Тесные границы для планирования потока перестановок » Вишванат Нагараджан и Максим Свириденко доказали, что случайная последовательность заданий имеет гарантию 2 √F| Перм | См …

12 ds.algorithms  reference-request  approximation-algorithms 

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

12 reference-request  soft-question 

Какие еще языки проблем, отличные от изоморфизма графов, есть в ? Можете ли вы дать некоторые ссылки?Nп∩ c o A MNP∩coAMNP\cap coAM Обновление: Я забыл упомянуть , что я заинтересован в языках , не известно, в .c o NпcoNPcoNP

12 cc.complexity-theory  reference-request  complexity-classes  graph-isomorphism 

Какова минимальная ширина дерева схемы над для вычисления MAJ?{∧,∨,¬}{∧,∨,¬}\{\wedge,\vee,\neg\} Здесь MAJ выводит 1, если хотя бы половина его входов равна .1:{0,1}n→{0,1}:{0,1}n→{0,1}:\{0,1\}^n \rightarrow \{0,1\}111 Я забочусь только о размере схемы (должен быть полиномиальным) и о том, что вход должен быть прочитан только один раз, хотя разветвление входного вентиля может быть произвольным …

12 reference-request  complexity-classes  circuit-complexity  treewidth 

Я читал о наследственной замене Простого лямбда-исчисления и Логической структуры с различными терминами и типами. Мне интересно, есть ли примеры наследственного замещения в зависимо типизированной системе с иерархией юниверсов? то есть где и т. д.True:Set0:Set1:Set2True:Set0:Set1:Set2 True : Set_0 : Set_1:Set_2 Мне интересно, в частности, как установить индукционную меру в такой …

11 reference-request  lo.logic  pl.programming-languages  type-theory  lambda-calculus 

В монадической логике первого порядка, также известной как монадический класс задачи решения, все предикаты принимают один аргумент. Аккерманн показал, что он может быть разрешен и НЕОБХОДИМО завершен . Однако такие проблемы, как SAT и SMT, имеют быстрые алгоритмы их решения, несмотря на теоретические ограничения. Мне интересно, есть ли исследования, аналогичные …

11 reference-request  lo.logic  automated-theorem-proving  program-verification  first-order-logic 

Меня интересует классическая проблема РЕГУЛЯРНОГО ВКЛЮЧЕНИЯ ЯЗЫКА. Для регулярного выражения обозначим через L ( E ) связанный с ним регулярный язык. (Регулярные выражения на фиксированном алфавите Σ с объединением операций, звездой Клини и конкатенацией.)ЕЕEL ( E)L(Е)L(E)ΣΣ\Sigma Входные данные: два регулярных выражения и E 2 Вопрос: Верно ли, что L ( …

11 cc.complexity-theory  reference-request  regular-language  parameterized-complexity  regular-expressions 

У меня есть набор из nnn двоичных векторов S={s1,…,sn}⊆{0,1}k∖{1k}S={s1,…,sn}⊆{0,1}k∖{1k}S = \{s_1, \ldots, s_n \} \subseteq \{0,1\}^k \setminus \{1^k\} и целевой вектор t=1kt=1kt = 1^k который является вектором «все единицы». Гипотеза: если ttt можно записать как линейную комбинацию элементов SSS над Z/qZZ/qZ\mathbb{Z}/q\mathbb{Z} для всех простых степеней qqq , то ttt можно …

11 reference-request  linear-algebra  finite-fields 

Пусть язык и f : Σ ⋆ × Σ ⋆ → Σ ⋆ функция по двум параметрам со свойством, которое для всех x и y , f возвращает элемент из L тогда и только тогда, когда x и y являются элементами из L :LLLе: Σ⋆× Σ⋆→ Σ⋆f:Σ⋆×Σ⋆→Σ⋆f\colon {\Sigma^\star}\times\Sigma^\star\to\Sigma^\starxxxyyyfffLLLxxxyyyLLL f(x,y)∈L⟺x∈L∧y∈L.f(x,y)∈L⟺x∈L∧y∈L.f(x,y)\in L …

11 reference-request  fl.formal-languages 

Антицепь в DAG представляет собой подмножество ⊆ V вершин, попарно недостижим, а именно, нет v ≠ v ' ∈ таким образом, что v достижима из V ' в Е . Из теоремы Дилворта в теории частичного порядка известно, что если DAG не имеет антицепи размера k ∈ N , то …

11 reference-request  graph-theory  directed-acyclic-graph  partial-order