<--- Back to Details
First PageDocument Content
Computational complexity theory / Complexity classes / Theory of computation / FO / PSPACE / SO / P / EXPTIME / Boolean algebra / Co-NP-complete / Reduction / Descriptive complexity theory
Date: 2009-08-14 00:50:42
Computational complexity theory
Complexity classes
Theory of computation
FO
PSPACE
SO
P
EXPTIME
Boolean algebra
Co-NP-complete
Reduction
Descriptive complexity theory

Introduction & Motivation Relations and Operations Boolean and 3-element cases

Add to Reading List

Source URL: www.bedewell.com

Download Document from Source Website

File Size: 514,13 KB

Share Document on Facebook

Similar Documents

Computational complexity theory / Complexity classes / Theory of computation / FO / PSPACE / SO / P / EXPTIME / Boolean algebra / Co-NP-complete / Reduction / Descriptive complexity theory

Introduction & Motivation Relations and Operations Boolean and 3-element cases

DocID: 1qCnb - View Document

Matrix theory / Linear algebra / Matrices / Algebra / Determinant / Matrix / Square matrix / Eigenvalues and eigenvectors / Matrix exponential / Positive-definite matrix

P-matrix recognition is co-NP-complete Jan Foniok ETH Zurich, Institute for Operations Research R¨amistrasse 101, 8092 Zurich, Switzerland

DocID: 1p3MJ - View Document

Graph theory / Graph coloring / Matching / NP-complete problems / Combinatorial optimization / Graph operations / Blossom algorithm / Bipartite graph / Chordal graph / Complete coloring / Cograph / Ear decomposition

b-coloring is NP-hard on co-bipartite graphs and polytime solvable on tree-cographs ∗ Flavia Bonomo1 , Oliver Schaudt2 , Maya Stein3 , and Mario Valencia-Pabon†4 1

DocID: 1m4Jl - View Document

Old Testament / Hebrew Bible / Abiathar / David / Crossword / Barbara Ward / Michmash / Solomon / Sword of the Spirit / NP-complete problems / Kings of ancient Judah / Nevi\'im

PHOTO: V. SLADON 175 YEARS – 50 GREAT CATHOLICS / Michael Walsh on Barbara Ward A friend, a retired senior lecturer on international

DocID: 17QL6 - View Document

Computer programming / Local consistency / Constraint satisfaction / Constraint logic programming / Co-NP-complete / NP-complete / Decomposition method / Complexity of constraint satisfaction / Constraint programming / Software engineering / Theoretical computer science

The Complexity of Global Constraints Christian Bessiere Emmanuel Hebrard and Brahim Hnich and Toby Walsh∗ LIRMM

DocID: 17JXD - View Document