Adds graph-based solution: Expresses every node (variable) in a connected subgraph by its first node (variable), solve the very first node (variable) if possible.