|
gptkbp:instance_of
|
gptkb:Mathematics
|
|
gptkbp:concerns_the_relationship_between
|
problems solvable in polynomial time
problems verifiable in polynomial time
|
|
gptkbp:first_appearance
|
gptkb:1971
|
|
gptkbp:has_implications_for
|
gptkb:crypt
gptkb:Artificial_Intelligence
algorithm design
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
P vs NP
|
|
gptkbp:is_a_foundational_question_in
|
gptkb:Mathematics
|
|
gptkbp:is_a_major_unsolved_problem_in
|
gptkb:computer_science
|
|
gptkbp:is_a_question_of_whether
|
NP problems can be solved in polynomial time
P equals NP
|
|
gptkbp:is_a_question_that_affects
|
gptkb:Software_Development
|
|
gptkbp:is_a_question_that_has_led_to
|
the development of new algorithms
|
|
gptkbp:is_a_question_that_has_remained_unresolved_for
|
over 50 years
|
|
gptkbp:is_a_question_that_influences
|
data security
|
|
gptkbp:is_a_subject_of
|
gptkb:philosopher
numerous research papers
computer scientists
|
|
gptkbp:is_associated_with
|
algorithm efficiency
|
|
gptkbp:is_considered_one_of_the_most_important_questions_in
|
theoretical computer science
|
|
gptkbp:is_influenced_by
|
gptkb:Quantum_Mechanics
gptkb:Graphics_Processing_Unit
gptkb:Physics
gptkb:cloud_computing
gptkb:strategy
gptkb:machine_learning
gptkb:statistical_mechanics
computer vision
financial modeling
natural language processing
network security
operations research
resource allocation
scheduling problems
bioinformatics
data mining
distributed systems
network design
optimization problems
complex systems
information retrieval
social network analysis
cryptographic protocols
database theory
computational biology
algorithmic game theory
|
|
gptkbp:is_often_described_as
|
Can every problem whose solution can be quickly verified be quickly solved?
|
|
gptkbp:is_often_discussed_in
|
gptkb:quantum_computing
gptkb:NP-completeness
|
|
gptkbp:is_often_illustrated_with_examples_such_as
|
the traveling salesman problem
|
|
gptkbp:is_one_of_the_seven
|
gptkb:Millennium_Prize_Problems
|
|
gptkbp:is_related_to
|
complexity theory
|
|
gptkbp:proposed_by
|
gptkb:Stephen_Cook
|
|
gptkbp:topics
|
computational complexity theory
|
|
gptkbp:bfsParent
|
gptkb:Cook's_theorem
|
|
gptkbp:bfsLayer
|
6
|