time-constructible function en · NOUN
Meanings
- (countable, qualifier:computational complexity theory, uncountable) A function f from natural numbers to natural numbers with the property that f(n) can be constructed from n by a Turing machine in the time of order f(n), whose purpose of such a definition is to exclude functions that do not provide an upper bound on the runtime of some Turing machine.
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| time-constructible functions | Number=Plur | lexicographic |