Не проще ли проверить транзитивность орграфа, чем (с точки зрения асимптотической сложности) взять транзитивное замыкание орграфа? Знаем ли мы какую-либо нижнюю границу лучше, чемΩ(n2)Ω(n2)\Omega(n^2) определить, является ли орграф транзитивным или...
Здесь было несколько вопросов ( 1 , 2 , 3 ) о транзитивном завершении, которые заставили меня задуматься, возможно ли что-то подобное: Предположим, мы получили входной ориентированный граф GGG и хотел бы ответить на запросы типа "(u,v)∈G+(u,v)∈G+(u,v)\in G^+? ", т.е. спрашивает, существует ли ребро...
Я ищу ссылки на следующую задачу: с учетом целых чисел и перечислить все неизоморфные плоские графы по вершинам и ширине дерева . Меня интересуют как теоретические, так и практические результаты, но в основном практические алгоритмы, которые можно кодировать и запускать для максимально больших...
Этот вопрос двоякий и в основном ориентирован на справочную информацию: Есть ли где-нибудь, где даны основные интуиции для доказательства теоремы о графе, не вдаваясь в подробности? Я знаю, что доказательство длинное и сложное, но, безусловно, должны быть ключевые идеи, которые можно донести проще....
Позволять G = ( V, E)гзнак равно(В,Е)G=(V,E)быть графом Набор вершинИкс⊆ VИкс⊆ВX\subseteq Vназывается критическим, еслиИкс≠ ∅Икс≠∅X\neq\emptyset и нет вершины в В∖ XВ∖ИксV\setminus X смежна ровно с одной вершиной в ИксИксX, Проблема состоит в том, чтобы найти множество вершинS⊆ VS⊆ВS\subseteq V...
Пусть - граф, который является несвязным объединением клики и независимого множества, то есть GGGG=Kn1+Kn2¯¯¯¯¯¯¯¯=Kn1+In2.G=Kn1+Kn2¯=Kn1+In2.G = K_{n_1} + \overline{K_{n_2}} = K_{n_1} + I_{n_2} . Класс графов всех таких графов характеризуется набором запрещенных индуцированных подграфов и, таким...
Рассмотрим следующую проблему: Вход: простой (неориентированный) графG=(V,E)G=(V,E)G=(V,E) . Вопрос: существует ли ориентация удовлетворяющая свойству того, что для каждого существует не более одного (направленного) - шага?GGGs,t∈Vs,t∈Vs,t \in Vsssttt Это может быть эквивалентно сформулировано как:...
Мне интересно, если следующая проблема NP-трудна. Входные данные: G=(V,E)G=(V,E)G = (V,E) простой график и раскраска f:E→{1,2,3}f:E→{1,2,3}f : E \to \{1,2,3\} краев (fff не проверяет какие-либо конкретные свойства). Вопрос: возможно ли разбиениеEEE в |E|/3|E|/3|E|/3 треугольники, так что каждый...
Позволять GGG а также HHH быть двумя rrrрегулярные связные графы размера nnn, ПозволятьAAA быть набором перестановок PPP такой, что PGP−1=HPGP−1=HPGP^{-1}=H, ЕслиG=HG=HG=H тогда AAA это множество автоморфизмов GGG, Каков самый известный верхний предел размера AAA? Есть ли какие-либо результаты для...
Для регулярного языка на алфавите его минимальный детерминированный автомат можно рассматривать как ориентированный связный мультиграф с постоянной степенью outи отмеченное начальное состояние (забывая метки переходов, конечные состояния). Мы сохраняем исходное состояние, потому что каждая вершина...
При фиксированном ориентированный граф (орграф) , то Проблема Решение -раскраска спрашивает , может ли входной Орграф имеет гомоморфизм к . (Гомоморфизм в - это отображение из в , сохраняющее дуги, то есть, если - дуга в , то - это дуга...
Есть хорошая статья 1991 года, которая содержит три диаграммы о различных семействах графов, показывающих то, что известно о сложности определения хроматического индекса для них. Есть ли какие-либо новости с тех пор? Меня больше всего интересует то, что известно о графах с ограниченным...
Теорема Робертсона – Сеймура говорит, что любая минор-замкнутая семьяGG\mathcal G графов можно охарактеризовать конечным числом запрещенных миноров. Есть ли алгоритм, который для входа GG\mathcal G выводит запрещенных несовершеннолетних или это неразрешимо? Очевидно, что ответ может зависеть от...
Позволять G∼G(n,n−1/2)G∼G(n,n−1/2)G \sim G(n, n^{-1/2}) быть случайным графом на ≈n3/2≈n3/2\approx n^{3/2}кромки. С очень высокой вероятностью,GGG имеет много 444-циклов. Наша цель - вывести любой из этих444-циклы как можно быстрее. Предположим, у нас есть доступ к GGG в форме списка смежности, мы...
При введении модульной декомпозиции графа большинство авторов используют граф из 11 вершин, который я копирую из википедии. Вопрос в том, кто является (являются) его первоначальным разработчиком. (Я не спрашиваю, кто нарисовал этот график для Википедии, но его первоначальный источник.) Страница...