Design that treats the problem structure as a graph and preserves graph properties during operations.