P (complexity class)

GPTKB entity

Statements (54)
Predicate Object
gptkbp:instanceOf theoretical computer science
gptkbp:contains gptkb:language
decision problems
gptkbp:contrastsWith gptkb:PSPACE
gptkb:NP_(complexity_class)
gptkb:EXP_(complexity_class)
gptkbp:definedIn deterministic Turing machine
gptkbp:example sorting
linear programming
maximum flow
primality testing
bipartite matching
shortest path
gptkbp:fullName Polynomial time
gptkbp:hasProperty closure under deterministic polynomial-time reductions
closure under Kleene star
closure under Turing reductions
closure under complement
closure under composition
closure under concatenation
closure under homomorphism
closure under intersection
closure under inverse homomorphism
closure under logspace reductions
closure under many-one reductions
closure under polynomial-time reductions
closure under projection
closure under quotient
closure under rational transduction
closure under regular operations
closure under reversal
closure under substitution
closure under truth-table reductions
closure under union
gptkbp:hasSubgroup gptkb:PSPACE
gptkb:NP_(complexity_class)
gptkb:EXP_(complexity_class)
https://www.w3.org/2000/01/rdf-schema#label P (complexity class)
gptkbp:introduced gptkb:John_Nash
gptkb:Jack_Edmonds
gptkbp:introducedIn 1960s
gptkbp:isSolvable polynomial time
gptkbp:notation P
gptkbp:openProblem gptkb:P_vs_NP_problem
gptkbp:relatedTo gptkb:co-NP
gptkb:BPP_(complexity_class)
gptkb:L_(complexity_class)
gptkb:NL_(complexity_class)
gptkb:PH_(polynomial_hierarchy)
gptkb:RP_(complexity_class)
gptkb:ZPP_(complexity_class)
gptkbp:studiedIn theoretical computer science
gptkbp:bfsParent gptkb:P_vs_NP_problem
gptkbp:bfsLayer 5