NP languages

URI: https://gptkb.org/entity/NP_languages

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:theoretical_computer_science
gptkbp:contains	gptkb:Hamiltonian_cycle_problem gptkb:Hamiltonian_path_problem gptkb:Traveling_salesman_problem gptkb:3-coloring_problem gptkb:3SAT gptkb:Boolean_satisfiability_problem gptkb:Exact_cover_by_3-sets gptkb:Exact_cover_problem gptkb:Independent_set_problem gptkb:Integer_programming gptkb:Knapsack_problem gptkb:Longest_path_problem gptkb:Maximum_cut_problem gptkb:Minimum_cut_problem gptkb:Monotone_satisfiability gptkb:Not-All-Equal_3SAT gptkb:Set_cover_problem gptkb:Set_splitting_problem gptkb:Steiner_tree_problem gptkb:SAT gptkb:Clique_problem gptkb:Graph_coloring_problem gptkb:Subset_sum_problem gptkb:Traveling_salesman_problem_(decision_version) gptkb:Vertex_cover_problem Feedback vertex set Partition problem
gptkbp:definedIn	languages decidable by a nondeterministic Turing machine in polynomial time
gptkbp:hasSubgroup	recursively enumerable languages
gptkbp:relatedTo	gptkb:nondeterministic_Turing_machine gptkb:PSPACE gptkb:P_vs_NP_problem gptkb:co-NP gptkb:NP-hard gptkb:NP_(nondeterministic_polynomial_time) polynomial time NP-complete deterministic Turing machine
gptkbp:bfsParent	gptkb:nondeterministic_Turing_machine
gptkbp:bfsLayer	6
https://www.w3.org/2000/01/rdf-schema#label	NP languages