Discharging

Discharging is a combinatorial method developed by Heinrich Heesch in the 1960s for proving properties of planar graphs, most notably as the central strategy in the proof of the Four-Color Theorem. The method assigns an initial charge to each vertex or face of a graph based on its degree, then redistributes the charge according to a set of local rules. The goal is to prove that after redistribution, every vertex or face has non-negative charge, which can then be used to show that certain configurations cannot exist in a minimal counterexample. Discharging is not an algorithm but a proof technique: it transforms a global property (the non-existence of a counterexample) into a local verification problem (checking that each configuration satisfies the charge constraints). The technique was refined by Kenneth Appel and Wolfgang Haken in their 1976 proof, and it remains one of the most powerful tools in structural graph theory. Its surprising generality has led to applications in the proof of other coloring theorems and in the study of graph embeddings, suggesting that the method is not merely a historical artifact of the Four-Color Theorem but a fundamental principle of planar graph structure.