Підтримка
www.wikidata.uk-ua.nina.az
Spisok Karpa spisok sho skladayetsya z formulyuvannya ta dovedennya NP povnoti 21 zadachi opublikovanij Richardom Karpom u 1972 roci u svoyij praci Zvodimist mizh kombinatornimi zadachami angl Reducibility Among Combinatorial Problems Spisok zadachZadacha zdijsnennosti bulovih formul angl SAT Binarne cilochiselne programuvannya angl 1 0 integer programming Zadacha pro kliku angl Clique Zadacha pakuvannya mnozhini angl Set packing Zadacha pro vershinne pokrittya angl Vertex Cover Zadacha pro pokrittya mnozhini angl Set Covering angl Feedback Vertex Set angl Feedback Arc Set Zadacha poshuku oriyentovanogo gamiltonova cikla angl Hamiltonian path problem u viznacheni Karpa angl Directed Hamilton Circuit Zadacha poshuku neoriyentovanogo gamiltonova cikla angl Hamiltonian path problem u viznacheni Karpa angl Undirected Hamilton Circuit angl 3 SAT Zadacha rozfarbuvannya grafu angl Graph coloring angl Clique cover angl Exact cover Zadacha pro vershinne pokrittya u gipergrafah angl Vertex cover in hypergraphs Zadacha dereva Shtajnera angl Steiner tree problem angl 3 dimensional matching Zadacha pakuvannya ryukzaka angl Knapsack problem angl Job sequencing Problema rozbittya angl Partition problem angl Maximum cut Div takozhPosilannya Reducibility Among Combinatorial Problems 29 chervnya 2011 u Wayback Machine R Karp 1972 rik angl DzherelaStephen Cook 1971 Proceedings of the third annual ACM symposium on Theory of computing s 151 158 Arhiv originalu za 6 serpnya 2020 Procitovano 5 veresnya 2017 Richard M Karp 1972 PDF U R E Miller and J W Thatcher editors red Complexity of Computer Computations New York Plenum s 85 103 Arhiv originalu PDF za 10 lyutogo 2021 Procitovano 5 veresnya 2017 Zuckerman David 1996 SIAM Journal on Computing 25 6 1293 1304 doi 10 1137 S0097539794266407 Arhiv originalu za 11 serpnya 2006 Procitovano 5 veresnya 2017
Топ