##  [Discharging Method](/discharging-method-0) 

 Definition

A combinatorial technique that assigns numerical charges or weights to local elements of a planar or embedded configuration and then redistributes those charges according to local rules so that global invariants or inequalities follow from the local balance.

 

 

 

 

 

 





## Principle

Principle

Translate a global counting or structural constraint into local charge assignments, prove that redistribution rules preserve total charge, and show that local impossibilities or lower bounds on remaining charge force the desired global conclusion.

 

 

 

 

 





## Demonstration

Demonstration

On a plane graph, assign initial charges equal to degree minus six at each vertex, redistribute charge from high-degree to low-degree neighbors according to fixed local rules, and deduce that certain low-degree configurations cannot exist because they'd leave negative final charge, establishing a global bound on the graph's structure.

 

 

 

 

## Misapplication

Misapplication

Using redistribution rules that do not preserve the total charge, failing to check all local configurations, or applying planar-local discharging rules to nonembedded or high-genus settings without modification invalidates the global deduction.

 

 

 

 

 





## Consequence

Consequence

Properly applied, discharging converts local case analysis into an accounting argument that yields sharp global constraints or impossibility results, often reducing a difficult global combinatorial problem to finitely many local checks.

 

 

 

 

## Reversal

Reversal

Global averaging or algebraic counting arguments that do not rely on local transfer rules; these may give weaker bounds because they do not exploit local structural exclusions made visible by discharging.

 

 

 

 

 





## Boundary

Boundary

Requires a combinatorial embedding or a context where local neighborhoods and degree-like measures are meaningful; it is not directly applicable when geometry lacks a planar or locally finite combinatorial structure or when redistribution cannot be made local.

 

 

 

 

 





## Semantic Tension

Semantic Tension

Tension with pure algebraic or spectral methods: discharging is a local, combinatorial bookkeeping method exposing forbidden configurations, whereas algebraic methods treat the object globally and can be more powerful in nonplanar or spectral contexts but less explicit about local obstructions.

 

 

 

 

 





## Synthesis

Synthesis

The Discharging Method frames a global combinatorial constraint as conserved local charges and uses local redistribution rules plus exhaustive local case checks to force global structural conclusions.