[图书][B] The theory of computation
BM Moret - 1997 - dl.acm.org
From the Publisher: Highlights: Motivates theoretical developments by connecting them to
practical issues. Introduces every result and proof with an informal overview to build …
practical issues. Introduces every result and proof with an informal overview to build …
[PDF][PDF] Separating exponential time classes from polynomial time classes
S Mocas - 1997 - Citeseer
Abstract 1 1 Introduction 2 1.1 Computation and Complexity:::::::::::::::::::::: 2 1.2 Exponential
Time::::::::::::::::::::::::::::: 4 1.3 Overview of Techniques and Results for Exponential Time:::::: 7 …
Time::::::::::::::::::::::::::::: 4 1.3 Overview of Techniques and Results for Exponential Time:::::: 7 …
[PDF][PDF] Local search for NP-hard problems
JD Frank - 1997 - Citeseer
It is my opinion that no one does anything of any importance alone, and that counts more
heavily for a large project like a dissertation. I would like to take this opportunity to thank …
heavily for a large project like a dissertation. I would like to take this opportunity to thank …
[图书][B] On the BPP hierarchy problem
C Berg, J Hastad - 1997 - Citeseer
In this paper we give arguments both for and against the existence of an oracle A, relative to
which BPP equals probabilistic linear time. First, we prove a structure theorem for …
which BPP equals probabilistic linear time. First, we prove a structure theorem for …
[PDF][PDF] Die Entscheidungskomplexit at logischer Theorien: Eine Studie anhand der Presburger Arithmetik
C Grabmayer - 1997 - clegra.github.io
F ur das letztendliche Doch-Zustandekommen und das Gelingen (: ich meine damit hier nur
das au ere Es-zustande-bringen-haben-K onnen) dieser Diplomarbeit mu ich mich und m …
das au ere Es-zustande-bringen-haben-K onnen) dieser Diplomarbeit mu ich mich und m …