You are here
Home ›constructible
Primary tabs
constructible
A function is time constructible if there is a deterministic Turing machine (with alphabet ) such that when receives as input the a series of ones, it halts after exactly steps. Similarly is space constructible if there is a similar Turing machine which halts after using exactly cells.
Most ’natural’ functions are both time and space constructible, including constant functions, polynomials, and exponentials, for example.
Defines:
time constructible, space constructible
Type of Math Object:
Definition
Major Section:
Reference
Mathematics Subject Classification
68Q15 Complexity classes (hierarchies, relations among complexity classes, etc.)- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)
- Other useful stuff
Recent Activity
May 20
new question: Taylor's Series Query! by Bruce Lee
new question: Laplace transform by J
new question: Residue Calculus by J
May 19
new Education: Project: PlanetMath Outlines Series by unlord
May 17
new image: sinx_approx.png by jeremyboden
new image: approximation_to_sinx by jeremyboden
new image: approximation_to_sinx by jeremyboden
new question: Solving the word problem for isomorphic groups by unlord
new image: LineDiagrams.jpg by m759
new image: ProjPoints.jpg by m759
new question: Taylor's Series Query! by Bruce Lee
new question: Laplace transform by J
new question: Residue Calculus by J
May 19
new Education: Project: PlanetMath Outlines Series by unlord
May 17
new image: sinx_approx.png by jeremyboden
new image: approximation_to_sinx by jeremyboden
new image: approximation_to_sinx by jeremyboden
new question: Solving the word problem for isomorphic groups by unlord
new image: LineDiagrams.jpg by m759
new image: ProjPoints.jpg by m759



Comments
Time constructible definition?
What do you mean "there exists a turing machine that halts after using exactly f(n) cells?" For any value of f(n), I can construct a turing machine that halts after f(n) steps.
Did you mean halts after f(n) steps on input n? Or something like this?
Re: Time constructible definition?
The quote you give does not appear in this entry. What it says is "when $T$ receives as input the a series of $n$ ones, it halts after exactly $f(n)$ steps"
Computable functions
if i have a computable function f how can i prove there exists g>=f which is time constructible?
Re: Computable functions
Off the top of my head, it should work, on input n, compute f(n), then wait f(n) steps, then terminate.
Re: Computable functions
This was my idea too. So for computable f g would be the running time of an M which does what you said.
Am I correct that a time constructible function g is a function for which TIME(g) != empty-set (i.e. it's a running time function for some TM)?
thanks
Re: Computable functions
That's exactly the definition of a time constructible function.