DOCSLIB.ORG

The P Versus NP Problem

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
The P Versus NP Problem Ai ihtt hLM*i4 5|iTi? LL! N?iht|) Lu ALhL?|L 5|@|i4i?| Lu |i hLM*i4 Ai ihtt ThLM*i4 t |L _i|ih4?i i|ih iih) *@?}@}i @UUiT|i_ M) tL4i ?L?_i |ih4?t|U @*}Lh|4 ? TL*)?L4@* |4i t @*tL @UUiT|i_ M) tL4i E_i|ih4?t|U @*}Lh|4 ? TL*)?L4@* |4i AL _i?i |i ThLM*i4 ThiUti*) | t ?iUitt@h) |L }i @ uLh4@* 4L_i* Lu @ UL4T|ih Ai t|@?_@h_ UL4T|ih 4L_i* ? UL4T|@M*|) |iLh) t |i Ah?} 4@U?ic ?|hL_Ui_ M) *@? Ah?} ? b S dAh .o *|L} |i 4L_i* @t ?|hL_Ui_ MiuLhi T)t U@* UL4T|iht ihi M*|c| ?iih|i*itt UL?|?it |L Mi @UUiT|i_ @t |i ThLTih UL4T|ih 4L_i* uLh |i ThTLti Lu _i??} |i ?L|L? Lu UL4T|@M*i u?U|L? W?uLh4@**) |i U*@tt t |i U*@tt Lu _iUtL? ThLM*i4t tL*@M*i M) tL4i @*}Lh|4 |? @ ?4Mih Lu t|iTt ML?_i_ M) tL4i i_ TL*)?L4@* ? |i *i?}| Lu |i ?T| Ah?} @t ?L| UL?Uih?i_ | |i iUi?U) Lu t 4@U?itcM| h@|ih t UL?Uih? @t i|ih |i) U@? t4*@|i @hM|h@h) @*}Lh|4t }i? tUi?| |4i OLiih | |h?t L| Ah?} 4@U?it U@? }i?ih@**) t4*@|i 4Lhi iUi?| UL4T|ih 4L_i*t EuLh i @4T*i 4@U?it i^TTi_ | 4@?) |@Tit Lh @? ?ML?_i_ h@?_L4 @UUitt 4i4Lh) M) @| 4Lt| t^@h?} Lh UM?} |i UL4T|@|L? |4i At t @ hLMt| U*@ttc@?_ @t i^@*i?| _i?|L?t Lih @ *@h}i U*@tt Lu UL4T|ih 4L_i*t Oihi i uL**L t|@?_@h_ Th@U|Ui @?_ _i?i |i U*@tt ? |ih4t Lu Ah?} 4@U?it 6Lh4@**) |i i*i4i?|t Lu |i U*@tt @hi *@?}@}it wi| P Mi @ ?|i @*T@Mi| E|@| tc@ ?|i ?L?i4T|) ti|c@?_ *i| P W Mi |i ti| Lu ?|i t|h?}t Lih P Ai? @ *@?}@}i Lih Pt@tMti|u Lu PW ,@U Ah?} 4@U?i @t @? @ttLU@|i_ ?T| @*T@Mi| P 6Lh i@U t|h?} ? PW |ihit@UL4T|@|L?@ttLU@|i_| | ?T| EAi?L|L?t Lu Ah?} 4@U?i @?_ UL4T|@|L? @hi _i?i_ uLh4@**) ? |i @TTi?_ `i t@) |@| @UUiT|t u |t UL4T|@|L? |ih4?@|it ? |i @UUiT|?} t|@|i L|i |@| u@*t |L @UUiT| i|ih u |t UL4T|@|L? i?_t ? |i hiiU|?} t|@|icLh u |i UL4T|@|L? u@*t |L |ih4?@|i Ai *@?}@}i @UUiT|i_ M) c_i?L|i_ uEc@t @ttLU@|i_ @*T@Mi| P @?_ t _i?i_ M) uE'i 5 PW m @UUiT|t j `i _i?L|i M) | E |i ?4Mih Lu t|iTt ? |i UL4T|@|L? Lu L? ?T| Etii |i TTi?_ Wu |t UL4T|@|L? ?iih @*|tc|i? | E'46Lh? 5 Q i _i?L|i M) A E?|iLht| U@ti h? |4i Lu (|@|t ? A E?'4@ i| E m 5 P j ihi P? t |i ti| Lu @** t|h?}t Lih P Lu *i?}| ?`it@)|@| h?t ? TL*)?L4@* |4i & u |ihi i t|t & tU |@| uLh @** ?c A E? ? n & L i _i?i |i U*@tt Lu *@?}@}it M) ' iu m u ' uE uLh tL4i Ah?} 4@U?i Uh?t?TL*)?L4@*|4ij Ai ?L|@|L? t|@?_t uLh R?L?_i|ih4?t|U TL*)?L4@* |4ict?Ui Lh}?@**) @t _i?i_ ? |ih4t Lu ?L?_i|ih4?t|U 4@U?it E|@| tc4@U?it |@| @i 4Lhi |@? L?i TLttM*i 4Li uhL4 @ }i? UL?}h@|L? OLiih ?L | t Ut|L4@h) |L }i @? i^@*i?| _i?|L? t?} |i ?L|L? Lu @ UiU!?} hi*@|L?cU t t4T*) @ M?@h) hi*@|L? - W W P P uLh tL4i ?|i @*T@Mi|t P @?_ P `i @ttLU@|i | i@U tU hi*@|L? - @ *@?}@}i u- Lih P ^ P ^irj _i?i_ M) u- ' ir+ m -Ec +j ihi |i t)4ML* r t ?L| ? P `i t@) |@| - t TL*)?L4@*|4i g u- 5 Li_i?i|iU*@tt Lu *@?}@}it M) |i UL?_|L? |@| @ *@?}@}i u Lih P t ? g |ihi t & 5 Q @?_ @ TL*)?L4@*|4i UiU!?} hi*@|L? - tU |@| uLh @** 5 PWc 5 u +, < +Em+mmm& @?_ -Ec +j ihi mm @?_ m+m _i?L|i |i *i?}|t Lu @?_ +chitTiU|i*) hLM*i4 5|@|i4i?|G #Lit ' q W| t |h@* |L tL |@| ct?Ui uLh i@U *@?}@}i u Lih Pcu u 5 |i? i U@? _i?i |i TL*)?L4@*|4i UiU!?} hi*@|L? - PW ^ PW M) -Ec + +, 5 u uLh @** c + 5 PW Oihi @hi |L t4T*i i @4T*itct?} _iU4@* ?L|@|L? |L UL_i ?@|h@* ?4MihtG Ai ti| Lu TihuiU| t^@hit t ? @?_ |i ti| Lu UL4TLt|i ?4Miht t ? E@?_ ?L| !?L? |L Mi ? 6Lh |i *@||ihc|i @ttLU@|i_ TL*)?L4@* |4i UiU!?} hi*@|L? - t }i? M) -E@c K +, K @@?_ Km@ E W? }i?ih@* |i _iU4@* ?L|@|L? uLh @ ?@|h@* ?4Mih S t _i?L|i_ M) S 2 Ot|Lh) @?_ W4TLh|@?Ui Ai 4TLh|@?Ui Lu |i t ^it|L? t|i4t T@h|*) uhL4 |i tUUittu* |iLh) Lu UL4T*i|i?ittc@?_ T@h|*) uhL4 Uh)T|L}h@T) |h*) iUi?| @*}Lh|4 uLh @? UL4T*i|i ThLM*i4 tU @t 5@|t@M*|) L*_ L? |i L?i @?_ )i*_ tiu* @*}Lh|4t uLh 4@?) Th@U| U@* UL4T|@|L?@* ThLM*i4t ? ?_t|h)cM| L? |i L|ih @?_ | L*_ _it|hL) |i tiUh|) Lu ?@?U@* @?_ L|ih |h@?t@U|L?t ti_ i |i?ti*) L? |i ?|ih?i| Oihi i }i @ Mhiu t|LhU@* |hi@|4i?| Lu UL4T*i|i?ittc@?_ |LU L? Uh)T|L}h@T) |iLh) Ai |iLh) Lu UL4T*i|i?itt @t |t hLL|t ? UL4T|@M*|) |iLh)cU Lh}?@|i_ ? |i Lh! Lu Ah?}chUcB L_i*c@?_ L|iht ? |i b f<t Ai UL4T|@M*|) ThiUhtLht Lu |i U*@ttit @?_ @hi |i U*@ttit Lu _iU_@M*i @?_ Ui EUL4T|@M*) i?4ih@M*i *@?}@}itchitTiU|i*) `i t@) |@| @ *@?}@}i u t Ui ELh ti4_iU_@M*igu ' uE 2 uLh tL4i Ah?} 4@U?i `it@)|@|u t _iU_@M*i g u ' uEuLhtL4iAh?} 4@U?i U t@|tit |i UL?_|L? |@| @*|t L? @** ?T| t|h?}t Aihit@? i^@*i?| _i?|L? Lu Ui U Mh?}t L| |t @?@*L}) | c?@4i*) u t Ui g |ihi t @ UL4T|@M*i RUiU!?} hi*@|L? -E%c +tU|@|u ' i% m<+-E%c +j Nt?} |i ?L|@|L? kl |L _i?L|i @ t|h?} _itUhM?} @ Ah?} 4@U?i ci _i?i |i O@*|?} hLM*i4 M @t uL**LtG M ' iklm t @ Ah?} 4@U?i U @*|t L? ?T| klj Ah?} ti_ @ t4T*i _@}L?@* @h}4i?| |L tL |@| M t ?L| _iU_@M*i ? |i L|ih @?_c| t ?L| @h_ |L tL |@| M t Ui u Ui?|h@* 4TLh|@?Ui ? UL4T|@M*|) |iLh) t |i ?L|L? Lu hi_UM*|)cU Ah?} _i?i_ hL}*) @t uL**LtG *@?}@}i u t Ah?} hi_UM*i |L @ *@?}@}i u2 g |ihi t @? Lh@U*i Ah?} 4@U?i U @UUiT|t ucihi t @**Li_ |L 4@!i 4i4MihtT ^ihit Lu |i uLh4 % 5 u2q U @hi ULhhiU|*) @?tihi_ M) @? RLh@U*i uLh u2w@|ih|i 4Lhi hit|hU|i_ ?L|L? Lu 4@?)L?i hi_UM*|) E6 @t ?|hL_Ui_ @?_ _i?i_ @t uL**Lt #i?|L? G 5TTLti |@| u t @ *@?}@}i Lih Pc 'c 2 Ai? u 6 u2 g |ihi t @ W W W E|L|@* UL4T|@M*i u?U|L? s GP $ P2 tU |@| % 5 u +, sE% 5 u2cuLh @** % 5 P W| t i@t) |L tii |@| u u 6 u2 @?_ u2 t _iU_@M*ic|i? u t _iU_@M*i At u@U| ThL_it @? 4TLh|@?| |LL* uLh tL?} ?_iU_@M*|)( uLh i @4T*i u M 6 u |i? u t ?_iU_@M*i Ai ?L|L? Lu UL4T*i|i t M@ti_ L? |i uL**L?} ?L|L? uhL4 UL4T|@M*|) |iLh)G #i?|L? 2G *@?}@}i u t UiUL4T*i|i g u t Uic@?_ u 6 u uLh iih) Ui *@?}@}i u W| t i@t) |L tL |@| M t UiUL4T*i|i W| |h?t L| |@| 4Lt| R?@|h@* ?_iU_@M*i Ui *@?}@}it @hi ? u@U| UiUL4T*i|i 5?Ui 6 t |h@?t|ic|L tL |@| @ Ui *@?}@}i u t Ui UL4T*i|i t tUit |L tL |@| M 6 u Ai ?L|L? Lu TL*)?L4@*|4i UL4T|@|L? @t ?|hL_Ui_ ? |i bSf<t M) LM@4 dLMSeo @?_ ,_4L?_t d,_4SDo @t T@h| Lu |i i@h*) _ii*LT4i?| Lu UL4T|@|L?@* UL4T*i |) |i Lh) E@*|L} i@h*ih L? i4@?? do ? bD _t|?}ti_ Mi|ii? TL*)?L4@* |4i @?_ i TL?i?|@*|4i @*}Lh|4t ,_4L?_t U@**i_ TL*)?L4@*|4i @*}Lh|4t R}LL_ @*}L h|4tc@?_ *?!i_ |i4 |L |h@U|@M*i @*}Lh|4t W| @t ?L MiUL4i t|@?_@h_ ? UL4T*i |) |iLh) |L _i?|u) TL*)?L4@*|4i | ui@t M*ic@?_ ihi i _}hitt |L _tUtt |t TL?| W| t Lu ULhti ?L| *|ih@**) |hi |@| iih) TL*)?L4@*|4i @*}Lh|4 U@? Mi ui@tM*) i iU|i_ L? t4@** ?T|t( uLh i @4T*i @ UL4T|ih ThL}h@4 hi^h?} ?ff t|iTtUL*_?iihMii iU|i_L?@??T|ii?@t*@h}i@t? ' f Oihi t @ 4Lhi _iui?tM*i t|@|i4i?|G 6i@tM*|) AittG ?@|h@* ThLM*i4 @t @ ui@tM*i @*}Lh|4 g | @t @ TL*)?L4@*|4i @*}Lh|4 , @4T*it Lu ?@|h@* ThLM*i4t |@| @i ML| ui@tM*i @?_ TL*)?L4@*|4i @*}Lh|4t @ML?_G W?|i}ih @h|4i|Uc*?i@h @*}iMh@c?i|Lh! Lc*?i@h ThL}h@44?}c4@?) }h@T ThLM*i4t EUL??iU||)ctLh|it| T@|c4?44 tT@???} |hiicMT@h||i 4@|U?} i|U ? |i L|ih @?_ |i _iiT hit*|t Lu +LMih|tL? @?_ 5i)4Lh d+5H o ThL_i @ TL|i?|@* tLhUi Lu UL?|ihi @4T*it |L |i |ittG Ai) ThLi |@| iih) 4?LhU*Lti_ u@4*) Lu }h@Tt U@? Mi hiUL}?3i_ ? TL*)?L4@* |4i E? u@U| ? |4i E? cM| |i @*}Lh|4t tTT*i_ M) |ih 4i|L_ @i tU }i UL?t|@?|t |@| |i) @hi ?L| ui@tM*i OLiih i@U TL|i?|@* UL?|ih i @4T*i U@? Mi hi4Li_ M) ?_?} @ ui@tM*i @*}Lh|4 uLh | 6Lh i @4T*i @ ui@tM*i hiUL} ?|L? @*}Lh|4 t !?L? uLh |i U*@tt Lu T*@?@h }h@TtcM| ?L?i t Uhhi?|*) !?L? uLh |i U*@tt Lu }h@Tt i4Mi__@M*i ? U | ?L |L U)U*it *?!i_ EL| i @4T*it @hi 4?Lh U*Lti_ u@4*it u ULhti |i Lh_t R?@|h@* @?_ Rui@tM*i? |i |itt @MLi tL*_ Mi i T*@?i_( }i?ih@**) i _L ?L| UL?t_ih @ U*@tt | @ T@h@4i|ih @t ?@|h@*ctU @t |i ti| Lu }h@Tt i4Mi__@M*i L? @ thu@Ui Lu }i?t &c &: 5ii dLLbfo uLh 4Lhi _tUttL? Lu |i ui@tM*|) |itt "@?|4 UL4T|iht ThL_i @ TL|i?|@* tLhUi Lu UL?|ihi @4T*it |L |i RL?*) u _hiU|L? Lu |i |itt At UL4T|ih 4L_i* ?ULhTLh@|it |i _i@ Lu tTihTLt|L? Lu t|@|it uhL4 ^@?|4 4iU@?Utc@?_ @**Lt @ TL|i?|@* i TL?i?|@* tTii_T Lu tL4i UL4T|@|L?t Lih Ah?} 4@U?it 6Lh i @4T*ic5Lh d5Lb.o @t tL? |@| tL4i ^@?|4 UL4T|ih @*}Lh|4 t @M*i |L u@U|Lh ?|i}iht ? TL*)?L4@* |4icM| ?L TL*)?L4@*|4i ?|i}ih u@U|Lh?} @*}Lh|4 t !?L? uLh Ah?} 4@U?it OLiih T)tUt|t @i tL u@h Mii? ?@M*i |L M*_ @ ^@?|4 UL4T|ih |@| U@? @?_*i 4Lhi |@? @ @*u_L3i? M|tctL |ih |hi@| |L |i ui@tM*|) |itt t )TL|i|U@* @| Thiti?| +i|h??} |L |i t|LhU@* |hi@|4i?| Lu UL4T*i |) |iLh)c? b.
Load more

Recommended publications
  • The Top Eight Misconceptions About NP- Hardness
    The top eight misconceptions about NP- hardness Zoltán Ádám Mann Budapest University of Technology and Economics Department of Computer Science and Information Theory Budapest, Hungary Abstract: The notions of NP-completeness and NP-hardness are used frequently in the computer science literature, but unfortunately, often in a wrong way. The aim of this paper is to show the most wide-spread misconceptions, why they are wrong, and why we should care. Keywords: F.1.3 Complexity Measures and Classes; F.2 Analysis of Algorithms and Problem Complexity; G.2.1.a Combinatorial algorithms; I.1.2.c Analysis of algorithms Published in IEEE Computer, volume 50, issue 5, pages 72-79, May 2017 1. Introduction Recently, I have been working on a survey about algorithmic approaches to virtual machine allocation in cloud data centers [11]. While doing so, I was shocked (again) to see how often the notions of NP-completeness or NP-hardness are used in a faulty, inadequate, or imprecise way in the literature. Here is an example from an – otherwise excellent – paper that appeared recently in IEEE Transactions on Computers, one of the most prestigious journals of the field: “Since the problem is NP-hard, no polynomial time optimal algorithm exists.” This claim, if it were shown to be true, would finally settle the famous P versus NP problem, which is one of the seven Millenium Prize Problems [10]; thus correctly solving it would earn the authors 1 million dollars. But of course, the authors do not attack this problem; the above claim is just an error in the paper.
    [Show full text]
  • The Complexity Zoo
    The Complexity Zoo Scott Aaronson www.ScottAaronson.com LATEX Translation by Chris Bourke [email protected] 417 classes and counting 1 Contents 1 About This Document 3 2 Introductory Essay 4 2.1 Recommended Further Reading ......................... 4 2.2 Other Theory Compendia ............................ 5 2.3 Errors? ....................................... 5 3 Pronunciation Guide 6 4 Complexity Classes 10 5 Special Zoo Exhibit: Classes of Quantum States and Probability Distribu- tions 110 6 Acknowledgements 116 7 Bibliography 117 2 1 About This Document What is this? Well its a PDF version of the website www.ComplexityZoo.com typeset in LATEX using the complexity package. Well, what’s that? The original Complexity Zoo is a website created by Scott Aaronson which contains a (more or less) comprehensive list of Complexity Classes studied in the area of theoretical computer science known as Computa- tional Complexity. I took on the (mostly painless, thank god for regular expressions) task of translating the Zoo’s HTML code to LATEX for two reasons. First, as a regular Zoo patron, I thought, “what better way to honor such an endeavor than to spruce up the cages a bit and typeset them all in beautiful LATEX.” Second, I thought it would be a perfect project to develop complexity, a LATEX pack- age I’ve created that defines commands to typeset (almost) all of the complexity classes you’ll find here (along with some handy options that allow you to conveniently change the fonts with a single option parameters). To get the package, visit my own home page at http://www.cse.unl.edu/~cbourke/.
    [Show full text]
  • 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]
  • QP Versus NP
    QP versus NP Frank Vega Joysonic, Belgrade, Serbia [email protected] Abstract. Given an instance of XOR 2SAT and a positive integer 2K , the problem exponential exclusive-or 2-satisfiability consists in deciding whether this Boolean formula has a truth assignment with at leat K satisfiable clauses. We prove exponential exclusive-or 2-satisfiability is in QP and NP-complete. In this way, we show QP ⊆ NP . Keywords: Complexity Classes · Completeness · Logarithmic Space · Nondeterministic · XOR 2SAT. 1 Introduction The P versus NP problem is a major unsolved problem in computer science [4]. This is considered by many to be the most important open problem in the field [4]. 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 [4]. 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 [4]. In 1936, Turing developed his theoretical computational model [14]. The deterministic and nondeterministic Turing machines have become in two of the most important definitions related to this theoretical model for computation [14]. A deterministic Turing machine has only one next action for each step defined in its program or transition function [14]. 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 [14].
    [Show full text]
  • A Short History of Computational Complexity
    The Computational Complexity Column by Lance FORTNOW NEC Laboratories America 4 Independence Way, Princeton, NJ 08540, USA [email protected] http://www.neci.nj.nec.com/homepages/fortnow/beatcs Every third year the Conference on Computational Complexity is held in Europe and this summer the University of Aarhus (Denmark) will host the meeting July 7-10. More details at the conference web page http://www.computationalcomplexity.org This month we present a historical view of computational complexity written by Steve Homer and myself. This is a preliminary version of a chapter to be included in an upcoming North-Holland Handbook of the History of Mathematical Logic edited by Dirk van Dalen, John Dawson and Aki Kanamori. A Short History of Computational Complexity Lance Fortnow1 Steve Homer2 NEC Research Institute Computer Science Department 4 Independence Way Boston University Princeton, NJ 08540 111 Cummington Street Boston, MA 02215 1 Introduction It all started with a machine. In 1936, Turing developed his theoretical com- putational model. He based his model on how he perceived mathematicians think. As digital computers were developed in the 40's and 50's, the Turing machine proved itself as the right theoretical model for computation. Quickly though we discovered that the basic Turing machine model fails to account for the amount of time or memory needed by a computer, a critical issue today but even more so in those early days of computing. The key idea to measure time and space as a function of the length of the input came in the early 1960's by Hartmanis and Stearns.
    [Show full text]
  • Notes for Lecture 1
    Stanford University | CS254: Computational Complexity Notes 1 Luca Trevisan January 7, 2014 Notes for Lecture 1 This course assumes CS154, or an equivalent course on automata, computability and computational complexity, as a prerequisite. We will assume that the reader is familiar with the notions of algorithm, running time, and of polynomial time reduction, as well as with basic notions of discrete math and probability. We will occasionally refer to Turing machines. In this lecture we give an (incomplete) overview of the field of Computational Complexity and of the topics covered by this course. Computational complexity is the part of theoretical computer science that studies 1. Impossibility results (lower bounds) for computations. Eventually, one would like the theory to prove its major conjectured lower bounds, and in particular, to prove Conjecture 1P 6= NP, implying that thousands of natural combinatorial problems admit no polynomial time algorithm 2. Relations between the power of different computational resources (time, memory ran- domness, communications) and the difficulties of different modes of computations (exact vs approximate, worst case versus average-case, etc.). A representative open problem of this type is Conjecture 2P = BPP, meaning that every polynomial time randomized algorithm admits a polynomial time deterministic simulation. Ultimately, one would like complexity theory to not only answer asymptotic worst-case complexity questions such as the P versus NP problem, but also address the complexity of specific finite-size instances, on average as well as in worst-case. Ideally, the theory would be eventually able to prove results such as • The smallest boolean circuit that solves 3SAT on formulas with 300 variables has size more than 270, or • The smallest boolean circuit that can factor more than half of the 2000-digit integers, has size more than 280.
    [Show full text]
  • The P Versus Np Problem
    THE P VERSUS NP PROBLEM STEPHEN COOK 1. Statement of the Problem 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. To define the problem precisely it is necessary to give a formal model of a computer. The standard computer model in computability theory is the Turing machine, introduced by Alan Turing in 1936 [37]. Although the model was introduced before physical computers were built, it nevertheless continues to be accepted as the proper computer model for the purpose of defining the notion of computable function. Informally the class P is the class of decision problems solvable by some algorithm within a number of steps bounded by some fixed polynomial in the length of the input. Turing was not concerned with the efficiency of his machines, rather his concern was whether they can simulate arbitrary algorithms given sufficient time. It turns out, however, Turing machines can generally simulate more efficient computer models (for example, machines equipped with many tapes or an unbounded random access memory) by at most squaring or cubing the computation time. Thus P is a robust class and has equivalent definitions over a large class of computer models. Here we follow standard practice and define the class P in terms of Turing machines. Formally the elements of the class P are languages. Let Σ be a finite alphabet (that is, a finite nonempty set) with at least two elements, and let Σ∗ be the set of finite strings over Σ.
    [Show full text]
  • Notes for Lecture Notes 2 1 Computational Problems
    Stanford University | CS254: Computational Complexity Notes 2 Luca Trevisan January 11, 2012 Notes for Lecture Notes 2 In this lecture we define NP, we state the P versus NP problem, we prove that its formulation for search problems is equivalent to its formulation for decision problems, and we prove the time hierarchy theorem, which remains essentially the only known theorem which allows to show that certain problems are not in P. 1 Computational Problems In a computational problem, we are given an input that, without loss of generality, we assume to be encoded over the alphabet f0; 1g, and we want to return as output a solution satisfying some property: a computational problem is then described by the property that the output has to satisfy given the input. In this course we will deal with four types of computational problems: decision problems, search problems, optimization problems, and counting problems.1 For the moment, we will discuss decision and search problem. In a decision problem, given an input x 2 f0; 1g∗, we are required to give a YES/NO answer. That is, in a decision problem we are only asked to verify whether the input satisfies a certain property. An example of decision problem is the 3-coloring problem: given an undirected graph, determine whether there is a way to assign a \color" chosen from f1; 2; 3g to each vertex in such a way that no two adjacent vertices have the same color. A convenient way to specify a decision problem is to give the set L ⊆ f0; 1g∗ of inputs for which the answer is YES.
    [Show full text]
  • Classification of Multiplicity-Free Kronecker Products
    Classification of Multiplicity-Free Kronecker Products Christine Bessenrodt (Leibniz University Hannover) Jeffrey Remmel (University of California, San Diego) Stephanie van Willigenburg (University of British Columbia) and Sami Assaf (University of Southern California) Christopher Bowman (City University London) Angela Hicks (Stanford University) Vasu Tewari (University of British Columbia) May 10–May 17 2015 1 Overview of the Field Schur functions have been a central area of research dating from the time of Cauchy in 1815 (bialternants [7]) to the present day work of Field’s medallists such as Tao (the hive model [8]) and Okounkov (Schur positivity [9]). This is due to their ubiquitous nature in mathematics and beyond. Schur functions are labelled by weakly decreasing sequences of positive integers, called partitions. Given two Schur functions, they can be ‘multiplied’ in three different ways: outer product, inner product, and plethysm. We wish to understand the coefficients that arise in expanding such a product with respect to the basis of Schur functions. The outer product is the most well understood, the coefficients arising are the Littlewood–Richardson coefficients and there is an efficient combinatorial description of these coefficients, called the Littlewood– Richardson rule. In the case of the inner and plethysm products, the coefficients are called the Kronecker and plethysm coefficients respectively, and they are substantially more difficult to understand. The determi- nation of the classical Clebsch-Gordan coefficients arising in the decomposition of tensor products amounts in the case of the symmetric groups to a search for an efficient combinatorial description of the Kronecker coefficients; it is one of the central problems of algebraic combinatorics today.
    [Show full text]
  • Knowledge, Creativity and P Versus NP
    Knowledge, Creativity and P versus NP Avi Wigderson April 11, 2009 Abstract The human quest for efficiency is ancient and universal. Computa- tional Complexity Theory is the mathematical study of the efficiency requirements of computational problems. In this note we attempt to convey the deep implications and connections of the results and goals of computational complexity, to the understanding of the most basic and general questions in science and technology. In particular, we will explain the P versus NP question of computer science, and explain the consequences of its possible resolution, P = NP or P 6= NP , to the power and security of computing, the human quest for knowledge, and beyond. The connection rests on formalizing the role of creativity in the discovery process. The seemingly abstract, philosophical question: Can creativity be automated? in its concrete, mathematical form: Does P = NP ?, emerges as a central challenge of science. And the basic notions of space and time, studied as resources of efficient computation, emerge as key objects of study to solving this mystery, just like their physical counterparts hold the key to understanding the laws of nature. This article is prepared for non-specialists, so we attempt to be as non-technical as possible. Thus we focus on the intuitive, high level meaning of central definitions of computational notions. Necessarily, we will be sweeping many technical issues under the rug, and be content that the general picture painted here remains valid when these are carefully examined. Formal, mathematical definitions, as well as better historical account and more references to original works, can be found in any textbook, e.g.
    [Show full text]
  • Algorithm for P Versus NP Problem on Sets by JEEVAN – KUSHALAIAH Method
    International Journal of Computer Applications Technology and Research Volume 2– Issue 5, 526 - 529, 2013, ISSN: 2319–8656 Algorithm for P versus NP Problem on Sets by JEEVAN – KUSHALAIAH Method Neelam Jeevan Kumar Electrical and Electronics Engineering, JNTU Hyderabad Rangashaipet, Warangal, Andhra Pradesh, India. Abstract: P versus NP [1-2] Problems are one of the most important open questions in mathematics and theoretical computer science. Jeevan – Kushalaiah Method is a method to find the possible number of combinations between n-elements. This article explains about Algorithm to solve subset sum problem quickly and easily. The problems on subset sum problems perform arithmetic operations that can be calculated in terms of exponential time - polynomial time. Major part of the article deals with Class-P type problems which in be solved on a deterministic Turing Machine. This article is mainly prepared on the basis of an article in Wikipedia. Keywords: Jeevan-Kushalaiah Method; Jeevan – Kushalaiah Algorithm; Time Complexity; Exponential Time; Polynomial Time; 1. INTRODUCTION 2. JEEVAN – KUSHALAIAH METHOD In computational complexity theory an answer to Jeevan – Kushalaiah Method [5] is a method to the P = NP [3-4] question would determine whether know possible different combinations between n- problems that can be verified in polynomial time, like elements (either elements are constants or variables). the subset-sum problem, can also be solved in Let there are n-elements a1, a2, a3 … an exponential- polynomial time. If it turned out that P ≠ NP, it would mean that there are problems in NP (such The possible number of Combinations are in sets as NP-complete problems) that are harder to compute with addition operation are, N than to verify: they could not be solved in polynomial N= a a a a a +a , a +a , a + time, but the answer could be verified in polynomial {0,[( 1),( 2),( 3),….( 2)],[( 1 2) ( 1 3) ( 1 time.
    [Show full text]
  • Arxiv:1811.06787V2 [Cs.CC] 23 Jan 2021
    PRAMs over integers do not compute maxflow efficiently Luc Pellissier, University Paris Est Creteil Thomas Seiller, CNRS [email protected] [email protected] January 26, 2021 Abstract This paper presents a new semantic method for proving lower bounds in computational complexity. We use it to prove that maxflow, a Ptime complete problem, is not computable in polylogarithmic time on parallel random access machines (prams) working with integers, showing that NCZ 6= Ptime, where NCZ is the complexity class defined by such machines, and Ptime is the standard class of polynomial time computable problems (on, say, a Turing machine). On top of showing this new separation result, we show our method captures previous lower bounds results from the literature: Steele and Yao’s lower bounds for algebraic decision trees [30], Ben-Or’s lower bounds for algebraic computation trees [4], Cucker’s proof that NCR is not equal to PtimeR [10], and Mulmuley’s lower bounds for “prams without bit operations” [20]. arXiv:1811.06787v2 [cs.CC] 23 Jan 2021 1 Contents 1 Introduction 3 2 Contents of the paper 5 3 Programs as Dynamical systems 9 4 Algebraic models of computations as amcs 12 5 Entropy and Cells 18 6 First lower bounds 21 7 Refining the method 23 8 Recovering Ben Or and Cucker’s theorems 26 9 Algebraic surfaces for an optimization problem 28 10 Improving Mulmuley’s result 32 2 1 Introduction 1.1 Computational Complexity The field of computational complexity was initiated soon after the conception of the first computers. While theoretical results had already established a definition of the notion of "computable function" on the set of natural numbers, it became quickly apparent that computable did not mean practical, as many functions considered computable could not be computed within a reasonable time.
    [Show full text]