Вопросы с тегом «graph-theory»

Как упомянул @Marzio, следующая игра называется Generalized Geography . Для графа и начальной вершины игра определяется следующим образом:G = ( V, E)гзнак равно(В,Е)G=(V,E)v ∈ Vv∈Вv \in V На каждом ходу (чередуются два игрока), игрок выбирает , и тогда происходит следующее:u ∈ N( v )U∈N(v)u\in N(v) vvv , а также все …

11 graph-theory  graph-algorithms  gt.game-theory 

Согласно книге «Топологическая теория графов» Гросса и Такера, учитывая клеточное вложение графа на поверхность (под «поверхностью» я подразумеваю здесь сферу с некоторыми ручками , а ниже S n относится к сфере с ровно n ручками), можно определить двойной мультиграф, рассматривая грани исходного графа, встраиваемые как вершины, и добавляя ребро между …

11 ds.algorithms  reference-request  graph-theory  cg.comp-geom  topological-graph-theory 

Рассмотрим связный неориентированный граф с неотрицательными весами ребер и двумя выделенными вершинами s,ts,ts,t . Ниже приведены некоторые задачи на пути, которые имеют следующую форму: найдите путь s−ts−ts-t , чтобы некоторая функция весов ребер на пути была минимальной. В этом смысле все они являются «родственниками» проблемы кратчайшего пути; в последнем случае …

10 graph-theory  graph-algorithms  np-complete  polynomial-time 

Учитывая граф G1, G2 и G3, мы хотим выполнить тест F изоморфизма между G1 и G2, а также G1 и G3. Если G2 и G3 очень похожи, так что G3 формируется путем удаления одного узла и вставки одного узла из G2, и у нас есть результат F (G1, G2), можем …

10 graph-theory  graph-algorithms  graph-isomorphism 

Я наткнулся на два примера гипотетической сложности некоторых графовых задач. Гипотетическая твердость означает, что опровержение некоторой гипотезы подразумевает NP-полноту соответствующей задачи графа. Например, гипотеза Барнетта утверждает, что каждый 3-связный кубический плоский двудольный граф является гамильтоновым. Федер и Суби доказали, что опровержение гипотезы подразумевает NP-полноту задачи о гамильтоновом цикле на графах …

10 cc.complexity-theory  graph-theory  np-hardness 

Существует несколько интересных классов графов с ограниченной шириной дерева. Например, деревья (treewidth 1), последовательные параллельные графы (treewidth 2), внешнепланарные графы (treewidth 2), -утерплоские графы (treewidth O (k)), графы ширины ветви k (treewidth O (k)), .. ,КkkКkk Вопрос: Существуют ли примеры интересных классов графов, ширина которых не ограничена константой, а низкорастущей …

10 graph-theory  treewidth 

Пусть простой неориентированный граф на n вершинах и m ребрах.G = ( V, E)гзнак равно(В,Е)G=(V,E)NNnммm Я пытаюсь определить ожидаемую продолжительность работы алгоритма Вильсона для генерации случайного остовного дерева . Там показано, что O ( τ ) , где τ - среднее время удара : τ = ∑ v ∈ V …

10 graph-theory  graph-algorithms  co.combinatorics  random-walks  analysis-of-algorithms 

Пусть наследственный класс графов. (Наследственный = замкнуто относительно взятия индуцированных подграфов.) Пусть обозначит множество -vertex графов в . Допустим, что содержит почти все графы, если доля всех вершинных графов, попадающих в приближается к 1 при .QQQQnQnQ_nnnnQQQQQQnnnQnQnQ_nn→∞n→∞n\rightarrow\infty Вопрос: Возможно ли, что наследственный граф класса содержит почти все графы, но для каждого …

10 graph-theory 

Этот блог рассказывает о создании "извилистых маленьких лабиринтов" с помощью компьютера, перечисляя их. Перечисление может быть выполнено с использованием алгоритма Уилсона для получения UST , но я не помню формулы для того, сколько их там. http://strangelyconsistent.org/blog/youre-in-a-space-of-twisty-little-mazes-all-alike В принципе теорема о матричном дереве утверждает, что число остовных деревьев графа равно определителю …

10 graph-theory  randomized-algorithms  matrices  tree 

Доказательство сложности является основной областью теории вычислительной сложности. Конечная цель этой области состоит в том, чтобы доказать , то есть любой доказатель не может дать доказательство неудовлетворенности данной входной формулой. Nп≠ c o NпNп≠соNпNP\neq coNP Граф - это одна из формальных моделей доказательств. Мой вопрос о дальнейшем ограничении этой модели. …

10 cc.complexity-theory  reference-request  graph-theory  np  proof-complexity 

Кросспост из МО . Изоморфизм цветного графа (ребро) - это GI, который сохраняет цвета (ребер, если он окрашен ребром). Есть несколько сокращений, использующих преобразования / гаджеты (краевого) GI в GI. Для GI с цветным краем самый простой способ - заменить цветной край на гаджет, сохраняющий GI, кодирующий цвет (простейший случай …

10 graph-theory  graph-isomorphism  automorphism 

Я наткнулся на открытую проблему, поставленную Дэвидом Эппштейном, и меня интересует ее сложность. Он предположил, что он NP-завершен. Ввод: по n матриц 0 и 1, последовательность n 2 0 и 1nnnnnnn2n2n^2 Вопрос: существует ли путь через соседние элементы матрицы, охватывающий каждую запись матрицы ровно один раз, значения которых соответствуют заданной …

10 cc.complexity-theory  graph-theory 

Существуют ли классы графов, для которых ширина дерева ограничена сверху функцией числа клика , т.е. ?tw(G)tw(G)tw(G)ω(G)ω(G)\omega(G)tw(G)≤f(ω(G))tw(G)≤f(ω(G))tw(G)\leq f(\omega(G)) Например, это классический факт, что для любого хордального графа мы имеем . Таким образом, классы, связанные с хордовыми графами, могут быть хорошими кандидатами.GGGtw(G)=ω(G)−1tw(G)=ω(G)−1tw(G)=\omega(G)-1

10 graph-theory  treewidth 

Учитывая направленный граф, мы хотим решить, содержит ли он направленный цикл четной длины. В этой статье 1997 года, написанной YUSTER и ZWICK, утверждается, что проблема не в том, что она находится в а также в том, что она не является N P -полной.ппPNпNпNP Есть ли какой-либо недавний результат, который разрешает …

10 cc.complexity-theory  reference-request  graph-theory 

Покрывающее дерево графа называется деревом полноты, если множество его листьев индуцирует полный подграф в графе хоста. Учитывая граф и целое число , какова сложность определения, содержит ли дерево полноты с максимум листами?ггGККkггGККk Причина для того, чтобы задать этот вопрос, состоит в том, что соответствующая проблема для деревьев независимости является NP-полной, …

10 cc.complexity-theory  graph-theory  graph-algorithms