Np complete problems and physical reality
Download
1 / 26

np-complete problems and physical reality - PowerPoint PPT Presentation


  • 231 Views
  • Updated On :

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

Related searches for np-complete problems and physical reality

loader
I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.
capcha
Download Presentation

PowerPoint Slideshow about 'np-complete problems and physical reality' - bernad


An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript
Np complete problems and physical reality l.jpg

NP-complete Problems and Physical Reality

Scott Aaronson

UC Berkeley  IAS


Computer science 101 l.jpg
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 l.jpg
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 l.jpg
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)?


Slide5 l.jpg

Hamilton cycleSteiner treeGraph 3-coloringSatisfiabilityMaximum clique…

Matrix permanentHalting problem…

FactoringGraph isomorphismMinimum circuit size…

Graph connectivityPrimality testingMatrix determinantLinear programming…

NP-hard

NP-complete

NP

P


Does p np l.jpg
Does P=NP?

The (literally) $1,000,000 question


But what if p np and the algorithm takes n 10000 steps l.jpg
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 l.jpg
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 l.jpg
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”


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


Slide11 l.jpg

  • Let the soap bubbles form a minimum Steiner tree connecting the pegs


Other physical systems l.jpg
Other Physical Systems

Spin glasses

Folding proteins

...

Well-known to admit “metastable” states

DNA computers: Just highly parallel ordinary computers


Analog computing l.jpg
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 l.jpg

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

Quantum Computing

Shor 1994: Quantum computers can factor in polynomial time

But can they solve NP-complete problems?

A. 2004: True even with “quantum advice”


Quantum adiabatic algorithm farhi et al 2000 l.jpg
Quantum Adiabatic Algorithm (Farhi et al. 2000)

Hi

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



Topological quantum field theories tqft s l.jpg
Topological Quantum Field Theories (TQFT’s)

Freedman, Kitaev, Wang 2000: Equivalent to ordinary quantum computers


Nonlinear quantum mechanics weinberg 1989 l.jpg
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 l.jpg
Time Travel Computing(Bacon 2003)

SupposePr[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

xy

Causalloop

Chronology-respecting bit

x

y


Hidden variables l.jpg
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!



Anthropic computing l.jpg
“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 l.jpg
“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


Slide24 l.jpg

Second Law of Thermodynamics

Proposed Counterexamples


Slide25 l.jpg

No Superluminal Signalling

Proposed Counterexamples


Slide26 l.jpg

?

Intractability of NP-complete problems

Proposed Counterexamples


ad