complexity-theory Definition Polynomial Balanced Binary Relation A binary relation is called polynomial balanced if, for a fixed k≥1: ∀(v1,v2)∈R:∣v2∣≤∣v1∣k