Savitch's theorem: Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 12:5312:53, 10 February 2024‎ CJDOS talk contribs‎ m 7,388 bytes −119‎ No explanatory footnotes found; cleaned up short citation and reference display, removed obsolete parameter and excessive line-breaks. undo
curprev 12:3412:34, 10 February 2024‎ CJDOS talk contribs‎ m 7,507 bytes −32‎ Removed horizontal line and unused Reflist group name. undo

curprev 22:3322:33, 22 October 2023‎ David Eppstein talk contribs‎ 7,539 bytes −1‎ Undid revision 1181414830 by Maxeto0910 (talk) that is merely a coincidence arising from the format of this article's short description. As a general rule see-also links do not use periods and I see no exception for this case. undo Tag: Undo
curprev 22:1022:10, 22 October 2023‎ Maxeto0910 talk contribs‎ 7,540 bytes +1‎ Undid revision 1181364985 by David Eppstein (talk); It is a sentence, as a sentence is defined as a set of words complete in itself, containing a subject (here "Nondeterministic space complexity classes") and a predicate (here "are closed under complementation"). Please link a corresponding guideline that states that see also sections shouldn't have periods in them. undo Tags: Undo Reverted Mobile edit Mobile web edit Advanced mobile edit
curprev 16:2716:27, 22 October 2023‎ David Eppstein talk contribs‎ 7,539 bytes −1‎ Undid revision 1181319057 by Maxeto0910 (talk) that is not a sentence and see-also sections do not use periods undo Tags: Undo Reverted
curprev 08:4208:42, 22 October 2023‎ Maxeto0910 talk contribs‎ m 7,540 bytes +1‎ period after sentence undo Tags: Reverted Visual edit Mobile edit Mobile web edit Advanced mobile edit

curprev 00:4800:48, 26 June 2023‎ David Eppstein talk contribs‎ 7,539 bytes +14‎ →‎See also: annotated link undo

curprev 22:4522:45, 8 April 2023‎ 131.111.5.184 talk‎ 7,525 bytes −24‎ →‎Proof: Amended an error where the proof used nondeterministic choice in necessarily a deterministic algorithm. undo Tag: Visual edit

curprev 06:3706:37, 29 December 2022‎ David Eppstein talk contribs‎ 7,549 bytes −29‎ Short description was too long, shorten it undo

curprev 07:3907:39, 14 December 2022‎ David Eppstein talk contribs‎ 7,578 bytes +249‎ →‎Corollaries: ce undo
curprev 07:3507:35, 14 December 2022‎ David Eppstein talk contribs‎ 7,329 bytes −978‎ →‎Proof: rewrite much less technically undo

curprev 01:1601:16, 19 October 2022‎ David Eppstein talk contribs‎ 8,307 bytes +35‎ move exponential time hypothesis into main text undo

curprev 21:4521:45, 18 June 2021‎ 84.245.120.107 talk‎ 8,272 bytes +125‎ →‎Proof: edges may be implicit undo
curprev 21:3921:39, 18 June 2021‎ 84.245.120.107 talk‎ 8,147 bytes −18‎ →‎lede: rm excessive parens undo
curprev 21:3821:38, 18 June 2021‎ 84.245.120.107 talk‎ 8,165 bytes +475‎ →‎Proof: improve presentation, finish reasoning to complete the result undo

curprev 23:5923:59, 15 June 2021‎ 84.245.120.107 talk‎ 6,527 bytes +327‎ →‎Proof: we're talking about auxiliary space undo

curprev 21:1321:13, 8 June 2020‎ ArnoldReinhold talk contribs‎ 6,200 bytes +120‎ Adding local short description: "Problems solvable nondeterministically in space S may be solved deterministically in space O(S²)", overriding Wikidata description "theorem that problems solvable nondeterministically in space S may be solved deterministically in space O(S²)" (Shortdesc helper) undo

curprev 18:2918:29, 11 May 2020‎ DannyS712 bot talk contribs‎ m 6,080 bytes +18‎ Task 70: Update syntaxhighlight tags - remove use of deprecated <source> tags undo Tag: AWB

curprev 19:0519:05, 13 April 2020‎ OAbot talk contribs‎ m 6,062 bytes +49‎ Open access bot: hdl added to citation with #oabot. undo

curprev 16:2616:26, 18 December 2019‎ InternetArchiveBot talk contribs‎ 6,013 bytes +71‎ Bluelinking 1 books for verifiability.) #IABot (v2.1alpha3 undo

curprev 19:0119:01, 30 November 2019‎ Frap talk contribs‎ 5,942 bytes +37‎ →‎Proof: type hint undo

curprev 16:2616:26, 30 September 2019‎ David Eppstein talk contribs‎ m 5,905 bytes +17‎ Reverted edits by 106.211.192.238 (talk) to last version by InternetArchiveBot undo Tag: Rollback
curprev 16:0716:07, 30 September 2019‎ 106.211.192.238 talk‎ 5,888 bytes −17‎ →‎Proof undo Tags: Mobile edit Mobile web edit

curprev 14:1214:12, 7 September 2019‎ InternetArchiveBot talk contribs‎ 5,905 bytes +93‎ Bluelinking 1 books for verifiability.) #IABot (v2.1alpha3 undo

curprev 17:2117:21, 26 June 2019‎ David Eppstein talk contribs‎ 5,812 bytes +34‎ →‎See also: Exponential time hypothesis undo

curprev 12:4112:41, 4 January 2019‎ Tyilo talk contribs‎ m 5,778 bytes 0‎ →‎Proof undo

curprev 08:2208:22, 17 April 2017‎ Cedar101 talk contribs‎ m 5,778 bytes +34‎ sans-serif(\mathsf) for complexity classes undo

curprev 18:2418:24, 18 January 2017‎ David Eppstein talk contribs‎ m 5,744 bytes +2,285‎ Reverted edits by Hriton4 (talk) to last version by 128.189.133.101 undo
curprev 17:5017:50, 18 January 2017‎ Hriton4 talk contribs‎ m 3,459 bytes −682‎ →‎References undo
curprev 17:5017:50, 18 January 2017‎ Hriton4 talk contribs‎ 4,141 bytes −1,603‎ →‎Proof undo

curprev 23:1223:12, 14 January 2017‎ 128.189.133.101 talk‎ 5,744 bytes 0‎ →‎Proof undo
curprev 22:5422:54, 14 January 2017‎ 128.189.133.101 talk‎ 5,744 bytes −4‎ →‎Proof undo

curprev 15:0015:00, 31 January 2016‎ BD2412 talk contribs‎ m 5,748 bytes +9‎ →‎Proof: Fixing links to disambiguation pages, replaced: [[graph (mathematics)# → [[Graph (discrete mathematics)# using AWB undo

curprev 15:1515:15, 19 December 2014‎ Petrb talk contribs‎ m 5,739 bytes +590‎ Reverted edits by 59.178.54.227 (talk): unexplained content removal (HG) undo
curprev 15:1415:14, 19 December 2014‎ 59.178.54.227 talk‎ 5,149 bytes −590‎ →‎Proof undo

curprev 14:4714:47, 12 September 2014‎ Elaz85 talk contribs‎ 5,739 bytes −27‎ →‎Proof: Make the code it actually python, shorter and simpler undo

curprev 22:1822:18, 13 June 2014‎ 190.46.231.11 talk‎ 5,766 bytes −10‎ No edit summary undo

curprev 20:5220:52, 3 December 2013‎ 129.10.110.48 talk‎ 5,776 bytes +1‎ →‎Proof undo
curprev 20:4920:49, 3 December 2013‎ 129.10.110.48 talk‎ 5,775 bytes +680‎ No edit summary undo
curprev 20:3720:37, 3 December 2013‎ 129.10.110.48 talk‎ 5,095 bytes −97‎ No edit summary undo

curprev 21:3521:35, 26 July 2013‎ Letshaveanadventure talk contribs‎ m 5,192 bytes +8‎ →‎Feel free to remove the link to Python if you don't think it helps. Added it b/c (i) All else equal, I prefer more bridges between pure and applied computer science, and (ii) Who doesn't love Python? :) undo Tag: Visual edit
curprev 21:2521:25, 26 July 2013‎ Letshaveanadventure talk contribs‎ 5,184 bytes +34‎ →‎Proof undo
curprev 21:2221:22, 26 July 2013‎ Letshaveanadventure talk contribs‎ m 5,150 bytes +76‎ →‎Proof undo Tag: Visual edit

10 February 2024

22 October 2023

26 June 2023

8 April 2023

29 December 2022

14 December 2022

19 October 2022

18 June 2021

16 June 2021

15 June 2021

8 June 2020

11 May 2020

13 April 2020

18 December 2019

30 November 2019

30 September 2019

7 September 2019

26 June 2019

4 January 2019

17 April 2017

18 January 2017

14 January 2017

31 January 2016

19 December 2014

12 September 2014

13 June 2014

3 December 2013

26 July 2013