Eenvoudige inkleuring verf die sterkskakel-grafiek van een syfer met twee kleure — sê blou en groen.
Op ’n sterk skakel het die twee punte teenoorgestelde kleure: presies een is waar. Dit is ’n poort na Medusa- en AIC-denke.
Waarom dit werk
As twee selle van dieselfde kleur mekaar sien, kan daardie kleur nie waar wees nie (twee waarhede van dieselfde syfer sou mekaar sien). Die hele kleur is dus vals — die teenoorgestelde kleur is waar.
As ’n sel albei kleure sien, sien dit hoe ook al ’n ware kandidaat — dus kan dit nie die syfer wees nie.
Inkleuring verander ’n web van “presies een hiervan”-skakels in eenvoudige verfreëls.
Hoe om dit raak te sien
Bou die sterkskakel-grafiek eers uit syfers met net twee plekke. ’n Botsing van dieselfde kleur of ’n sel wat albei kleure sien, is die strikke om voor op te let.
Demonstrasie
Verbind vir een syfer elke sterk skakel (presies twee kandidate in ’n huis) tot ’n ketting of netwerk.
Kleur die netwerk met twee kleure in. Teenoorgestelde kleure beteken “presies een is waar.” Die groen selle wys ’n nuttige inkleuring op 7.
Let op botsings van dieselfde kleur of selle wat albei kleure sien — dit is die strikke.
Elimineer 7 waar die inkleuring dit verbied (rooi).
Voorbeeld 1
Kleur die sterkskakel-netwerk vir een syfer in.
Inkleuring op 1 vind ’n teenspraak of strik.
Verwyder 1 waar die verfreëls nee sê (rooi). ’n Botsing van dieselfde kleur of ’n sel wat albei kleure sien, beteken eliminasie.
Voorbeeld 2
Kleur die sterkskakel-netwerk vir een syfer in.
Inkleuring op 2 vind ’n teenspraak of strik.
Verwyder 2 waar die verfreëls nee sê (rooi). ’n Botsing van dieselfde kleur of ’n sel wat albei kleure sien, beteken eliminasie.