complexity-theory Definition Polynomial Balanced Binary Relation A binary relation is called polynomial balanced if, for a fixed :