<--- 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

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

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

DocID: 1qCnb - View Document

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

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

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

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

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

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

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

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

DocID: 17JXD - View Document