SlideShare a Scribd company logo
1
NP-Completeness
November 28, 2003
Young Eun Kim and Gene Moo Lee
Department of Computer Science & Engineering
Korea University
2/30
Contents
• Introduction and Motivation
• Background Knowledge
• Definition of NP-Completeness
• Examples of NP-Complete Problems
• Hierarchy of Problems
• How to Prove NP-Completeness
• How to Cope with NP-Complete Problems
• Conclusion
3/30
Introduction (1/2)
• Some Algorithms we’ve seen in this class
– Sorting – O(N log N)
– Searching – O(log N)
– Shortest Path Finding – O(N2
)
• However, some problems only have
– Exponential Time Algorithm O(2N
)
– So What?
Why? What? How?
4/30
Introduction (2/2)
N 10 20 30 40 50 60
O(N) .00001
second
.00002
second
.00003
second
.00004
second
.00005
second
.00006
second
O(N2
) .0001
second
.0004
second
.0009
second
.0016
second
.0025
second
.0036
second
O(N3
) .001
second
.008
second
.027
second
.064
second
.125
second
.216
second
O(N5
) 1
second
3.2
seconds
24.3
seconds
1.7
minutes
5.2
minutes
13.0
minutes
O(2N
) .001
second
1.0
second
17.9
minutes
12.7
days
35.7
years
366
centuries
O(3N
) .059
second
58
minutes
6.5
years
3855
centuries
2*108
centuries
1013
centuries
Why? What? How?
5/30
Motivation
• Traveling Salesman Problem (n = 1000)
• Compute 1000!
– Even Electron in the Universe is a Super Computer,
– And they work for the Estimated Life of the Universe,
– WE CANNOT SOLVE THIS PROBLEM!!!
– This kind of problems are NP-Complete.
Why? What? How?
6/30
Background Knowledge
To understand NP-Completeness, need to
know these concepts
1. Decision and Optimization Problems
2. Turing Machine and class P
3. Nondeterminism and class NP
4. Polynomial Time Reduction
(Problem Transformation)
Why? What? How?
7/30
Decision and Optimization Problems
• What is the Shortest Path from A to B?
– This is an Optimization Problem.
• Is there a Path from A to B consisting of at
most K edges?
– This is the related Decision Problem.
We consider only Decision Problems!
Why? What? How?
8/30
Turing Machine and Class P
(1/3)
Church – Turing Thesis
“Computer ≡ Turing Machine”
Alan Turing(1912-1954)
(www.time.com)
Why? What? How?
9/30
Turing Machine and Class P
(2/3)
A Turing machine
is a 7-tuple (Q, ∑, Γ, δ, q0, qaccept, qreject).
Why? What? How?
10/30
Turing Machine and Class P
(3/3)
P : the class of problems that are
decidable in polynomial time on a
Turing machine
Sorting, Shortest Path are in P!
Why? What? How?
11/30
Nondeterminism and Class NP (1/2)
• A Nondeterministic Turing machine is a Turing
machine with the transition function has the form
δ : Q * Γ  P(Q * Γ * {L, R}).
• NTM guess to choose the answer nondeterministically
Why? What? How?
12/30
Nondeterminism and Class NP (2/2)
• NP : the class of problems that are decidable in
polynomial time on a nondeterministic Turing
machine
• Solutions of problems in NP can be checked
(verified) in polynomial time.
• If a Hamiltonian path were discovered somehow,
we could easily check if the path is Hamiltonian.
– HAMPATH is in NP! Also Sorting is in NP!
Why? What? How?
13/30
Class P and NP
• P = the class of problems where
membership can be decided quickly.
• NP = the class of problems where
membership can be verified quickly.
Why? What? How?
14/30
Polynomial Time Reduction
Traveling Salesman Problem5-CliqueMap Coloring
Traveling Salesman Problem
 5-Clique  Map Coloring
Why? What? How?
15/30
Definition of NP-Completeness
A problem B is NP-complete
if it satisfies two conditions:
1. B is in NP, and
2. Every problem A in NP is polynomial
time reducible to B. (NP-Hard)
Why? What? How?
16/30
Meaning of NP-Completeness
• NP: Nondeterministic Polynomial
• Complete:
– If one of the problems in NPC have an
efficient algorithm, then all the problems
in NP have efficient algorithms.
Why? What? How?
17/30
Examples of NP-Completeness
• Satisfiability (SAT)
• Traveling Salesman Problem (TSP)
• Longest Path (vs. Shortest Path is in P)
• Real-Time Scheduling
• Hamiltonian Path (vs. Euler Path is in P)
Why? What? How?
18/30
Where are we?
Background Knowledge
Definition of NP-Completeness
Examples of NP-Complete Problems
• Hierarchy of Problems
• How to Prove NP-Completeness
• How to Cope with NP-Completeness
19/30
Hierarchy of Problems (1/2)
P NP PSPACE = NPSPACE EXPTIME⊆ ⊆ ⊆
Conjectured Relationships
EXPTIME
NPSPACE
NP P
UNDECIDABLE
Why? What? How?
20/30
Hierarchy of Problems (2/2)
NP
P
Which one is correct?
An efficient algorithm on a
deterministic machine does not
exist.
An efficient algorithm on a
deterministic machine is not
found yet.
P = NP
Why? What? How?
21/30
How to prove NP-Completeness(1/3)
• If B is NP-complete and B C for C in NP,∝
then C is NP-complete.
B C
NP-complete NP-complete
Then, we need at least one NP-complete problem!
Why? What? How?
22/30
How to prove NP-Completeness(2/3)
Cook’s Theorem
“Satisfiability Problem (SAT) is
NP-complete.”
- the first NP-complete
problem!
Stephen Cook
(www.cs.toronto.edu)
Why? What? How?
23/30
I’m also NP
Complete!
How to prove NP-Completeness(3/3)
any NP
problem
can be reduced to...
SAT
new NP
problem
can be reduced to...
Proved by
Cook
New Problem
is “no easier”
than SAT
Why? What? How?
24/30
NP-Complete Problems Tree
SAT
3-SAT Graph 3-Color
3-DM
Exact Cover Planer 3-color
Vertex Cover
Subset-Sum
HAMPATH Clique
Partition
Integer
Programming
IndependentTSP (Salesman)
Why? What? How?
25/30
How to Cope with NP-Completeness
I. HEURISTIC ALGORITHM
To find a solution within a reduced search-space.
II. APPROXIMATION ALGORITHM
To find approximately optimal solutions.
III. QUANTUM COMPUTING
To use the spins of quantum with the speed of
light. (bit 0, 1 spin-up (0), spin-down (1))
Why? What? How?
26/30
Heuristic Algorithm
• In NP-Complete Problems,
we have to check exponential possibilities.
• By Heuristic, reduce the search space.
• Example: Practical SAT problem Solvers
– zChaff, BerkMin, GRASP, SATO, etc.
Why? What? How?
27/30
Approximation
• Hard to find an exactly correct solution
in NP-complete problems
• By Approximation,
find a nearly optimal solution.
• Example: finding the smallest vertex covers
(we can find a vertex cover never more than
twice the size of the smallest one.)
Why? What? How?
28/30
Quantum Computation
• Bit 0 and 1 
Spin Up and Spin
Down
• Speed of electron
 Speed of light
Why? What? How?
Digital Comp.  Quantum Comp.
29/30
Conclusion
When a hard problem is given,
we can prove that a problem is NP-complete,
just by finding a polynomial time reduction.
After proving,
we can solve the problem in these ways:
Heuristic Algorithm, Approximation
Algorithm and Quantum computing.
30/30
Thank You for Listening.
Any Question?

More Related Content

What's hot

Greedy algorithm
Greedy algorithmGreedy algorithm
Greedy algorithms
Greedy algorithmsGreedy algorithms
Greedy algorithms
Rajendran
 
Analysis of algorithm
Analysis of algorithmAnalysis of algorithm
Analysis of algorithm
Rajendra Dangwal
 
NP Complete Problems
NP Complete ProblemsNP Complete Problems
NP Complete Problems
Nikhil Joshi
 
Greedy algorithms
Greedy algorithmsGreedy algorithms
Greedy algorithms
sandeep54552
 
Greedy Algorithm - Knapsack Problem
Greedy Algorithm - Knapsack ProblemGreedy Algorithm - Knapsack Problem
Greedy Algorithm - Knapsack Problem
Madhu Bala
 
Prim's Algorithm on minimum spanning tree
Prim's Algorithm on minimum spanning treePrim's Algorithm on minimum spanning tree
Prim's Algorithm on minimum spanning tree
oneous
 
Branch and bound
Branch and boundBranch and bound
Branch and bound
Dr Shashikant Athawale
 
DESIGN AND ANALYSIS OF ALGORITHMS
DESIGN AND ANALYSIS OF ALGORITHMSDESIGN AND ANALYSIS OF ALGORITHMS
DESIGN AND ANALYSIS OF ALGORITHMSGayathri Gaayu
 
5.1 greedy
5.1 greedy5.1 greedy
5.1 greedy
Krish_ver2
 
ANALYSIS-AND-DESIGN-OF-ALGORITHM.ppt
ANALYSIS-AND-DESIGN-OF-ALGORITHM.pptANALYSIS-AND-DESIGN-OF-ALGORITHM.ppt
ANALYSIS-AND-DESIGN-OF-ALGORITHM.ppt
DaveCalapis3
 
Asymptotic notations
Asymptotic notationsAsymptotic notations
Asymptotic notationsEhtisham Ali
 
Turing Machine
Turing MachineTuring Machine
Turing Machine
Rajendran
 
Approximation Algorithms TSP
Approximation Algorithms   TSPApproximation Algorithms   TSP
Greedy Algorithm
Greedy AlgorithmGreedy Algorithm
Greedy Algorithm
Waqar Akram
 
CS8461 - Design and Analysis of Algorithms
CS8461 - Design and Analysis of AlgorithmsCS8461 - Design and Analysis of Algorithms
CS8461 - Design and Analysis of Algorithms
Krishnan MuthuManickam
 
2-Approximation Vertex Cover
2-Approximation Vertex Cover2-Approximation Vertex Cover
2-Approximation Vertex Cover
Kowshik Roy
 
Shortest Path in Graph
Shortest Path in GraphShortest Path in Graph
Shortest Path in Graph
Dr Sandeep Kumar Poonia
 
Bellman Ford's Algorithm
Bellman Ford's AlgorithmBellman Ford's Algorithm
Bellman Ford's Algorithm
Tanmay Baranwal
 
Greedy Algorithms
Greedy AlgorithmsGreedy Algorithms
Greedy Algorithms
Amrinder Arora
 

What's hot (20)

Greedy algorithm
Greedy algorithmGreedy algorithm
Greedy algorithm
 
Greedy algorithms
Greedy algorithmsGreedy algorithms
Greedy algorithms
 
Analysis of algorithm
Analysis of algorithmAnalysis of algorithm
Analysis of algorithm
 
NP Complete Problems
NP Complete ProblemsNP Complete Problems
NP Complete Problems
 
Greedy algorithms
Greedy algorithmsGreedy algorithms
Greedy algorithms
 
Greedy Algorithm - Knapsack Problem
Greedy Algorithm - Knapsack ProblemGreedy Algorithm - Knapsack Problem
Greedy Algorithm - Knapsack Problem
 
Prim's Algorithm on minimum spanning tree
Prim's Algorithm on minimum spanning treePrim's Algorithm on minimum spanning tree
Prim's Algorithm on minimum spanning tree
 
Branch and bound
Branch and boundBranch and bound
Branch and bound
 
DESIGN AND ANALYSIS OF ALGORITHMS
DESIGN AND ANALYSIS OF ALGORITHMSDESIGN AND ANALYSIS OF ALGORITHMS
DESIGN AND ANALYSIS OF ALGORITHMS
 
5.1 greedy
5.1 greedy5.1 greedy
5.1 greedy
 
ANALYSIS-AND-DESIGN-OF-ALGORITHM.ppt
ANALYSIS-AND-DESIGN-OF-ALGORITHM.pptANALYSIS-AND-DESIGN-OF-ALGORITHM.ppt
ANALYSIS-AND-DESIGN-OF-ALGORITHM.ppt
 
Asymptotic notations
Asymptotic notationsAsymptotic notations
Asymptotic notations
 
Turing Machine
Turing MachineTuring Machine
Turing Machine
 
Approximation Algorithms TSP
Approximation Algorithms   TSPApproximation Algorithms   TSP
Approximation Algorithms TSP
 
Greedy Algorithm
Greedy AlgorithmGreedy Algorithm
Greedy Algorithm
 
CS8461 - Design and Analysis of Algorithms
CS8461 - Design and Analysis of AlgorithmsCS8461 - Design and Analysis of Algorithms
CS8461 - Design and Analysis of Algorithms
 
2-Approximation Vertex Cover
2-Approximation Vertex Cover2-Approximation Vertex Cover
2-Approximation Vertex Cover
 
Shortest Path in Graph
Shortest Path in GraphShortest Path in Graph
Shortest Path in Graph
 
Bellman Ford's Algorithm
Bellman Ford's AlgorithmBellman Ford's Algorithm
Bellman Ford's Algorithm
 
Greedy Algorithms
Greedy AlgorithmsGreedy Algorithms
Greedy Algorithms
 

Similar to Introduction to NP Completeness

class23.ppt
class23.pptclass23.ppt
class23.ppt
AjayPratap828815
 
Teori pnp
Teori pnpTeori pnp
Webinar : P, NP, NP-Hard , NP - Complete problems
Webinar : P, NP, NP-Hard , NP - Complete problems Webinar : P, NP, NP-Hard , NP - Complete problems
Webinar : P, NP, NP-Hard , NP - Complete problems
Ziyauddin Shaik
 
lect5-1.ppt
lect5-1.pptlect5-1.ppt
University timetable scheduling
University timetable schedulingUniversity timetable scheduling
University timetable scheduling
Ashish Mishra
 
NP Complete Problems in Graph Theory
NP Complete Problems in Graph TheoryNP Complete Problems in Graph Theory
NP Complete Problems in Graph Theory
Seshagiri Rao Kornepati
 
teteuueieoeofhfhfjffkkkfkfflflflhshssnnvmvvmvv,v,v,nnxmxxm
teteuueieoeofhfhfjffkkkfkfflflflhshssnnvmvvmvv,v,v,nnxmxxmteteuueieoeofhfhfjffkkkfkfflflflhshssnnvmvvmvv,v,v,nnxmxxm
teteuueieoeofhfhfjffkkkfkfflflflhshssnnvmvvmvv,v,v,nnxmxxm
zoobiarana76
 
Complexity theory
Complexity theory Complexity theory
Complexity theory
Dr Shashikant Athawale
 
Divide and Conquer - Part 1
Divide and Conquer - Part 1Divide and Conquer - Part 1
Divide and Conquer - Part 1
Amrinder Arora
 
2009 CSBB LAB 新生訓練
2009 CSBB LAB 新生訓練2009 CSBB LAB 新生訓練
2009 CSBB LAB 新生訓練
Abner Huang
 
Proving Lower Bounds to Answer the P versus NP question
Proving Lower Bounds to Answer the P versus NP questionProving Lower Bounds to Answer the P versus NP question
Proving Lower Bounds to Answer the P versus NP questionguest577718
 
Expert estimation from Multimodal Features
Expert estimation from Multimodal FeaturesExpert estimation from Multimodal Features
Expert estimation from Multimodal Features
Xavier Ochoa
 
Np completeness
Np completeness Np completeness
Np completeness
tusharKanwaria
 
Basic_concepts_NP_Hard_NP_Complete.pdf
Basic_concepts_NP_Hard_NP_Complete.pdfBasic_concepts_NP_Hard_NP_Complete.pdf
Basic_concepts_NP_Hard_NP_Complete.pdf
Arivukkarasu Dhanapal
 

Similar to Introduction to NP Completeness (20)

DAA.pdf
DAA.pdfDAA.pdf
DAA.pdf
 
DAA.pdf
DAA.pdfDAA.pdf
DAA.pdf
 
class23.ppt
class23.pptclass23.ppt
class23.ppt
 
Teori pnp
Teori pnpTeori pnp
Teori pnp
 
AA ppt9107
AA ppt9107AA ppt9107
AA ppt9107
 
Webinar : P, NP, NP-Hard , NP - Complete problems
Webinar : P, NP, NP-Hard , NP - Complete problems Webinar : P, NP, NP-Hard , NP - Complete problems
Webinar : P, NP, NP-Hard , NP - Complete problems
 
lect5-1.ppt
lect5-1.pptlect5-1.ppt
lect5-1.ppt
 
np complete
np completenp complete
np complete
 
University timetable scheduling
University timetable schedulingUniversity timetable scheduling
University timetable scheduling
 
UNIT -IV DAA.pdf
UNIT  -IV DAA.pdfUNIT  -IV DAA.pdf
UNIT -IV DAA.pdf
 
Internship
InternshipInternship
Internship
 
NP Complete Problems in Graph Theory
NP Complete Problems in Graph TheoryNP Complete Problems in Graph Theory
NP Complete Problems in Graph Theory
 
teteuueieoeofhfhfjffkkkfkfflflflhshssnnvmvvmvv,v,v,nnxmxxm
teteuueieoeofhfhfjffkkkfkfflflflhshssnnvmvvmvv,v,v,nnxmxxmteteuueieoeofhfhfjffkkkfkfflflflhshssnnvmvvmvv,v,v,nnxmxxm
teteuueieoeofhfhfjffkkkfkfflflflhshssnnvmvvmvv,v,v,nnxmxxm
 
Complexity theory
Complexity theory Complexity theory
Complexity theory
 
Divide and Conquer - Part 1
Divide and Conquer - Part 1Divide and Conquer - Part 1
Divide and Conquer - Part 1
 
2009 CSBB LAB 新生訓練
2009 CSBB LAB 新生訓練2009 CSBB LAB 新生訓練
2009 CSBB LAB 新生訓練
 
Proving Lower Bounds to Answer the P versus NP question
Proving Lower Bounds to Answer the P versus NP questionProving Lower Bounds to Answer the P versus NP question
Proving Lower Bounds to Answer the P versus NP question
 
Expert estimation from Multimodal Features
Expert estimation from Multimodal FeaturesExpert estimation from Multimodal Features
Expert estimation from Multimodal Features
 
Np completeness
Np completeness Np completeness
Np completeness
 
Basic_concepts_NP_Hard_NP_Complete.pdf
Basic_concepts_NP_Hard_NP_Complete.pdfBasic_concepts_NP_Hard_NP_Complete.pdf
Basic_concepts_NP_Hard_NP_Complete.pdf
 

More from Gene Moo Lee

Developing A Big Data Analytics Framework for Industry Intelligence
Developing A Big Data Analytics Framework for Industry IntelligenceDeveloping A Big Data Analytics Framework for Industry Intelligence
Developing A Big Data Analytics Framework for Industry Intelligence
Gene Moo Lee
 
Big Data Analytics: Challenges and Opportunities
Big Data Analytics: Challenges and OpportunitiesBig Data Analytics: Challenges and Opportunities
Big Data Analytics: Challenges and Opportunities
Gene Moo Lee
 
Content Complexity, Similarity, and Consistency in Social Media: A Deep Learn...
Content Complexity, Similarity, and Consistency in Social Media: A Deep Learn...Content Complexity, Similarity, and Consistency in Social Media: A Deep Learn...
Content Complexity, Similarity, and Consistency in Social Media: A Deep Learn...
Gene Moo Lee
 
Analyzing the spillover roles of user-generated reviews on purchases: Evidenc...
Analyzing the spillover roles of user-generated reviews on purchases: Evidenc...Analyzing the spillover roles of user-generated reviews on purchases: Evidenc...
Analyzing the spillover roles of user-generated reviews on purchases: Evidenc...
Gene Moo Lee
 
Towards Advanced Business Analytics using Text Mining and Deep Learning
Towards Advanced Business Analytics using Text Mining and Deep LearningTowards Advanced Business Analytics using Text Mining and Deep Learning
Towards Advanced Business Analytics using Text Mining and Deep Learning
Gene Moo Lee
 
Towards a better measure of business proximity: Topic modeling for industry i...
Towards a better measure of business proximity: Topic modeling for industry i...Towards a better measure of business proximity: Topic modeling for industry i...
Towards a better measure of business proximity: Topic modeling for industry i...
Gene Moo Lee
 
Designing Cybersecurity Policies with Field Experiments
Designing Cybersecurity Policies with Field ExperimentsDesigning Cybersecurity Policies with Field Experiments
Designing Cybersecurity Policies with Field Experiments
Gene Moo Lee
 
Strategic Network Formation in a Location-Based Social Network
Strategic Network Formation in a Location-Based Social NetworkStrategic Network Formation in a Location-Based Social Network
Strategic Network Formation in a Location-Based Social Network
Gene Moo Lee
 
Matching Mobile Applications for Cross Promotion
Matching Mobile Applications for Cross PromotionMatching Mobile Applications for Cross Promotion
Matching Mobile Applications for Cross Promotion
Gene Moo Lee
 
Improving Sketch Reconstruction Accuracy
Improving Sketch Reconstruction AccuracyImproving Sketch Reconstruction Accuracy
Improving Sketch Reconstruction AccuracyGene Moo Lee
 
Improving the Interaction between Overlay Routing and Traffic Engineering
Improving the Interaction between Overlay Routing and Traffic EngineeringImproving the Interaction between Overlay Routing and Traffic Engineering
Improving the Interaction between Overlay Routing and Traffic EngineeringGene Moo Lee
 
Modeling Human Mobility using Location Based Social Networks
Modeling Human Mobility using Location Based Social NetworksModeling Human Mobility using Location Based Social Networks
Modeling Human Mobility using Location Based Social NetworksGene Moo Lee
 
Mobile Video Delivery via Human Movement
Mobile Video Delivery via Human MovementMobile Video Delivery via Human Movement
Mobile Video Delivery via Human MovementGene Moo Lee
 
Towards modeling M&A in high tech industries
Towards modeling M&A in high tech industriesTowards modeling M&A in high tech industries
Towards modeling M&A in high tech industriesGene Moo Lee
 

More from Gene Moo Lee (14)

Developing A Big Data Analytics Framework for Industry Intelligence
Developing A Big Data Analytics Framework for Industry IntelligenceDeveloping A Big Data Analytics Framework for Industry Intelligence
Developing A Big Data Analytics Framework for Industry Intelligence
 
Big Data Analytics: Challenges and Opportunities
Big Data Analytics: Challenges and OpportunitiesBig Data Analytics: Challenges and Opportunities
Big Data Analytics: Challenges and Opportunities
 
Content Complexity, Similarity, and Consistency in Social Media: A Deep Learn...
Content Complexity, Similarity, and Consistency in Social Media: A Deep Learn...Content Complexity, Similarity, and Consistency in Social Media: A Deep Learn...
Content Complexity, Similarity, and Consistency in Social Media: A Deep Learn...
 
Analyzing the spillover roles of user-generated reviews on purchases: Evidenc...
Analyzing the spillover roles of user-generated reviews on purchases: Evidenc...Analyzing the spillover roles of user-generated reviews on purchases: Evidenc...
Analyzing the spillover roles of user-generated reviews on purchases: Evidenc...
 
Towards Advanced Business Analytics using Text Mining and Deep Learning
Towards Advanced Business Analytics using Text Mining and Deep LearningTowards Advanced Business Analytics using Text Mining and Deep Learning
Towards Advanced Business Analytics using Text Mining and Deep Learning
 
Towards a better measure of business proximity: Topic modeling for industry i...
Towards a better measure of business proximity: Topic modeling for industry i...Towards a better measure of business proximity: Topic modeling for industry i...
Towards a better measure of business proximity: Topic modeling for industry i...
 
Designing Cybersecurity Policies with Field Experiments
Designing Cybersecurity Policies with Field ExperimentsDesigning Cybersecurity Policies with Field Experiments
Designing Cybersecurity Policies with Field Experiments
 
Strategic Network Formation in a Location-Based Social Network
Strategic Network Formation in a Location-Based Social NetworkStrategic Network Formation in a Location-Based Social Network
Strategic Network Formation in a Location-Based Social Network
 
Matching Mobile Applications for Cross Promotion
Matching Mobile Applications for Cross PromotionMatching Mobile Applications for Cross Promotion
Matching Mobile Applications for Cross Promotion
 
Improving Sketch Reconstruction Accuracy
Improving Sketch Reconstruction AccuracyImproving Sketch Reconstruction Accuracy
Improving Sketch Reconstruction Accuracy
 
Improving the Interaction between Overlay Routing and Traffic Engineering
Improving the Interaction between Overlay Routing and Traffic EngineeringImproving the Interaction between Overlay Routing and Traffic Engineering
Improving the Interaction between Overlay Routing and Traffic Engineering
 
Modeling Human Mobility using Location Based Social Networks
Modeling Human Mobility using Location Based Social NetworksModeling Human Mobility using Location Based Social Networks
Modeling Human Mobility using Location Based Social Networks
 
Mobile Video Delivery via Human Movement
Mobile Video Delivery via Human MovementMobile Video Delivery via Human Movement
Mobile Video Delivery via Human Movement
 
Towards modeling M&A in high tech industries
Towards modeling M&A in high tech industriesTowards modeling M&A in high tech industries
Towards modeling M&A in high tech industries
 

Recently uploaded

What is greenhouse gasses and how many gasses are there to affect the Earth.
What is greenhouse gasses and how many gasses are there to affect the Earth.What is greenhouse gasses and how many gasses are there to affect the Earth.
What is greenhouse gasses and how many gasses are there to affect the Earth.
moosaasad1975
 
Travis Hills' Endeavors in Minnesota: Fostering Environmental and Economic Pr...
Travis Hills' Endeavors in Minnesota: Fostering Environmental and Economic Pr...Travis Hills' Endeavors in Minnesota: Fostering Environmental and Economic Pr...
Travis Hills' Endeavors in Minnesota: Fostering Environmental and Economic Pr...
Travis Hills MN
 
ESR spectroscopy in liquid food and beverages.pptx
ESR spectroscopy in liquid food and beverages.pptxESR spectroscopy in liquid food and beverages.pptx
ESR spectroscopy in liquid food and beverages.pptx
PRIYANKA PATEL
 
Unveiling the Energy Potential of Marshmallow Deposits.pdf
Unveiling the Energy Potential of Marshmallow Deposits.pdfUnveiling the Energy Potential of Marshmallow Deposits.pdf
Unveiling the Energy Potential of Marshmallow Deposits.pdf
Erdal Coalmaker
 
The Evolution of Science Education PraxiLabs’ Vision- Presentation (2).pdf
The Evolution of Science Education PraxiLabs’ Vision- Presentation (2).pdfThe Evolution of Science Education PraxiLabs’ Vision- Presentation (2).pdf
The Evolution of Science Education PraxiLabs’ Vision- Presentation (2).pdf
mediapraxi
 
Deep Behavioral Phenotyping in Systems Neuroscience for Functional Atlasing a...
Deep Behavioral Phenotyping in Systems Neuroscience for Functional Atlasing a...Deep Behavioral Phenotyping in Systems Neuroscience for Functional Atlasing a...
Deep Behavioral Phenotyping in Systems Neuroscience for Functional Atlasing a...
Ana Luísa Pinho
 
Remote Sensing and Computational, Evolutionary, Supercomputing, and Intellige...
Remote Sensing and Computational, Evolutionary, Supercomputing, and Intellige...Remote Sensing and Computational, Evolutionary, Supercomputing, and Intellige...
Remote Sensing and Computational, Evolutionary, Supercomputing, and Intellige...
University of Maribor
 
Toxic effects of heavy metals : Lead and Arsenic
Toxic effects of heavy metals : Lead and ArsenicToxic effects of heavy metals : Lead and Arsenic
Toxic effects of heavy metals : Lead and Arsenic
sanjana502982
 
THEMATIC APPERCEPTION TEST(TAT) cognitive abilities, creativity, and critic...
THEMATIC  APPERCEPTION  TEST(TAT) cognitive abilities, creativity, and critic...THEMATIC  APPERCEPTION  TEST(TAT) cognitive abilities, creativity, and critic...
THEMATIC APPERCEPTION TEST(TAT) cognitive abilities, creativity, and critic...
Abdul Wali Khan University Mardan,kP,Pakistan
 
3D Hybrid PIC simulation of the plasma expansion (ISSS-14)
3D Hybrid PIC simulation of the plasma expansion (ISSS-14)3D Hybrid PIC simulation of the plasma expansion (ISSS-14)
3D Hybrid PIC simulation of the plasma expansion (ISSS-14)
David Osipyan
 
Chapter 12 - climate change and the energy crisis
Chapter 12 - climate change and the energy crisisChapter 12 - climate change and the energy crisis
Chapter 12 - climate change and the energy crisis
tonzsalvador2222
 
bordetella pertussis.................................ppt
bordetella pertussis.................................pptbordetella pertussis.................................ppt
bordetella pertussis.................................ppt
kejapriya1
 
Nucleic Acid-its structural and functional complexity.
Nucleic Acid-its structural and functional complexity.Nucleic Acid-its structural and functional complexity.
Nucleic Acid-its structural and functional complexity.
Nistarini College, Purulia (W.B) India
 
SAR of Medicinal Chemistry 1st by dk.pdf
SAR of Medicinal Chemistry 1st by dk.pdfSAR of Medicinal Chemistry 1st by dk.pdf
SAR of Medicinal Chemistry 1st by dk.pdf
KrushnaDarade1
 
20240520 Planning a Circuit Simulator in JavaScript.pptx
20240520 Planning a Circuit Simulator in JavaScript.pptx20240520 Planning a Circuit Simulator in JavaScript.pptx
20240520 Planning a Circuit Simulator in JavaScript.pptx
Sharon Liu
 
BREEDING METHODS FOR DISEASE RESISTANCE.pptx
BREEDING METHODS FOR DISEASE RESISTANCE.pptxBREEDING METHODS FOR DISEASE RESISTANCE.pptx
BREEDING METHODS FOR DISEASE RESISTANCE.pptx
RASHMI M G
 
The use of Nauplii and metanauplii artemia in aquaculture (brine shrimp).pptx
The use of Nauplii and metanauplii artemia in aquaculture (brine shrimp).pptxThe use of Nauplii and metanauplii artemia in aquaculture (brine shrimp).pptx
The use of Nauplii and metanauplii artemia in aquaculture (brine shrimp).pptx
MAGOTI ERNEST
 
ANAMOLOUS SECONDARY GROWTH IN DICOT ROOTS.pptx
ANAMOLOUS SECONDARY GROWTH IN DICOT ROOTS.pptxANAMOLOUS SECONDARY GROWTH IN DICOT ROOTS.pptx
ANAMOLOUS SECONDARY GROWTH IN DICOT ROOTS.pptx
RASHMI M G
 
Oedema_types_causes_pathophysiology.pptx
Oedema_types_causes_pathophysiology.pptxOedema_types_causes_pathophysiology.pptx
Oedema_types_causes_pathophysiology.pptx
muralinath2
 
NuGOweek 2024 Ghent programme overview flyer
NuGOweek 2024 Ghent programme overview flyerNuGOweek 2024 Ghent programme overview flyer
NuGOweek 2024 Ghent programme overview flyer
pablovgd
 

Recently uploaded (20)

What is greenhouse gasses and how many gasses are there to affect the Earth.
What is greenhouse gasses and how many gasses are there to affect the Earth.What is greenhouse gasses and how many gasses are there to affect the Earth.
What is greenhouse gasses and how many gasses are there to affect the Earth.
 
Travis Hills' Endeavors in Minnesota: Fostering Environmental and Economic Pr...
Travis Hills' Endeavors in Minnesota: Fostering Environmental and Economic Pr...Travis Hills' Endeavors in Minnesota: Fostering Environmental and Economic Pr...
Travis Hills' Endeavors in Minnesota: Fostering Environmental and Economic Pr...
 
ESR spectroscopy in liquid food and beverages.pptx
ESR spectroscopy in liquid food and beverages.pptxESR spectroscopy in liquid food and beverages.pptx
ESR spectroscopy in liquid food and beverages.pptx
 
Unveiling the Energy Potential of Marshmallow Deposits.pdf
Unveiling the Energy Potential of Marshmallow Deposits.pdfUnveiling the Energy Potential of Marshmallow Deposits.pdf
Unveiling the Energy Potential of Marshmallow Deposits.pdf
 
The Evolution of Science Education PraxiLabs’ Vision- Presentation (2).pdf
The Evolution of Science Education PraxiLabs’ Vision- Presentation (2).pdfThe Evolution of Science Education PraxiLabs’ Vision- Presentation (2).pdf
The Evolution of Science Education PraxiLabs’ Vision- Presentation (2).pdf
 
Deep Behavioral Phenotyping in Systems Neuroscience for Functional Atlasing a...
Deep Behavioral Phenotyping in Systems Neuroscience for Functional Atlasing a...Deep Behavioral Phenotyping in Systems Neuroscience for Functional Atlasing a...
Deep Behavioral Phenotyping in Systems Neuroscience for Functional Atlasing a...
 
Remote Sensing and Computational, Evolutionary, Supercomputing, and Intellige...
Remote Sensing and Computational, Evolutionary, Supercomputing, and Intellige...Remote Sensing and Computational, Evolutionary, Supercomputing, and Intellige...
Remote Sensing and Computational, Evolutionary, Supercomputing, and Intellige...
 
Toxic effects of heavy metals : Lead and Arsenic
Toxic effects of heavy metals : Lead and ArsenicToxic effects of heavy metals : Lead and Arsenic
Toxic effects of heavy metals : Lead and Arsenic
 
THEMATIC APPERCEPTION TEST(TAT) cognitive abilities, creativity, and critic...
THEMATIC  APPERCEPTION  TEST(TAT) cognitive abilities, creativity, and critic...THEMATIC  APPERCEPTION  TEST(TAT) cognitive abilities, creativity, and critic...
THEMATIC APPERCEPTION TEST(TAT) cognitive abilities, creativity, and critic...
 
3D Hybrid PIC simulation of the plasma expansion (ISSS-14)
3D Hybrid PIC simulation of the plasma expansion (ISSS-14)3D Hybrid PIC simulation of the plasma expansion (ISSS-14)
3D Hybrid PIC simulation of the plasma expansion (ISSS-14)
 
Chapter 12 - climate change and the energy crisis
Chapter 12 - climate change and the energy crisisChapter 12 - climate change and the energy crisis
Chapter 12 - climate change and the energy crisis
 
bordetella pertussis.................................ppt
bordetella pertussis.................................pptbordetella pertussis.................................ppt
bordetella pertussis.................................ppt
 
Nucleic Acid-its structural and functional complexity.
Nucleic Acid-its structural and functional complexity.Nucleic Acid-its structural and functional complexity.
Nucleic Acid-its structural and functional complexity.
 
SAR of Medicinal Chemistry 1st by dk.pdf
SAR of Medicinal Chemistry 1st by dk.pdfSAR of Medicinal Chemistry 1st by dk.pdf
SAR of Medicinal Chemistry 1st by dk.pdf
 
20240520 Planning a Circuit Simulator in JavaScript.pptx
20240520 Planning a Circuit Simulator in JavaScript.pptx20240520 Planning a Circuit Simulator in JavaScript.pptx
20240520 Planning a Circuit Simulator in JavaScript.pptx
 
BREEDING METHODS FOR DISEASE RESISTANCE.pptx
BREEDING METHODS FOR DISEASE RESISTANCE.pptxBREEDING METHODS FOR DISEASE RESISTANCE.pptx
BREEDING METHODS FOR DISEASE RESISTANCE.pptx
 
The use of Nauplii and metanauplii artemia in aquaculture (brine shrimp).pptx
The use of Nauplii and metanauplii artemia in aquaculture (brine shrimp).pptxThe use of Nauplii and metanauplii artemia in aquaculture (brine shrimp).pptx
The use of Nauplii and metanauplii artemia in aquaculture (brine shrimp).pptx
 
ANAMOLOUS SECONDARY GROWTH IN DICOT ROOTS.pptx
ANAMOLOUS SECONDARY GROWTH IN DICOT ROOTS.pptxANAMOLOUS SECONDARY GROWTH IN DICOT ROOTS.pptx
ANAMOLOUS SECONDARY GROWTH IN DICOT ROOTS.pptx
 
Oedema_types_causes_pathophysiology.pptx
Oedema_types_causes_pathophysiology.pptxOedema_types_causes_pathophysiology.pptx
Oedema_types_causes_pathophysiology.pptx
 
NuGOweek 2024 Ghent programme overview flyer
NuGOweek 2024 Ghent programme overview flyerNuGOweek 2024 Ghent programme overview flyer
NuGOweek 2024 Ghent programme overview flyer
 

Introduction to NP Completeness

  • 1. 1 NP-Completeness November 28, 2003 Young Eun Kim and Gene Moo Lee Department of Computer Science & Engineering Korea University
  • 2. 2/30 Contents • Introduction and Motivation • Background Knowledge • Definition of NP-Completeness • Examples of NP-Complete Problems • Hierarchy of Problems • How to Prove NP-Completeness • How to Cope with NP-Complete Problems • Conclusion
  • 3. 3/30 Introduction (1/2) • Some Algorithms we’ve seen in this class – Sorting – O(N log N) – Searching – O(log N) – Shortest Path Finding – O(N2 ) • However, some problems only have – Exponential Time Algorithm O(2N ) – So What? Why? What? How?
  • 4. 4/30 Introduction (2/2) N 10 20 30 40 50 60 O(N) .00001 second .00002 second .00003 second .00004 second .00005 second .00006 second O(N2 ) .0001 second .0004 second .0009 second .0016 second .0025 second .0036 second O(N3 ) .001 second .008 second .027 second .064 second .125 second .216 second O(N5 ) 1 second 3.2 seconds 24.3 seconds 1.7 minutes 5.2 minutes 13.0 minutes O(2N ) .001 second 1.0 second 17.9 minutes 12.7 days 35.7 years 366 centuries O(3N ) .059 second 58 minutes 6.5 years 3855 centuries 2*108 centuries 1013 centuries Why? What? How?
  • 5. 5/30 Motivation • Traveling Salesman Problem (n = 1000) • Compute 1000! – Even Electron in the Universe is a Super Computer, – And they work for the Estimated Life of the Universe, – WE CANNOT SOLVE THIS PROBLEM!!! – This kind of problems are NP-Complete. Why? What? How?
  • 6. 6/30 Background Knowledge To understand NP-Completeness, need to know these concepts 1. Decision and Optimization Problems 2. Turing Machine and class P 3. Nondeterminism and class NP 4. Polynomial Time Reduction (Problem Transformation) Why? What? How?
  • 7. 7/30 Decision and Optimization Problems • What is the Shortest Path from A to B? – This is an Optimization Problem. • Is there a Path from A to B consisting of at most K edges? – This is the related Decision Problem. We consider only Decision Problems! Why? What? How?
  • 8. 8/30 Turing Machine and Class P (1/3) Church – Turing Thesis “Computer ≡ Turing Machine” Alan Turing(1912-1954) (www.time.com) Why? What? How?
  • 9. 9/30 Turing Machine and Class P (2/3) A Turing machine is a 7-tuple (Q, ∑, Γ, δ, q0, qaccept, qreject). Why? What? How?
  • 10. 10/30 Turing Machine and Class P (3/3) P : the class of problems that are decidable in polynomial time on a Turing machine Sorting, Shortest Path are in P! Why? What? How?
  • 11. 11/30 Nondeterminism and Class NP (1/2) • A Nondeterministic Turing machine is a Turing machine with the transition function has the form δ : Q * Γ  P(Q * Γ * {L, R}). • NTM guess to choose the answer nondeterministically Why? What? How?
  • 12. 12/30 Nondeterminism and Class NP (2/2) • NP : the class of problems that are decidable in polynomial time on a nondeterministic Turing machine • Solutions of problems in NP can be checked (verified) in polynomial time. • If a Hamiltonian path were discovered somehow, we could easily check if the path is Hamiltonian. – HAMPATH is in NP! Also Sorting is in NP! Why? What? How?
  • 13. 13/30 Class P and NP • P = the class of problems where membership can be decided quickly. • NP = the class of problems where membership can be verified quickly. Why? What? How?
  • 14. 14/30 Polynomial Time Reduction Traveling Salesman Problem5-CliqueMap Coloring Traveling Salesman Problem  5-Clique  Map Coloring Why? What? How?
  • 15. 15/30 Definition of NP-Completeness A problem B is NP-complete if it satisfies two conditions: 1. B is in NP, and 2. Every problem A in NP is polynomial time reducible to B. (NP-Hard) Why? What? How?
  • 16. 16/30 Meaning of NP-Completeness • NP: Nondeterministic Polynomial • Complete: – If one of the problems in NPC have an efficient algorithm, then all the problems in NP have efficient algorithms. Why? What? How?
  • 17. 17/30 Examples of NP-Completeness • Satisfiability (SAT) • Traveling Salesman Problem (TSP) • Longest Path (vs. Shortest Path is in P) • Real-Time Scheduling • Hamiltonian Path (vs. Euler Path is in P) Why? What? How?
  • 18. 18/30 Where are we? Background Knowledge Definition of NP-Completeness Examples of NP-Complete Problems • Hierarchy of Problems • How to Prove NP-Completeness • How to Cope with NP-Completeness
  • 19. 19/30 Hierarchy of Problems (1/2) P NP PSPACE = NPSPACE EXPTIME⊆ ⊆ ⊆ Conjectured Relationships EXPTIME NPSPACE NP P UNDECIDABLE Why? What? How?
  • 20. 20/30 Hierarchy of Problems (2/2) NP P Which one is correct? An efficient algorithm on a deterministic machine does not exist. An efficient algorithm on a deterministic machine is not found yet. P = NP Why? What? How?
  • 21. 21/30 How to prove NP-Completeness(1/3) • If B is NP-complete and B C for C in NP,∝ then C is NP-complete. B C NP-complete NP-complete Then, we need at least one NP-complete problem! Why? What? How?
  • 22. 22/30 How to prove NP-Completeness(2/3) Cook’s Theorem “Satisfiability Problem (SAT) is NP-complete.” - the first NP-complete problem! Stephen Cook (www.cs.toronto.edu) Why? What? How?
  • 23. 23/30 I’m also NP Complete! How to prove NP-Completeness(3/3) any NP problem can be reduced to... SAT new NP problem can be reduced to... Proved by Cook New Problem is “no easier” than SAT Why? What? How?
  • 24. 24/30 NP-Complete Problems Tree SAT 3-SAT Graph 3-Color 3-DM Exact Cover Planer 3-color Vertex Cover Subset-Sum HAMPATH Clique Partition Integer Programming IndependentTSP (Salesman) Why? What? How?
  • 25. 25/30 How to Cope with NP-Completeness I. HEURISTIC ALGORITHM To find a solution within a reduced search-space. II. APPROXIMATION ALGORITHM To find approximately optimal solutions. III. QUANTUM COMPUTING To use the spins of quantum with the speed of light. (bit 0, 1 spin-up (0), spin-down (1)) Why? What? How?
  • 26. 26/30 Heuristic Algorithm • In NP-Complete Problems, we have to check exponential possibilities. • By Heuristic, reduce the search space. • Example: Practical SAT problem Solvers – zChaff, BerkMin, GRASP, SATO, etc. Why? What? How?
  • 27. 27/30 Approximation • Hard to find an exactly correct solution in NP-complete problems • By Approximation, find a nearly optimal solution. • Example: finding the smallest vertex covers (we can find a vertex cover never more than twice the size of the smallest one.) Why? What? How?
  • 28. 28/30 Quantum Computation • Bit 0 and 1  Spin Up and Spin Down • Speed of electron  Speed of light Why? What? How? Digital Comp.  Quantum Comp.
  • 29. 29/30 Conclusion When a hard problem is given, we can prove that a problem is NP-complete, just by finding a polynomial time reduction. After proving, we can solve the problem in these ways: Heuristic Algorithm, Approximation Algorithm and Quantum computing.
  • 30. 30/30 Thank You for Listening. Any Question?

Editor's Notes

  1. Good Morning, everyone! My name is Gene Moo Lee. Let’s start our presentation. We are going to talk about NP-Completeness.
  2. This is the contents of our presentation. First, we will see why we have to study NPC. Then with background knowledge, we will formally define NPC. Then I will give you some examples of it. That is my part, and my partner Kim Young Eun will show you where NPC locates in the whole hierarchy of problems. And see how to prove a problem is NPC, and how to cope with that kind of problems.
  3. So far in our class, we’ve seen many algorithms to solve problems. Here are some of them. In these problems like sorting, searching, shortest path finding, we know algorithms with these time complexity. But unlike these problems, there are some problems that only have exponential time algorithm. So what? Let’s go to next page.
  4. Here is a table considering the time complexity. As you see here with polynomial time complexity, the time is very small. But if you see here with exponential time complexity with n is 50 or 60, the time is just too long!! 366 centuries!!
  5. Let’s take a look at a example of Traveling Salesman Problem with 1000 cities. In this problem, we want to know the shortest cycle with visiting all the 1000 cities one time. Then in the algorithm we know, we have to compute 1000 factorial cases! However, even if all the electron in the universe is super computes, and they work for the estimated life of the universe, We cannot compute 1000 factorial!. This kind of problems are called NP-Complete.
  6. To understand NPC, we have to know these concepts first. First, decision problems and optimization problems. Then Turing Machine and class P. Nondeterminism and class NP. Last, polynomial time reduction, also known as problem transformation.
  7. First, Decision problems and optimization problems. Let’s see this problem. What is the shortest path from A to B? This is an example of optimization problems. Next, is there a path from A to B consisting of at most k edges? This is the related decision problem of the problem above. But in the theory of NPC, we could only consider decision problems. So to think about optimization problems, we will think about the related decision problems.
  8. Next thing to know is Turing Machine, This handsome man is Alan Turing, who is one of the most famous computer scientist. By his theory, Computer and Turing machine have equal power to compute. So in the theory of NPC, we emulate the power of actual computers by Turing machines.
  9. This is the definition of Turing machine. And this is the conceptual picture of it. With its finite state control rule, a Turing machine reads input and write outputs to a tape and moves head to the right or left. After reading and writing, it can accept or reject in some situation just like finite automata.
  10. After we know what is a Turing machine, then we can define the class P. P is the class of problems that are decidable in polynomial time on a Turing machine. So Sorting and Shortest Path are in P. In the definition, “polynomial time” means that the problem can be easily solved in our real computers.
  11. Now, let’s look at a revised version of Turing machine. You know how a NFA is different from a DFA. In a given moment, NFA can change its state into many states. Same to the Turing machine. A NTM can compute many things simultaneously. As you see in this picture, NTM has a guessing module to guess the answer.
  12. Then we can define the class NP. NP is the class of problems that are decidable in polynomial time on a NTM. The meaning is this. If we have a solution of the problem, then the NTM can determine whether the solution is right or wrong. For example, in the case of Hamiltonian Path problem, say we discover a HAMPATH somehow. Then we can easily see if the answer is right. So HAMPATH is in NP. Also a DTM is also a NTM, so all the problems in P is also in NP. P is a subset of NP!
  13. Here we briefly explain P and NP again. In the problems in P, we can solve the problems with efficient algorithm in polynomial time. In the problems of NP, if the solution is given, then we can check if the solution is right in polynomial time.
  14. The last thing to know NPC is polynomial time reduction. This concept indicates that some problems are connected each other. Let’s look at this example. First, Traveling Salesman Problem can be described like this. Next, 5-Clique can be shown like this. We can see that those two problems are pretty similar to each other. Also, Map Coloring problem is also similar to those. Then we say that TSP can be reduced to 5-Clique. And 5-Clique can be reduced to Map Coloring.
  15. Now we can define NPC. A problem B is NPC if B is in NP and all problems can be reduced to the problem B. All problem satisfying the second condition are called NP-Hard. So all NPC problems are NP-Hard. But not all NP-hard problems are NPC.
  16. This is the underlying meaning of NPC. NP indicates Nondeterministic Polynomial. Complete means that if one of the problems in NPC have an efficient algorithm, then all problems in NP have efficient algorithms. So theoretically the problems in NPC are really concentrated by scholars.
  17. Here are some examples of NPC. SAT problem is this. “Given a formula, is there a truth assignment that makes the formula true?” And TSP, we’ve seen it. Longest Path is to find the longest path from A to B. Also real-time scheduling in Operating System is NPC. HAMPATH, too. This is all for me. And my partner will cover the rest of our presentation.
  18. My partner explained you the definition of NPC, and gave some examples of those. Now I will show you where NPC are located in the hierarchy of problems. And I will explain how to prove a problem is NPC, and how to cope with NPC problems. Then make a conclusion.
  19. All the problems in this world can be sorted by two catagories. That is, undecidable problem, decidable problems. And undecidable problems have hierarchy. It is described here. Exponential-time space contains NPSPACE, and NPSPACE have NP problems. And the set of P problems is contained in the set of NP problems.
  20. Let’s see the relationship of NP and P problems. There can two relationships like here. The first one means that an efficient algorithm on a deterministic machine does not exist. On the contrary, the second one means that an efficient algorithm on a deterministic machine is not found yet. But no one know which one is correct yet.
  21. Now, we’re going to see how to prove NP-completeness. If B is NP-complete and B is reducible to C in NP, then C is NP-complete. But before using this method, the NP-complete problem is necessary.
  22. We can get the first NP-complete problem by Cook’s theorem. Stephen Cook proved that SAT is NP-complete. So he enables us to find another NP-complete problems. The detailed proving process is abbreviated.
  23. Now we will trace how to prove NP-completeness using Cook’s theorem. First, any NP problems can be reduced to SAT. This is proved by Cook. And SAT can be reduced to a new NP problems. Then, the found NP problem becomes NP-complete.
  24. Using the way of proving NP-completeness in the previous page, we can find many NP-complete problems. It is illustrated here. SAT is NP-complete problem, and SAT is reduced to these two NP problems, then those are NP-complete problems. We use this process repeatedly, then many NP-complete problems are found like here.
  25. Even though we proved that a problem is NP-complete, the problem will not disappear. So we have to find alternatives to resolve the problem. Here we propose three ways to cope with NP-complete problems.
  26. The first one is Heuristic Algorithm. NP-complete problems require to check exponential possibilities. But this algorithm reduces the search space. So, the number of checking is lowered. As a result, the possibility to find an answer is increased.
  27. The second way of solving the NP-complete problems is using approximation algorithm. This algorithm is designed to find nearly optimal solution, not to find the best answer. If you try to find the exactly right answer, it will be difficult. So, this algorithm let us to solve a NP-complete problem a little bit easily. As an example, finding a vertex cover which has less than twice the size of the smallest one can be selected.
  28. The another one of coping with NP-complete problems is using a quantum computer. A quantum computer uses quantum’s spins. That is, spin up as bit 0 and spin down as bit 1. Moreover, quantum moves with the speed of light. So processing power, amount of work done in a specific time is increased compared to that of a digital computer. As a result, NP-complete problem requiring hundreds of years can be solved in a few seconds.
  29. Now we are in the conclusion. We learned that when a hard problem is given, we can prove that a problem is NP-complete by a polynomial time reduction. And after being proved, the problem is solved by some ways, Heuristic Algorithm, Approximation algorithm, and quantum computing.
  30. Here is the end of our presentation. Do you have any question?