Alternative names (5)
isNonSolvable • solvability • solvable • solvableFor • solvableInRandom triples
| Subject | Object |
|---|---|
| gptkb:upper_triangular_matrix_group | true |
| gptkb:Ising_Hamiltonian | exactly in 1D |
| gptkb:15_puzzle | only half of initial positions are solvable |
| gptkb:Sym(7) | false |
| gptkb:Sachdev-Ye-Kitaev_model | large-N limit |
| gptkb:GL(2,3) | true |
| gptkb:octahedral_group | true |
| gptkb:S_n | false (if n>=5) |
| gptkb:Generalized_Word_Problem_for_Groups | free groups |
| gptkb:3SAT | exponential time (worst case) |
| gptkb:XOR-SAT | polynomial time |
| gptkb:Ising_chain | exactly |
| gptkb:P_(complexity_class) | polynomial time |
| gptkb:S_n | true (if n<=4) |
| gptkb:alternating_group_A_4 | true |
| gptkb:Aut(A_6) | false |
| gptkb:BS(m,_n) | if m=±1 or n=±1 |
| gptkb:S_4 | true |
| gptkb:SL(2,_F) | true |
| gptkb:circuit_value_problem | polynomial time |