Domande taggate «graph-isomorphism»

Due grafici G, H sono isomorfi se vi è una rietichettatura dei vertici di G che produce H e viceversa. Il problema del grafico isomorfismo (IG) è decidere se due dati sono isomorfi. Oltre al suo interesse pratico, è stato identificato da Karp nel 1972 con una complessità sconosciuta, è uno dei pochi candidati naturali rimanenti per un problema NP-intermedio e ha portato alla creazione della classe di complessità AM.

1
Complessità del test se due serie di
Immagina di avere due mmm set di punti X,Y⊂RnX,Y⊂RnX,Y\subset \mathbb{R}^n . Qual è la complessità (temporale) dei test se differiscono solo per rotazione? : esiste una matrice di rotazione OOT=OTO=IOOT=OTO=IOO^T=O^TO=I tale che X=OYX=OYX=OY ? C'è un problema di rappresentare valori reali qui - per semplicità supponiamo che ci sia (una …
1
Per due grafici non isomorfi
Voglio essere molto specifico. Qualcuno sa di una disproof o una prova della seguente proposizione: ∃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 …
1
automorfismo nei gadget di Cai-Furer-Immerman
Nel famoso contro esempio di isomorfismo grafico tramite il metodo Weisfeiler-Lehman (WL) il seguente gadget è stato costruito in questo documento da Cai, Furer e Immerman. Costruiscono un grafico dato daXk=(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 = …
1
Risultati negativi sull'approccio di particelle identiche al problema dell'isomorfismo grafico (GI)
Ci sono stati alcuni sforzi per attaccare il problema dell'isomorfismo grafico usando la camminata casuale quantistica di bosoni hard-core (simmetrici ma senza doppia occupazione). Il potere simmetrico della matrice di adiacenza, che sembrava promettente, si è rivelato incompleto per i grafici generali in questo articolo di Amir Rahnamai Barghi e …
1
Sull'isomorfismo grafico Problemi completi
Sono interessato a studiare i problemi completi di Graph Isomorphism (GI). Nel documento "Problemi polinomialmente equivalenti all'isomorfismo grafico" di Kellogg S. Booth, (1979), è stato dimostrato che molti problemi di base sono stati completati utilizzando tecniche di sostituzione dei bordi, tecniche di composizione, ecc. Vorrei imparare alcune tecniche che sono …
1
Ridondanza e struttura dei problemi computazionali
È opinione diffusa che alcuni problemi computazionali come l'isomorfismo dei grafi non possano essere NP-completi perché non possiedono abbastanza struttura o ridondanza per essere difficili dal punto di vista computazionale (NP-hard). Sono interessato alle diverse nozioni formali per la struttura dei problemi computazionali e le misure di ridondanza. Quali sono …
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.