Losing Chess Wikipedia page on Losing Chess ======================================================================== Solving Status The move 1. e3 has been solved as a win for White under both FICS and International Rules. The final leg was actually much easier than expected, as I wasted around a year on false leads. In fact, the not-too-deep idea 1. e3 b6 2. a4 e6 3. Ra3 Bxa3 4. Nxa3 Qh4 5. a5 bxa5 6. Qh5! leads to some queen races where White just needs a bit deeper search to show a good score, and the proof only took a few hours (128 cores). The largest part of 1. e3 b6 remains 1. e3 b6 2. a4 e6 3. Ra3 Bxa3 4. Nxa3 b5, and the 2... b5 lines are also quite nontrivial. However, both of those were done in August 2015, a few months after the 2. a4 idea was first tried. This email (or a small variant) was circulated to a number of associated Losing Chess mailing lists, some for programmers, some for aficionados, or mathematics colleagues, or interested chess (grand)masters, ... Some effort was made to reduce the original proof size, and eliminate overly complicated sequences of reversible moves. The revised proof is here, and the online browser is currently here. News NOTE: The Browser is still available, but could be terminated at any time. 29 Sep 2020: Klaas Steenhuis has found a simplification to part of the 1. e3 c5 proof. See the revision page. 15 Apr 2019: As pointed out by Anatoli Shmarlouski, there is a bug in the tablebases. Namely the position with White pawns on f5/g2 and Black pawns on f4/h4 is scored as a Win, even though there are no winning moves. The issue seems to be with the double en passant after g4. This position actually occurs in the 1. e3 c6 solution. There appear to be 40 positions in e3wins.rev2 that are affected by this (in fact, the above position is actually also reached after 1. e3 b5). I think every file except the "easy" wins and 1. e3 e6 was affected. Five TBs used in e3wins.rev2 proof were wrong, but as Klaas Steenhuis points out, other 4-piece TBs are also incorrect. The new revised proof is on the revision page, and a new source tarball is also available. NOTE (7 Jul 2017): Some of the older now-unused files (linked on some pages) were deleted off the web server for reasons of space. If you really want one, I probably still have it on a local hard drive. ======================================================================== Status report Losing Chess: 1. e3 wins for White (PDF, short form) Appeared in ICGA Journal 39/2. Losing Chess: 1. e3 wins for White (Oct 2016) (PDF, 240K, 18 pages) (Old versions) Status report (Aug 2014) (PDF, 115K, short form, ICGA Journal 37/2) Status report (Aug 2013) (PDF, longer, with positions) Status report (Sep 2012) (PDF, longer, with positions) ======================================================================== Source code source tarball (1MB) (Linux-based) (Apr 2019) Fixes TB_populate.c with double en passant. Also TB_index2.c now is ep-compliant (was merely cosmetically wrong before). Finally, verify_win.c gives a bit more information on a TB result failure. (Jan 2020) No real changes, make quickstart.sh link LCTB. ======================================================================== Proof trees (with md5sum of bz2 file) easy12.done.bz2 (1.5MB) 5d7fede37dafc29509ef7cf118574334 e3c6.done.bz2 (2.3MB) 382021495d0d34403fe2d4dc22c815b2 e3Nc6.done.bz2 (13MB) 00c913623d16c7892833b65ca28b36e3 e3Nh6.done.bz2 (20MB) 417b33f08fd90afa017931e2ed9cde48 e3g5.done.bz2 (54MB) 1f6fee7a9d0acfa3c1c3fb5cdc21da26 e3b5.done.bz2 (103MB) 4fe3f64fae21247092499dd8263fe4f7 e3e6.done.bz2 (63MB) 54149388cd3fca7b84f867e846e5a3a0 e3c5.done.bz2 (289MB) 65f52983aa0b99444c1e7c799943b223 e3b6.proof.bz2(740MB) d19df1d18518c7a216b44a1e878550cd Warning: this last file will not load in 32-bit Windows WinningGUI. See the 1. e3 b6 page for a splitting into smaller parts. The b6 proof will probably also be revised somewhat in the next few days (when the word "done" might replace "proof" in the filename). Here is everything but c5 and b6 in one file: easy18done.bz2 (254MB) 45ae6e978ad4e9c64934ae6e8e940c42 1. e3 c6 was first solved by Ben Nye in Feb 2003, and 1. e3 Nh6 was first solved by Catalin Francu soon after I told him of my 2012 solving of 1. e3 b5. There is also the revision project that is aimed at producing "better" solutions. ======================================================================== Miscellany Page for proof lines Page about tablebases ======================================================================== White moves that lose The Sep 28 (2014) update contains the ability to have "NULL" moves. This was to expedite some proofs asked for by Klaas Steenhuis, most notably 1. h3 and 1. b4 (which appeared reversed as 1. NULL h6, etc). [He has more recently shown that Black wins both 1. c3 e5! and 1. f3 e6]. h3.LOST.proof.bz2 (5.3MB) 889dcb5385118405109a0b0038f9eba3 b4.LOST.proof.bz2 (19MB) fca952417d69964be773a9883b29cd58 Note: These files are "inverted" and thus break the verifier. They can be uninverted with "./proof_invert uninvert FILENAME" Here are the latest solved lines by Klaas, which he asked me to put here. c3.LOST.proof.bz2 (9.8MB) 829c2ff9cefa3fc93b10e41f5da4db43 c3e5.rev.bz2 (8.5MB) 00fb6e80d2a303e13f155143beb595bf (Jun 2020) Oct 7 (2015): Klaas has solved 1. a3 e6 as a win for Black. He also has simplified 1. f3 d5! by a significant margin over 1. f3 e6. a3e6_rev_new.proof.bz2 (250MB) c5b5971331aa01cef46974347eb302fc old_f3d5_rev.proof.bz2 (18MB) 5a48582282beda9a29c3d45e721fd36d (Jan 2020): versions that fix the double-ep bug are now provided above. Jan 17 (2016): Klaas has simplified the b4 proof. b4.new.LOST.proof.bz2 (7.9MB) 7b0b0c67da856b68e4b8153b59f74a1b Feb 23: Some reduction (from Klaas) of the 1. f3 d5 proof. f3d5_new.proof.bz2 (14MB) 15e50e95b4207880f47615903cbeb996 After intensive effort, Klaas managed to solve Na3 as lost to e6, with the final file being larger than than that for 1. e3. Na3e6.proof.bz2 (1.3GB) 460e368abcc20693f8c7afc6b8ac45d4 (Jun 2020) Here is a much smaller file that includes everything but 1. Na3 e6 2. b3. Na3e6_no_b3.proof.bz2 (45MB) 0327098542cdc59d91fe37f7a42322c7 15 Oct 2020: I reduced this file by about a factor of 2. myNa6e3.nob3v2.proof.bz2 (23MB) 307ab4bfba5620a4eb9286931617b9e9 ======================================================================== Windows usage For Windows users, thanks to Klaas Steenhuis I have a RAR file that contains Java classes and the proof tree parser. LOSING_CHESS32.rar (145K) 91ca08bee3d6bd585618ff6a0d03b207 LOSING_CHESS64.rar (145K) 11c14dd41adc36f96b64adeda8d5c934 The "32" version is for 32-bit Windows, and "64" for 64-bit Windows. I have not tested the latter, and it should only be necessary for proof files larger than about 250 million nodes. First you need to have the Java Runtime environment installed. Then you will need to expand either the above LOSING_CHESS32.rar or LOSING_CHESS64.rar archive, putting all files (.class files, PARSE_WIN.exe, and MERIFONT.TTF) into a directory named C:\LOSING_CHESS (this is so that Java knows where the .exe file is -- I can make a FileChooser for it, but it seems overkill). Then you should be able to open a Command Prompt, change directories via cd C:\LOSING_CHESS and then run the Java applet with java WinningGUI It should bring up a FileChooser, which is a loader for the proof tree. However, this FileChooser fails for me sometimes, and it is probably better to move the desired proof file (say easy12.done) to the C:\LOSING_CHESS directory, and run via "java WinningGUI easy12.done"