Informatica teorica automorphism

1

Controesempio per l'algoritmo efficiente di Corneil per l'isomorfismo dei grafi

Nel documento An Efficient Algorithm for Graph Isomorphism di Corneil e Gotlieb, 1970 è stata dichiarata una congettura sulla quale si basava l'algoritmo dichiarato per risolvere la GI in tempo polinomiale. Vale a dire: che i grafici rappresentativi mostrano il partizionamento dell'automorfismo del grafico dato Ovviamente, questa congettura non è …

16 graph-isomorphism automorphism

2

Rapporto tra simmetria e intrattabilità computazionale?

Il problema dell'automorfismo a virgola fissa con richiede un automorfismo grafico che sposta almeno k ( n ) nodi. Il problema è N P -completo se k ( n ) = n c per qualsiasi ckkkk(n)k(n)k(n)NPNPNPk(n)=nck(n)=nck(n)=n^cccc > 0. Tuttavia, se il problema è il tempo polinomiale di Turing riducibile al …

16 cc.complexity-theory graph-isomorphism automorphism symmetry

1

Generazione di grafici con automorfismi triviali

Sto rivedendo un modello crittografico. Per dimostrare la sua inadeguatezza, ho escogitato un protocollo inventivo basato sull'isomorfismo grafico. È "banale" (eppure controverso!) Ipotizzare l'esistenza di algoritmi BPP in grado di generare "istanze difficili del problema dell'isomorfismo dei grafi". (Insieme a una testimonianza di isomorfismo.) Nel mio protocollo elaborato, assumerò l'esistenza …

14 graph-theory cr.crypto-security automorphism graph-isomorphism randomized-algorithms

1

"È una permutazione p un automorfismo di un grafico nel mio set?" NP-completo?

Supponiamo di avere un insieme S di grafici (grafici finiti, ma un numero infinito di essi) e un gruppo P di permutazioni che agisce su S. Istanza: A permutazione p in P. Domanda: esiste un grafico g in S che ammette l'automorfismo p? Questo problema NP è completo per alcuni …

13 cc.complexity-theory graph-theory np-hardness automorphism

1

quali sono noti limiti alla complessità dell'automorfismo grafico non banale

Dato qualsiasi semplice grafico non indirizzato G, non è banale determinare se G ha automorfismi non banali (non identitari). Ma quali sono i risultati sui limiti superiore / inferiore di questo problema decisionale?

11 cc.complexity-theory graph-isomorphism automorphism

2

Quando il GI polinomiale implica un GI polinomiale (bordo) colorato?

Crossposted da MO . L'isomorfismo del grafico colorato (bordo) è GI che conserva i colori (dei bordi se è colorato). Esistono diverse riduzioni utilizzando trasformazioni / gadget di GI (GI) colorati. Per GI colorato bordo il più semplice è sostituire il bordo colorato con un gadget di conservazione IG che …

10 graph-theory graph-isomorphism automorphism

2

Automorphism grafico approssimativo non banale?

L'automorfismo del grafico è una permutazione dei nodi del grafico che induce una biiezione sul bordo impostato . Formalmente, è una permutazione f di nodi come ( u , v ) ∈ E iff ( f ( u ) , f ( v ) ) ∈ EEEEfff(u,v)∈E(u,v)∈E(u,v)\in E(f(u),f(v))∈E(f(u),f(v))∈E(f(u),f(v))\in E Definire …

10 cc.complexity-theory graph-theory automorphism symmetry

Domande taggate «automorphism»