Discharging method (discrete mathematics) (source code)

= Discharging method (discrete mathematics)
{wiki=Discharging_method_(discrete_mathematics)}