Informatique théorique symmetry

2

Relation entre symétrie et intraitabilité informatique?

Le problème de l'automorphisme libre à points fixes demande un automorphisme de graphe qui déplace au moins k ( n ) nœuds. Le problème est N P -complet si k ( n ) = n c pour tout ckkkk(n)k(n)k(n)NPNPNPk(n)=nck(n)=nck(n)=n^cccc > 0. Cependant, si alors le problème est le temps polynomial …

16 cc.complexity-theory graph-isomorphism automorphism symmetry

2

Existe-t-il des langages NP ou P complets très symétriques?

Existe-t-il , un langage NP ou P-complet qui a une famille de groupes de symétrie G n (ou groupoïde , mais alors les questions algorithmiques deviennent plus ouvertes) agissant (en temps polynomial) sur des ensembles L n = { l ∈ L ∣ | l | = n } tel …

14 np algebra gr.group-theory complexity symmetry

1

Mesurer le caractère aléatoire des formules CNF

Il est bien connu que les formules CNF peuvent être grossièrement partitionnées en 2 grandes classes: aléatoire vs structurée. Les formules CNF structurées, contrairement aux formules CNF aléatoires, présentent une sorte d'ordre, montrant des modèles qui ne se produiront probablement pas par hasard. Cependant, on peut trouver des formules structurées …

12 cc.complexity-theory sat randomness symmetry

2

Approximation d'un automorphisme non trivial de graphe?

Graphique automorphismes est une permutation de noeuds du graphe qui induit une bijection sur l'ensemble d'arêtes . Formellement, c'est une permutation de nœuds tels que ssiEEEfff(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 Définissez un bord violé pour une permutation comme un bord qui est mappé sur non-bord ou un bord dont la pré-image est …

10 cc.complexity-theory graph-theory automorphism symmetry

1

Quelle est la probabilité qu'une fonction booléenne aléatoire ait un groupe d'automorphisme trivial?

Étant donné une fonction booléenne , nous avons le groupe d'automorphisme A u t ( f ) = { σ ∈ S n ∣ ∀ x , f ( σ ( x ) ) = f ( x ) } .fffAut(f)={σ∈Sn ∣∀x,f(σ(x))=f(x)}Aut(f)={σ∈Sn ∣∀x,f(σ(x))=f(x)}Aut(f) = \{\sigma \in S_n\ \mid \forall x, …

9 boolean-functions randomness gr.group-theory symmetry

Questions marquées «symmetry»