User contributions for Edemaine
A user with 492 edits. Account created on 22 September 2002.
10 February 2024
- 17:5717:57, 10 February 2024 diff hist +152 Mathematical induction →Formalization {{anchor|Axiom of induction}}: Link to where to find a proof of induction via ZF
17 November 2023
- 00:0100:01, 17 November 2023 diff hist +222 Talk:Schaefer's dichotomy theorem Reply Tag: Reply
- 00:0000:00, 17 November 2023 diff hist +749 Schaefer's dichotomy theorem Resolve issues in #CSP dichotomy
16 November 2023
- 23:4223:42, 16 November 2023 diff hist +686 Parameterized complexity →W hierarchy: Weighted i-Normalized Satisfiability
9 November 2023
- 18:5218:52, 9 November 2023 diff hist +539 Ptolemy's inequality Tetrahedron case current
4 October 2023
- 23:0923:09, 4 October 2023 diff hist +555 Parity P Add ⊕SAT as an example of a ⊕P-complete problem
17 June 2023
- 20:1020:10, 17 June 2023 diff hist −5 m Tangent Fix {{cite book}}
27 April 2023
- 20:0320:03, 27 April 2023 diff hist −34 Vertex cover →References: Fix Flum-Grohe link
5 July 2022
- 14:1714:17, 5 July 2022 diff hist 0 m Burroughs Wellcome Fund →Activities: quote typo
4 May 2022
- 22:0122:01, 4 May 2022 diff hist 0 Moment (mathematics) →Mixed moments: Notational fixes
13 March 2022
- 21:5421:54, 13 March 2022 diff hist +43 Kawasaki's theorem Correct claim about rigid origami needing more conditions (that is only when mountains and valleys are specified)
30 December 2021
- 03:4903:49, 30 December 2021 diff hist +84 White chocolate →Regulations: Add US cacao fat regulation and fix quotes
4 March 2021
- 18:5518:55, 4 March 2021 diff hist +225 Persistent array →Log-log-time: Add Dietz reference
1 October 2020
- 22:1022:10, 1 October 2020 diff hist −1 Paper bag problem Improve Kepert link (more images)
31 March 2020
- 01:5201:52, 31 March 2020 diff hist −1 m Pointer machine typo fix
12 January 2020
- 15:5815:58, 12 January 2020 diff hist 0 Seth Lloyd Corrected Epstein grant dollar amount, as reported in January 2020 report
22 May 2019
- 15:5715:57, 22 May 2019 diff hist +326 Sharp-SAT Add Valiant reference, Software section
- 15:5015:50, 22 May 2019 diff hist +207 m Sharp-SAT →#Horn-SAT: fill in reference
- 15:4815:48, 22 May 2019 diff hist 0 m Sharp-SAT →Intractable special cases: typo in cite
- 15:4615:46, 22 May 2019 diff hist +431 Sharp-SAT →Intractable special cases: Make #2SAT and #Horn-SAT equally prominant
19 May 2019
- 19:3119:31, 19 May 2019 diff hist +4 Parsimonious reduction →Formal definition: Fix spacing typos
3 May 2019
- 14:2214:22, 3 May 2019 diff hist +11 m Area (graph drawing) Clarify multiplication, not grid dimensions
2 May 2019
- 16:4416:44, 2 May 2019 diff hist +812 Oriented coloring Make definition clearer, add some survey references I found
18 April 2019
- 19:2519:25, 18 April 2019 diff hist 0 m Circuit satisfiability problem →The Tseitin transformation
14 August 2017
- 15:3815:38, 14 August 2017 diff hist +61 m Tango tree Add URL to paper
- 15:3715:37, 14 August 2017 diff hist +398 m Mihai Pătrașcu (computer scientist) Add URLs for papers
- 15:3415:34, 14 August 2017 diff hist +136 m Interleave lower bound Add paper links
26 September 2016
- 20:1620:16, 26 September 2016 diff hist +101 AVL tree →External links: add HTML5 demo
- 19:5619:56, 26 September 2016 diff hist +12 AVL tree →Comparison to other structures: logarithmic nonrotation updates
- 19:3319:33, 26 September 2016 diff hist +427 AVL tree both AVL and red-black trees use O(1) rotations worst case, not Theta(log n) as claimed
28 March 2016
- 13:5813:58, 28 March 2016 diff hist −8 m Anni Albers link fix
18 November 2015
- 20:3520:35, 18 November 2015 diff hist +151 Ron Resch birth and death
30 July 2015
- 23:5723:57, 30 July 2015 diff hist −43 m MAX-3SAT update Hastad ref
- 23:4423:44, 30 July 2015 diff hist +282 MAX-3SAT add Hastad reference
24 May 2015
- 17:4917:49, 24 May 2015 diff hist +44 m Pinwheel tiling fix citeseer links
4 May 2015
- 21:0121:01, 4 May 2015 diff hist −11 User:Edemaine No edit summary current
13 December 2014
- 23:2923:29, 13 December 2014 diff hist +2 m Approximation-preserving reduction typo
- 23:2823:28, 13 December 2014 diff hist 0 m APX →f(n)-APX: *min* dominating set
- 23:2723:27, 13 December 2014 diff hist +2 m APX →APX-Intermediate: typos
- 23:2723:27, 13 December 2014 diff hist +3 APX →Examples: bounded degree edits
- 23:2623:26, 13 December 2014 diff hist −103 APX →Examples: remove 3SAT-B -- need B >= 3, and then it follows trivially
31 July 2014
- 00:1400:14, 31 July 2014 diff hist +917 N Shakashaka start
17 July 2014
- 22:2022:20, 17 July 2014 diff hist +488 Numberlink NP-completeness
10 July 2014
- 14:0414:04, 10 July 2014 diff hist +159 A K Peters Klaus Peters death
26 May 2014
- 23:0523:05, 26 May 2014 diff hist +56 Key-independent optimality correct first paragraph
- 23:0123:01, 26 May 2014 diff hist +56 Geometry of binary search trees add NP-completeness reference
- 22:5522:55, 26 May 2014 diff hist +5 Cache-oblivious distribution sort clean up bound
- 22:5322:53, 26 May 2014 diff hist +9 m Funnelsort →Lazy Funnelsort: year, period
- 22:5222:52, 26 May 2014 diff hist +416 Funnelsort clean up Prokop refs
- 22:2122:21, 26 May 2014 diff hist +383 Funnelsort fix Brodal-Fagerberg reference
