Proof. If childCnt ≥ 2 : the children occupy at least two columns on the next row, so a horizontal line is needed to connect the leftmost to the rightmost child (rule 2).
Proof. The drawing rules require a vertical line from the node down to the row of its children whenever it has at least one child. The line is mandatory and unique, hence exactly one vertical stroke. ∎ An internal node requires a horizontal stroke iff childCnt ≥ 2 . 338. FamilyStrokes
def main() -> None: data = sys.stdin.read().strip().split() if not data: return it = iter(data) n = int(next(it)) g = [[] for _ in range(n + 1)] for _ in range(n - 1): u = int(next(it)); v = int(next(it)) g[u].append(v) g[v].append(u) The drawing rules require a vertical line from