SlideShare ist ein Scribd-Unternehmen logo
1 von 20
Proving Lower Bounds to
answer the P versus NP
Question
Prerna Thakral
George Mason University
Computer Science
BACKGROUND
INFORMATION
How did we get P versus NP?
• Turing developed a model for his
computational theory, but it failed to
account
• time
• memory
• From this – scientists divided
theoretical computer science
problems into two classes – P and
NP.
What does the P class hold?
• P is for Polynomial Time.
• Consists of all those problems whose positive
solutions can be solved in an amount of time
that is polynomial to the size of the input.
What does NP class hold?
• NP stands for Nondeterministic Polynomial
Time.
• This class consists of all those problems that
can be verified in polynomial time.
Relationship between P and NP
Importance and Consequences
• A proof of P equals NP could have striking
practical consequences.
• Will lead to efficient methods for solving some
important NP problems, which are fundamental to
many fields such as mathematics, biology, etc.
• A proof of P does not equal NP will have just as
great consequences.
• Will show, in a formal way, that many common
problems that can be verified easily and efficiently
cannot be solved efficiently.
CURRENT RESEARCH -
PROVING LOWER
BOUNDS
Limitations in Problem
• A limitation is seen when
computer scientists have tried to
prove lower bounds on the
complexity of problems in the
class, NP.
• Methods such as
diagonalization, the use of
pseudo-random generators and
circuits are currently being used
to prove lower bounds.
Terminology
• Diagonalization is a basic technique
used to prove that the set A does not
belong to complexity class C.
• A combinatorial circuit is a sequence
of instructions, each producing a
function based on the already
obtained previous functions.
Goal of the Research
• Develop a new technique in determining lower
bounds by conducting an experiment between
the current techniques, diagonalization, and
combinatorial circuits and comparing the results
to develop a new technique to answer the
question whether P equals NP.
EXPERIMENT
Methods and Procedures
Constants in the Experiment
• Lower bounds will be
computed on the
Travelling Salesman
Problem, an NP-
complete problem.
• The travelling salesman
problem will include 15
cities to be toured by
finding a path with the
shortest distance,
visiting each city only
once.
Trials One and Two
• Diagonalization technique - a set and function
A will be established and used to show that it
does not belong to the complexity class EXP,
which will conclude that set A is a part of the
complexity class NP.
• A circuit tree will be created from previously
defined functions. Other circuit trees will also
be created by limiting the depth of the tree and
restricting the original set and function A.
Trial Three
• Set A will use the diagonalization technique
and the combinatorial circuits simultaneously to
achieve higher efficiency than efficiency that
would have reached by using the two
techniques individually.
EXPERIMENT
Assessment
Efficiency
• Efficiency will be measured by the time required to
complete the technique and analyze the results to
see if the technique produced anything meaningful.
• Time required to find a set A, such that it does not
belong to the complexity class, EXP will be
important.
• The time required to create these various circuit
trees will also be noted, depending on whether the
depth of the tree was limited or if the original
function itself was restricted.
Success
• The experiment will be declared as successful
if the new technique which uses the two current
techniques simultaneously is seen to be more
efficient than the other techniques in proving
lower bounds.
EXPERIMENT
Next Steps
Prove P equals/does not equal NP
• By knowing how to restrict my classes, P and
NP, I will be able to determine that the
Travelling Salesman Problem is a part of the P
class.
• This will allow me to determine which other NP-
complete problems can be solved in polynomial
time, making them a part of the P class.

Weitere ähnliche Inhalte

Ähnlich wie Proving Lower Bounds to Answer the P versus NP Problem

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 Questionguest383ed6
 
teteuueieoeofhfhfjffkkkfkfflflflhshssnnvmvvmvv,v,v,nnxmxxm
teteuueieoeofhfhfjffkkkfkfflflflhshssnnvmvvmvv,v,v,nnxmxxmteteuueieoeofhfhfjffkkkfkfflflflhshssnnvmvvmvv,v,v,nnxmxxm
teteuueieoeofhfhfjffkkkfkfflflflhshssnnvmvvmvv,v,v,nnxmxxmzoobiarana76
 
A comprehensive view on P vs NP
A comprehensive view on P vs NPA comprehensive view on P vs NP
A comprehensive view on P vs NPAbhay Pai
 
DMTM Lecture 06 Classification evaluation
DMTM Lecture 06 Classification evaluationDMTM Lecture 06 Classification evaluation
DMTM Lecture 06 Classification evaluationPier Luca Lanzi
 
DMTM 2015 - 14 Evaluation of Classification Models
DMTM 2015 - 14 Evaluation of Classification ModelsDMTM 2015 - 14 Evaluation of Classification Models
DMTM 2015 - 14 Evaluation of Classification ModelsPier Luca Lanzi
 
Xmss ict lesson template aichin
Xmss  ict lesson template aichinXmss  ict lesson template aichin
Xmss ict lesson template aichinbryan
 
DMTM Lecture 03 Regression
DMTM Lecture 03 RegressionDMTM Lecture 03 Regression
DMTM Lecture 03 RegressionPier Luca Lanzi
 
part3Module 3 ppt_with classification.pptx
part3Module 3 ppt_with classification.pptxpart3Module 3 ppt_with classification.pptx
part3Module 3 ppt_with classification.pptxVaishaliBagewadikar
 
240311_JW_labseminar[Sequence to Sequence Learning with Neural Networks].pptx
240311_JW_labseminar[Sequence to Sequence Learning with Neural Networks].pptx240311_JW_labseminar[Sequence to Sequence Learning with Neural Networks].pptx
240311_JW_labseminar[Sequence to Sequence Learning with Neural Networks].pptxthanhdowork
 
K-Nearest Neighbor Classifier
K-Nearest Neighbor ClassifierK-Nearest Neighbor Classifier
K-Nearest Neighbor ClassifierNeha Kulkarni
 

Ähnlich wie Proving Lower Bounds to Answer the P versus NP Problem (20)

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
 
teteuueieoeofhfhfjffkkkfkfflflflhshssnnvmvvmvv,v,v,nnxmxxm
teteuueieoeofhfhfjffkkkfkfflflflhshssnnvmvvmvv,v,v,nnxmxxmteteuueieoeofhfhfjffkkkfkfflflflhshssnnvmvvmvv,v,v,nnxmxxm
teteuueieoeofhfhfjffkkkfkfflflflhshssnnvmvvmvv,v,v,nnxmxxm
 
Complexity theory
Complexity theory Complexity theory
Complexity theory
 
A comprehensive view on P vs NP
A comprehensive view on P vs NPA comprehensive view on P vs NP
A comprehensive view on P vs NP
 
AA ppt9107
AA ppt9107AA ppt9107
AA ppt9107
 
DMTM Lecture 06 Classification evaluation
DMTM Lecture 06 Classification evaluationDMTM Lecture 06 Classification evaluation
DMTM Lecture 06 Classification evaluation
 
PNP.pptx
PNP.pptxPNP.pptx
PNP.pptx
 
PNP.pptx
PNP.pptxPNP.pptx
PNP.pptx
 
DMTM 2015 - 14 Evaluation of Classification Models
DMTM 2015 - 14 Evaluation of Classification ModelsDMTM 2015 - 14 Evaluation of Classification Models
DMTM 2015 - 14 Evaluation of Classification Models
 
lect5-1.ppt
lect5-1.pptlect5-1.ppt
lect5-1.ppt
 
UNIT-V.ppt
UNIT-V.pptUNIT-V.ppt
UNIT-V.ppt
 
Xmss ict lesson template aichin
Xmss  ict lesson template aichinXmss  ict lesson template aichin
Xmss ict lesson template aichin
 
np complete
np completenp complete
np complete
 
Unit 5
Unit 5Unit 5
Unit 5
 
Unit 5
Unit 5Unit 5
Unit 5
 
DMTM Lecture 03 Regression
DMTM Lecture 03 RegressionDMTM Lecture 03 Regression
DMTM Lecture 03 Regression
 
part3Module 3 ppt_with classification.pptx
part3Module 3 ppt_with classification.pptxpart3Module 3 ppt_with classification.pptx
part3Module 3 ppt_with classification.pptx
 
Np complete
Np completeNp complete
Np complete
 
240311_JW_labseminar[Sequence to Sequence Learning with Neural Networks].pptx
240311_JW_labseminar[Sequence to Sequence Learning with Neural Networks].pptx240311_JW_labseminar[Sequence to Sequence Learning with Neural Networks].pptx
240311_JW_labseminar[Sequence to Sequence Learning with Neural Networks].pptx
 
K-Nearest Neighbor Classifier
K-Nearest Neighbor ClassifierK-Nearest Neighbor Classifier
K-Nearest Neighbor Classifier
 

Kürzlich hochgeladen

08448380779 Call Girls In Friends Colony Women Seeking Men
08448380779 Call Girls In Friends Colony Women Seeking Men08448380779 Call Girls In Friends Colony Women Seeking Men
08448380779 Call Girls In Friends Colony Women Seeking MenDelhi Call girls
 
Understanding the Laravel MVC Architecture
Understanding the Laravel MVC ArchitectureUnderstanding the Laravel MVC Architecture
Understanding the Laravel MVC ArchitecturePixlogix Infotech
 
08448380779 Call Girls In Diplomatic Enclave Women Seeking Men
08448380779 Call Girls In Diplomatic Enclave Women Seeking Men08448380779 Call Girls In Diplomatic Enclave Women Seeking Men
08448380779 Call Girls In Diplomatic Enclave Women Seeking MenDelhi Call girls
 
Slack Application Development 101 Slides
Slack Application Development 101 SlidesSlack Application Development 101 Slides
Slack Application Development 101 Slidespraypatel2
 
04-2024-HHUG-Sales-and-Marketing-Alignment.pptx
04-2024-HHUG-Sales-and-Marketing-Alignment.pptx04-2024-HHUG-Sales-and-Marketing-Alignment.pptx
04-2024-HHUG-Sales-and-Marketing-Alignment.pptxHampshireHUG
 
GenCyber Cyber Security Day Presentation
GenCyber Cyber Security Day PresentationGenCyber Cyber Security Day Presentation
GenCyber Cyber Security Day PresentationMichael W. Hawkins
 
Histor y of HAM Radio presentation slide
Histor y of HAM Radio presentation slideHistor y of HAM Radio presentation slide
Histor y of HAM Radio presentation slidevu2urc
 
CNv6 Instructor Chapter 6 Quality of Service
CNv6 Instructor Chapter 6 Quality of ServiceCNv6 Instructor Chapter 6 Quality of Service
CNv6 Instructor Chapter 6 Quality of Servicegiselly40
 
The Codex of Business Writing Software for Real-World Solutions 2.pptx
The Codex of Business Writing Software for Real-World Solutions 2.pptxThe Codex of Business Writing Software for Real-World Solutions 2.pptx
The Codex of Business Writing Software for Real-World Solutions 2.pptxMalak Abu Hammad
 
[2024]Digital Global Overview Report 2024 Meltwater.pdf
[2024]Digital Global Overview Report 2024 Meltwater.pdf[2024]Digital Global Overview Report 2024 Meltwater.pdf
[2024]Digital Global Overview Report 2024 Meltwater.pdfhans926745
 
Maximizing Board Effectiveness 2024 Webinar.pptx
Maximizing Board Effectiveness 2024 Webinar.pptxMaximizing Board Effectiveness 2024 Webinar.pptx
Maximizing Board Effectiveness 2024 Webinar.pptxOnBoard
 
A Call to Action for Generative AI in 2024
A Call to Action for Generative AI in 2024A Call to Action for Generative AI in 2024
A Call to Action for Generative AI in 2024Results
 
The Role of Taxonomy and Ontology in Semantic Layers - Heather Hedden.pdf
The Role of Taxonomy and Ontology in Semantic Layers - Heather Hedden.pdfThe Role of Taxonomy and Ontology in Semantic Layers - Heather Hedden.pdf
The Role of Taxonomy and Ontology in Semantic Layers - Heather Hedden.pdfEnterprise Knowledge
 
Presentation on how to chat with PDF using ChatGPT code interpreter
Presentation on how to chat with PDF using ChatGPT code interpreterPresentation on how to chat with PDF using ChatGPT code interpreter
Presentation on how to chat with PDF using ChatGPT code interpreternaman860154
 
Data Cloud, More than a CDP by Matt Robison
Data Cloud, More than a CDP by Matt RobisonData Cloud, More than a CDP by Matt Robison
Data Cloud, More than a CDP by Matt RobisonAnna Loughnan Colquhoun
 
🐬 The future of MySQL is Postgres 🐘
🐬  The future of MySQL is Postgres   🐘🐬  The future of MySQL is Postgres   🐘
🐬 The future of MySQL is Postgres 🐘RTylerCroy
 
My Hashitalk Indonesia April 2024 Presentation
My Hashitalk Indonesia April 2024 PresentationMy Hashitalk Indonesia April 2024 Presentation
My Hashitalk Indonesia April 2024 PresentationRidwan Fadjar
 
Finology Group – Insurtech Innovation Award 2024
Finology Group – Insurtech Innovation Award 2024Finology Group – Insurtech Innovation Award 2024
Finology Group – Insurtech Innovation Award 2024The Digital Insurer
 
Injustice - Developers Among Us (SciFiDevCon 2024)
Injustice - Developers Among Us (SciFiDevCon 2024)Injustice - Developers Among Us (SciFiDevCon 2024)
Injustice - Developers Among Us (SciFiDevCon 2024)Allon Mureinik
 
A Domino Admins Adventures (Engage 2024)
A Domino Admins Adventures (Engage 2024)A Domino Admins Adventures (Engage 2024)
A Domino Admins Adventures (Engage 2024)Gabriella Davis
 

Kürzlich hochgeladen (20)

08448380779 Call Girls In Friends Colony Women Seeking Men
08448380779 Call Girls In Friends Colony Women Seeking Men08448380779 Call Girls In Friends Colony Women Seeking Men
08448380779 Call Girls In Friends Colony Women Seeking Men
 
Understanding the Laravel MVC Architecture
Understanding the Laravel MVC ArchitectureUnderstanding the Laravel MVC Architecture
Understanding the Laravel MVC Architecture
 
08448380779 Call Girls In Diplomatic Enclave Women Seeking Men
08448380779 Call Girls In Diplomatic Enclave Women Seeking Men08448380779 Call Girls In Diplomatic Enclave Women Seeking Men
08448380779 Call Girls In Diplomatic Enclave Women Seeking Men
 
Slack Application Development 101 Slides
Slack Application Development 101 SlidesSlack Application Development 101 Slides
Slack Application Development 101 Slides
 
04-2024-HHUG-Sales-and-Marketing-Alignment.pptx
04-2024-HHUG-Sales-and-Marketing-Alignment.pptx04-2024-HHUG-Sales-and-Marketing-Alignment.pptx
04-2024-HHUG-Sales-and-Marketing-Alignment.pptx
 
GenCyber Cyber Security Day Presentation
GenCyber Cyber Security Day PresentationGenCyber Cyber Security Day Presentation
GenCyber Cyber Security Day Presentation
 
Histor y of HAM Radio presentation slide
Histor y of HAM Radio presentation slideHistor y of HAM Radio presentation slide
Histor y of HAM Radio presentation slide
 
CNv6 Instructor Chapter 6 Quality of Service
CNv6 Instructor Chapter 6 Quality of ServiceCNv6 Instructor Chapter 6 Quality of Service
CNv6 Instructor Chapter 6 Quality of Service
 
The Codex of Business Writing Software for Real-World Solutions 2.pptx
The Codex of Business Writing Software for Real-World Solutions 2.pptxThe Codex of Business Writing Software for Real-World Solutions 2.pptx
The Codex of Business Writing Software for Real-World Solutions 2.pptx
 
[2024]Digital Global Overview Report 2024 Meltwater.pdf
[2024]Digital Global Overview Report 2024 Meltwater.pdf[2024]Digital Global Overview Report 2024 Meltwater.pdf
[2024]Digital Global Overview Report 2024 Meltwater.pdf
 
Maximizing Board Effectiveness 2024 Webinar.pptx
Maximizing Board Effectiveness 2024 Webinar.pptxMaximizing Board Effectiveness 2024 Webinar.pptx
Maximizing Board Effectiveness 2024 Webinar.pptx
 
A Call to Action for Generative AI in 2024
A Call to Action for Generative AI in 2024A Call to Action for Generative AI in 2024
A Call to Action for Generative AI in 2024
 
The Role of Taxonomy and Ontology in Semantic Layers - Heather Hedden.pdf
The Role of Taxonomy and Ontology in Semantic Layers - Heather Hedden.pdfThe Role of Taxonomy and Ontology in Semantic Layers - Heather Hedden.pdf
The Role of Taxonomy and Ontology in Semantic Layers - Heather Hedden.pdf
 
Presentation on how to chat with PDF using ChatGPT code interpreter
Presentation on how to chat with PDF using ChatGPT code interpreterPresentation on how to chat with PDF using ChatGPT code interpreter
Presentation on how to chat with PDF using ChatGPT code interpreter
 
Data Cloud, More than a CDP by Matt Robison
Data Cloud, More than a CDP by Matt RobisonData Cloud, More than a CDP by Matt Robison
Data Cloud, More than a CDP by Matt Robison
 
🐬 The future of MySQL is Postgres 🐘
🐬  The future of MySQL is Postgres   🐘🐬  The future of MySQL is Postgres   🐘
🐬 The future of MySQL is Postgres 🐘
 
My Hashitalk Indonesia April 2024 Presentation
My Hashitalk Indonesia April 2024 PresentationMy Hashitalk Indonesia April 2024 Presentation
My Hashitalk Indonesia April 2024 Presentation
 
Finology Group – Insurtech Innovation Award 2024
Finology Group – Insurtech Innovation Award 2024Finology Group – Insurtech Innovation Award 2024
Finology Group – Insurtech Innovation Award 2024
 
Injustice - Developers Among Us (SciFiDevCon 2024)
Injustice - Developers Among Us (SciFiDevCon 2024)Injustice - Developers Among Us (SciFiDevCon 2024)
Injustice - Developers Among Us (SciFiDevCon 2024)
 
A Domino Admins Adventures (Engage 2024)
A Domino Admins Adventures (Engage 2024)A Domino Admins Adventures (Engage 2024)
A Domino Admins Adventures (Engage 2024)
 

Proving Lower Bounds to Answer the P versus NP Problem

  • 1. Proving Lower Bounds to answer the P versus NP Question Prerna Thakral George Mason University Computer Science
  • 3. How did we get P versus NP? • Turing developed a model for his computational theory, but it failed to account • time • memory • From this – scientists divided theoretical computer science problems into two classes – P and NP.
  • 4. What does the P class hold? • P is for Polynomial Time. • Consists of all those problems whose positive solutions can be solved in an amount of time that is polynomial to the size of the input.
  • 5. What does NP class hold? • NP stands for Nondeterministic Polynomial Time. • This class consists of all those problems that can be verified in polynomial time.
  • 7. Importance and Consequences • A proof of P equals NP could have striking practical consequences. • Will lead to efficient methods for solving some important NP problems, which are fundamental to many fields such as mathematics, biology, etc. • A proof of P does not equal NP will have just as great consequences. • Will show, in a formal way, that many common problems that can be verified easily and efficiently cannot be solved efficiently.
  • 9. Limitations in Problem • A limitation is seen when computer scientists have tried to prove lower bounds on the complexity of problems in the class, NP. • Methods such as diagonalization, the use of pseudo-random generators and circuits are currently being used to prove lower bounds.
  • 10. Terminology • Diagonalization is a basic technique used to prove that the set A does not belong to complexity class C. • A combinatorial circuit is a sequence of instructions, each producing a function based on the already obtained previous functions.
  • 11. Goal of the Research • Develop a new technique in determining lower bounds by conducting an experiment between the current techniques, diagonalization, and combinatorial circuits and comparing the results to develop a new technique to answer the question whether P equals NP.
  • 13. Constants in the Experiment • Lower bounds will be computed on the Travelling Salesman Problem, an NP- complete problem. • The travelling salesman problem will include 15 cities to be toured by finding a path with the shortest distance, visiting each city only once.
  • 14. Trials One and Two • Diagonalization technique - a set and function A will be established and used to show that it does not belong to the complexity class EXP, which will conclude that set A is a part of the complexity class NP. • A circuit tree will be created from previously defined functions. Other circuit trees will also be created by limiting the depth of the tree and restricting the original set and function A.
  • 15. Trial Three • Set A will use the diagonalization technique and the combinatorial circuits simultaneously to achieve higher efficiency than efficiency that would have reached by using the two techniques individually.
  • 17. Efficiency • Efficiency will be measured by the time required to complete the technique and analyze the results to see if the technique produced anything meaningful. • Time required to find a set A, such that it does not belong to the complexity class, EXP will be important. • The time required to create these various circuit trees will also be noted, depending on whether the depth of the tree was limited or if the original function itself was restricted.
  • 18. Success • The experiment will be declared as successful if the new technique which uses the two current techniques simultaneously is seen to be more efficient than the other techniques in proving lower bounds.
  • 20. Prove P equals/does not equal NP • By knowing how to restrict my classes, P and NP, I will be able to determine that the Travelling Salesman Problem is a part of the P class. • This will allow me to determine which other NP- complete problems can be solved in polynomial time, making them a part of the P class.