Slavné kombinatorické problémy a počítačové důkazy

Představme si tři sousedy žijící ve třech domech. Každý z nich by rád připojil svůj dům ke zdroji vody, plynu a elektřiny, ale nikdo nechce, aby se některý ze spojů křížil s ostatními. Dokážeme pak v rovině domy se zdroji propojit?