Statements (18)
Predicate | Object |
---|---|
gptkbp:instanceOf |
theoretical computer science
|
gptkbp:application |
puzzle solving
sudoku polyomino tiling |
gptkbp:complexity |
NP-complete
|
gptkbp:definedIn |
Given a set and a collection of its subsets, does there exist a subcollection that partitions the set?
|
gptkbp:field |
gptkb:mathematics
computer science |
https://www.w3.org/2000/01/rdf-schema#label |
Exact cover problem
|
gptkbp:introduced |
gptkb:Donald_Knuth
|
gptkbp:introducedIn |
1970s
|
gptkbp:relatedTo |
gptkb:XOR-SAT
Boolean satisfiability problem set cover problem |
gptkbp:solvedBy |
gptkb:Algorithm_X
gptkb:Dancing_Links |
gptkbp:bfsParent |
gptkb:NP_languages
|
gptkbp:bfsLayer |
6
|