<--- Back to Details
First PageDocument Content
Complexity classes / Computational resources / Mathematical optimization / Structural complexity theory / Advice / NTIME / Probabilistically checkable proof / NP / P versus NP problem / Theoretical computer science / Computational complexity theory / Applied mathematics
Date: 2010-05-04 16:48:34
Complexity classes
Computational resources
Mathematical optimization
Structural complexity theory
Advice
NTIME
Probabilistically checkable proof
NP
P versus NP problem
Theoretical computer science
Computational complexity theory
Applied mathematics

Improving Exhaustive Search Implies Superpolynomial Lower Bounds Ryan Williams∗ IBM Almaden Research Center May 4, 2010

Add to Reading List

Source URL: www.stanford.edu

Download Document from Source Website

File Size: 271,94 KB

Share Document on Facebook

Similar Documents

SCUDEM Problem C - Game Play A new game is proposed for a hand-held device. The game needs to be relatively simple and the computational resources required must be kept small. The proposed game is a network based game, s

SCUDEM Problem C - Game Play A new game is proposed for a hand-held device. The game needs to be relatively simple and the computational resources required must be kept small. The proposed game is a network based game, s

DocID: 1uh7f - View Document

Computational Modelling and Prediction of Gaze Estimation Error for Head-mounted Eye Trackers DFKI Technical Report Michael Barz Saarland University

Computational Modelling and Prediction of Gaze Estimation Error for Head-mounted Eye Trackers DFKI Technical Report Michael Barz Saarland University

DocID: 1toD6 - View Document

Proceedings of the 40th Annual Meeting of the Association for Computational Linguistics (ACL), Philadelphia, July 2002, ppTranslating Named Entities Using Monolingual and Bilingual Resources Yaser Al-Onaizan a

Proceedings of the 40th Annual Meeting of the Association for Computational Linguistics (ACL), Philadelphia, July 2002, ppTranslating Named Entities Using Monolingual and Bilingual Resources Yaser Al-Onaizan a

DocID: 1sRbD - View Document

Invasive Plant Species Management with Geospatial Information Technologies and Computational Science Qingfeng Guan1, Stephen L. Young2, and Sunil Narumalani1 University of Nebraska-Lincoln, 1School of Natural Resources,

Invasive Plant Species Management with Geospatial Information Technologies and Computational Science Qingfeng Guan1, Stephen L. Young2, and Sunil Narumalani1 University of Nebraska-Lincoln, 1School of Natural Resources,

DocID: 1sg23 - View Document

MWEs: Theoretical Background & Motivation MWEs: Computational Methods Resources, tasks and applications Future challenges and open problems  Robust Semantic Analysis of Multiword

MWEs: Theoretical Background & Motivation MWEs: Computational Methods Resources, tasks and applications Future challenges and open problems Robust Semantic Analysis of Multiword

DocID: 1scmN - View Document