NP-complete Problems and Physical Reality

Slides:



Advertisements
Similar presentations
Quantum Complexity and Fundamental Physics
Advertisements

The Complexity of Sampling Histories Scott Aaronson, UC Berkeley August 5, 2003.
The Future (and Past) of Quantum Lower Bounds by Polynomials Scott Aaronson UC Berkeley.
NP-complete Problems and Physical Reality Scott Aaronson Institute for Advanced Study.
Lower Bounds for Local Search by Quantum Arguments Scott Aaronson.
Quantum Search of Spatial Regions Scott Aaronson (UC Berkeley) Joint work with Andris Ambainis (U. Latvia)
New Evidence That Quantum Mechanics Is Hard to Simulate on Classical Computers Scott Aaronson Parts based on joint work with Alex Arkhipov.
BQP PSPACE NP P PostBQP Limits on Efficient Computation in the Physical World Scott Aaronson MIT.
Computational Intractability As A Law of Physics
Quantum Complexity and Fundamental Physics
Quantum Computing and the Limits of the Efficiently Computable Scott Aaronson MIT.
Quantum Computing and the Limits of the Efficiently Computable
Quantum Computing and the Limits of the Efficiently Computable Scott Aaronson MIT.
Scott Aaronson (MIT) Based on joint work with John Watrous (U. Waterloo) BQP PSPACE Quantum Computing With Closed Timelike Curves.
Part VI NP-Hardness. Lecture 23 Whats NP? Hard Problems.
JAYASRI JETTI CHINMAYA KRISHNA SURYADEVARA
What is Intractable? Some problems seem too hard to solve efficiently. Question 1: Does an efficient algorithm exist?  An O(a ) algorithm, where a > 1,
The Theory of NP-Completeness
1 Optimization Algorithms on a Quantum Computer A New Paradigm for Technical Computing Richard H. Warren, PhD Optimization.
Computability and Complexity 13-1 Computability and Complexity Andrei Bulatov The Class NP.
CSE332: Data Abstractions Lecture 27: A Few Words on NP Dan Grossman Spring 2010.
Tractable and intractable problems for parallel computers
Hardness Results for Problems P: Class of “easy to solve” problems Absolute hardness results Relative hardness results –Reduction technique.
BQP PSPACE NP P PostBQP Quantum Complexity and Fundamental Physics Scott Aaronson MIT.
Analysis of Algorithms CS 477/677
Circuits CSE 373 Data Structures Lecture 22. 3/12/03Circuits - Lecture 222 Readings Reading ›Sections and 9.7.
Quantum Computing and the Limits of the Efficiently Computable Scott Aaronson MIT.
The Theory of NP-Completeness 1. Nondeterministic algorithms A nondeterminstic algorithm consists of phase 1: guessing phase 2: checking If the checking.
1 The Theory of NP-Completeness 2012/11/6 P: the class of problems which can be solved by a deterministic polynomial algorithm. NP : the class of decision.
Difficult Problems. Polynomial-time algorithms A polynomial-time algorithm is an algorithm whose running time is O(f(n)), where f(n) is a polynomial A.
Nattee Niparnan. Easy & Hard Problem What is “difficulty” of problem? Difficult for computer scientist to derive algorithm for the problem? Difficult.
Complexity Classes (Ch. 34) The class P: class of problems that can be solved in time that is polynomial in the size of the input, n. if input size is.
Quantum Computing and the Limits of the Efficiently Computable Scott Aaronson (MIT)
Tonga Institute of Higher Education Design and Analysis of Algorithms IT 254 Lecture 8: Complexity Theory.
Quantum Computing and the Limits of the Efficiently Computable Scott Aaronson MIT.
CSC 413/513: Intro to Algorithms NP Completeness.
CSC 172 P, NP, Etc. “Computer Science is a science of abstraction – creating the right model for thinking about a problem and devising the appropriate.
CSE 024: Design & Analysis of Algorithms Chapter 9: NP Completeness Sedgewick Chp:40 David Luebke’s Course Notes / University of Virginia, Computer Science.
Long Ouyang Computer systems
1 The Theory of NP-Completeness 2 Cook ’ s Theorem (1971) Prof. Cook Toronto U. Receiving Turing Award (1982) Discussing difficult problems: worst case.
Quantum Computing and the Limits of the Efficiently Computable Scott Aaronson MIT.
NP-Complete Problems. Running Time v.s. Input Size Concern with problems whose complexity may be described by exponential functions. Tractable problems.
NP-COMPLETE PROBLEMS. Admin  Two more assignments…  No office hours on tomorrow.
NP-Complete problems.
Beauty and Joy of Computing Limits of Computing Ivona Bezáková CS10: UC Berkeley, April 14, 2014 (Slides inspired by Dan Garcia’s slides.)
CS 3343: Analysis of Algorithms Lecture 25: P and NP Some slides courtesy of Carola Wenk.
Computability Heap exercise. The class P. The class NP. Verifiers. Homework: Review RELPRIME proof. Find examples of problems in NP.
Strings Basic data type in computational biology A string is an ordered succession of characters or symbols from a finite set called an alphabet Sequence.
CS6045: Advanced Algorithms NP Completeness. NP-Completeness Some problems are intractable: as they grow large, we are unable to solve them in reasonable.
CS216: Program and Data Representation University of Virginia Computer Science Spring 2006 David Evans Lecture 8: Crash Course in Computational Complexity.
Adiabatic Quantum Computing Josh Ball with advisor Professor Harsh Mathur Problems which are classically difficult to solve may be solved much more quickly.
The Theory of NP-Completeness 1. Nondeterministic algorithms A nondeterminstic algorithm consists of phase 1: guessing phase 2: checking If the checking.
1 The Theory of NP-Completeness 2 Review: Finding lower bound by problem transformation Problem X reduces to problem Y (X  Y ) iff X can be solved by.
The NP class. NP-completeness Lecture2. The NP-class The NP class is a class that contains all the problems that can be decided by a Non-Deterministic.
CSE 332: NP Completeness, Part II Richard Anderson Spring 2016.
Quantum Computing and the Limits of the Efficiently Computable Scott Aaronson (MIT  UT Austin) NYSC, West Virginia, June 24, 2016.
CSC 172 P, NP, Etc.
The Theory of NP-Completeness
The NP class. NP-completeness
Part VI NP-Hardness.
Hard Problems Introduction to NP
Intro to NP Completeness
Quantum Computing and the Limits of the Efficiently Computable
Chapter 34: NP-Completeness
Chapter 11 Limitations of Algorithm Power
NP-Complete Problems.
What Google Won’t Find: The Ultimate Physical Limits of Search
Quantum Computing and the Limits of the Efficiently Computable
Scott Aaronson (UT Austin) Papers and slides at
RAIK 283 Data Structures & Algorithms
Presentation transcript:

NP-complete Problems and Physical Reality Scott Aaronson UC Berkeley  IAS

Computer Science 101 Problem: “Given a graph, is it connected?” Each particular graph is an instance The size of the instance, n, is the number of bits needed to specify it An algorithm is polynomial-time if it uses at most knc steps, for some constants k,c P is the class of all problems that have polynomial-time algorithms

NP: Nondeterministic Polynomial Time Does 37976595177176695379702491479374117272627593301950462688996367493665078453699421776635920409229841590432339850906962896040417072096197880513650802416494821602885927126968629464313047353426395204881920475456129163305093846968119683912232405433688051567862303785337149184281196967743805800830815442679903720933 have a prime factor ending in 7?

NP-hard: If you can solve it, you can solve everything in NP NP-complete: NP-hard and in NP Is there a Hamilton cycle (tour that visits each vertex exactly once)?

NP P NP-hard NP-complete Matrix permanent Halting problem … Hamilton cycle Steiner tree Graph 3-coloring Satisfiability Maximum clique … NP-complete NP Factoring Graph isomorphism Minimum circuit size … Graph connectivity Primality testing Matrix determinant Linear programming … P

The (literally) $1,000,000 question Does P=NP? The (literally) $1,000,000 question

But what if P=NP, and the algorithm takes n10000 steps? God will not be so cruel

What could we do if we could solve NP-complete problems? If there actually were a machine with [running time] ~Kn (or even only with ~Kn2), this would have consequences of the greatest magnitude. —Gödel to von Neumann, 1956

Then why is it so hard to prove PNP? Algorithms can be very clever Gödel/Turing-style self-reference arguments don’t seem powerful enough Combinatorial arguments face the “Razborov-Rudich barrier”

But maybe there’s some physical system that solves an NP-complete problem just by reaching its lowest energy state?

Dip two glass plates with pegs between them into soapy water Let the soap bubbles form a minimum Steiner tree connecting the pegs

Other Physical Systems Spin glasses Folding proteins ... Well-known to admit “metastable” states DNA computers: Just highly parallel ordinary computers

Analog Computing Schönhage 1979: If we could compute x+y, x-y, xy, x/y, x for any real x,y in a single step, then we could solve NP-complete and even harder problems in polynomial time Problem: The Planck scale!

Quantum Computing Shor 1994: Quantum computers can factor in polynomial time But can they solve NP-complete problems? Bennett, Bernstein, Brassard, Vazirani 1997: “Quantum magic” won’t be enough ~2n/2 queries are needed to search a list of size 2n for a single marked item A. 2004: True even with “quantum advice”

Quantum Adiabatic Algorithm (Farhi et al. 2000) Hf Hamiltonian with easily-prepared ground state Ground state encodes solution to NP-complete problem Problem (van Dam, Mosca, Vazirani 2001): Eigenvalue gap can be exponentially small

“Relativity Computing” DONE

Topological Quantum Field Theories (TQFT’s) Freedman, Kitaev, Wang 2000: Equivalent to ordinary quantum computers

Nonlinear Quantum Mechanics (Weinberg 1989) Abrams & Lloyd 1998: Could use to solve NP-complete and even harder problems in polynomial time 1 solution to NP-complete problem No solutions

Time Travel Computing (Bacon 2003) Suppose Pr[x=1] = p, Pr[y=1] = q Then consistency requires p=q So Pr[xy=1] = p(1-q) + q(1-p) = 2p(1-p) xy x Causal loop Chronology-respecting bit x y

Hidden Variables Valentini 2001: “Subquantum” algorithm (violating ||2) to distinguish |0 from Problem: Valentini’s algorithm still requires exponentially-precise measurements. But we probably could solve Graph Isomorphism subquantumly A. 2002: Sampling the history of a hidden variable is another way to solve Graph Isomorphism in polynomial time—but again, probably not NP-complete problems!

Quantum Gravity

“Anthropic Computing” Guess a solution to an NP-complete problem. If it’s wrong, kill yourself. Doomsday alternative: If solution is right, destroy human race. If wrong, cause human race to survive into far future.

“Transhuman Computing” Upload yourself onto a computer Start the computer working on a 10,000-year calculation Program the computer to make 50 copies of you after it’s done, then tell those copies the answer

Second Law of Thermodynamics Proposed Counterexamples

No Superluminal Signalling Proposed Counterexamples

Intractability of NP-complete problems Proposed Counterexamples ? Intractability of NP-complete problems Proposed Counterexamples