An Interesting Perspective to the P versus NP Problem

Similar documents
Advanced topic: Space complexity

Chapter 2. Reductions and NP. 2.1 Reductions Continued The Satisfiability Problem (SAT) SAT 3SAT. CS 573: Algorithms, Fall 2013 August 29, 2013

Theory of Computation Chapter 9

NP-Completeness. f(n) \ n n sec sec sec. n sec 24.3 sec 5.2 mins. 2 n sec 17.9 mins 35.

U.C. Berkeley CS278: Computational Complexity Professor Luca Trevisan August 30, Notes for Lecture 1

The Cook-Levin Theorem

SAT, NP, NP-Completeness

The P-vs-NP problem. Andrés E. Caicedo. September 10, 2011

Intro to Theory of Computation

NP and NP Completeness

Limiting Negations in Non-Deterministic Circuits

CS Lecture 29 P, NP, and NP-Completeness. k ) for all k. Fall The class P. The class NP

CS 5114: Theory of Algorithms. Tractable Problems. Tractable Problems (cont) Decision Problems. Clifford A. Shaffer. Spring 2014

Turing Machines and Time Complexity

Lecture Notes 4. Issued 8 March 2018

2.2 Some Consequences of the Completeness Axiom

CSE 3500 Algorithms and Complexity Fall 2016 Lecture 25: November 29, 2016

Nondeterministic Turing Machines

Research statement. Antonina Kolokolova

CSE 105 THEORY OF COMPUTATION

Approximation Algorithms

Harvard CS 121 and CSCI E-121 Lecture 22: The P vs. NP Question and NP-completeness

CS 6505, Complexity and Algorithms Week 7: NP Completeness

6.080 / Great Ideas in Theoretical Computer Science Spring 2008

NP Completeness. CS 374: Algorithms & Models of Computation, Spring Lecture 23. November 19, 2015

an efficient procedure for the decision problem. We illustrate this phenomenon for the Satisfiability problem.

Technische Universität München Department of Computer Science. Joint Advanced Students School 2009 Propositional Proof Complexity.

Non-Deterministic Time

The Class NP. NP is the problems that can be solved in polynomial time by a nondeterministic machine.

DRAFT. Diagonalization. Chapter 4

15.1 Proof of the Cook-Levin Theorem: SAT is NP-complete

Reductions for One-Way Functions

A Note on the Karp-Lipton Collapse for the Exponential Hierarchy

About the impossibility to prove P NP or P = NP and the pseudo-randomness in NP

NP-Completeness and Boolean Satisfiability

Easy Problems vs. Hard Problems. CSE 421 Introduction to Algorithms Winter Is P a good definition of efficient? The class P

CS 5114: Theory of Algorithms

1 Non-deterministic Turing Machine

Notes for Lecture Notes 2

Intro to Theory of Computation

CS154, Lecture 15: Cook-Levin Theorem SAT, 3SAT

Lecture 19: Finish NP-Completeness, conp and Friends

Time Complexity. CS60001: Foundations of Computing Science

Lecture 6: Oracle TMs, Diagonalization Limits, Space Complexity

In complexity theory, algorithms and problems are classified by the growth order of computation time as a function of instance size.

CSE 135: Introduction to Theory of Computation NP-completeness

NP-Complete Problems. More reductions

Essential facts about NP-completeness:

Computational complexity theory

NP-completeness was introduced by Stephen Cook in 1971 in a foundational paper.

CSC 373: Algorithm Design and Analysis Lecture 15

20.1 2SAT. CS125 Lecture 20 Fall 2016

Lecture 3: Nondeterminism, NP, and NP-completeness

conp, Oracles, Space Complexity

BBM402-Lecture 11: The Class NP

7.8 Intractability. Overview. Properties of Algorithms. Exponential Growth. Q. What is an algorithm? A. Definition formalized using Turing machines.

Resolution and the Weak Pigeonhole Principle

A Lower Bound of 2 n Conditional Jumps for Boolean Satisfiability on A Random Access Machine

6-1 Computational Complexity

On the Complexity of the Minimum Independent Set Partition Problem

Computational Complexity

Regular Languages and Finite Automata

Polynomial-time Reductions

Analysis of Algorithms. Unit 5 - Intractable Problems

arxiv:cs/ v14 [cs.cc] 11 Aug 2003

1. Introduction Recap

CS Lecture 28 P, NP, and NP-Completeness. Fall 2008

CSC 5170: Theory of Computational Complexity Lecture 5 The Chinese University of Hong Kong 8 February 2010

A New Approximation Algorithm for the Asymmetric TSP with Triangle Inequality By Markus Bläser

ON THE DUALITY FEATURE OF P-CLASS PROBLEMS AND NP COMPLETE PROBLEMS

Computational Complexity: A Modern Approach. Draft of a book: Dated January 2007 Comments welcome!

Computational complexity

P versus NP question

NP-Completeness. CptS 223 Advanced Data Structures. Larry Holder School of Electrical Engineering and Computer Science Washington State University

Computability Theory

PCPs and Inapproximability Gap-producing and Gap-Preserving Reductions. My T. Thai

Notes on Space-Bounded Complexity

More on NP and Reductions

Design and Analysis of Algorithms

Polynomial-time reductions. We have seen several reductions:

13.1 Nondeterministic Polynomial Time

Computational complexity theory

Regular Resolution Lower Bounds for the Weak Pigeonhole Principle

Complexity Theory VU , SS The Polynomial Hierarchy. Reinhard Pichler

Outline. Complexity Theory EXACT TSP. The Class DP. Definition. Problem EXACT TSP. Complexity of EXACT TSP. Proposition VU 181.

The P versus NP Problem. Dean Casalena University of Cape Town CSLDEA001

P is the class of problems for which there are algorithms that solve the problem in time O(n k ) for some constant k.

Notes for Lecture 2. Statement of the PCP Theorem and Constraint Satisfaction

Polynomial-Time Reductions

Handouts. CS701 Theory of Computation

1 Computational Problems

NP-Completeness. NP-Completeness 1

Introduction. Pvs.NPExample

Complexity, P and NP

CSC 5170: Theory of Computational Complexity Lecture 9 The Chinese University of Hong Kong 15 March 2010

U.C. Berkeley CS278: Computational Complexity Professor Luca Trevisan 9/6/2004. Notes for Lecture 3

Undecidable Problems. Z. Sawa (TU Ostrava) Introd. to Theoretical Computer Science May 12, / 65

Computational Complexity

Lecture 4 : Quest for Structure in Counting Problems

Notes on Space-Bounded Complexity

Transcription:

An Interesting Perspective to the P versus NP Problem Wenming Zhang School of Economics and Management, Northwest University, Xi an, 710127, China wenming@nwu.edu.cn Abstract. We discuss the P versus NP problem from the perspective of addition operation about polynomial functions. Two contradictory propositions for the addition operation are presented. With the proposition that the sum of k (k n) polynomial functions on n always yields a polynomial function, we prove that P = NP, considering the maximum clique problem. And with the proposition that the sum of k polynomial functions may yield an exponential function, we prove that P NP by constructing an abstract decision problem. Furthermore, we conclude that P = NP and P NP if and only if the above propositions hold, respectively. Keywords: Complexity; P versus NP Problem; NP-Complete Problem; Turing Machine; Addition Operation; Binomial Theorem 1 Introduction As one of the most important problems in mathematics and computer science, the P versus NP problem is to determine whether every language accepted by some nondeterministic algorithm in polynomial time is also accepted by some (deterministic) algorithm in polynomial time [1]. Since first mentioned in a 1956 letter written by Kurt Gödel to John von Neumann [2] and precisely stated in 1971 by Stephen Cook [3], the problem has been considered by many papers [4]. However, it is still open [5]. For detailed introduction of the P versus NP problem, please refer to the excellent survey articles by eminent authors (see [4]- [10]). In this paper, we will discuss the P versus NP problem based on the addition operation of polynomial functions. It is often thought that the sum of k (k n) polynomial functions on n always yields a polynomial function. However, we can also get a contradiction if we accept this proposition. So we present another proposition that the sum of k polynomial functions may yield an exponential function. With the propositions, we find that P = NP and P NP can both be proved, respectively. The rest of this paper is organized as follows. Section 2 presents two simple and interesting properties about the binomial theorem. Section 3 presents an interesting contradiction and two contrary propositions for the addition operation. Section 4 discusses the P versus NP problem according to the propositions. Finally, Section 5 concludes this paper.

2 Wenming Zhang 2 Story of Binomial Theorem Firstly, let s remember the binomial theorem which is also called Yang Hui triangle in China [11]. (a + b) n = C 0 na n + C 1 na n 1 b + C 2 na n 2 b 2 + + C n 1 n ab n 1 + C n nb n (1) where Cn k n! = k!(n k)! for k = 0, 1,, n and Cn k+1 = Cn 1 k + Cn 1 k+1 for k = 0, 1,, n 1. We present two simple and interesting properties about Eq. (1) in the following. Lemma 1. 2 n = C 0 n + C 1 n + + C n 1 n + C n n. Proof. Replacing a = b = 1 in Eq. (1), the lemma follows. Lemma 2. Let k be an arbitrary integer number such that 0 k < n 1. We have that C k+1 n = C k n 1 + C k n 2 + + C k k+1 + Ck k. Proof. Noting that Cn k+1 = Cn 1 k + Cn 1 k+1 = Ck n 1 + (Cn 2 k + Cn 2 k+1 ) = = Cn 1 k + Cn 2 k + + (Ck+1 k + Ck+1 k+1 ) and Ck+1 k+1 = Ck k, the lemma follows. 3 An Interesting Contradiction Now, let s come to an interesting contradiction. Let h 1 (n), h 2 (n),, h k (n) be arbitrary k polynomial functions on n, and H(n) = h 1 (n) + h 1 (n) + + h k (n), where k n + 1. Is H(n) polynomial or exponential? Noting that H(n) k max {h j(n)} 1 j k n max {h j(n)}, you may say H(n) is polynomial since max {h j(n)} is polynomial. However, an contradiction can be obtained if we accept the following three 1 j k 1 j k propositions, which all sound rational. Proposition 1. Polynomial functions and exponential functions are different. Proposition 2. Mathematical induction is rational. Proposition 3. H(n) is always polynomial. Assume that h i (n) = Cn i for i = 0, 1,, n, where Cn i n! = i!(n i)!. From Lemma 1, we know that H(n) = h 0 (n) + h 1 (n) + + h n (n)=cn 0 + Cn 1 + + Cn=2 n n, implying that H(n) is exponential. However, applying mathematical induction, we can also get that H(n) is polynomial as following. In fact, noting Proposition 3, it is sufficient to prove that Cn, 0 Cn, 1, Cn n are all polynomial. Firstly, it is obvious that Cn 0 is polynomial. Now we suppose that Cn k is polynomial for some k (0 k n) and try to prove that Cn k+1 is also polynomial. Noting that Ck k < Ck k+1 < Ck k+2 < < Ck n 1 < Cn k and Cn k is polynomial, we have that Ck k, Ck k+1,, Ck n 1 are all polynomial. Remembering

An Interesting Perspective to the P versus NP Problem 3 Lemma 2 and Proposition 3, we have that Cn k+1 is polynomial. So, we also get that H(n) is polynomial, contradicting to Proposition 1. Why does the contradiction happen? Firstly, it is easy for us to accept Proposition 1. Secondly, we have to accept the mathematical induction. So we conclude that Proposition 3 may be not right, and have the following contrary proposition. Proposition 4. There exist k (k n) polynomial functions on n, i.e., h 1 (n), h 2 (n),, h k (n), such that H(n) is exponential, where H(n) = h 1 (n) + h 2 (n) + + h k (n). 4 Discussion for the P versus NP Problem Two subsections are considered according to the Proposition 3 and Proposition 4, respectively. 4.1 Proposition 3 holds Considering the maximum clique problem, which is NP-complete [12], we will prove P = NP in the following. Theorem 1. P = NP if Proposition 3 holds. Proof. Given a graph G with n vertices, we can find the maximum clique of G by Enumerative Algorithm. Noting that there are at most Cn i cliques with i vertices for i = 0, 1,, n, and the worst case run time of verifying a clique is polynomial, it is sufficient to prove that Cn 0 +Cn 1 + +Cn n 1 +Cn n is polynomial. From the analysis in the above section, we can get that Cn 0 + Cn 1 + + Cn n 1 + Cn n is polynomial accepting Proposition 2 and Proposition 3. The theorem follows. 4.2 Proposition 4 holds We will prove that P NP in the following. It is often thought that proving P NP involves proving a superpolynomial lower bound on the run time of any algorithm for some NP-complete problem such as SAT [6]. However, instead of any NP-complete problem, we will construct an abstract problem Π, such that Π NP and Π / P. From Proposition 4, we know that there exist k (k n) polynomial functions on n, i.e., h 1(n), h 2(n),, and h k (n), such that H (n) is exponential, where H (n) = h 1(n) + h 2(n) + + h k (n). Remember that the return of a decision problem is just a yes or no. Let π i (i = 1, 2,, k) denote an abstract decision problem with input I i, where the length of I i is n and the worst case run time for π i is h i (n). Moreover, we let Π be a decision problem which is to ask if there exists a yes in the returns of π 1, π 2,, and π k. Note that the input of Π are I 1, I 2, and I k with a total length of nk < n 2.

4 Wenming Zhang Theorem 2. P NP if Proposition 4 holds. Proof. It is sufficient to prove that Π NP and Π / P. Note that I 1, I 2, and I k are unrelated. So, for any deterministic Turing Machine, the worst case of solving Π is to check the k returns of π 1, π 2, and π k. And the total run time is h 1(n) + h 2(n) + + h k (n). Noting that H (n) = h 1(n) + h 2(n) + + h k (n) and H (n) is exponential, we get that Π / P. For a non-deterministic Turing Machine, it is sufficient to check the return of one of the k decision problems with polynomial run time. So it is that Π NP. The theorem follows. 4.3 Further Discussion Moreover, we have the following conclusions. Corollary 1. P = NP if and only if Proposition 3 holds. Proof. From Theorem 1, we know that P = NP if Proposition 3 holds. We only have to prove that Proposition 3 holds if P = NP. In fact, if otherwise Proposition 3 does not hold, then Proposition 4 holds, implying P NP remembering Theorem 2. The corollary follows. Corollary 2. P NP if and only if Proposition 4 holds. Proof. The proof is similar as for Corollary 1. 5 Conclusion In this paper, we discuss the P versus NP problem from the perspective of addition operation about polynomial functions. And we conclude that P = N P and P NP if and only if Propositions 3 and 4 hold, respectively. However, it is still hard for us to understand the two contrary Propositions 3 and 4. Buddha Sakyamuni said that inequality of heart yields annoyance. May be that the polynomial and exponential functions are not absolutely different but naturally interrelated. Acknowledgements The authors would like to acknowledge the financial support of Grants (No. 71201123.) from NSF of China.

References An Interesting Perspective to the P versus NP Problem 5 1. S.Cook: The P versus NP problem, Clay Mathematics Institute. http://www.claymath.org/sites/default/files/pvsnp.pdf 2. J.Hartmanis: Gödel, von Neumann, and the P = NP problem, Bulletin of the European Association for Theoretical Computer Science, 38, 101-107 (1989) 3. S.Cook: The complexity of theorem proving procedures, Proceedings of the Third Annual ACM Symposium on Theory of Computing, 151-158 (1971) 4. C.Papadimitriou: NP-completeness: A retrospective, International Conference on Automata, Languages, and Programming, LNCS 1256, 2-6 (1997) 5. L.Fortnow: The status of the P versus NP problem, Communications of the ACM, 52, 78-86 (2009) 6. E.Allender: A status report on the P Versus NP question, Advances in Computers, 77, 117-147 (2009) 7. M.Sipser: The history and status of the P versus NP question, ACM Symposium on Theory of Computing (STOC), 603-618 (1992) 8. S.COOK: The importance of the P versus NP question, Journal of the ACM, 50(1), 27-29 (2003) 9. R. Impagliazzo: Computational complexity since 1980, Conference on Foundations of Software Technology and Theoretical Computer Science, LNCS 3821, 19-47 (2005) 10. A. Wigderson: P, NP and mathematics - a computational complexity perspective, Proceedings of the ICM 2006, 1, 665-712 (2007) 11. A.K.Bag: Binomial theorem in ancient India, Indian Journal of History of Science, 1(1), 68-74 (1966) 12. R.M.Karp: Reducibility Among Combinatorial Problems, Complexity of Computer Computations, New York: Plenum, 85-103 (1972)