Cook–Levin 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 01:1501:15, 26 May 2024 David Eppstein talk contribs 19,605 bytes −20 rm strangely specific qualification undo

curprev 09:5109:51, 27 March 2024 AmirOnWiki talk contribs 19,625 bytes +151 Historical justice undo

curprev 22:4922:49, 19 March 2024 Mazewaxie talk contribs m 19,474 bytes +2 WP:GENFIXES undo Tag: AWB

curprev 11:4211:42, 17 March 2024 SampleNotation talk contribs 19,472 bytes −45 revert edit undo Tag: Manual revert
curprev 09:2809:28, 17 March 2024 2409:4070:430f:f467::170b:c0a5 talk 19,517 bytes +21 No edit summary undo Tags: Reverted Mobile edit Mobile web edit
curprev 09:2109:21, 17 March 2024 2409:4070:430f:f467::170b:c0a5 talk 19,496 bytes +24 No edit summary undo Tags: Reverted Mobile edit Mobile web edit

curprev 21:4021:40, 9 March 2024 Artemetra talk contribs m 19,472 bytes 0 update year undo

curprev 15:3815:38, 8 November 2023 Tea2min talk contribs m 19,472 bytes +16 Reverted 1 edit by 138.51.92.124 (talk) to last revision by Jochen Burghardt undo Tags: Twinkle Undo
curprev 15:3615:36, 8 November 2023 138.51.92.124 talk 19,456 bytes −16 Undid revision 1184137005 by Jochen Burghardt (talk). Jochen Burghardt is a character with a maxxed out pusilanimity stat. undo Tags: Undo Reverted Disambiguation links added
curprev 15:2515:25, 8 November 2023 Jochen Burghardt talk contribs m 19,472 bytes +16 Reverted 1 edit by 138.51.92.124 (talk) to last revision by Marc Schroeder undo Tags: Twinkle Undo Reverted
curprev 15:1215:12, 8 November 2023 138.51.92.124 talk 19,456 bytes −16 Cook and Levin are just aliases, please respect them and use their real names, thanks. (Very offended) undo Tags: Reverted Disambiguation links added

curprev 00:2000:20, 25 October 2023 Marc Schroeder talk contribs m 19,472 bytes −287 more compact reference to {{Garey-Johnson}}, using template undo

curprev 11:1211:12, 1 October 2023 Ncfishy talk contribs m 19,759 bytes −84 Dead link. Removed. undo Tag: Visual edit

curprev 00:4800:48, 30 September 2023 CaptainAngus talk contribs m 19,843 bytes −1 →Proof: Fixed misspelling(s) found by Wikipedia:Typo Team/moss undo Tag: Visual edit

curprev 13:1513:15, 24 September 2023 AmirOnWiki talk contribs 19,844 bytes +157 Karp's contribution, more precisely undo

curprev 08:3208:32, 13 September 2023 Jochen Burghardt talk contribs 19,687 bytes +25 →Proof: give page range in source undo
curprev 08:3008:30, 13 September 2023 Jochen Burghardt talk contribs 19,662 bytes +229 →Proof: adding 2 missing conjunct groups, see talk, overall complexity isn't affected; use "\log" undo

curprev 21:0821:08, 31 August 2023 Citation bot talk contribs 19,433 bytes −74 Removed proxy/dead URL that duplicated identifier. | Use this bot. Report bugs. | Suggested by Abductive | Category:Theorems in computational complexity theory | #UCB_Category 16/21 undo

curprev 08:4908:49, 18 August 2023 OAbot talk contribs m 19,507 bytes +18 Open access bot: doi updated in citation with #oabot. undo

curprev 15:0515:05, 24 July 2023 Citation bot talk contribs 19,489 bytes +26 Alter: title, pages, book-title. Add: doi. | Use this bot. Report bugs. | #UCB_CommandLine 82/8263 undo

curprev 12:4812:48, 31 May 2023 152.66.242.140 talk 19,463 bytes +1 No edit summary undo

curprev 15:5015:50, 22 May 2023 Jochen Burghardt talk contribs 19,462 bytes +322 convert to <math> (this format seems best since \bigvee and {array} is used) undo
curprev 14:4814:48, 22 May 2023 Jochen Burghardt talk contribs 19,140 bytes −1 →Proof: uniquely use "literals" here, to reduce confusion undo
curprev 14:4614:46, 22 May 2023 Jochen Burghardt talk contribs 19,141 bytes +6 →Consequences: mention abbrev. "CNF" which is used in the 1st image undo
curprev 14:4414:44, 22 May 2023 Jochen Burghardt talk contribs 19,135 bytes +6 →Proof: introduce B here undo

curprev 07:2707:27, 9 May 2023 Jochen Burghardt talk contribs 19,129 bytes +386 →Proof: remark on effective computability of reduction undo

curprev 22:3922:39, 8 May 2023 David Eppstein talk contribs 18,743 bytes +385 →Complexity: Rewrite to clarify analogous completeness results for space-bounded complexity classes, per talk undo
curprev 17:5517:55, 8 May 2023 Jochen Burghardt talk contribs 18,358 bytes +15 →Complexity: add data obtained from p.115=348 of https://mathweb.ucsd.edu/~sbuss/ResearchWeb/ProofComplexitySAT/ProofComplexityChapter.pdf undo
curprev 17:4917:49, 8 May 2023 Jochen Burghardt talk contribs 18,343 bytes +164 →Proof: consider clause lengths also undo

curprev 08:5808:58, 3 May 2023 Jochen Burghardt talk contribs 17,049 bytes −47 →Complexity: no need to repeat DOI as URL; turn LaTeX $...$ into Wikipedia <math>...</math> undo

curprev 17:4517:45, 26 April 2023 Grant-hale talk contribs 17,096 bytes +21 →Definitions undo Tag: Visual edit
curprev 17:1217:12, 26 April 2023 Jochen Burghardt talk contribs 17,075 bytes −2 Undid revision 1151851899 by Grant-hale (talk): it can be solved by an non-det. alg., and verified by a det. alg., in P time undo Tag: Undo
curprev 17:0717:07, 26 April 2023 Grant-hale talk contribs 17,077 bytes +2 Changed definition of NP to "verified" from "solved" undo Tags: Reverted Visual edit

curprev 16:5916:59, 29 January 2023 OAbot talk contribs m 17,075 bytes +18 Open access bot: doi added to citation with #oabot. undo

curprev 09:2309:23, 19 November 2022 Jochen Burghardt talk contribs 17,057 bytes −1 Undid revision 1120676822 by 89.169.11.159 (talk) undo Tag: Undo

curprev 06:3506:35, 8 November 2022 89.169.11.159 talk 17,058 bytes +1 →Proof undo Tags: Reverted Mobile edit Mobile web edit

curprev 19:4019:40, 24 September 2022 Tc14Hd talk contribs 17,057 bytes 0 →Contributions: Fixed capitalization undo Tags: Mobile edit Mobile app edit Android app edit

curprev 13:5713:57, 27 July 2022 2a02:1812:110c:dc00:e493:f5b5:50b7:a710 talk 17,057 bytes +17 No edit summary undo

curprev 07:1707:17, 19 March 2022 Citation bot talk contribs 17,040 bytes +189 Alter: url. URLs might have been anonymized. Add: doi, s2cid, isbn. | Use this bot. Report bugs. | Suggested by Abductive | Category:Articles containing proofs | #UCB_Category 271/409 undo

curprev 15:4115:41, 8 February 2022 BrownHairedGirl talk contribs 16,851 bytes +33 {{Dead link}} tag on bare URL refs which return HTTP 404 or 410 undo Tag: AWB

26 May 2024

27 March 2024

19 March 2024

17 March 2024

9 March 2024

8 November 2023

25 October 2023

1 October 2023

30 September 2023

24 September 2023

13 September 2023

31 August 2023

18 August 2023

24 July 2023

31 May 2023

22 May 2023

9 May 2023

8 May 2023

7 May 2023

3 May 2023

26 April 2023

29 January 2023

19 November 2022

8 November 2022

24 September 2022

27 July 2022

19 March 2022

8 February 2022