Alternative names (5)
isNonSolvable • solvability • solvable • solvableFor • solvableInRandom triples
| Subject | Object |
|---|---|
| gptkb:symmetric_group_S_{2^n} | false (for n > 2) |
| gptkb:BS(m,_n) | if m=±1 or n=±1 |
| gptkb:2SAT | polynomial time |
| gptkb:symmetric_group_S11 | false |
| gptkb:S_4 | true |
| gptkb:Rubik's_Magic | yes |
| gptkb:massive_Thirring_model | yes |
| gptkb:Ising_chain | exactly |
| gptkb:Alternating_group | false for n>=5 |
| gptkb:Trisection_of_the_angle | some special angles (e.g., 90°, 180°) |
| gptkb:D_{12} | true |
| gptkb:Diophantine_problem | undecidable in general |
| gptkb:Mattis_model | yes |
| gptkb:symmetric_group_S5 | true |
| gptkb:Mattis-Lieb_model | yes |
| gptkb:Directed_Hamiltonian_Path | Exponential time (in general case) |
| gptkb:dihedral_group_of_order_10 | true |
| gptkb:GL(2,5) | false |
| gptkb:symmetric_group_S23 | false |
| gptkb:dihedral_group_D_4 | true |