Alternative names (5)
isNonSolvable • solvability • solvable • solvableFor • solvableInRandom triples
| Subject | Object |
|---|---|
| gptkb:Trivial_group | true |
| gptkb:symmetric_group_S8 | false |
| gptkb:dihedral_group_of_order_6 | true |
| gptkb:Dihedral_group_of_order_12 | true |
| gptkb:1-SAT | linear time |
| gptkb:n-puzzle | depends on parity of inversions |
| gptkb:S_n | true (if n<=4) |
| gptkb:P_(complexity_class) | polynomial time |
| gptkb:2SAT | polynomial time |
| gptkb:15_puzzle | only half of initial positions are solvable |
| gptkb:Mattis_model | yes |
| gptkb:symmetric_group_S_{n-1} | false for n-1 >= 5 |
| gptkb:Diophantine_problem | undecidable in general |
| gptkb:symmetric_group_S_9 | false |
| gptkb:Ising_Hamiltonian | exactly in 2D (no field) |
| gptkb:S_3 | true |
| gptkb:Mattis-Lieb_model | yes |
| gptkb:symmetric_group_S23 | false |
| gptkb:Sym(5) | false |
| gptkb:Directed_Hamiltonian_Path | Exponential time (in general case) |