Assertion: algorithm | /r/CapableOf | do on the other
Facets:
Source sentences:
text: (For example, a change from a single-tape Turing machine to a multi-tape machine can lead to a quadratic speedup, but any algorithm that runs in polynomial time under one model also does so on the other.)