Une technique combinatoire qui attribue des charges ou poids numériques aux éléments locaux d'une configuration planaire ou plongée, puis redistribue ces charges selon des règles locales de sorte que des invariants ou inégalités globaux découlent de l'équilibre local.

Principe

Transcrire une contrainte globale de comptage ou structurelle en assignations locales de charge, prouver que les règles de redistribution préservent la charge totale, et montrer que des impossibilités locales ou des minorants de charge restante imposent la conclusion globale souhaitée.

Démonstration

Sur un graphe planaire, affecter des charges initiales égales au degré moins six à chaque sommet, redistribuer la charge des sommets de degré élevé vers leurs voisins de faible degré selon des règles locales fixées, et déduire que certaines configurations de faible degré ne peuvent exister car elles laisseraient une charge finale négative, établissant une borne globale sur la structure du graphe.

Mauvaise application

Employer des règles de redistribution qui ne préservent pas la charge totale, omettre de vérifier toutes les configurations locales, ou appliquer des règles de décharge planaires à des contextes non plongés ou de genre élevé sans adaptation invalide la déduction globale.

Conséquence

Bien appliquée, la décharge transforme une analyse de cas locale en un argument de tenue de compte qui produit des contraintes globales précises ou des résultats d'impossibilité, réduisant souvent un problème combinatoire difficile à un nombre fini de vérifications locales.

Inversion

Arguments globaux de moyennage ou de comptage algébrique qui n'utilisent pas de règles locales de transfert ; ils peuvent fournir des bornes plus faibles car ils n'exploitent pas les exclusions structurelles locales mises en évidence par la décharge.

Limite

Nécessite un plongement combinatoire ou un contexte où les voisinages locaux et les mesures de type degré sont signifiants ; elle n'est pas directement applicable lorsque la géométrie manque d'une structure combinatoire planaire ou localement finie ou lorsque la redistribution ne peut pas être rendue locale.

Tension sémantique

Tension avec les méthodes purement algébriques ou spectrales : la décharge est une méthode locale et combinatoire exposant des configurations interdites, tandis que les méthodes algébriques traitent l'objet globalement et peuvent être plus puissantes en contextes non planaires ou spectraux mais moins explicites sur les obstructions locales.

Synthèse

La Méthode de Décharge formule une contrainte combinatoire globale comme des charges locales conservées et utilise des règles de redistribution locales plus des vérifications exhaustives locales pour imposer des conclusions structurelles globales.