computabilityRequirement
P142790
predicate
Indicates that something must be capable of being computed or effectively carried out by an algorithm or computational process.
Sample triples (1)
| Subject | Object |
|---|---|
|
Karp reductions
surface form:
Karp reduction
|
reduction function must be computable in polynomial time ⓘ |