Als «graph-isomorphism» getaggte Fragen

Zwei Graphen G, H sind isomorph, wenn die Eckpunkte von G, die H erzeugen, neu beschriftet werden, und umgekehrt. Das Graph-Isomorphismus-Problem (GI) besteht darin, zu entscheiden, ob zwei gegeben sind, isomorph sind. Zusätzlich zu seinem praktischen Interesse wurde es 1972 von Karp als unbekannt komplex identifiziert, ist einer der wenigen verbleibenden natürlichen Kandidaten für ein NP-Zwischenproblem und führte zur Schaffung der Komplexitätsklasse AM.

1
Testkomplexität, wenn sich zwei Mengen von
Stellen Sie sich vor, wir haben zwei Mengen von Punkten der Größe . Was ist (zeitliche) Komplexität von Tests, wenn sie sich nur durch Rotation unterscheiden? : Es Rotationsmatrix existiert , so daß ?mmmX,Y⊂RnX,Y⊂RnX,Y\subset \mathbb{R}^nOOT=OTO=IOOT=OTO=IOO^T=O^TO=IX=OYX=OY.X=OY Hier geht es darum, reelle Werte darzustellen - der Einfachheit halber wird angenommen, dass es …
1
Gibt es für zwei beliebige nicht-isomorphe Graphen
Ich möchte sehr spezifisch sein. Kennt jemand einen Disproof oder einen Beweis für den folgenden Satz: ∃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 …
1
Negative Ergebnisse bei identischen Partikeln nähern sich dem Problem des Graphisomorphismus (GI) an
Es wurden einige Anstrengungen unternommen, um das Problem des Graph-Isomorphismus unter Verwendung des Quanten-Zufalls-Walks von Hartkern-Bosonen (symmetrisch, aber ohne Doppelbelegung) zu bekämpfen. Die symmetrische Potenz der Adjazenzmatrix, die vielversprechend erschien, erwies sich in diesem Aufsatz von Amir Rahnamai Barghi und Ilya Ponomarenko für allgemeine Diagramme als unvollständig . Ein anderer …
1
Automorphismus in Cai-Furer-Immerman-Geräten
In dem berühmten Gegenbeispiel zur Graphisomorphie nach Weisfeiler-Lehman (WL) wurde das folgende Gadget in dieser Arbeit von Cai, Furer und Immerman konstruiert . Sie konstruieren einen Graphen Xk=(Vk,Ek)Xk=(Vk,Ek)X_k = (V_k, E_k) gegeben durch 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 …
1
On Graph Isomorphism Komplette Probleme
Ich bin daran interessiert, vollständige Probleme des Graph-Isomorphismus (GI) zu untersuchen. In der Arbeit "Probleme, die Polynom äquivalent zum Graphisomorphismus sind" von Kellogg S. Booth (1979) wurde bewiesen, dass viele grundlegende Probleme durch Verwendung von Kantenersatztechniken, Kompositionstechniken usw. vollständig sind. Ich würde gerne mehr Techniken lernen, die in neueren Arbeiten …
3
Verlauf und Status des Diagrammanpassungsproblems
Ein Teil der Schwierigkeit, mehr über dieses Problem herauszufinden, besteht darin, dass sich das Graph-Matching-Problem von seinem viel bekannteren Cousin, dem Matching-Problem, unterscheidet, aber bei der Verwendung von Suchmaschinen schwer zu unterscheiden ist. Gegeben sind zwei Graphen G=(V,E)G=(V,E)G=(V,E) und G′=(V′,E′)G′=(V′,E′)G'=(V',E') so dass |V|=|V′||V|=|V′||V| = |V'|besteht die Aufgabe darin, eine Bijektion …
1
Redundanz und Struktur von Rechenproblemen
Es wird allgemein angenommen, dass einige Rechenprobleme wie der Graphisomorphismus nicht NP-vollständig sein können, da sie nicht genügend Struktur oder Redundanz besitzen, um rechenintensiv (NP-hart) zu sein. Ich interessiere mich für die verschiedenen formalen Begriffe für die Struktur von Rechenproblemen und Redundanzmaßnahmen. Was sind die wichtigsten bekannten Ergebnisse über solche …
1
Ist jemandem ein Gegenbeispiel zum Dharwadker-Tevet Graph Isomorphism-Algorithmus bekannt?
Unter http://www.dharwadker.org/tevet/isomorphism/ wird ein Algorithmus vorgestellt, mit dem ermittelt werden kann, ob zwei Diagramme isomorph sind. Angesichts einer Reihe von "interessanten" Behauptungen von A Dharwadker bin ich nicht geneigt, es zu glauben. Bei meiner Untersuchung stelle ich fest, dass der Algorithmus definitiv die richtige Antwort liefert und Ihnen sagt, dass …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.