Alternative names (5)
isNonSolvable • solvability • solvable • solvableFor • solvableInRandom triples
| Subject | Object |
|---|---|
| gptkb:XOR-SAT | polynomial time |
| gptkb:SL(2,_F) | true |
| gptkb:symmetric_group_S5 | true |
| gptkb:S_7 | false |
| gptkb:Potts_model | q=3 (three-state Potts model) |
| gptkb:Sliding_puzzle | Not all configurations are solvable |
| gptkb:Ising_chain | exactly |
| gptkb:dihedral_group_of_order_18 | true |
| gptkb:general_linear_group | true |
| gptkb:SL(2,3)_×_C2 | true |
| gptkb:BS(m,_n) | if m=±1 or n=±1 |
| gptkb:special_linear_group_of_2x2_integer_matrices | true |
| gptkb:GL(2,C) | false |
| gptkb:symmetric_group_S_3 | true |
| gptkb:Alternating_group | false for n>=5 |
| gptkb:symmetric_group_S_{n-1} | false for n-1 >= 5 |
| gptkb:eight-vertex_model | yes |
| gptkb:D_{12} | true |
| gptkb:Yang–Gaudin_model | arbitrary coupling strength |
| gptkb:n-puzzle | depends on parity of inversions |