<?xml version="1.0" encoding="utf-8"?>
<rss version="2.0"
    xmlns:dc="http://purl.org/dc/elements/1.1/"
     xmlns:admin="http://webns.net/mvcb/"
     xmlns:content="http://purl.org/rss/1.0/modules/content/"
     xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#">
	<channel> 

	<title>Comments on: The puzzle that ate the world?!</title>
	<link>http://www.metafilter.com/41902/The-puzzle-that-ate-the-world/</link>
	<description>Comments on MetaFilter post The puzzle that ate the world?!</description>
	<pubDate>Tue, 10 May 2005 19:15:48 -0800</pubDate>
	<lastBuildDate>Tue, 10 May 2005 19:15:48 -0800</lastBuildDate>
	<language>en-us</language>
	<docs>http://blogs.law.harvard.edu/tech/rss</docs>
	<ttl>60</ttl>

	<item>
		<title>The puzzle that ate the world?!</title>
		<link>http://www.metafilter.com/41902/The-puzzle-that-ate-the-world</link>	
		<description>&lt;a href="http://news.independent.co.uk/uk/this_britain/story.jsp?story=634373"&gt;The puzzle that ate the world?!&lt;/a&gt; It&apos;s called &lt;a href=&quot;http://www.sudoku.com&quot;&gt;Su Doku&lt;/a&gt;. It came from Japan. It&apos;s deceptively simple, but &lt;a href=&quot;http://www.nikoli.co.jp/puzzles/1/index-e.htm&quot;&gt;a brief tutorial&lt;/a&gt; reveals hidden depths. It&apos;s spreading like gangbusters through the puzzle-obsessed British public, where it is &lt;a href=&quot;http://news.google.com/news?hl=en&amp;lr=&amp;c2coff=1&amp;client=googlet&amp;tab=wn&amp;ie=ISO-8859-1&amp;q=su+doku&amp;btnG=Search+News&quot;&gt;making major news&lt;/a&gt; and being &lt;a href=&quot;http://www.sudoku.org.uk/&quot;&gt;rapidly added&lt;/a&gt; to the country&apos;s newspapers. Fortunately, &lt;a href=&quot;http://www.sudoku.org.uk/backpuzzles.htm&quot;&gt;archived puzzles&lt;/a&gt; and &lt;a href=&quot;http://myweb.tiscali.co.uk/davidelizabeth/tcl/sudoku/&quot;&gt;free software&lt;/a&gt; are out there to provide puzzle addicts their latest fix. C&apos;mon... give it a try. It&apos;s only *one* little puzzle. (Heh, heh.)</description>
		<guid isPermaLink="false">post:www.metafilter.com,2005:site.41902</guid>
		<pubDate>Tue, 10 May 2005 19:11:14 -0800</pubDate>
		<dc:creator>insomnia_lj</dc:creator>		<category>sudoku</category>		<category>puzzles</category>		<category>games</category>
	</item>	<item>
		<title>By: donth</title>
		<link>http://www.metafilter.com/41902/The-puzzle-that-ate-the-world#928077</link>	
		<description>Games Magazine has had these for a while. They print lots of variations as well.</description>
		<guid isPermaLink="false">comment:www.metafilter.com,2005:site.41902-928077</guid>
		<pubDate>Tue, 10 May 2005 19:15:48 -0800</pubDate>
		<dc:creator>donth</dc:creator>
	</item>	<item>
		<title>By: brain_drain</title>
		<link>http://www.metafilter.com/41902/The-puzzle-that-ate-the-world#928093</link>	
		<description>These things are a &lt;a href=&quot;http://www.di-mgt.com.au/sudoku.html&quot;&gt;snap&lt;/a&gt;!</description>
		<guid isPermaLink="false">comment:www.metafilter.com,2005:site.41902-928093</guid>
		<pubDate>Tue, 10 May 2005 19:34:35 -0800</pubDate>
		<dc:creator>brain_drain</dc:creator>
	</item>	<item>
		<title>By: MonkeySaltedNuts</title>
		<link>http://www.metafilter.com/41902/The-puzzle-that-ate-the-world#928113</link>	
		<description>from &lt;a href=&quot;http://spivey.oriel.ox.ac.uk/mike/comp2005/results.html&quot;&gt;Mike Spivey, Oxford University Computing Laboratory&lt;/a&gt;&lt;br&gt;
&lt;i&gt; Don Knuth observed that the Sudoku problem is an instance of a class of exact cover problems that can be formulated in terms of Boolean matrices and solved by a backtracking procedure he calls &quot;dancing links&quot;, using pointer manipulations to cover and uncover rows and columns of the matrix. 
...
Knuth&apos;s approach reformulates the problem in terms of finding an exact cover of a 729 x 324 Boolean matrix. The 324 columns correspond to the 4 x 81 constraints enumerated above, and each of the 729 rows corresponds to a move that puts one of the 9 digits in one of the 81 cells. Each row contains four 1&apos;s, corresponding to the way the move satisfies one constraint from each group. The problem becomes one of finding a subset of the rows that contains exactly one 1 in each column.

It&apos;s best always to select a constraint that has the smallest number of remaining possibilities. If that number is zero, then we have followed a dead end, and should backtrack. If the number is one, then we can definitely fill in a square, and there is no genuine choice. If it is more than one, then we can explore all the possibilities in a depth-first pattern.

This shows that the distinction between forced moves and arbitrary choices is artificial, since a forced move is just the special case where there is only one choice. Knuth&apos;s method also treats all four kinds of constraint uniformly, so that it can not only backtrack over all the digits that can fit in a square, but also over all the places that a given digit can be put into a row or column or block. None of the submitted solutions for the main competition can do that -- it may not be necessary for Sudoku, but it does reveal a symmetry to the problem that is rather nice.

For Knuth&apos;s method of dancing links, see this &lt;a href=&quot;http://www-cs-faculty.stanford.edu/~knuth/papers/dancing-color.ps.gz&quot;&gt;paper&lt;/a&gt; on his &lt;a href=&quot;http://www-cs-faculty.stanford.edu/~knuth/preprints.html&quot;&gt;page of preprints&lt;/a&gt;.&lt;/i&gt;</description>
		<guid isPermaLink="false">comment:www.metafilter.com,2005:site.41902-928113</guid>
		<pubDate>Tue, 10 May 2005 19:55:38 -0800</pubDate>
		<dc:creator>MonkeySaltedNuts</dc:creator>
	</item>	<item>
		<title>By: blacklite</title>
		<link>http://www.metafilter.com/41902/The-puzzle-that-ate-the-world#928147</link>	
		<description>cute. but easy.</description>
		<guid isPermaLink="false">comment:www.metafilter.com,2005:site.41902-928147</guid>
		<pubDate>Tue, 10 May 2005 20:29:08 -0800</pubDate>
		<dc:creator>blacklite</dc:creator>
	</item>	<item>
		<title>By: indices</title>
		<link>http://www.metafilter.com/41902/The-puzzle-that-ate-the-world#928189</link>	
		<description>&lt;a href=&quot;http://oomz.net/iSudoku/&quot;&gt;iSudoku&lt;/a&gt; for OS X (donationware)</description>
		<guid isPermaLink="false">comment:www.metafilter.com,2005:site.41902-928189</guid>
		<pubDate>Tue, 10 May 2005 21:06:43 -0800</pubDate>
		<dc:creator>indices</dc:creator>
	</item>	<item>
		<title>By: precipice</title>
		<link>http://www.metafilter.com/41902/The-puzzle-that-ate-the-world#928194</link>	
		<description>&lt;a href=&quot;http://www.metafilter.com/mefi/37696&quot;&gt;Posted once before...&lt;/a&gt;</description>
		<guid isPermaLink="false">comment:www.metafilter.com,2005:site.41902-928194</guid>
		<pubDate>Tue, 10 May 2005 21:18:24 -0800</pubDate>
		<dc:creator>precipice</dc:creator>
	</item>	<item>
		<title>By: MrLint</title>
		<link>http://www.metafilter.com/41902/The-puzzle-that-ate-the-world#928228</link>	
		<description>blah they put these in Games magazine every month and i have stopped doing them because they are too easy.</description>
		<guid isPermaLink="false">comment:www.metafilter.com,2005:site.41902-928228</guid>
		<pubDate>Tue, 10 May 2005 22:06:13 -0800</pubDate>
		<dc:creator>MrLint</dc:creator>
	</item>	<item>
		<title>By: airguitar</title>
		<link>http://www.metafilter.com/41902/The-puzzle-that-ate-the-world#928229</link>	
		<description>&lt;i&gt;The thinking person&apos;s crack cocaine has arrived on our shores.&lt;/i&gt;

For joy.</description>
		<guid isPermaLink="false">comment:www.metafilter.com,2005:site.41902-928229</guid>
		<pubDate>Tue, 10 May 2005 22:06:45 -0800</pubDate>
		<dc:creator>airguitar</dc:creator>
	</item>	<item>
		<title>By: BuddhaInABucket</title>
		<link>http://www.metafilter.com/41902/The-puzzle-that-ate-the-world#928274</link>	
		<description>yeah, it&apos;s fun but it&apos;s hardly what I&apos;d consider the next big thing in puzzles.</description>
		<guid isPermaLink="false">comment:www.metafilter.com,2005:site.41902-928274</guid>
		<pubDate>Tue, 10 May 2005 23:38:56 -0800</pubDate>
		<dc:creator>BuddhaInABucket</dc:creator>
	</item>	<item>
		<title>By: jeblis</title>
		<link>http://www.metafilter.com/41902/The-puzzle-that-ate-the-world#928276</link>	
		<description>Yeah these are pretty easy.  I developed a notation and solved one in about 15 minutes.  Most programmers should make easy work of these.  These are appealing I think because you have a clear methodical process for completing them and they reward you by falling apart quickly in the end.</description>
		<guid isPermaLink="false">comment:www.metafilter.com,2005:site.41902-928276</guid>
		<pubDate>Tue, 10 May 2005 23:53:40 -0800</pubDate>
		<dc:creator>jeblis</dc:creator>
	</item>	<item>
		<title>By: thedevildancedlightly</title>
		<link>http://www.metafilter.com/41902/The-puzzle-that-ate-the-world#928278</link>	
		<description>Seems pretty simple, like jeblis said.  Maybe it&apos;s because I did some time in CS, but it really is all about just working an algorithm until it cracks.  Maybe there are some people who have more creative solution methods, but good notation and brute-force works pretty well (and is pretty boring).  Not stimulating the creative part of the brain.</description>
		<guid isPermaLink="false">comment:www.metafilter.com,2005:site.41902-928278</guid>
		<pubDate>Wed, 11 May 2005 00:12:46 -0800</pubDate>
		<dc:creator>thedevildancedlightly</dc:creator>
	</item>	<item>
		<title>By: obiwanwasabi</title>
		<link>http://www.metafilter.com/41902/The-puzzle-that-ate-the-world#928350</link>	
		<description>Brute force is completely missing the point - it&apos;s a little like claiming that recreational lockpicking is easy, because you can always smash the lock open with a hammer.  To do Sudoko properly, you should be absolutely, positively assured through logical deduction that each and every number can be in one position and one position only before you place it.  A &quot;let&apos;s stick a &apos;3&apos; there and see how it pans out&quot; approach is like kicking the door off its hinges.</description>
		<guid isPermaLink="false">comment:www.metafilter.com,2005:site.41902-928350</guid>
		<pubDate>Wed, 11 May 2005 03:53:27 -0800</pubDate>
		<dc:creator>obiwanwasabi</dc:creator>
	</item>	<item>
		<title>By: salmacis</title>
		<link>http://www.metafilter.com/41902/The-puzzle-that-ate-the-world#928352</link>	
		<description>If you&apos;re finding them too easy, then the puzzles are too easy. Try the Times on Thursday and  Friday, when they are rated as &quot;Fiendish&quot;. I used to think there was a simple deterministic way to solve these, but a few of the Fiendish puzzles have taught me that sometimes you have to be a little bit cleverer than that.

My name is salmacis and I am a Sudoku addict.</description>
		<guid isPermaLink="false">comment:www.metafilter.com,2005:site.41902-928352</guid>
		<pubDate>Wed, 11 May 2005 03:59:12 -0800</pubDate>
		<dc:creator>salmacis</dc:creator>
	</item>	<item>
		<title>By: Jeanne</title>
		<link>http://www.metafilter.com/41902/The-puzzle-that-ate-the-world#928367</link>	
		<description>From another addict:

&lt;a href=&quot;http://www.oct.zaq.ne.jp/woodside/jsudok/&quot;&gt;All the free sudoku you can shake a stick at&lt;/a&gt;. Japanese page, but a breeze to navigate.</description>
		<guid isPermaLink="false">comment:www.metafilter.com,2005:site.41902-928367</guid>
		<pubDate>Wed, 11 May 2005 04:40:19 -0800</pubDate>
		<dc:creator>Jeanne</dc:creator>
	</item>	<item>
		<title>By: skryche</title>
		<link>http://www.metafilter.com/41902/The-puzzle-that-ate-the-world#928378</link>	
		<description>This has a similar feel to &lt;a href=&quot;http://en.wikipedia.org/wiki/Nonogram&quot;&gt;nonograms&lt;/a&gt;.</description>
		<guid isPermaLink="false">comment:www.metafilter.com,2005:site.41902-928378</guid>
		<pubDate>Wed, 11 May 2005 05:10:48 -0800</pubDate>
		<dc:creator>skryche</dc:creator>
	</item>	<item>
		<title>By: nthdegx</title>
		<link>http://www.metafilter.com/41902/The-puzzle-that-ate-the-world#928423</link>	
		<description>Cure you, insomnia_lj! I just tried one. I&apos;m just about to print a heep more to play for my bus journeys and at home. Addictive.</description>
		<guid isPermaLink="false">comment:www.metafilter.com,2005:site.41902-928423</guid>
		<pubDate>Wed, 11 May 2005 06:26:06 -0800</pubDate>
		<dc:creator>nthdegx</dc:creator>
	</item>	<item>
		<title>By: bashos_frog</title>
		<link>http://www.metafilter.com/41902/The-puzzle-that-ate-the-world#928451</link>	
		<description>I am so glad for these links. I saw many people doing these puzzles on the train in Japan, but I never figured out by watching what the goal was. I thought it was some sort of magic squares thing.</description>
		<guid isPermaLink="false">comment:www.metafilter.com,2005:site.41902-928451</guid>
		<pubDate>Wed, 11 May 2005 06:52:06 -0800</pubDate>
		<dc:creator>bashos_frog</dc:creator>
	</item>	<item>
		<title>By: Prospero</title>
		<link>http://www.metafilter.com/41902/The-puzzle-that-ate-the-world#928463</link>	
		<description>&lt;em&gt;To do Sudoko properly, you should be absolutely, positively assured through logical deduction that each and every number can be in one position and one position only before you place it.&lt;/em&gt;

It seems as if it&apos;s really important to solve them with ink (instead of pencil) to get the greatest challenge. Interesting.</description>
		<guid isPermaLink="false">comment:www.metafilter.com,2005:site.41902-928463</guid>
		<pubDate>Wed, 11 May 2005 07:11:55 -0800</pubDate>
		<dc:creator>Prospero</dc:creator>
	</item>	<item>
		<title>By: hardcode</title>
		<link>http://www.metafilter.com/41902/The-puzzle-that-ate-the-world#928493</link>	
		<description>&lt;small&gt;C&apos;mon... give it a try. It&apos;s only *one* little puzzle. (Heh, heh.)&lt;/small&gt;

You fiend! Damn you!</description>
		<guid isPermaLink="false">comment:www.metafilter.com,2005:site.41902-928493</guid>
		<pubDate>Wed, 11 May 2005 07:45:16 -0800</pubDate>
		<dc:creator>hardcode</dc:creator>
	</item>	<item>
		<title>By: mrgrimm</title>
		<link>http://www.metafilter.com/41902/The-puzzle-that-ate-the-world#928524</link>	
		<description>&lt;i&gt;Not stimulating the creative part of the brain.&lt;/i&gt;

Hmm. I&apos;m not sure about that. The hard ones *are* hard. And if you&apos;re doing them per Prospero&apos;s instructions, it&apos;s a bit different than trying several possible solutions.

I guess that&apos;s not really &quot;creative,&quot; but it&apos;s still decent exercise.</description>
		<guid isPermaLink="false">comment:www.metafilter.com,2005:site.41902-928524</guid>
		<pubDate>Wed, 11 May 2005 08:21:38 -0800</pubDate>
		<dc:creator>mrgrimm</dc:creator>
	</item>	<item>
		<title>By: thedevildancedlightly</title>
		<link>http://www.metafilter.com/41902/The-puzzle-that-ate-the-world#928616</link>	
		<description>&lt;em&gt;A &quot;let&apos;s stick a &apos;3&apos; there and see how it pans out&quot; approach is like kicking the door off its hinges.&lt;/em&gt;

But for the intermediate/advanced cases you do need to run through the possibilities for some because they don&apos;t all simplify down - you can do it through notation or by actually running it through, but it&apos;s impossible to get them all by pure deduction without running some tests.</description>
		<guid isPermaLink="false">comment:www.metafilter.com,2005:site.41902-928616</guid>
		<pubDate>Wed, 11 May 2005 11:04:45 -0800</pubDate>
		<dc:creator>thedevildancedlightly</dc:creator>
	</item>	<item>
		<title>By: salmacis</title>
		<link>http://www.metafilter.com/41902/The-puzzle-that-ate-the-world#928688</link>	
		<description>&lt;i&gt;but it&apos;s impossible to get them all by pure deduction without running some tests.&lt;/i&gt;

I&apos;ve never had to resort to that, even for the fiendish ones. You have to narrow the possibilities down for individual squares, but you never have to say &quot;assume this is a 3...&quot;</description>
		<guid isPermaLink="false">comment:www.metafilter.com,2005:site.41902-928688</guid>
		<pubDate>Wed, 11 May 2005 11:56:06 -0800</pubDate>
		<dc:creator>salmacis</dc:creator>
	</item>	<item>
		<title>By: papercake</title>
		<link>http://www.metafilter.com/41902/The-puzzle-that-ate-the-world#928723</link>	
		<description>skryche, I loves me the nonograms! I didn&apos;t know that&apos;s what they were called, however.</description>
		<guid isPermaLink="false">comment:www.metafilter.com,2005:site.41902-928723</guid>
		<pubDate>Wed, 11 May 2005 12:17:48 -0800</pubDate>
		<dc:creator>papercake</dc:creator>
	</item>	<item>
		<title>By: thedevildancedlightly</title>
		<link>http://www.metafilter.com/41902/The-puzzle-that-ate-the-world#928759</link>	
		<description>&lt;em&gt;I&apos;ve never had to resort to that, even for the fiendish ones. You have to narrow the possibilities down for individual squares, but you never have to say &quot;assume this is a 3...&quot;&lt;/em&gt;


I don&apos;t know appropriate terminology,  but you&apos;re correct that in the vast majority of cases you can rule out all possibilities by directly writing them in, but there are some where the propagation of a bad number leads to problems downstream and that&apos;s the only way to sort them out.  Wish I had a link or more theory.  Or maybe I just didn&apos;t do a good job eliminating possibilities completely.</description>
		<guid isPermaLink="false">comment:www.metafilter.com,2005:site.41902-928759</guid>
		<pubDate>Wed, 11 May 2005 12:47:54 -0800</pubDate>
		<dc:creator>thedevildancedlightly</dc:creator>
	</item>	<item>
		<title>By: TreeHugger</title>
		<link>http://www.metafilter.com/41902/The-puzzle-that-ate-the-world#928796</link>	
		<description>I work on puzzles from the Dell Logic Puzzles periodicals quite often.  (You can get these in just about any magazine rack.)

They have this puzzle (Su Doku), which I found fairly easy.  But they also have some which are infinitely more challenging:  &lt;b&gt;Cross Sums&lt;/b&gt; and &lt;b&gt;Figure Logics&lt;/b&gt;.  Check them out if you get bored with these simple number grid puzzles.</description>
		<guid isPermaLink="false">comment:www.metafilter.com,2005:site.41902-928796</guid>
		<pubDate>Wed, 11 May 2005 13:15:07 -0800</pubDate>
		<dc:creator>TreeHugger</dc:creator>
	</item>	<item>
		<title>By: antimony</title>
		<link>http://www.metafilter.com/41902/The-puzzle-that-ate-the-world#929323</link>	
		<description>The 9x9 ones are rarely super-challenging for me, but I find that 16x16 ones are *killers*.</description>
		<guid isPermaLink="false">comment:www.metafilter.com,2005:site.41902-929323</guid>
		<pubDate>Wed, 11 May 2005 23:12:07 -0800</pubDate>
		<dc:creator>antimony</dc:creator>
	</item>	<item>
		<title>By: salmacis</title>
		<link>http://www.metafilter.com/41902/The-puzzle-that-ate-the-world#929363</link>	
		<description>Treehugger, Su Doku can be made trivially easy or fucking bastard hard, or anywhere in between. Just because the Su Doku in the Dell Logic Puzzles is easy, don&apos;t assume that Su Doku in general are easy.</description>
		<guid isPermaLink="false">comment:www.metafilter.com,2005:site.41902-929363</guid>
		<pubDate>Thu, 12 May 2005 00:57:40 -0800</pubDate>
		<dc:creator>salmacis</dc:creator>
	</item>	<item>
		<title>By: flippant</title>
		<link>http://www.metafilter.com/41902/The-puzzle-that-ate-the-world#929377</link>	
		<description>I did about 10 yesterday. Hardest one took an hour, easiest 25 minutes (all fiendish). An easy one took 17 minutes.

With proper notation it&apos;s pretty easy, though you have to make deductive leaps at certain points</description>
		<guid isPermaLink="false">comment:www.metafilter.com,2005:site.41902-929377</guid>
		<pubDate>Thu, 12 May 2005 02:08:18 -0800</pubDate>
		<dc:creator>flippant</dc:creator>
	</item>	<item>
		<title>By: raygirvan</title>
		<link>http://www.metafilter.com/41902/The-puzzle-that-ate-the-world#929438</link>	
		<description>What kind of notation do people use? I also run into situations where I can only see &quot;postulate then prove contradiction&quot; as the way forward.  Circumstances probably make a difference; as I do them in the pub with only a pen handy, everything has to be done mentally. But I assume there are techniques involving preliminary labelling of squares?</description>
		<guid isPermaLink="false">comment:www.metafilter.com,2005:site.41902-929438</guid>
		<pubDate>Thu, 12 May 2005 05:53:55 -0800</pubDate>
		<dc:creator>raygirvan</dc:creator>
	</item>	<item>
		<title>By: cushie</title>
		<link>http://www.metafilter.com/41902/The-puzzle-that-ate-the-world#941088</link>	
		<description>Nice online version (free) &lt;a href=&quot;http://www.fingertime.com/sudoku.php&quot;&gt;here&lt;/a&gt;. A new puzzle every day, and it shows you if you put in anything that is &quot;impossible&quot;, ie the number has already been used in that row, column or square. I still haven&apos;t had the time to finish one though. So addictive.</description>
		<guid isPermaLink="false">comment:www.metafilter.com,2005:site.41902-941088</guid>
		<pubDate>Thu, 26 May 2005 04:22:00 -0800</pubDate>
		<dc:creator>cushie</dc:creator>
	</item>
	</channel>
</rss>
