Psychology Wiki

Descriptive complexity theory

34,203pages on
this wiki
Add New Page
Talk0 Share

Assessment | Biopsychology | Comparative | Cognitive | Developmental | Language | Individual differences | Personality | Philosophy | Social |
Methods | Statistics | Clinical | Educational | Industrial | Professional items | World psychology |

Philosophy Index: Aesthetics · Epistemology · Ethics · Logic · Metaphysics · Consciousness · Philosophy of Language · Philosophy of Mind · Philosophy of Science · Social and Political philosophy · Philosophies · Philosophers · List of lists

Descriptive complexity is a branch of computational complexity theory and of finite model theory that characterizes complexity classes by the type of logic needed to express the languages in them. For example, PH, the union of all complexity classes in the polynomial hierarchy, is precisely the class of languages expressible by statements of second-order logic. This connection between complexity and the logic of finite structures allows results to be transferred easily from one area to the other, facilitating new proof methods and providing additional evidence that the main complexity classes are somehow "natural" and not tied to the specific abstract machines used to define them.

Specifically, each logical system produces a set of queries expressible in it. The queries – when restricted to finite structures – correspond to the computational problems of traditional complexity theory.

The first main result of descriptive complexity was Fagin's theorem, shown by Ronald Fagin in 1974. It established that NP is precisely the set of languages expressible by sentences of existential second-order logic; that is, second order logic excluding universal quantification over relations, functions, and subsets. Many other classes were later characterized in such a manner, most of them by Neil Immerman:

  • First-order logic defines the class FO, corresponding to AC0, the languages recognized by polynomial-size circuits of bounded depth, which equals the languages recognized by a concurrent random access machine in constant time.
  • First-order logic with a commutative, transitive closure operator added yields SL, which equals L, problems solvable in logarithmic space.
  • First-order logic with a transitive closure operator yields NL, the problems solvable in nondeterministic logarithmic space.
  • In the presence of linear order, first-order logic with a least fixed point operator gives P, the problems solvable in deterministic polynomial time.
  • Existential second-order logic yields NP, as mentioned above.
  • Universal second-order logic (excluding existential second-order quantification) yields co-NP.
  • Second-order logic corresponds to PH.
  • Second-order logic with a transitive closure (commutative or not) yields PSPACE, the problems solvable in polynomial space.
  • Second-order logic with a least fixed point operator gives EXPTIME, the problems solvable in exponential time.
  • \existHO^i, logic with existential quantifier of order i followed by a formula of order i-1 is equal to NTIME(\exp_2^{i-2}(n^{O(1)}))[1]
  • HO^i_j=NTIME(\exp_2^{i-2}(n^{O(1)}))^{\Sigma_j^{\rm P}}
  • HO is equal to ELEMENTARY

More precise definitions of those classes can be found on the articles SO and FO.

References Edit

Further reading Edit

  • Shawn Hedman, A first course in logic: an introduction to model theory, proof theory, computability, and complexity, Oxford University Press, 2004, ISBN 0-19-852981-3, section 10.3 is a suitable introduction for undergraduates

External links Edit

  1. Lauri Hella and José María Turull-Torres (2006), "Computing queries with higher-order logics", Theoretical Computer Science (Essex, UK: Elsevier Science Publishers Ltd.) 355 (2): 197–214, ISSN 0304-3975, 

{{enWP|Descriptive complexity theory

Ad blocker interference detected!

Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.

Also on Fandom

Random Wiki