Readonly
S (m × n): S[i][j] = 1 iff bottom node j contributes to node i.
Node ids in row order (length m) — topologically sorted, parents before children.
Bottom-level node ids in column order (length n).
S (m × n): S[i][j] = 1 iff bottom node j contributes to node i.