PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Medium Entry average rating: No information on entry rating
constructible (Definition)

A function $f:\mathbb{N}\rightarrow\mathbb{N}$ is time constructible if there is a deterministic Turing machine $T$ (with alphabet $\{0,1,B\}$ ) such that when $T$ receives as input the a series of $n$ ones, it halts after exactly $f(n)$ steps. Similarly $f$ is space constructible if there is a similar Turing machine which halts after using exactly $f(n)$ cells.

Most 'natural' functions are both time and space constructible, including constant functions, polynomials, and exponentials, for example.




"constructible" is owned by Henry.
(view preamble | get metadata)

View style:

Also defines:  time constructible, space constructible
Log in to rate this entry.
(view current ratings)

Cross-references: exponentials, polynomials, constant functions, cells, Turing machine, similar, series, alphabet, deterministic Turing machine, function
There is 1 reference to this entry.

This is version 4 of constructible, born on 2002-09-15, modified 2003-02-20.
Object id is 3461, canonical name is Constructable.
Accessed 6004 times total.

Classification:
AMS MSC68Q15 (Computer science :: Theory of computing :: Complexity classes )

Pending Errata and Addenda
None.
[ View all 3 ]
Discussion
Style: Expand: Order:
forum policy
Computable functions by pesachzon on 2005-10-09 16:48:16
if i have a computable function f how can i prove there exists g>=f which is time constructible?
[ reply | up ]
Time constructible definition? by acone on 2005-04-27 01:38:14
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?
[ reply | up ]

Interact
post | correct | update request | add derivation | add example | add (any)