DOCSLIB.ORG

Some NP-Complete Problems

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Some NP-Complete Problems Appendix A Some NP-Complete Problems To ask the hard question is simple. But what does it mean? What are we going to do? W.H. Auden In this appendix we present a brief list of NP-complete problems; we restrict ourselves to problems which either were mentioned before or are closely re- lated to subjects treated in the book. A much more extensive list can be found in Garey and Johnson [GarJo79]. Chinese postman (cf. Sect. 14.5) Let G =(V,A,E) be a mixed graph, where A is the set of directed edges and E the set of undirected edges of G. Moreover, let w be a nonnegative length function on A ∪ E,andc be a positive number. Does there exist a cycle of length at most c in G which contains each edge at least once and which uses the edges in A according to their given orientation? This problem was shown to be NP-complete by Papadimitriou [Pap76], even when G is a planar graph with maximal degree 3 and w(e) = 1 for all edges e. However, it is polynomial for graphs and digraphs; that is, if either A = ∅ or E = ∅. See Theorem 14.5.4 and Exercise 14.5.6. Chromatic index (cf. Sect. 9.3) Let G be a graph. Is it possible to color the edges of G with k colors, that is, does χ(G) ≤ k hold? Holyer [Hol81] proved that this problem is NP-complete for each k ≥ 3; this holds even for the special case where k =3 and G is 3-regular. Chromatic number (cf. Sect. 9.1) Let G be a graph. Is it possible to color the vertices of G with k colors, that is, does χ(G) ≤ k hold? Karp [Kar72] proved that this problem is NP-complete for each k ≥ 3. Even the special case where k =3 and G is a planar graph with maximal degree 4 remains NP-complete; see [GarJS76]. Assuming P = NP, there is D. Jungnickel, Graphs, Networks and Algorithms, 527 Algorithms and Computation in Mathematics 5, DOI 10.1007/978-3-642-32278-5, © Springer-Verlag Berlin Heidelberg 2013 528 A Some NP-Complete Problems not even a polynomial approximative algorithm which always needs fewer than 2χ(G) colors; see [GarJo76]. For perfect graphs, the chromatic number can be computed in polynomial time; see [GroLS93]. As noted in Lemma 9.2.1, the clique number ω(G) is a (trivial) lower bound for χ(G). However, it is (for general graphs) NP-complete to decide if one has equality, even if some colouring of G with χ(G) colours is given; this is equivalent to the result of [BusPa06] on the clique partition and independence numbers, using Lemma 9.2.1. Clique (cf. Exercise 2.8.4) Let G =(V,E) be a graph and c ≤|V | a positive integer. Does G contain a clique consisting of c vertices? This problem is NP-complete by a result of Karp [Kar72]; thus deter- mining the clique number ω(G) is an NP-hard problem. Also, the related question of whether G contains a clique with at least r|V | vertices, where 0 <r<1, is NP-complete for fixed r. Assuming P = NP, there is not even a polynomial ε-approximative algorithm for determining a maximal clique; see [AroSa02]. However, the problem can be solved in polynomial time for perfect (in particular, for bipartite) graphs; see [GroLS93]. Clique Partition (cf. Sect. 9.2) Let G =(V,E)beagraphandc ≤|V | a positive integer. Does V admit a partition into at most c cliques? This problem is NP-complete by a result of Karp [Kar72]. Thus deter- mining the clique partition number θ(G) is an NP-hard problem, but the problem can be solved in polynomial time for perfect (in particular, for bi- partite) graphs; see [GroLS93]. As noted in Lemma 9.2.1, the independence number α(G) is a (trivial) lower bound for θ(G). However, it is (for general graphs) NP-complete to decide if one has equality, even if some minimum clique partition is given; see [BusPa06]. Diameter (cf. Sect. 3.9) Let G =(V,E) be a connected graph, and let c ≤|V | be a positive integer. Recall that the diameter of G can be determined efficiently; see Sect. 3.9. However, the following two related problems are NP-complete; see [ChvTh78] and [GarJo79]. (1) Does there exist a strongly connected orientation H of G with diameter at most c? Note that Robbins’ theorem allows us to check efficiently whether a strongly connected orientation exists (and to find such an orientation, if possible); see Sect. 1.6. (2) Let C be a given set of at most |E| nonnegative integers. Does there exist a mapping w : E → C such that G has weighted diameter at most c, that is, such that any two vertices u, v have distance d(u, v) ≤ c in the network (G, w)? This problem remains NP-complete even for C = {0, 1}. A Some NP-Complete Problems 529 Discrete metric realization (cf. Sect. 3.2) Let D =(dxy)beann×n matrix with integer entries representing distances in a finite metric space. Is there a network (G, w) of total length ≤ k realizing D? Winkler [Win88] proved that this problem—and also the analogous real problem—is NP-complete. Disjoint connecting paths (cf. Sect. 7.1) Let G be a graph, k an integer, and (s1,t1),...,(sk,tk) pairs of vertices (usually called terminals). Are there disjoint paths P1,P2,...,Pk such that Pi connects si with ti? Here disjoint may be interpreted as either edge disjoint and vertex disjoint. In both cases, this problem is NP-complete as stated (that is, if k is included in the input), even when G is assumed to be planar; these results are due to Karp [Kar75] and Lynch [Lyn75]. However, the problem becomes polynomial for every fixed k, a result first proved in the framework of the fundamental theory of graph minors due to Robertson and Seymour [RobSe95]. Recently, a quadratic time algorithm was given by Kawarabayashi, Kobayashi and Reed [KawKR12]; this paper also contains a good discussion of the problem, in- cluding many further references. Disjoint paths (cf. Sect. 7.1) Let G =(V,E)beagraph,s and t be two vertices of G,andk and c be two positive integers. Does G contain k vertex disjoint paths of length at most c from s to t? Itai, Pearl and Shiloach [ItaPS82] proved that this problem is NP-complete for each fixed k ≥ 5 (whereas it is polynomial for fixed k ≤ 4). Similar results hold for edge disjoint paths from s to t, and for the analogous problems where each path should contain precisely c edges. In contrast, the maximal number of (edge or vertex) disjoint paths from s to t can be determined efficiently using network flow methods if no restrictions are added; see Sect. 7.1. Dominating set (cf. Sect. 2.8) Let G =(V,E)beagraphandk a positive integer. Does G admit a domi- nating set D with |D|≤k? The variant where D is required to be connected is likewise NP-complete, see Exercise 2.8.7. Graph partitioning (cf. Sect. 9.2) Let G =(V,E)beagraphandc a positive integer. The question of whether G can be partitioned into at most c subgraphs of a given type is NP-complete for many classes of subgraphs: for triangles and, more generally, for subgraphs with a given isomorphism type, for Hamiltonian subgraphs, for forests, for cliques, and for matchings. We refer the reader to [GarJo79, §A1.1] and the references given there. 530 A Some NP-Complete Problems In particular, determining the clique partition number θ(G)isanNP- hard problem in general. For perfect graphs, this problem can be solved in polynomial time; see [GroLS93]. Hamiltonian cycle (cf. Sects. 1.4 and 2.8) Let G =(V,E) be a graph. Does G contain a Hamiltonian cycle? Karp [Kar72] proved that this problem is NP-complete; it remains NP- complete even if we know a Hamiltonian path of G [PapSt77]; see Theo- rem 15.7.3. The special cases for bipartite graphs and for planar, 3-connected, 3-regular graphs are still NP-complete; see [Kri75]and[GarJT76]. The anal- ogous problem for directed Hamiltonian cycles in digraphs likewise is NP- complete [Kar72]; see Exercise 2.7.6. Hamiltonian path (cf. Exercise 2.7.7) Does the graph G =(V,E) contain a Hamiltonian path? This problem and the analogous directed problem are NP-complete, even if the start and end vertices of the Hamiltonian path are fixed; see [GarJo79]. Independent set (cf. Exercise 2.8.4) Let G =(V,E) be a graph and c ≤|V | a positive integer. Does G contain an independent set with c elements? Note that the independent sets of G are precisely the cliques of the complementary graph G. This problem is therefore NP-complete in general, but polynomial for perfect graphs (see Clique and Vertex cover). The independent set problem remains NP-complete when restricted to 3- regular planar graphs; see [GarJS76]. Induced subgraph Let G =(V,E) be a graph and c a positive integer. The problem of whether G contains an induced subgraph on c vertices that belongs to a prescribed class of graphs is often NP-complete: for cliques and independent sets (see Clique and Independent set), and also for planar subgraphs, for bipartite subgraphs, for subforests, etc. We refer to [GarJo79, § A1.2] and the references given there.
Load more

Recommended publications
  • Non-Liner Great Deluge Algorithm for Handling Nurse Rostering Problem
    International Journal of Applied Engineering Research ISSN 0973-4562 Volume 12, Number 15 (2017) pp. 4959-4966 © Research India Publications. http://www.ripublication.com Non-liner Great Deluge Algorithm for Handling Nurse Rostering Problem Yahya Z. Arajy*, Salwani Abdullah and Saif Kifah Data Mining and Optimisation Research Group (DMO), Centre for Artificial Intelligence Technology, Universiti Kebangsaan Malaysia, 43600 Bangi Selangor, Malaysia. Abstract which it has a variant of requirements and real world constraints, gives the researchers a great scientific challenge to The optimisation of the nurse rostering problem is chosen in solve. The nurse restring problem is one of the most this work due to its importance as an optimisation challenge intensively exploring topics. Further reviewing of the literature with an availability to improve the organisation in hospitals can show that over the last 45 years a range of researchers duties, also due to its relevance to elevate the health care studied the effect of different techniques and approaches on through an enhancement of the quality in a decision making NRP. To understand and efficiently solve the problem, we process. Nurse rostering in the real world is naturally difficult refer to the comprehensive literate reviews, which a great and complex problem. It consists on the large number of collection of papers and summaries regarding this rostering demands and requirements that conflicts the hospital workload problem can be found in [1], [2], and [3]. constraints with the employees work regulations and personal preferences. In this paper, we proposed a modified version of One of the first methods implemented to solve NRP is integer great deluge algorithm (GDA).
    [Show full text]
  • Efficiently Mining Frequent Closed Partial Orders
    Efficiently Mining Frequent Closed Partial Orders (Extended Abstract) Jian Pei1 Jian Liu2 Haixun Wang3 Ke Wang1 Philip S. Yu3 Jianyong Wang4 1 Simon Fraser Univ., Canada, fjpei, [email protected] 2 State Univ. of New York at Buffalo, USA, [email protected] 3 IBM T.J. Watson Research Center, USA, fhaixun, [email protected] 4 Tsinghua Univ., China, [email protected] 1 Introduction Account codes and explanation Account code Account type CHK Checking account Mining ordering information from sequence data is an MMK Money market important data mining task. Sequential pattern mining [1] RRSP Retirement Savings Plan can be regarded as mining frequent segments of total orders MORT Mortgage from sequence data. However, sequential patterns are often RESP Registered Education Savings Plan insufficient to concisely capture the general ordering infor- BROK Brokerage mation. Customer Records Example 1 (Motivation) Suppose MapleBank in Canada Cid Sequence of account opening wants to investigate whether there is some orders which cus- 1 CHK ! MMK ! RRSP ! MORT ! RESP ! BROK tomers often follow to open their accounts. A database DB 2 CHK ! RRSP ! MMK ! MORT ! RESP ! BROK in Table 1 about four customers’ sequences of opening ac- 3 MMK ! CHK ! BROK ! RESP ! RRSP counts in MapleBank is analyzed. 4 CHK ! MMK ! RRSP ! MORT ! BROK ! RESP Given a support threshold min sup, a sequential pattern is a sequence s which appears as subsequences of at least Table 1. A database DB of sequences of ac- min sup sequences. For example, let min sup = 3. The count opening. following four sequences are sequential patterns since they are subsequences of three sequences, 1, 2 and 4, in DB.
    [Show full text]
  • Graph Varieties Axiomatized by Semimedial, Medial, and Some Other Groupoid Identities
    Discussiones Mathematicae General Algebra and Applications 40 (2020) 143–157 doi:10.7151/dmgaa.1344 GRAPH VARIETIES AXIOMATIZED BY SEMIMEDIAL, MEDIAL, AND SOME OTHER GROUPOID IDENTITIES Erkko Lehtonen Technische Universit¨at Dresden Institut f¨ur Algebra 01062 Dresden, Germany e-mail: [email protected] and Chaowat Manyuen Department of Mathematics, Faculty of Science Khon Kaen University Khon Kaen 40002, Thailand e-mail: [email protected] Abstract Directed graphs without multiple edges can be represented as algebras of type (2, 0), so-called graph algebras. A graph is said to satisfy an identity if the corresponding graph algebra does, and the set of all graphs satisfying a set of identities is called a graph variety. We describe the graph varieties axiomatized by certain groupoid identities (medial, semimedial, autodis- tributive, commutative, idempotent, unipotent, zeropotent, alternative). Keywords: graph algebra, groupoid, identities, semimediality, mediality. 2010 Mathematics Subject Classification: 05C25, 03C05. 1. Introduction Graph algebras were introduced by Shallon [10] in 1979 with the purpose of providing examples of nonfinitely based finite algebras. Let us briefly recall this concept. Given a directed graph G = (V, E) without multiple edges, the graph algebra associated with G is the algebra A(G) = (V ∪ {∞}, ◦, ∞) of type (2, 0), 144 E. Lehtonen and C. Manyuen where ∞ is an element not belonging to V and the binary operation ◦ is defined by the rule u, if (u, v) ∈ E, u ◦ v := (∞, otherwise, for all u, v ∈ V ∪ {∞}. We will denote the product u ◦ v simply by juxtaposition uv. Using this representation, we may view any algebraic property of a graph algebra as a property of the graph with which it is associated.
    [Show full text]
  • Interactive Proof Systems and Alternating Time-Space Complexity
    Theoretical Computer Science 113 (1993) 55-73 55 Elsevier Interactive proof systems and alternating time-space complexity Lance Fortnow” and Carsten Lund** Department of Computer Science, Unicersity of Chicago. 1100 E. 58th Street, Chicago, IL 40637, USA Abstract Fortnow, L. and C. Lund, Interactive proof systems and alternating time-space complexity, Theoretical Computer Science 113 (1993) 55-73. We show a rough equivalence between alternating time-space complexity and a public-coin interactive proof system with the verifier having a polynomial-related time-space complexity. Special cases include the following: . All of NC has interactive proofs, with a log-space polynomial-time public-coin verifier vastly improving the best previous lower bound of LOGCFL for this model (Fortnow and Sipser, 1988). All languages in P have interactive proofs with a polynomial-time public-coin verifier using o(log’ n) space. l All exponential-time languages have interactive proof systems with public-coin polynomial-space exponential-time verifiers. To achieve better bounds, we show how to reduce a k-tape alternating Turing machine to a l-tape alternating Turing machine with only a constant factor increase in time and space. 1. Introduction In 1981, Chandra et al. [4] introduced alternating Turing machines, an extension of nondeterministic computation where the Turing machine can make both existential and universal moves. In 1985, Goldwasser et al. [lo] and Babai [l] introduced interactive proof systems, an extension of nondeterministic computation consisting of two players, an infinitely powerful prover and a probabilistic polynomial-time verifier. The prover will try to convince the verifier of the validity of some statement.
    [Show full text]
  • Approximating Transitive Reductions for Directed Networks
    Approximating Transitive Reductions for Directed Networks Piotr Berman1, Bhaskar DasGupta2, and Marek Karpinski3 1 Pennsylvania State University, University Park, PA 16802, USA [email protected] Research partially done while visiting Dept. of Computer Science, University of Bonn and supported by DFG grant Bo 56/174-1 2 University of Illinois at Chicago, Chicago, IL 60607-7053, USA [email protected] Supported by NSF grants DBI-0543365, IIS-0612044 and IIS-0346973 3 University of Bonn, 53117 Bonn, Germany [email protected] Supported in part by DFG grants, Procope grant 31022, and Hausdorff Center research grant EXC59-1 Abstract. We consider minimum equivalent digraph problem, its max- imum optimization variant and some non-trivial extensions of these two types of problems motivated by biological and social network appli- 3 cations. We provide 2 -approximation algorithms for all the minimiza- tion problems and 2-approximation algorithms for all the maximization problems using appropriate primal-dual polytopes. We also show lower bounds on the integrality gap of the polytope to provide some intuition on the final limit of such approaches. Furthermore, we provide APX- hardness result for all those problems even if the length of all simple cycles is bounded by 5. 1 Introduction Finding an equivalent digraph is a classical computational problem (cf. [13]). The statement of the basic problem is simple. For a digraph G = (V, E), we E use the notation u → v to indicate that E contains a path from u to v and E the transitive closure of E is the relation u → v over all pairs of vertices of V .
    [Show full text]
  • Complexity Theory Lecture 9 Co-NP Co-NP-Complete
    Complexity Theory 1 Complexity Theory 2 co-NP Complexity Theory Lecture 9 As co-NP is the collection of complements of languages in NP, and P is closed under complementation, co-NP can also be characterised as the collection of languages of the form: ′ L = x y y <p( x ) R (x, y) { |∀ | | | | → } Anuj Dawar University of Cambridge Computer Laboratory NP – the collection of languages with succinct certificates of Easter Term 2010 membership. co-NP – the collection of languages with succinct certificates of http://www.cl.cam.ac.uk/teaching/0910/Complexity/ disqualification. Anuj Dawar May 14, 2010 Anuj Dawar May 14, 2010 Complexity Theory 3 Complexity Theory 4 NP co-NP co-NP-complete P VAL – the collection of Boolean expressions that are valid is co-NP-complete. Any language L that is the complement of an NP-complete language is co-NP-complete. Any of the situations is consistent with our present state of ¯ knowledge: Any reduction of a language L1 to L2 is also a reduction of L1–the complement of L1–to L¯2–the complement of L2. P = NP = co-NP • There is an easy reduction from the complement of SAT to VAL, P = NP co-NP = NP = co-NP • ∩ namely the map that takes an expression to its negation. P = NP co-NP = NP = co-NP • ∩ VAL P P = NP = co-NP ∈ ⇒ P = NP co-NP = NP = co-NP • ∩ VAL NP NP = co-NP ∈ ⇒ Anuj Dawar May 14, 2010 Anuj Dawar May 14, 2010 Complexity Theory 5 Complexity Theory 6 Prime Numbers Primality Consider the decision problem PRIME: Another way of putting this is that Composite is in NP.
    [Show full text]
  • Counting Independent Sets in Graphs with Bounded Bipartite Pathwidth∗
    Counting independent sets in graphs with bounded bipartite pathwidth∗ Martin Dyery Catherine Greenhillz School of Computing School of Mathematics and Statistics University of Leeds UNSW Sydney, NSW 2052 Leeds LS2 9JT, UK Australia [email protected] [email protected] Haiko M¨uller∗ School of Computing University of Leeds Leeds LS2 9JT, UK [email protected] 7 August 2019 Abstract We show that a simple Markov chain, the Glauber dynamics, can efficiently sample independent sets almost uniformly at random in polynomial time for graphs in a certain class. The class is determined by boundedness of a new graph parameter called bipartite pathwidth. This result, which we prove for the more general hardcore distribution with fugacity λ, can be viewed as a strong generalisation of Jerrum and Sinclair's work on approximately counting matchings, that is, independent sets in line graphs. The class of graphs with bounded bipartite pathwidth includes claw-free graphs, which generalise line graphs. We consider two further generalisations of claw-free graphs and prove that these classes have bounded bipartite pathwidth. We also show how to extend all our results to polynomially-bounded vertex weights. 1 Introduction There is a well-known bijection between matchings of a graph G and independent sets in the line graph of G. We will show that we can approximate the number of independent sets ∗A preliminary version of this paper appeared as [19]. yResearch supported by EPSRC grant EP/S016562/1 \Sampling in hereditary classes". zResearch supported by Australian Research Council grant DP190100977. 1 in graphs for which all bipartite induced subgraphs are well structured, in a sense that we will define precisely.
    [Show full text]
  • Developing Novel Meta-Heuristic, Hyper-Heuristic and Cooperative Search for Course Timetabling Problems
    Developing Novel Meta-heuristic, Hyper-heuristic and Cooperative Search for Course Timetabling Problems by Joe Henry Obit, MSc GEORGE GREEN uBRARY O~ SCIENCE AND ENGINEERING A thesis submitted to the School of Graduate Studies in partial fulfilment of the requirements for the degree of Doctor of Philosophy School of Computer Science University of Nottingham November 2010 Abstract The research presented in this PhD thesis focuses on the problem of university course timetabling, and examines the various ways in which metaheuristics, hyper- heuristics and cooperative heuristic search techniques might be applied to this sort of problem. The university course timetabling problem is an NP-hard and also highly constrained combinatorial problem. Various techniques have been developed in the literature to tackle this problem. The research work presented in this thesis ap- proaches this problem in two stages. For the first stage, the construction of initial solutions or timetables, we propose four hybrid heuristics that combine graph colour- ing techniques with a well-known local search method, tabu search, to generate initial feasible solutions. Then, in the second stage of the solution process, we explore dif- ferent methods to improve upon the initial solutions. We investigate techniques such as single-solution metaheuristics, evolutionary algorithms, hyper-heuristics with rein- forcement learning, cooperative low-level heuristics and cooperative hyper-heuristics. In the experiments throughout this thesis, we mainly use a popular set of bench- mark instances of the university course timetabling problem, proposed by Socha et al. [152], to assess the performance of the methods proposed in this thesis. Then, this research work proposes algorithms for each of the two stages, construction of ini- tial solutions and solution improvement, and analyses the proposed methods in detail.
    [Show full text]
  • Forbidding Subgraphs
    Graph Theory and Additive Combinatorics Lecturer: Prof. Yufei Zhao 2 Forbidding subgraphs 2.1 Mantel’s theorem: forbidding a triangle We begin our discussion of extremal graph theory with the following basic question. Question 2.1. What is the maximum number of edges in an n-vertex graph that does not contain a triangle? Bipartite graphs are always triangle-free. A complete bipartite graph, where the vertex set is split equally into two parts (or differing by one vertex, in case n is odd), has n2/4 edges. Mantel’s theorem states that we cannot obtain a better bound: Theorem 2.2 (Mantel). Every triangle-free graph on n vertices has at W. Mantel, "Problem 28 (Solution by H. most bn2/4c edges. Gouwentak, W. Mantel, J. Teixeira de Mattes, F. Schuh and W. A. Wythoff). Wiskundige Opgaven 10, 60 —61, 1907. We will give two proofs of Theorem 2.2. Proof 1. G = (V E) n m Let , a triangle-free graph with vertices and x edges. Observe that for distinct x, y 2 V such that xy 2 E, x and y N(x) must not share neighbors by triangle-freeness. Therefore, d(x) + d(y) ≤ n, which implies that d(x)2 = (d(x) + d(y)) ≤ mn. ∑ ∑ N(y) x2V xy2E y On the other hand, by the handshake lemma, ∑x2V d(x) = 2m. Now by the Cauchy–Schwarz inequality and the equation above, Adjacent vertices have disjoint neigh- borhoods in a triangle-free graph. !2 ! 4m2 = ∑ d(x) ≤ n ∑ d(x)2 ≤ mn2; x2V x2V hence m ≤ n2/4.
    [Show full text]
  • Valuative Characterization of Central Extensions of Algebraic Tori on Krull
    Valuative characterization of central extensions of algebraic tori on Krull domains ∗ Haruhisa Nakajima † Department of Mathematics, J. F. Oberlin University Tokiwa-machi, Machida, Tokyo 194-0294, JAPAN Abstract Let G be an affine algebraic group with an algebraic torus G0 over an alge- braically closed field K of an arbitrary characteristic p. We show a criterion for G to be a finite central extension of G0 in terms of invariant theory of all regular 0 actions of any closed subgroup H containing ZG(G ) on affine Krull K-schemes such that invariant rational functions are locally fractions of invariant regular func- tions. Consider an affine Krull H-scheme X = Spec(R) and a prime ideal P of R with ht(P) = ht(P ∩ RH ) = 1. Let I(P) denote the inertia group of P un- der the action of H. The group G is central over G0 if and only if the fraction e(P, P ∩ RH )/e(P, P ∩ RI(P)) of ramification indices is equal to 1 (p = 0) or to the p-part of the order of the group of weights of G0 on RI(P)) vanishing on RI(P))/P ∩ RI(P) (p> 0) for an arbitrary X and P. MSC: primary 13A50, 14R20, 20G05; secondary 14L30, 14M25 Keywords: Krull domain; ramification index; algebraic group; algebraic torus; char- acter group; invariant theory 1 Introduction 1.A. We consider affine algebraic groups and affine schemes over a fixed algebraically closed field K of an arbitrary characteristic p. For an affine group G, denote by G0 its identity component.
    [Show full text]
  • The Complexity of Space Bounded Interactive Proof Systems
    The Complexity of Space Bounded Interactive Proof Systems ANNE CONDON Computer Science Department, University of Wisconsin-Madison 1 INTRODUCTION Some of the most exciting developments in complexity theory in recent years concern the complexity of interactive proof systems, defined by Goldwasser, Micali and Rackoff (1985) and independently by Babai (1985). In this paper, we survey results on the complexity of space bounded interactive proof systems and their applications. An early motivation for the study of interactive proof systems was to extend the notion of NP as the class of problems with efficient \proofs of membership". Informally, a prover can convince a verifier in polynomial time that a string is in an NP language, by presenting a witness of that fact to the verifier. Suppose that the power of the verifier is extended so that it can flip coins and can interact with the prover during the course of a proof. In this way, a verifier can gather statistical evidence that an input is in a language. As we will see, the interactive proof system model precisely captures this in- teraction between a prover P and a verifier V . In the model, the computation of V is probabilistic, but is typically restricted in time or space. A language is accepted by the interactive proof system if, for all inputs in the language, V accepts with high probability, based on the communication with the \honest" prover P . However, on inputs not in the language, V rejects with high prob- ability, even when communicating with a \dishonest" prover. In the general model, V can keep its coin flips secret from the prover.
    [Show full text]
  • EXPSPACE-Hardness of Behavioural Equivalences of Succinct One
    EXPSPACE-hardness of behavioural equivalences of succinct one-counter nets Petr Janˇcar1 Petr Osiˇcka1 Zdenˇek Sawa2 1Dept of Comp. Sci., Faculty of Science, Palack´yUniv. Olomouc, Czech Rep. [email protected], [email protected] 2Dept of Comp. Sci., FEI, Techn. Univ. Ostrava, Czech Rep. [email protected] Abstract We note that the remarkable EXPSPACE-hardness result in [G¨oller, Haase, Ouaknine, Worrell, ICALP 2010] ([GHOW10] for short) allows us to answer an open complexity ques- tion for simulation preorder of succinct one counter nets (i.e., one counter automata with no zero tests where counter increments and decrements are integers written in binary). This problem, as well as bisimulation equivalence, turn out to be EXPSPACE-complete. The technique of [GHOW10] was referred to by Hunter [RP 2015] for deriving EXPSPACE-hardness of reachability games on succinct one-counter nets. We first give a direct self-contained EXPSPACE-hardness proof for such reachability games (by adjust- ing a known PSPACE-hardness proof for emptiness of alternating finite automata with one-letter alphabet); then we reduce reachability games to (bi)simulation games by using a standard “defender-choice” technique. 1 Introduction arXiv:1801.01073v1 [cs.LO] 3 Jan 2018 We concentrate on our contribution, without giving a broader overview of the area here. A remarkable result by G¨oller, Haase, Ouaknine, Worrell [2] shows that model checking a fixed CTL formula on succinct one-counter automata (where counter increments and decre- ments are integers written in binary) is EXPSPACE-hard. Their proof is interesting and nontrivial, and uses two involved results from complexity theory.
    [Show full text]