Revision #1725 → #2191 · back to history
modifiedPrimality testing instance9354d69ce6bc
| Field | From #1725 | To #2191 |
|---|
| mathlib.match_kind | — | invocation |
modifiedInstance as string over an alphabet77f65e368822
| Field | From #1725 | To #2191 |
|---|
| mathlib.match_kind | — | generalization |
addedGraph encoding via adjacency matrixb6eebb08b077
modifiedDecision problemf73b86acb908
| Field | From #1725 | To #2191 |
|---|
| mathlib.match_kind | — | generalization |
modifiedGraph connectivity decision problem46a880d7fb56
| Field | From #1725 | To #2191 |
|---|
| mathlib.match_kind | — | invocation |
modifiedWorst-case time complexity253578e2296a
| Field | From #1725 | To #2191 |
|---|
| mathlib.match_kind | — | generalization |
modifiedEquivalence of deterministic machine models279ea0750e4e
| Field | From #1725 | To #2191 |
|---|
| mathlib.match_kind | — | special_case |
modifiedTime required by a Turing machine6571885d332c
| Field | From #1725 | To #2191 |
|---|
| mathlib.match_kind | — | invocation |
modifiedComplexity class Pd14aa02b376d
| Field | From #1725 | To #2191 |
|---|
| mathlib.match_kind | — | invocation |
modifiedReductione7bb7a21f897
| Field | From #1725 | To #2191 |
|---|
| mathlib.match_kind | — | generalization |
addedP versus NP problemb19590b66fe5
addedHamiltonian path problem6a6ab9b9d132
addedVertex cover problem69e5e9886eed
modifiedGraph isomorphism problem03e8c9553a2c
| Field | From #1725 | To #2191 |
|---|
| mathlib.match_kind | — | invocation |
addedPolynomial hierarchy7ffafe45ba89
modifiedInteger factorization problem91107ee26cda
| Field | From #1725 | To #2191 |
|---|
| mathlib.match_kind | — | invocation |
modifiedPresburger arithmetic not in Pe3557cb85f99
| Field | From #1725 | To #2191 |
|---|
| mathlib.match_kind | — | invocation |
addedKnapsack problemaf7057e68362
addedEuclidean algorithm runtime2b3c800942ed