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

Представьте, что у нас есть два размера mmm наборов точек X,Y⊂RnX,Y⊂RnX,Y\subset \mathbb{R}^n . Какова (временная) сложность тестирования, если они отличаются только ротацией? : существует матрица вращения OOT=OTO=IOOT=OTO=IOO^T=O^TO=I такая, что X=OYX=OYX=OY ? Здесь возникает проблема представления реальных значений - для простоты предположим, что существует (короткая) алгебраическая формула для каждой координаты, так …

12 cc.complexity-theory  complexity-classes  graph-isomorphism  computational-geometry  high-dimensional-geometry 

Я хочу быть очень конкретным. Кто-нибудь знает опровержение или доказательство следующего предложения: ∃p∈Z[x],n,k,C∈N,∃p∈Z[x],n,k,C∈N,\exists p \in \mathbb{Z}[x], n, k, C \in \mathbb{N}, ∀G,H∈STRUC[Σgraph](min(|G|,|H|)=n,G≄H),∀G,H∈STRUC[Σgraph](min(|G|,|H|)=n,G≄H),\forall G, H \in STRUC[\Sigma_{graph}] (min(|G|, |H|) = n, G \not\simeq H), ∃φ∈L(Σgraph),∃φ∈L(Σgraph),\exists \varphi \in \mathcal{L}(\Sigma_{graph}), |φ|≤p(n)∧qd(φ)≤Clog(n)k∧G⊨φ∧H⊭φ.|φ|≤p(n)∧qd(φ)≤Clog(n)k∧G⊨φ∧H⊭φ.|\varphi| \leq p(n) \wedge qd(\varphi) \leq Clog(n)^k \wedge G \vDash \varphi \wedge H …

12 graph-theory  graph-isomorphism  formulas  first-order-logic 

В известном контрпримере для изоморфизма графа с помощью метода Вейсфейлера-Лемана (WL) в этой статье Кай, Фюрер и Иммерман построили следующий гаджет . Они строят граф определяемый какXk=(Vk,Ek)Xk=(Vk,Ek)X_k = (V_k, E_k) Vk=Ak∪Bk∪Mk where Ak={ai∣1≤i≤k},Bk={bi∣1≤i≤k}, and Mk={mS∣S⊆{1,2,…,k}, |S| is even}Ek={(mS,ai)∣i∈S}∪{(mS,bi)∣i∉S}Vk=Ak∪Bk∪Mk where Ak={ai∣1≤i≤k},Bk={bi∣1≤i≤k}, and Mk={mS∣S⊆{1,2,…,k}, |S| is even}Ek={(mS,ai)∣i∈S}∪{(mS,bi)∣i∉S}V_k = A_k \cup B_k \cup …

12 graph-theory  graph-algorithms  graph-isomorphism  algebraic-complexity 

Были предприняты некоторые попытки решить проблему изоморфизма графов с помощью квантового случайного блуждания жестких бозонов (симметричное, но без двойного заполнения). Симметричная степень матрицы смежности, которая казалась многообещающей, оказалась неполной для общих графов в этой статье Амиром Рахнамаем Барги и Ильей Пономаренко. Другой подобный подход был также опровергнут в этой статье …

12 cc.complexity-theory  graph-theory  graph-algorithms  graph-isomorphism 

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

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

Является ли проблема конечного обратного полугруппового изоморфизма GI-полной ? Здесь конечные обратные полугруппы предполагаются заданными их таблицами умножения.

11 cc.complexity-theory  graph-isomorphism 

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

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

Часть трудностей, связанных с поиском дополнительной информации об этой проблеме, заключается в том, что проблема сопоставления графов отличается от ее гораздо более известного кузена, проблемы сопоставления, но ее трудно отличить от нее при использовании поисковых систем. Даны два графа и такие, чтозадача состоит в том, чтобы найти биекцию такую, чтобы …

11 reference-request  graph-theory  graph-isomorphism 

Широко распространено мнение, что некоторые вычислительные задачи, такие как изоморфизм графов, не могут быть NP-полными, поскольку они не обладают достаточной структурой или избыточностью, чтобы быть вычислительно сложными (NP-трудными). Я заинтересован в различных формальных понятиях для структуры вычислительных задач и мер избыточности. Какие основные результаты известны о таких формальных понятиях для …

11 cc.complexity-theory  graph-isomorphism 

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

11 graph-theory  co.combinatorics  graph-algorithms  graph-isomorphism 

Для любого простого неориентированного графа G нетривиально определить, имеет ли G нетривиальные (неединичные) автоморфизмы. Но каковы результаты на верхних / нижних границах этой проблемы решения?

11 cc.complexity-theory  graph-isomorphism  automorphism 

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

10 graph-theory  graph-algorithms  graph-isomorphism 

На сайте http://www.dharwadker.org/tevet/isomorphism/ представлен алгоритм определения изоморфности двух графов. Учитывая ряд, скажем так, «интересных» утверждений А. Дхарвадкера, я не склонен верить в это. В моем исследовании я обнаружил, что алгоритм определенно даст правильный ответ и скажет вам, что два графика не изоморфны, хотя на самом деле это правильно. Однако не …

10 graph-isomorphism 

Проблема изоморфизма графов - одна из самых давних проблем, которая не поддается классификации на или N P -полные задачи. У нас есть доказательства того, что оно не может быть N P -полным. Во-первых, изоморфизм графов не может быть N P -полным, если полиномиальная иерархия [1] не рухнет на второй уровень. …

10 cc.complexity-theory  graph-isomorphism 

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

10 graph-theory  graph-isomorphism  automorphism