DOCSLIB.ORG

P Versus NP Frank Vega

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
P Versus NP Frank Vega P versus NP Frank Vega To cite this version: Frank Vega. P versus NP. 2018. hal-01925735 HAL Id: hal-01925735 https://hal.archives-ouvertes.fr/hal-01925735 Preprint submitted on 17 Nov 2018 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. P versus NP Frank Vega Joysonic, Belgrade, Serbia [email protected] Abstract. P versus NP is considered as one of the most important open problems in computer science. This consists in knowing the answer of the following question: Is P equal to NP? A precise statement of the P versus NP problem was introduced independently in 1971 by Stephen Cook and Leonid Levin. Since that date, all efforts to find a proof for this problem have failed. Another major complexity class is FP. We show a problem that is not in FP. Under the assumption of P = NP, we prove the membership of this problem in FP is also hold. In this way, we demonstrate the complexity class P is not equal to NP by the reduction ad absurdum rule. Keywords: Complexity Classes · Minimum · Polynomial Time · Boolean Circuit · Function Problem. 1 Introduction The P versus NP problem is a major unsolved problem in computer science [3]. This is considered by many to be the most important open problem in the field [3]. It is one of the seven Millennium Prize Problems selected by the Clay Mathematics Institute to carry a US$1,000,000 prize for the first correct solution [3]. It was essentially mentioned in 1955 from a letter written by John Nash to the United States National Security Agency [1]. However, the precise statement of the P = NP problem was introduced in 1971 by Stephen Cook in a seminal paper [3]. In 1936, Turing developed his theoretical computational model [9]. The de- terministic and nondeterministic Turing machines have become in two of the most important definitions related to this theoretical model for computation [9]. A deterministic Turing machine has only one next action for each step defined in its program or transition function [9]. A nondeterministic Turing machine could contain more than one action defined for each step of its program, where this one is no longer a function, but a relation [9]. Another relevant advance in the last century has been the definition of a complexity class. A language over an alphabet is any set of strings made up of symbols from that alphabet [4]. A complexity class is a set of problems, which are represented as a language, grouped by measures such as the running time, memory, etc [4]. In the computational complexity theory, the class P contains those languages that can be decided in polynomial time by a deterministic Turing machine [7]. The class NP consists in those languages that can be decided in polynomial time by a nondeterministic Turing machine [7]. The biggest open question in theoretical computer science concerns the relationship between these classes: Is P equal to NP ? In 2012, a poll of 151 researchers showed that 126 (83%) believed the answer to be no, 12 (9%) believed the answer is yes, 5 (3%) believed the question may be independent of the currently accepted axioms and therefore impossible to prove or disprove, 8 (5%) said either do not know or do not care or don't want the answer to be yes nor the problem to be resolved [6]. It is fully expected that P 6= NP [1]. Indeed, if P = NP then there are stunning practical consequences [1]. For that reason, P = NP is considered as a very unlikely event [1]. Certainly, P versus NP is one of the greatest still open problems in science and a correct solution for this incognita will have a great impact not only for computer science, but for many other fields as well [1]. In this work, we prove the complexity class P is not equal to NP . 2 Basic Definitions Let Σ be a finite alphabet with at least two elements, and let Σ∗ be the set of finite strings over Σ [2]. A Turing machine M has an associated input alphabet Σ [2]. For each string w in Σ∗ there is a computation associated with M on input w [2]. We say that M accepts w if this computation terminates in the accepting state, that is M(w) = \yes" [2]. Note that M fails to accept w either if this computation ends in the rejecting state, that is M(w) = \no", or if the computation fails to terminate [2]. The language accepted by a Turing machine M, denoted L(M), has an as- sociated alphabet Σ and is defined by L(M) = fw 2 Σ∗ : M(w) = \yes"g: We denote by tM (w) the number of steps in the computation of M on input w [2]. For n 2 N we denote by TM (n) the worst case running time of M; that is n TM (n) = maxftM (w): w 2 Σ g where Σn is the set of all strings over Σ of length n [2]. The notations we use to describe the asymptotic running time of an algorithm are defined in terms of functions whose domains are the set of natural numbers [4]. Such notations are convenient for describing the worst and better case running time functions, which is usually defined only on integer input sizes [4]. For a given function g(n), we denote by Ω(g(n)) the set of functions Ω(g(n)) = ff(n): There exist positive constants c and n0 such that 0 ≤ c × g(n) ≤ f(n) for all n ≥ n0g: Ω-notation provides an asymptotic lower bound [4]. We say that M runs in k polynomial time if there is a constant k such that for all n, TM (n) ≤ n + k [2]. In other words, this means the language L(M) can be accepted by the Turing machine M in polynomial time. Therefore, P is the complexity class of languages that can be accepted in polynomial time by deterministic Turing machines [4]. A verifier for a language L is a deterministic Turing machine M, where L = fw : M(w; c) = \yes" for some string cg: We measure the time of a verifier only in terms of the length of w, so a polynomial time verifier runs in polynomial time in the length of w [2]. A verifier uses additional information, represented by the symbol c, to verify that a string w is a member of L. This information is called certificate. NP is also the complexity class of languages defined by polynomial time verifiers [8]. If NP is the class of problems that have succinct certificates, then the complexity class coNP must contain those problems that have succinct disqualifications [8]. That is, a \no" instance of a problem in coNP possesses a short proof of its being a \no" instance [8]. The function problem associated with a language L, denoted FL, is the following computational problem: Given x, find a string y such that M(x; y) = \yes" if such string exists, otherwise return \no" where M is a verifier [8]. The class of all function problems associated in this way with languages in NP such that the verifier is a polynomial time verifier is called FNP [8]. FP is the subclass resulting if we only consider function problems in FNP that can be solved in polynomial time [8]. 3 Results Definition 1. MINIMUM INSTANCE: A natural number n = 2m and a function f : f0; 1; 2; : : : ; n − + 1g ! Z0 where m is a natural number. QUESTION: Find a positive integer 0 ≤ i ≤ n − 1 such that there is no a positive integer 0 ≤ j ≤ n − 1 where f(j) < f(i) and i 6= j. Lemma 1. MINIMUM 2 Ω(n − 1). Proof. How many comparisons are necessary to determine the minimum of a set of n = 2m elements where m is a natural number? We can easily obtain an upper bound of n − 1 comparisons: Examine each element of the set in turn and keep track of the smallest element seen so far [4]. In this problem, we assume that the set resides in the function f. Our algorithm will be as follows: 1. min = f(0) 2. i = 0 3. for j 1 to n − 1 4. do if min > f(j) 5. then min = f(j) 6. i = j 7. return i. Is this the best we can do? Yes, since we can obtain a lower bound of n − 1 comparisons for the problem of determining the minimum [4]. Think of any algorithm that determines the minimum as a tournament among the elements [4]. Each comparison is a match in the tournament in which the smaller of the two elements wins [4]. The key observation is that every element except the winner must lose at least one match [4]. Hence, n − 1 comparisons are necessary to determine the minimum, and the algorithm above is optimal with respect to the number of comparisons performed [4]. Finding the value of i, of course, be accomplished with n − 1 comparisons as well, since it is equivalent to find the minimum. Definition 2. SUCCINCT{MINIMUM INSTANCE: A natural number n = 2m and a Boolean circuit C with m input gates and k arbitrary output gates which succinctly represents a function + f : f0; 1; 2; : : : ; n − 1g ! Z0 such that on the input 0 ≤ i ≤ n − 1 we obtain the output C(i) is equal to the positive integer f(i) where m and k are natural numbers.
Load more

Recommended publications
  • LSPACE VS NP IS AS HARD AS P VS NP 1. Introduction in Complexity
    LSPACE VS NP IS AS HARD AS P VS NP FRANK VEGA Abstract. The P versus NP problem is a major unsolved problem in com- puter science. This consists in knowing the answer of the following question: Is P equal to NP? Another major complexity classes are LSPACE, PSPACE, ESPACE, E and EXP. Whether LSPACE = P is a fundamental question that it is as important as it is unresolved. We show if P = NP, then LSPACE = NP. Consequently, if LSPACE is not equal to NP, then P is not equal to NP. According to Lance Fortnow, it seems that LSPACE versus NP is easier to be proven. However, with this proof we show this problem is as hard as P versus NP. Moreover, we prove the complexity class P is not equal to PSPACE as a direct consequence of this result. Furthermore, we demonstrate if PSPACE is not equal to EXP, then P is not equal to NP. In addition, if E = ESPACE, then P is not equal to NP. 1. Introduction In complexity theory, a function problem is a computational problem where a single output is expected for every input, but the output is more complex than that of a decision problem [6]. A functional problem F is defined as a binary relation (x; y) 2 R over strings of an arbitrary alphabet Σ: R ⊂ Σ∗ × Σ∗: A Turing machine M solves F if for every input x such that there exists a y satisfying (x; y) 2 R, M produces one such y, that is M(x) = y [6].
    [Show full text]
  • The Classes FNP and TFNP
    Outline The classes FNP and TFNP C. Wilson1 1Lane Department of Computer Science and Electrical Engineering West Virginia University Christopher Wilson Function Problems Outline Outline 1 Function Problems defined What are Function Problems? FSAT Defined TSP Defined 2 Relationship between Function and Decision Problems RL Defined Reductions between Function Problems 3 Total Functions Defined Total Functions Defined FACTORING HAPPYNET ANOTHER HAMILTON CYCLE Christopher Wilson Function Problems Outline Outline 1 Function Problems defined What are Function Problems? FSAT Defined TSP Defined 2 Relationship between Function and Decision Problems RL Defined Reductions between Function Problems 3 Total Functions Defined Total Functions Defined FACTORING HAPPYNET ANOTHER HAMILTON CYCLE Christopher Wilson Function Problems Outline Outline 1 Function Problems defined What are Function Problems? FSAT Defined TSP Defined 2 Relationship between Function and Decision Problems RL Defined Reductions between Function Problems 3 Total Functions Defined Total Functions Defined FACTORING HAPPYNET ANOTHER HAMILTON CYCLE Christopher Wilson Function Problems Function Problems What are Function Problems? Function Problems FSAT Defined Total Functions TSP Defined Outline 1 Function Problems defined What are Function Problems? FSAT Defined TSP Defined 2 Relationship between Function and Decision Problems RL Defined Reductions between Function Problems 3 Total Functions Defined Total Functions Defined FACTORING HAPPYNET ANOTHER HAMILTON CYCLE Christopher Wilson Function Problems Function
    [Show full text]
  • Logic and Complexity
    o| f\ Richard Lassaigne and Michel de Rougemont Logic and Complexity Springer Contents Introduction Part 1. Basic model theory and computability 3 Chapter 1. Prepositional logic 5 1.1. Propositional language 5 1.1.1. Construction of formulas 5 1.1.2. Proof by induction 7 1.1.3. Decomposition of a formula 7 1.2. Semantics 9 1.2.1. Tautologies. Equivalent formulas 10 1.2.2. Logical consequence 11 1.2.3. Value of a formula and substitution 11 1.2.4. Complete systems of connectives 15 1.3. Normal forms 15 1.3.1. Disjunctive and conjunctive normal forms 15 1.3.2. Functions associated to formulas 16 1.3.3. Transformation methods 17 1.3.4. Clausal form 19 1.3.5. OBDD: Ordered Binary Decision Diagrams 20 1.4. Exercises 23 Chapter 2. Deduction systems 25 2.1. Examples of tableaux 25 2.2. Tableaux method 27 2.2.1. Trees 28 2.2.2. Construction of tableaux 29 2.2.3. Development and closure 30 2.3. Completeness theorem 31 2.3.1. Provable formulas 31 2.3.2. Soundness 31 2.3.3. Completeness 32 2.4. Natural deduction 33 2.5. Compactness theorem 36 2.6. Exercices 38 vi CONTENTS Chapter 3. First-order logic 41 3.1. First-order languages 41 3.1.1. Construction of terms 42 3.1.2. Construction of formulas 43 3.1.3. Free and bound variables 44 3.2. Semantics 45 3.2.1. Structures and languages 45 3.2.2. Structures and satisfaction of formulas 46 3.2.3.
    [Show full text]
  • The Relative Complexity of NP Search Problems
    The Relative Complexity of NP Search Problems PAUL BEAME* STEPHEN COOKT JEFF EDMONDS$ Computer Science and Engineering Computer Science Dept. I. C.S.I. University of Washington University of Toronto Berkeley, CA 94704- ”1198 beame@cs. Washington. edu sacook@cs. toronto. edu edmonds@icsi .berke,ley.edu RUSSELL IMPAGLIAZZO TONIANN PITASSI$ Computer Science Dept. Mathematics and Computer Science UCSD University of Pittsburgh russelltlcs .ucsd.edu toniflcs .pitt, edu Abstract might be that of finding a 3-coloring of the graph if it ex- ists. One can always reduce a search problem to a related Papadimitriou introduced several classes of NP search prob- decision problem and, as in the reduction of 3-coloring to lemsbased on combinatorial principles which guarantee the 3-colorability, thk is often by a natural self-reduction which existence of solutions to the problems. Many interesting produces a polynomially equivalent decision problem. search problems not known to be solvable in polynomial However, it may also happen that the related decision time are contained in these classes, and a number of them problem is not computationally equivalent to the original are complete problems. We consider the question of the rel- search problem. Thk is particularly important in the case ative complexity of these search problem classes. We prove when a solution is guaranteed to exist for the search prob- several separations which show that in a generic relativized lem. For example, consider the following prc)blems: world, the search classes are distinct and there is a standard search problem in each of them that is not computation- 1.Given a list al ,.
    [Show full text]
  • Counting Below #P: Classes, Problems and Descriptive Complexity
    Msc Thesis Counting below #P : Classes, problems and descriptive complexity Angeliki Chalki µΠλ8 Graduate Program in Logic, Algorithms and Computation National and Kapodistrian University of Athens Supervised by Aris Pagourtzis Advisory Committee Dimitris Fotakis Aris Pagourtzis Stathis Zachos September 2016 Abstract In this thesis, we study counting classes that lie below #P . One approach, the most regular in Computational Complexity Theory, is the machine-based approach. Classes like #L, span-L [1], and T otP ,#PE [38] are defined establishing space and time restrictions on Turing machine's computational resources. A second approach is Descriptive Complexity's approach. It characterizes complexity classes by the type of logic needed to express the languages in them. Classes deriving from this viewpoint, like #FO [44], #RHΠ1 [16], #RΣ2 [44], are equivalent to #P , the class of AP - interriducible problems to #BIS, and some subclass of the problems owning an FPRAS respectively. A great objective of such an investigation is to gain an understanding of how “efficient counting" relates to these already defined classes. By “efficient counting" we mean counting solutions of a problem using a polynomial time algorithm or an FPRAS. Many other interesting properties of the classes considered and their problems have been examined. For example alternative definitions of counting classes using relation-based op- erators, and the computational difficulty of complete problems, since complete problems capture the difficulty of the corresponding class. Moreover, in Section 3.5 we define the log- space analog of the class T otP and explore how and to what extent results can be transferred from polynomial time to logarithmic space computation.
    [Show full text]
  • Complexity Classes
    CHAPTER Complexity Classes In an ideal world, each computational problem would be classified at least approximately by its use of computational resources. Unfortunately, our ability to so classify some important prob- lems is limited. We must be content to show that such problems fall into general complexity classes, such as the polynomial-time problems P, problems whose running time on a determin- istic Turing machine is a polynomial in the length of its input, or NP, the polynomial-time problems on nondeterministic Turing machines. Many complexity classes contain “complete problems,” problems that are hardest in the class. If the complexity of one complete problem is known, that of all complete problems is known. Thus, it is very useful to know that a problem is complete for a particular complexity class. For example, the class of NP-complete problems, the hardest problems in NP, contains many hundreds of important combinatorial problems such as the Traveling Salesperson Prob- lem. It is known that each NP-complete problem can be solved in time exponential in the size of the problem, but it is not known whether they can be solved in polynomial time. Whether ? P and NP are equal or not is known as the P = NP question. Decades of research have been devoted to this question without success. As a consequence, knowing that a problem is NP- complete is good evidence that it is an exponential-time problem. On the other hand, if one such problem were shown to be in P, all such problems would be been shown to be in P,a result that would be most important.
    [Show full text]
  • COT5310: Formal Languages and Automata Theory
    COT5310: Formal Languages and Automata Theory Lecture Notes #3: Complexity Dr. Ferucio Laurent¸iu T¸iplea Visiting Professor School of Computer Science University of Central Florida Orlando, FL 32816 E-mail: [email protected] http://www.cs.ucf.edu/~tiplea Complexity 1. Time and space bounded computations 2. Central complexity classes 3. Reductions and completeness 4. Hierarchies of complexity classes UCF-SCS/COT5310/Fall 2005/F.L. Tiplea 1 1. Time and space bounded computations 1.1. Orders of magnitude 1.2. Running time and work space of Turing machines UCF-SCS/COT5310/Fall 2005/F.L. Tiplea 2 1.1. Orders of magnitude Let g : N R be a function. Define the following sets: → + (g) = f : N R+ ( c R )( n0 N)( n n0)(f(n) cg(n)) O { → | ∃ ∈ +∗ ∃ ∈ ∀ ≥ ≤ } Ω(g) = f : N R+ ( c R )( n0 N)( n n0)(cg(n) f(n)) { → | ∃ ∈ +∗ ∃ ∈ ∀ ≥ ≤ } Θ(g) = f : N R+ ( c1, c2 R )( n0 N)( n n0) { → | ∃ ∈ +∗ ∃ ∈ ∀ ≥ (c1g(n) f(n) c2g(n)) ≤ ≤ } o(g) = f : N R+ ( c R )( n0 N)( n n0)(f(n) cg(n)) { → | ∀ ∈ +∗ ∃ ∈ ∀ ≥ ≤ } Let f, g : N R and X , Ω, Θ,o . f is said to be X of → + ∈ {O } g, denoted f(n) = X(g(n)), if f X(g). ∈ (“big O”), Ω (“big Ω”), Θ (“big Θ”), and o (“little o”) O are order of magnitude symbols. UCF-SCS/COT5310/Fall 2005/F.L. Tiplea 3 1.1. Orders of magnitude cg(n)2 cg(n) f(n) f(n) f(n) cg(n) cg(n)1 n n0 n0 0 O (g(n)) W(g(n)) q(g(n)) f(n) = (g(n)) • O – g(n) is an asymptotic upper bound for f(n) – f(n) is no more than g(n) – used to state the complexity of a worst case analysis; f(n) = Ω(g(n)) – similar interpretation; • f(n) = o(g(n)) – f(n) is less than g(n) (the difference • between and o is analogous to the difference between O and <).
    [Show full text]
  • COMPUTATIONAL COMPLEXITY Contents
    Part III Michaelmas 2012 COMPUTATIONAL COMPLEXITY Lecture notes Ashley Montanaro, DAMTP Cambridge [email protected] Contents 1 Complementary reading and acknowledgements2 2 Motivation 3 3 The Turing machine model4 4 Efficiency and time-bounded computation 13 5 Certificates and the class NP 21 6 Some more NP-complete problems 27 7 The P vs. NP problem and beyond 33 8 Space complexity 39 9 Randomised algorithms 45 10 Counting complexity and the class #P 53 11 Complexity classes: the summary 60 12 Circuit complexity 61 13 Decision trees 70 14 Communication complexity 77 15 Interactive proofs 86 16 Approximation algorithms and probabilistically checkable proofs 94 Health warning: There are likely to be changes and corrections to these notes throughout the course. For updates, see http://www.qi.damtp.cam.ac.uk/node/251/. Most recent changes: corrections to proof of correctness of Miller-Rabin test (Section 9.1) and minor terminology change in description of Subset Sum problem (Section6). Version 1.14 (May 28, 2013). 1 1 Complementary reading and acknowledgements Although this course does not follow a particular textbook closely, the following books and addi- tional resources may be particularly helpful. • Computational Complexity: A Modern Approach, Sanjeev Arora and Boaz Barak. Cambridge University Press. Encyclopaedic and recent textbook which is a useful reference for almost every topic covered in this course (a first edition, so beware typos!). Also contains much more material than we will be able to cover in this course, for those who are interested in learning more. A draft is available online at http://www.cs.princeton.edu/theory/complexity/.
    [Show full text]
  • An Overview of Computational Complexity
    lURING AWARD LECTURE AN OVERVIEW OF COMPUTATIONAL COMPLEXITY ~]~F.~ A. COOK University of Toronto This is the second Turing Award lecture on Computational Complexity, The first was given by Michael Rabin in 1976.1 In reading Rabin's excellent article [62] now, one of the things that strikes me is how much activity there has been in the field since. In this brief overview I want to mention what to me are the most important and interesting results since the subject began in about 1960. In such a large field the choice of ABSTRACT: An historical overview topics is inevitably somewhat personal; however, I hope to of computational complexity is include papers which, by any standards, are fundamental. presented. Emphasis is on the fundamental issues of defining the 1. EARLY PAPERS intrinsic computational complexity The prehistory of the subject goes back, appropriately, to Alan of a problem and proving upper Turing. In his 1937 paper, On computable numbers with an and lower bounds on the application to the Entscheidungs problem [85], Turing intro- complexity of problems. duced his famous Turing machine, which provided the most Probabilistic and parallel convincing formalization (up to that time) of the notion of an computation are discussed. effectively (or algorithmically) computable function. Once this Author's Present Address: notion was pinned down precisely, impossibility proofs for Stephen A. Cook, Department of Computer computers were possible. In the same paper Turing proved Science, that no algorithm (i.e., Turing machine) could, upon being Universityof Toronto, given an arbitrary formula of the predicate calculus, decide, Toronto, Canada M5S 1A7.
    [Show full text]
  • Advanced Topics in Complexity Theory: Exercise
    Advanced Topics in Complexity Theory Daniel Borchmann October 4, 2016 Contents 1 Approximation Complexity 3 1.1 Function Problems ................................. 3 1.2 Approximation Algorithms ............................ 6 1.3 Approximation and Complexity ......................... 10 1.4 Non-Approximability ............................... 14 2 Interactive Proofs 18 2.1 Interactive Proofs Systems with Deterministic Verifiers ............ 18 2.2 Probabilistic Verifiers ............................... 20 2.3 Public Coin Protocols ............................... 23 2.4 IP = PSpace .................................... 27 2.5 Outlook: Multi-Prover Systems ......................... 32 3 Counting Complexity 33 3.1 Counting problems and the class #P ....................... 33 3.2 #P-completeness and Valiant’s Theorem ..................... 36 2 1 Approximation Complexity Dealing with NP-complete problems in practice may sometimes be infeasible. On the other hand, it is often enough to have approximate solutions to those problems, provided these are not “too bad”. However, for this to make sense, it is no longer possible to only consider decision problems.1 1.1 Function Problems 1.1 Example Let us consider the following “computation problem” associated to SAT: given a propositional formula ', return a satisfying assignment of ' if one exists, and “no” other- wise. Let us call this problem FSAT (“F” for “function”; note however that for a satisfiable formula ' there may be more than one satisfying assignment – the “functional” aspect thus does not really correspond to the mathematical notion of a function). It is clear that when we can solve FSAT in polynomial time, we can also solve SAT in polynomial time. The converse is also true: if SAT 2 P, then FSAT can be solved in polyno- mial time as well. This can be done as follows: let x1; : : : ; xn be the variables in '.
    [Show full text]
  • The Existence and Density of Generalized Complexity Cores
    The Existence and Density of Generalized Complexity Cores RONALD V. BOOK AND DING-ZHU DU University of California, Santa Barbara, California Abstract. If g is a class of sets and A is not in S then an infinite set H is a proper hard core for A with respect to g, if H C A and for every C E Q such that C c A, C G H is finite. It is shown that if E?is a countable class of sets of strings that is closed under finite union and finite variation, then every infinite set not in Q has a proper hard core with respect to R In addition, the density of such generalized complexity cores is studied. Categories and Subject Descriptors: F. 1.3 [Computation by Abstract Devices]: Complexity Classes- machine-independent complexity General Terms: Theory, Verification Additional Key Words and Phrases: Generalized complexity cores, proper hard cores 1. Introduction Consider a recursive set A that is not in the class P of sets recognizable determi- nistically in polynomial time. For every algorithm (Ythat recognizesA and for every polynomial p, there exist infinitely many inputs x such that as running time on x exceedsp( ] x ] ); this follows from the fact that A is not in the class P. Lynch [ 121 showed that this condition implies that there exists an infinite set X such that for every algorithm (Y that recognizes A and every polynomial p, (Y’Srunning time on x exceedsp( ] x ] ) on all but finitely many x E X. The set X is a complexity core for X.
    [Show full text]
  • The Complexity of Decision Problems in Automata Theory and Logic By
    The Complexity of Decision Problems in Automata Theory and Logic by Larry J. Stockmeyer ABSTRACT The inherent computational complexity of a variety of decision problems in mathematical logic and the theory of automata is analyzed in terms of Turing machine time and space and in terms of the complexity of Boolean networks. The problem of deciding whether a star-free expression (a variation of the regular expressions of Kleene used to describe languages accepted by finite automata) defines the empty set is shown to require time and space exceeding any composition of.functions exponential in the length of expressions. In particular, this decision problem is not elementary- recursive in the sense of Kalmar. The emptiness problem can be,reduced efficiently to decision problems for truth or satisfiability of sentences in the first order monadic theory of (N,<), the first order theory of linear orders, and the first order theory of two successors and prefix, among others. It follows that the decision problems for these theories are also not elementary-recursive. The number of Boolean operations and hence the size of logical circuits required to decide truth in several familiar logical theories of sentences only a few hundred characters long is shown to exceed the number of protons required to fill the known universe. The methods of proof are analogous to the arithmetizations and reducibility arguments of recursive function theory. Keywords: computational complexity, decision procedure star-free, Turing machine AM.(MOS) Subject Classification Scheme (1970) primary 68A20, 02G05 secondary 68A40, 94820 Table of Contents 1. Introduction 2, The Model of Computation 2.1 The Basic Model 2.2 A Technically Useful Model 3.
    [Show full text]