Computational complexity: Difference between revisions

Content deleted Content added
top: moving toward the top the relationship between the complexities of a problem and an algorithm, and expanding the paragraph
No edit summary
Line 41:
 
===Deterministic models===
A [[deterministic model]] of computation is a model of computation such that the successive states of the machine and the operations to be performed are completely determined by the preceding state. Historically, the first deterministic models were [[μ-recursive function|recursive function]]s, [[lambda calculus]], and [[Turing machine]]s. The model of [[Random random-access machine]]s (also called RAM-machines) is also widely used, as a closer counterpart to real [[computer]]s.
 
When the model of computation is not specified, it is generally assumed to be a [[multitape Turing machine]]. For most algorithms, the time complexity is the same on multitape Turing machines as on RAM-machines, although some care may be needed in how data is stored in memory to get this equivalence.