hasPolynomialTimeAlgorithm
5
triples
GPTKB property
Random triples
Subject | Object |
---|---|
gptkb:MAX-CUT_problem | no (unless P=NP) |
gptkb:X3C | unknown (believed not to exist) |
gptkb:3-satisfiability | no (unless P=NP) |
gptkb:Boolean_satisfiability_problem_(SAT) | false |
gptkb:2SAT | true |