Revision #3279 → #3804 · back to history
modifiedTime complexity29f4c0ca5bd2
| Field | From #3279 | To #3804 |
|---|
| mathlib.match_kind | — | invocation |
| mathlib.module | Mathlib.Computability.TMComputable | Mathlib.Computability.TuringMachine.Computable |
| moderation_proposal.fields | {"mathlib":{"decl":"Turing.TM2ComputableInTime","module":"Mathlib.Computability.TuringMachine.Computable","match_kind":"invocation"}} | — |
| moderation_proposal.reason | Verified decl exists but lives in Mathlib.Computability.TuringMachine.Computable, not the cited TMComputable module. | — |
modifiedWorst-case time complexity09c469bd44ed
| Field | From #3279 | To #3804 |
|---|
| mathlib.match_kind | — | invocation |
| mathlib.module | Mathlib.Computability.TMComputable | Mathlib.Computability.TuringMachine.Computable |
| moderation_proposal.fields | {"mathlib":{"decl":"Turing.TM2ComputableInTime","module":"Mathlib.Computability.TuringMachine.Computable","match_kind":"invocation"}} | — |
| moderation_proposal.reason | Verified decl module is Mathlib.Computability.TuringMachine.Computable, not TMComputable. | — |
modifiedLinear and polynomial time classificationd4fae719597d
| Field | From #3279 | To #3804 |
|---|
| mathlib.match_kind | — | invocation |
| mathlib.module | Mathlib.Computability.TMComputable | Mathlib.Computability.TuringMachine.Computable |
| moderation_proposal.fields | {"mathlib":{"decl":"Turing.TM2ComputableInPolyTime","module":"Mathlib.Computability.TuringMachine.Computable","match_kind":"invocation"}} | — |
| moderation_proposal.reason | Verified decl module is Mathlib.Computability.TuringMachine.Computable, not TMComputable. | — |
modifiedPolynomial time53f05619a6b8
| Field | From #3279 | To #3804 |
|---|
| mathlib.module | Mathlib.Computability.TMComputable | Mathlib.Computability.TuringMachine.Computable |
| moderation_proposal.fields | {"mathlib":{"decl":"Turing.TM2ComputableInPolyTime","module":"Mathlib.Computability.TuringMachine.Computable","match_kind":"exact"}} | — |
| moderation_proposal.reason | Verified decl module is Mathlib.Computability.TuringMachine.Computable, not the cited TMComputable. | — |
modifiedClass Pccdacc80793f
| Field | From #3279 | To #3804 |
|---|
| mathlib.match_kind | — | invocation |
| mathlib.module | Mathlib.Computability.TMComputable | Mathlib.Computability.TuringMachine.Computable |
| moderation_proposal.fields | {"mathlib":{"decl":"Turing.TM2ComputableInPolyTime","module":"Mathlib.Computability.TuringMachine.Computable","match_kind":"invocation"}} | — |
| moderation_proposal.reason | Verified decl module is Mathlib.Computability.TuringMachine.Computable, not TMComputable. | — |
addedMerge sortecda8615c7eb
addedQuicksort6ce9e8223b53
addedFast Fourier transform1889b172830e
addedP vs NP problembf9abdc0f1cc