typicalReductionFrom
P199225
predicate
Indicates that one problem or structure is commonly or canonically reduced to another, often to transfer results or complexity properties between them.
Sample triples (2)
| Subject | Object |
|---|---|
| Post correspondence problem | halting problem ⓘ |
| Post correspondence problem | word problem for Post normal systems ⓘ |