Definition
Polynomial Decidable Binary Relation
A binary relation is called polynomial decidable if there exists an algorithm which, for a given
, decides whether in polynomial time.
Polynomial Decidable Binary Relation
A binary relation is called polynomial decidable if there exists an algorithm which, for a given
, decides whether in polynomial time.