Vérificateur de graphe planaire

Teste si un graphe est probablement planaire. Saisis une liste d'arêtes : l'outil applique les inégalités nécessaires d'Euler (E ≤ 3V−6, et E ≤ 2V−4 sans triangle) et recherche les sous-graphes K5 et K3,3 du théorème de Kuratowski. C'est une heuristique honnête, pas un algorithme de planarité complet : « non planaire » est certain, « probablement planaire » n'est pas une preuve. Limité à 16 sommets.

L'outil interactif a besoin de JavaScript pour fonctionner. Tout le reste de cette page — son fonctionnement, un exemple chiffré et les réponses aux questions courantes — se trouve plus bas et n'a besoin de rien.

Outils similaires

Tous les outils : Maths discrètes & graphes →

Calculateur de coloration de grapheColore un graphe de sorte que deux sommets adjacents n'aient jamais la même couleur. Saisis une liste d'arêtes : l'heuristique DSATUR (ou gloutonne) attribue une couleur à chaque sommet, affiche les classes de couleurs et donne une borne supérieure du nombre chromatique χ. K4 nécessite 4 couleurs, un cycle pair 2, un cycle impair 3 — visible instantanément.Calculateur d'opérations bit à bitET, OU, XOR, NON et décalages en binaire, décimal ou hexadécimal, sur 8, 16, 32 ou 64 bits, avec le schéma bit à bit et le résultat dans les trois bases. Calculé en BigInt, donc les réponses sur 64 bits sont justes là où les opérateurs 32 bits de JavaScript tronqueraient en silence.Générateur de triangulation de DelaunayColle un ensemble de points 2D et il les triangule à la façon de Delaunay — la triangulation qui évite les triangles trop plats, où aucun point ne tombe dans le cercle circonscrit d'un autre triangle. Il exécute l'algorithme de Bowyer-Watson dans ton navigateur et dessine le maillage, avec le nombre de points, triangles et arêtes.Calculateur du plus court chemin de DijkstraSaisis un graphe pondéré sous forme d'arêtes (« A, B, 4 » par ligne) et un nœud source : l'algorithme de Dijkstra donne la distance minimale et le chemin exact de la source vers chaque sommet atteignable. Fonctionne pour les graphes orientés ou non, accepte de nombreux formats d'arêtes et signale les sommets inatteignables — idéal pour le routage, les réseaux et la recherche de chemins.Calculateur d'ordre en théorie des groupesAnalyse les groupes finis classiques — cyclique Zₙ, produits directs Zₘ×Zₙ, diédral Dₙ et symétrique Sₙ. L'outil donne l'ordre du groupe, s'il est abélien, sa structure, le nombre de générateurs pour les groupes cycliques, et l'ordre de tout élément saisi, y compris une permutation en notation cyclique pour Sₙ.Vérificateur de chemin et cycle hamiltonienVérifie si un graphe possède un chemin hamiltonien (passe une fois par chaque sommet) ou un cycle hamiltonien (revient aussi au départ). Saisis une liste d'arêtes, choisis orienté ou non, et une recherche exhaustive par retour sur trace renvoie un chemin et un cycle concrets ou prouve qu'il n'en existe aucun. Limité à 12 sommets pour la rapidité.Solveur de tableau de Karnaugh (K-Map)Minimise une fonction booléenne avec l'algorithme de Quine–McCluskey : saisis minterms, maxterms ou une table de vérité et obtiens la forme SOP ou POS minimale, les impliquants premiers et le nombre de littéraux.Simulateur de portes logiquesDessine le schéma en portes d'une expression booléenne et permet de basculer chaque entrée pour suivre le signal qui la traverse. Demi-additionneur, multiplexeur, parité et fonction majorité sont fournis en exemples.

Vérificateur de graphe planaire s'utilise gratuitement, autant de fois que tu veux, directement depuis cette page. Il couvre E ≤ 3V−6, et E ≤ 2V−4 sans triangle — ajustez l'un d'eux et le résultat suit immédiatement.

Comment l'utiliser

Ouvre l'outil — sans inscription ni installation.
Saisis tes données ou ajuste les options disponibles.
Obtiens ton résultat instantanément, puis copie-le ou télécharge-le.

Questions fréquentes

À quoi sert Vérificateur de graphe planaire ?

À quoi ressemble un cas concret ?

K₄ ✓ · K₅ ✗ · K₃,₃ ✗ (Kuratowski) — l'outil affiche chaque étape intermédiaire, pas seulement le résultat final.

Que prend-il en compte ?

Il tient compte de E ≤ 3V−6, et E ≤ 2V−4 sans triangle. Modifie l'un d'eux et le résultat suit immédiatement.

Dans quels cas s'en sert-on concrètement ?

Tout ce qui se modélise en points et liens : un plus court chemin, la capacité d'un réseau, un ordonnancement avec dépendances, ou un circuit réduit à sa logique.

Quelle est l'erreur la plus fréquente ?

Supposer qu'un plus court chemin le reste quand un poids change de signe. Les arêtes négatives invalident l'argument glouton sur lequel repose Dijkstra, et l'algorithme rend une réponse fausse avec assurance plutôt qu'une erreur.

En quoi Vérificateur de graphe planaire diffère-t-il de Calculateur de coloration de graphe ?

Ils se ressemblent mais répondent à des questions différentes : Calculateur de coloration de graphe est celui à ouvrir lorsqu'il s'agit de colore un graphe de sorte que deux sommets adjacents n'aient jamais la même couleur. Saisis une liste d'arêtes : l'heuristique DSATUR (ou gloutonne) attribue une couleur à chaque sommet, affiche les classes de couleurs et donne une borne supérieure du nombre chromatique χ. K4 nécessite 4 couleurs, un cycle pair 2, un cycle impair 3 — visible instantanément. Choisis celui qui correspond à ton point de départ — les deux sont gratuits.

D'où viennent les données ?

Les algorithmes sont ceux des manuels et leurs résultats exacts pour le graphe saisi. Ce qui varie, c'est le coût : plusieurs de ces problèmes n'ont pas de solution efficace connue, les grandes entrées sont donc traitées par heuristique et l'outil le signale.

Pour aller plus loin

Tous les guides →

ExplicationLe patron à plat d'un cône est un secteur, pas un disqueRoule un cône de 50 mm de rayon et 80 mm de haut : son patron est une part de 190,8° dans un disque de 94 mm. Déroule un abat-jour presque cylindrique et le rayon du patron atteint 839 mm — plus la conicité est faible, plus l'apex s'éloigne.ExplicationUn taux de drop de 1 % ne veut pas dire cent runsÀ 1 %, cent tentatives donnent 63,4 % — pas la certitude. Quatre-vingt-dix pour cent demandent 230 tentatives et quatre-vingt-dix-neuf en demandent 459, et plus d'un tiers des joueurs sont encore bredouilles à cent.ExplicationLa suite de Fibonacci et le nombre d'orLa suite de Fibonacci additionne chaque paire de termes pour former le suivant ; le rapport de termes voisins tend vers le nombre d'or φ ≈ 1,618. Vois comment, et où ce motif apparaît.ExplicationQu'est-ce qu'un score Z ? Des écarts-types au-dessus de la moyenneUn score Z vaut z = (x − μ) / σ — le nombre d'écarts-types entre une valeur et la moyenne. Apprends à le calculer, à lire la loi normale centrée réduite et à le convertir en percentile.TutorielComment trouver la distance entre deux pointsUtilise la formule de distance d = √((x₂−x₁)² + (y₂−y₁)²) pour mesurer la distance en ligne droite entre deux points du plan, avec un exemple résolu et le milieu.TutorielComment calculer la pente d'une droite : la montée sur la courseTrouve la pente d'une droite à partir de deux points avec m = (y₂ − y₁) / (x₂ − x₁), et lis ce que dit une pente positive, négative, nulle ou indéfinie.