Informatica teorica symmetry

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

2

Esistono lingue altamente simmetriche NP o P-complete?

Esiste , un linguaggio NP o P completo che ha una famiglia di gruppi di simmetria (o groupoid , ma poi le domande algoritmiche diventano più aperte) agendo (in tempo polinomiale) sugli insiemi tale che ci sono poche orbite, cioè tale che per abbastanza grande e qualche , e tale …

14 np algebra gr.group-theory complexity symmetry

1

Misurare la casualità delle formule CNF

È risaputo che le formule CNF possono essere suddivise approssimativamente in 2 grandi classi: casuale e strutturato. Le formule CNF strutturate, in contrapposizione alle formule casuali CNF, mostrano una sorta di ordine, mostrando modelli che è improbabile che accadano per caso. Tuttavia, si possono trovare formule strutturate che mostrano un …

12 cc.complexity-theory sat randomness symmetry

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

1

Qual è la probabilità che una funzione booleana casuale abbia un banale gruppo di automorfismi?

Data una funzione booleana , abbiamo il gruppo automorfismo A u t ( f ) = { σ ∈ S n ∣ ∀ x , f ( σ ( x ) ) = f ( x ) } .fffA u t ( f) = { σ∈ Sn ∣ ∀ x …

9 boolean-functions randomness gr.group-theory symmetry

Domande taggate «symmetry»