Efficient structural combination

A common property for problems solvable in polynomial time.

Duality of existence

About how existence can be defined.