Courcelle's theorem: Revision history

1 April 2024

• curprev 18:5118:51, 1 April 2024‎ Tainmull talk contribs‎ 24,873 bytes −149‎ No edit summary undo Tag: Undo
• curprev 14:3814:38, 1 April 2024‎ SoggyKindling talk contribs‎ 25,022 bytes +36‎ responsibly caveat the `intuitive explanation'. undo Tag: Reverted
• curprev 14:3414:34, 1 April 2024‎ SoggyKindling talk contribs‎ 24,986 bytes +113‎ add plan language "if you can say it simply, you can solve it quickly," which I think is the appeal of Courcelle's theorem. If you understand "state it simply" to mean definable in mso logic of graphs, and "solve it quickly" to be caveated by graphs of bounded treewidth, this gives you a nice positive statement about tractability via descriptive complexity. undo Tags: Reverted Visual edit: Switched

11 January 2024

• curprev 07:0307:03, 11 January 2024‎ Sir Ibee talk contribs‎ 24,873 bytes +31‎ Open access status updates in citations with OAbot #oabot undo Tag: OAbot [2.1]

3 December 2023

• curprev 09:3009:30, 3 December 2023‎ OAbot talk contribs‎ m 24,842 bytes −4‎ Open access bot: doi updated in citation with #oabot. undo

17 June 2023

• curprev 13:1313:13, 17 June 2023‎ Citation bot talk contribs‎ 24,846 bytes +17‎ Add: volume. | Use this bot. Report bugs. | Suggested by Headbomb | Linked from Wikipedia:WikiProject_Academic_Journals/Journals_cited_by_Wikipedia/Sandbox2 | #UCB_webform_linked 192/999 undo

29 January 2023

• curprev 22:3622:36, 29 January 2023‎ OAbot talk contribs‎ m 24,829 bytes +42‎ Open access bot: doi added to citation with #oabot. undo

4 August 2022

• curprev 05:2305:23, 4 August 2022‎ Headbomb talk contribs‎ m 24,787 bytes 0‎ →‎Applications: clean up, replaced: Thirty-t → Thirty-T, Thirty-n → Thirty-N undo Tag: AWB

12 July 2021

• curprev 04:5504:55, 12 July 2021‎ OAbot talk contribs‎ m 24,787 bytes +21‎ Open access bot: doi added to citation with #oabot. undo

6 July 2021

• curprev 08:1508:15, 6 July 2021‎ OAbot talk contribs‎ m 24,766 bytes +42‎ Open access bot: doi added to citation with #oabot. undo

17 March 2021

• curprev 02:0702:07, 17 March 2021‎ GreyestWolf talk contribs‎ m 24,724 bytes 0‎ →‎Vertex sets: fix typo in formula (a vertex should be R, G or B and not R, G or G undo

26 February 2021

• curprev 07:3907:39, 26 February 2021‎ David Eppstein talk contribs‎ 24,724 bytes +531‎ →‎Vertex sets: math formatting undo

7 September 2020

• curprev 02:5502:55, 7 September 2020‎ Citation bot talk contribs‎ 24,193 bytes +241‎ Alter: issue. Add: url, s2cid. Formatted dashes. | You can use this bot yourself. Report bugs here. | Suggested by SemperIocundus | via #UCB_webform undo

29 May 2020

• curprev 07:5807:58, 29 May 2020‎ Rickinasia talk contribs‎ m 23,952 bytes +54‎ Internal links to other Wiki page undo

23 May 2020

• curprev 08:0308:03, 23 May 2020‎ Beland talk contribs‎ m 23,898 bytes −2‎ convert special characters (via WP:JWB) undo

16 April 2020

• curprev 09:4409:44, 16 April 2020‎ OAbot talk contribs‎ m 23,900 bytes +42‎ Open access bot: doi added to citation with #oabot. undo

17 September 2019

• curprev 21:0821:08, 17 September 2019‎ 132.62.88.129 talk‎ 23,858 bytes +5‎ →‎Bojańczyk-Pilipczuk's theorem: reword undo

4 September 2019

• curprev 17:0217:02, 4 September 2019‎ 134.59.11.233 talk‎ 23,853 bytes +68‎ →‎Satisfiability and Seese's theorem undo
• curprev 17:0017:00, 4 September 2019‎ QuantumRealm talk contribs‎ 23,785 bytes −6‎ Undid revision 914014913 by 134.59.11.233 (talk) undo Tag: Undo
• curprev 16:5816:58, 4 September 2019‎ 134.59.11.233 talk‎ 23,791 bytes +6‎ →‎Proof strategy and complexity undo
• curprev 16:3816:38, 4 September 2019‎ 134.59.11.233 talk‎ 23,785 bytes +9‎ →‎Edge sets undo
• curprev 16:3116:31, 4 September 2019‎ 134.59.11.233 talk‎ 23,776 bytes +6‎ →‎Vertex sets undo
• curprev 16:2716:27, 4 September 2019‎ 134.59.11.233 talk‎ 23,770 bytes 0‎ No edit summary undo

27 July 2019

• curprev 21:1021:10, 27 July 2019‎ OAbot talk contribs‎ m 23,770 bytes +22‎ Open access bot: add arxiv identifier to citation with #oabot. undo

17 June 2019

• curprev 18:4818:48, 17 June 2019‎ Biogeographist talk contribs‎ 23,748 bytes −29‎ removed red link; capitalization undo

12 March 2019

• curprev 15:3315:33, 12 March 2019‎ Ott2 talk contribs‎ m 23,777 bytes −4‎ →‎Bojańczyk-Pilipczuk's Theorem: reword sentence undo

9 December 2018

• curprev 07:4007:40, 9 December 2018‎ David Eppstein talk contribs‎ 23,781 bytes +30‎ Martin Grohe undo

13 October 2018

• curprev 17:5317:53, 13 October 2018‎ Dwija Prasad talk contribs‎ m 23,751 bytes +4‎ →‎Bojańczyk-Pilipczuk's Theorem undo

19 June 2018

• curprev 07:5607:56, 19 June 2018‎ Bibcode Bot talk contribs‎ m 23,747 bytes +90‎ Adding 0 arxiv eprint(s), 3 bibcode(s) and 0 doi(s). Did it miss something? Report bugs, errors, and suggestions at User talk:Bibcode Bot undo
• curprev 03:0803:08, 19 June 2018‎ CitationCleanerBot talk contribs‎ m 23,657 bytes +7‎ cleanup undo

19 September 2017

• curprev 08:1408:14, 19 September 2017‎ 31.178.182.219 talk‎ 23,650 bytes +983‎ →‎Courcelle's conjecture undo

10 June 2017

• curprev 00:1300:13, 10 June 2017‎ David Eppstein talk contribs‎ 22,667 bytes +354‎ Labeled graphs undo

17 April 2017

• curprev 22:3022:30, 17 April 2017‎ A3nm talk contribs‎ 22,313 bytes +262‎ Added free to read links in citations undo Tag: OAbot [1.0]

21 October 2016

• curprev 11:3811:38, 21 October 2016‎ Bender the Bot talk contribs‎ m 22,051 bytes +1‎ →‎Edge sets: http→https for Google Books and Google News using AWB undo

12 September 2016

• curprev 06:1806:18, 12 September 2016‎ David Eppstein talk contribs‎ m 22,050 bytes +6‎ →‎Vertex sets: +graph undo
• curprev 06:1706:17, 12 September 2016‎ David Eppstein talk contribs‎ 22,044 bytes +604‎ →‎Vertex sets: clarification re clique-width input undo

28 June 2016

• curprev 19:1319:13, 28 June 2016‎ David Eppstein talk contribs‎ 21,440 bytes +349‎ →‎Decision versus optimization: Arnborg, Lagergren, and Seese undo

25 May 2016

• curprev 22:4022:40, 25 May 2016‎ David Eppstein talk contribs‎ 21,091 bytes −322‎ →‎Decision versus optimization: restrict to what the reference actually says undo

7 April 2016

• curprev 21:2721:27, 7 April 2016‎ David Eppstein talk contribs‎ 21,413 bytes +702‎ necessarily non-elementary undo

4 April 2016

• curprev 20:1720:17, 4 April 2016‎ David Eppstein talk contribs‎ 20,711 bytes +855‎ decision vs optimization undo

31 January 2016

• curprev 07:4407:44, 31 January 2016‎ David Eppstein talk contribs‎ m 19,856 bytes +9‎ →‎Vertex sets: dab undo

22 October 2015

• curprev 04:5704:57, 22 October 2015‎ David Eppstein talk contribs‎ 19,847 bytes +2,227‎ Courcelle's conjecture undo

17 October 2015

• curprev 21:1721:17, 17 October 2015‎ Sct72 talk contribs‎ m 17,620 bytes −3‎ →‎Proof strategy: _ WP:FIX undo

18 September 2015

• curprev 18:0218:02, 18 September 2015‎ David Eppstein talk contribs‎ m 17,623 bytes +1‎ typo in author name undo

17 September 2015

• curprev 22:2622:26, 17 September 2015‎ David Eppstein talk contribs‎ 17,622 bytes +45‎ link logic of graphs undo

31 August 2015

• curprev 20:4520:45, 31 August 2015‎ David Eppstein talk contribs‎ 17,577 bytes +84‎ authorlinks undo

13 June 2015

• curprev 05:1105:11, 13 June 2015‎ David Eppstein talk contribs‎ 17,493 bytes +17‎ →‎Proof strategy: fixed choice => bounded sizes undo

10 June 2015

• curprev 00:3800:38, 10 June 2015‎ David Eppstein talk contribs‎ 17,476 bytes +2,106‎ expand proof section (without giving an actual proof) undo
• curprev 00:1700:17, 10 June 2015‎ David Eppstein talk contribs‎ 15,370 bytes +464‎ another textbook source undo
• curprev 00:0800:08, 10 June 2015‎ David Eppstein talk contribs‎ 14,906 bytes +491‎ Borie et al undo