Questions marquées «graph-isomorphism»

Deux graphes G, H sont isomorphes s'il y a un réétiquetage des sommets de G qui produit H, et vice-versa. Le problème d'isomorphisme des graphes (GI) consiste à décider si deux données sont isomorphes. En plus de son intérêt pratique, il a été identifié par Karp en 1972 comme ayant une complexité inconnue, est l'un des rares candidats naturels restants pour un problème NP-intermédiaire, et a conduit à la création de la classe de complexité AM.

1
Complexité des tests si deux ensembles de
Imaginons que nous ayons deux ensembles mmm de points X,Y⊂RnX,Y⊂RnX,Y\subset \mathbb{R}^n . Quelle est la complexité (temporelle) des tests s'ils diffèrent uniquement par la rotation? : il existe une matrice de rotation OOT=OTO=IOOT=OTO=IOO^T=O^TO=I telle que X=OYX=OYX=OY ? Il y a un problème de représentation des valeurs réelles ici - pour …
1
Pour deux graphes non isomorphes , existe-t-il une formule de premier ordre de profondeur de quantificateur polysize et polylog qui en témoigne?
Je veux être très précis. Quelqu'un connaît-il un rejet ou une preuve de la proposition suivante: ∃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
Résultats négatifs sur l'approche de particules identiques au problème d'isomorphisme graphique (GI)
Il y a eu quelques efforts pour attaquer le problème d'isomorphisme des graphes en utilisant la marche aléatoire quantique des bosons à noyau dur (symétrique mais sans double occupation). La puissance symétrique de la matrice d'adjacence, qui semblait prometteuse, s'est révélée incomplète pour les graphiques généraux dans cet article par …
1
Redondance et structure des problèmes de calcul
Il est largement admis que certains problèmes de calcul tels que l'isomorphisme des graphes ne peuvent pas être NP-complet car il ne possède pas suffisamment de structure ou de redondance pour être difficile à calculer (NP-hard). Je m'intéresse aux différentes notions formelles de structure des problèmes de calcul et des …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.