Alternative names (5)
isNonSolvable • solvability • solvable • solvableFor • solvableInRandom triples
| Subject | Object |
|---|---|
| gptkb:Affleck-Kennedy-Lieb-Tasaki_(AKLT)_model | exactly |
| gptkb:S_5 | false |
| gptkb:XOR-SAT | polynomial time |
| gptkb:solvable_Baumslag–Solitar_group | true |
| gptkb:3SAT | exponential time (worst case) |
| gptkb:symmetric_group_S6 | false |
| gptkb:symmetric_group_S_5 | false |
| gptkb:symmetric_groups | for n ≤ 4 |
| gptkb:eight-vertex_model | yes |
| gptkb:symmetric_group_S_{n-1} | true for n-1 < 5 |
| gptkb:upper_triangular_matrix_group | true |
| gptkb:Potts_model | q=3 (three-state Potts model) |
| gptkb:general_linear_group | true |
| gptkb:Sym(7) | false |
| gptkb:symmetric_group_S3 | true |
| gptkb:GL(2,C) | false |
| gptkb:S_7 | false |
| gptkb:symmetric_group_S24 | false |
| gptkb:exclusive-or_satisfiability | polynomial time |
| gptkb:cyclic_group_of_order_8 | true |