高级算法 (Fall 2016)/''Lovász'' Local Lemma: Revision history

9 October 2016

• curprev 11:5911:59, 9 October 2016‎ imported>Etone‎ 14,785 bytes +4‎ →‎Moser's recursive fix algorithm
• curprev 11:5811:58, 9 October 2016‎ imported>Etone‎ 14,781 bytes 0‎ →‎Moser's recursive fix algorithm
• curprev 11:5811:58, 9 October 2016‎ imported>Etone‎ 14,781 bytes −34‎ →‎Moser's recursive fix algorithm
• curprev 11:4111:41, 9 October 2016‎ imported>Etone‎ 14,815 bytes +4‎ →‎Constructive Proof of General LLL
• curprev 11:4011:40, 9 October 2016‎ imported>Etone‎ 14,811 bytes +7‎ →‎The Moser-Tardos random solver
• curprev 11:3911:39, 9 October 2016‎ imported>Etone‎ 14,804 bytes −5‎ →‎The Moser-Tardos random solver
• curprev 11:3811:38, 9 October 2016‎ imported>Etone‎ 14,809 bytes +5‎ →‎The Moser-Tardos random solver
• curprev 11:3711:37, 9 October 2016‎ imported>Etone‎ 14,804 bytes +438‎ →‎The Moser-Tardos random solver
• curprev 11:3311:33, 9 October 2016‎ imported>Etone‎ 14,366 bytes +45‎ →‎The Moser-Tardos random solver
• curprev 11:3211:32, 9 October 2016‎ imported>Etone‎ 14,321 bytes −16‎ →‎Constructive Proof of General Lovász Local Lemma
• curprev 11:3111:31, 9 October 2016‎ imported>Etone‎ 14,337 bytes +59‎ →‎Moser's recursive fix algorithm
• curprev 11:3011:30, 9 October 2016‎ imported>Etone‎ 14,278 bytes +413‎ →‎Constructive Proof of General Lovász Local Lemma
• curprev 11:2611:26, 9 October 2016‎ imported>Etone‎ 13,865 bytes +23‎ →‎The Moser-Tardos random solver
• curprev 11:2611:26, 9 October 2016‎ imported>Etone‎ 13,842 bytes +275‎ →‎The Moser-Tardos random solver
• curprev 11:2211:22, 9 October 2016‎ imported>Etone‎ 13,567 bytes 0‎ →‎Moser's recursive fix algorithm
• curprev 11:2211:22, 9 October 2016‎ imported>Etone‎ 13,567 bytes 0‎ →‎Constructive Proof of General Lovász Local Lemma
• curprev 11:2211:22, 9 October 2016‎ imported>Etone‎ 13,567 bytes +785‎ →‎Constructive Proof of General Lovász Local Lemma
• curprev 11:1211:12, 9 October 2016‎ imported>Etone‎ 12,782 bytes +213‎ →‎The Moser-Tardos random solver
• curprev 11:0911:09, 9 October 2016‎ imported>Etone‎ 12,569 bytes +158‎ No edit summary
• curprev 11:0411:04, 9 October 2016‎ imported>Etone‎ 12,411 bytes −4‎ →‎Moser's recursive fix algorithm
• curprev 11:0411:04, 9 October 2016‎ imported>Etone‎ 12,415 bytes −3,877‎ →‎Moser's recursive fix algorithm
• curprev 11:0311:03, 9 October 2016‎ imported>Etone‎ 16,292 bytes −130‎ →‎Moser's recursive fix algorithm
• curprev 11:0211:02, 9 October 2016‎ imported>Etone‎ 16,422 bytes 0‎ →‎Moser's recursive fix algorithm
• curprev 07:3207:32, 9 October 2016‎ imported>Etone‎ 16,422 bytes −9,078‎ →‎Moser's recursive fix algorithm
• curprev 07:3107:31, 9 October 2016‎ imported>Etone‎ 25,500 bytes +303‎ →‎The random search algorithm
• curprev 07:1207:12, 9 October 2016‎ imported>Etone‎ 25,197 bytes +8‎ →‎Satisfiability of k-CNF
• curprev 07:1207:12, 9 October 2016‎ imported>Etone‎ 25,189 bytes +35‎ →‎The local lemma
• curprev 07:1107:11, 9 October 2016‎ imported>Etone‎ 25,154 bytes −294‎ →‎Satisfiability of k-CNF
• curprev 06:5906:59, 9 October 2016‎ imported>Etone‎ 25,448 bytes −6‎ →‎Satisfiability of k-CNF
• curprev 06:5806:58, 9 October 2016‎ imported>Etone‎ 25,454 bytes +9‎ →‎The local lemma
• curprev 06:5706:57, 9 October 2016‎ imported>Etone‎ 25,445 bytes +7‎ →‎The local lemma
• curprev 06:5706:57, 9 October 2016‎ imported>Etone‎ 25,438 bytes −23‎ →‎The local lemma
• curprev 06:5506:55, 9 October 2016‎ imported>Etone‎ 25,461 bytes +412‎ →‎The dependency graph
• curprev 06:4906:49, 9 October 2016‎ imported>Etone‎ 25,049 bytes −27‎ →‎Random Search for k-SAT
• curprev 06:4306:43, 9 October 2016‎ imported>Etone‎ 25,076 bytes +153‎ →‎The local lemma
• curprev 06:4206:42, 9 October 2016‎ imported>Etone‎ 24,923 bytes +136‎ →‎Lovász Local Lemma
• curprev 06:4006:40, 9 October 2016‎ imported>Etone‎ 24,787 bytes +4,561‎ No edit summary

3 October 2016

• curprev 10:0410:04, 3 October 2016‎ imported>Etone‎ 20,226 bytes +94‎ No edit summary
• curprev 10:0110:01, 3 October 2016‎ imported>Etone‎ 20,132 bytes +20,132‎ Created page with "=Random Search for <math>k</math>-SAT= We start by giving the definition of <math>k</math>-CNF and <math>k</math>-SAT. {{Theorem|Definition (exact-<math>k</math>-CNF)| :A logi..."