Gegeben ist das ein konkretes 4x4 Gitter aus 16 Knoten mit Knotenbeschriftungen (Zahlen zwischen 1 und 4). In dieses Gitter sollen nun Kanten so eingefügt werden, dass (i) Kanten nur Knoten verbinden, die entweder horizontal oder vertikal direkt benachbart sind (es dürfen keine Knoten übersprungen werden, und keine Kante darf diagonal verlaufen); der resultierende Graph ein Baum (kreisfrei und zusammenhängend) ist; und (ii) jeder Knoten den Grad hat, der durch die Knotenbeschriftung angegeben wird. Gib dazu allgemeine Datenreduktionsregeln an, welche die folgende Instanz komplett lösen.
