Manuscris

Ghoberscris

Două înțelesuri se consideră ghober-diferite dacă nu există o renumerotare a nodurilor astfel încât să se obțină doi arbori colorați identic.

Mai exact: Doi arbori $G(V, E, c: V -> C)$ și $G'(V, E', c': V -> C)$ se considera "la fel" (izomorfi) dacă există o funcție $f: V -> V'$ bijectivă a.î. $c'(f(v)) = c(v)$ oricare ar fi $v ∈ V$ si $E' = {(f(v), f(u)) | (v, u) ∈ E}$ unde $C = {1, 2 ... k}$ și $V = {1, 2 ... n}$.

Mai exact: Doi arbori $G(V, E, c: V -> C)$ și $G'(V, E', c': V -> C)$ se considera "la fel" (izomorfi) dacă există o funcție $f: V -> V'$ bijectivă a.î. $c'(f(v)) = c(v)$ oricare ar fi $v ∈ V$ si $E' = {(f(v), f(u)) | (v, u) ∈ E}$.

h2. Date de intrare