Théorème de Battle-Harary-Kodama
Le théorème de Battle-Harary-Kodama est un théorème mathématique de la théorie topologique des graphes et qui doit son intitulé à une publication des mathématiciens Joseph Battle, Frank Harary et Yukihiro Kodama de l’année 1962[1]. Le théorème est une réponse à une question sur la planarité de certains graphes simples et de leur graphe complémentaire et résout une conjecture de John L. Selfridge. Une démonstration plus simple a été donnée un peu plus tard, en 1963, par William Tutte[2].
Énoncé
L'énoncé est le suivant[3] : Modèle:Théorème
Énoncé voisin
Un énoncé voisin, donné par Dennis P. Geller[4], traite la question de la « planarité extérieure » : un graphe est planaire extérieur s'il admet une représentation plane dans laquelle les sommets se trouvent tous sur le bord de la face extérieure[5]. Le théorème de Geller s'énonce comme suit :