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
Comment citer le nouveau résultat d'isomorphisme du graphe de Babai?
Récemment, Babai a publié un article sur le STOC 2016 affirmant que l'isomorphisme des graphes peut être résolu en temps quasi-polynomial. Au début de 2017, Babai a rétracté la réclamation quasi-polynomiale en raison de graves erreurs trouvées par Harald Helfgott. Comme expliqué par Babai lui-même, cette faille rend l'amélioration plus …
1
Contre-exemple de l'algorithme efficace de Corneil pour l'isomorphisme graphique
Dans l'article An Efficient Algorithm for Graph Isomorphism de Corneil et Gotlieb, 1970, une conjecture a été énoncée sur laquelle l'algorithme énoncé s'est appuyé pour résoudre l'IG en temps polynomial. À savoir: que les graphiques représentatifs présentent la partition d'automorphisme du graphique donné Évidemment, cette conjecture n'est pas prouvée jusqu'à …
1
NP-dureté d'un problème de partition graphique?
Ce problème m'intéresse: étant donné un graphe non orienté , y a-t-il une partition de en graphes et tels que etG(E,V)G(E,V)G(E, V)GGGG1(E1,V1)G1(E1,V1)G_1(E_1, V_1)G2(E2,V2)G2(E2,V2)G_2(E_2, V_2)G1G1G_1G2G2G_2 sont isomorphes? Ici, est partitionné en deux ensembles disjoints et . Les ensembles et ne sont pas nécessairement disjoints. etEEEE1E1E_1E2E2E_2V1V1V_1V2V2V_2E1∪E2=EE1∪E2=EE1∪E2=EV1∪V2=VV1∪V2=VV1∪V2=V . Ce problème est au moins …
2
Instances matérielles pour les tests d'isomorphisme de graphe
Le cas des graphiques fortement réguliers est-il le plus difficile à tester GI? où "le plus dur" est utilisé dans un sens "commun", ou "en moyenne", pour ainsi dire. Wolfram MathWorld mentionne quelques "graphiques pathologiquement durs". Que sont-ils? Mon échantillon de 25 paires de graphiques: http://funkybee.narod.ru/graphs.htm J'ai testé beaucoup d'autres …
2
Problème de graphe dur non connu pour être complet
L'isomorphisme graphique ( ) est un bon candidat pour un problème intermédiaire . problèmes intermédiaires existent sauf si . Je recherche un problème naturel difficile pour sous réduction de Karp (Un problème graphique tel que ).GIGIGINPNPNPNPNPNPP=NPP=NPP=NPGIGIGIXXXGI&lt;mpXGI&lt;pmXGI <_p^m X Existe-t-il un problème naturel de graphe dur qui n'est ni équivalent ni …
2
Approches de l'IG inspirées par le problème des nœuds
GI et Knot Problem sont tous deux des problèmes de décision d'équivalence structurelle d'objets mathématiques. Y a-t-il des résultats établissant des liens entre eux? De jolies connexions du problème des nœuds à la physique statistique ont été explorées via des polynômes de nœuds , y a-t-il des résultats similaires pour …
1
Génération de graphiques avec des automorphismes triviaux
Je révise un modèle cryptographique. Pour montrer son insuffisance, j'ai conçu un protocole artificiel basé sur l'isomorphisme des graphes. Il est "banal" (et pourtant controversé!) De supposer l'existence d'algorithmes BPP capables de générer "des instances dures du problème d'isomorphisme des graphes". (Avec un témoin d'isomorphisme.) Dans mon protocole artificiel, je …
2
Est-ce que l'algorithme quasipolynomial time Babai génère réellement l'isomorphisme?
J'ai une question (espérons-le simple, peut-être stupide) sur le document historique de Babai montrant que est quasipolynomial.G Igje\mathsf{GI} Babai a montré comment produire un certificat que deux graphes pour sont isomorphes, en temps quasi-polynomial dans.gje= ( Vje, Eje)gje=(Vje,Eje)G_i=(V_i,E_i)je ∈ { 1 , 2 }je∈{1,2}i\in\{1,2\}v = |Vje|v=|Vje|v=|V_i| Babai a-t-il réellement montré …
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.