<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:wfw="http://wellformedweb.org/CommentAPI/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:atom="http://www.w3.org/2005/Atom"
	xmlns:sy="http://purl.org/rss/1.0/modules/syndication/"
	xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
	>

<channel>
	<title>JL&#039;s blog &#187; Sudoku</title>
	<atom:link href="http://john.5070.info/tag/sudoku/feed/" rel="self" type="application/rss+xml" />
	<link>http://john.5070.info</link>
	<description>:-)</description>
	<lastBuildDate>Sun, 06 Dec 2009 17:11:56 +0000</lastBuildDate>
	<generator>http://wordpress.org/?v=2.8</generator>
	<language>en</language>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
			<item>
		<title>Решение для решателя Sudoku</title>
		<link>http://john.5070.info/2009/06/%d1%80%d0%b5%d1%88%d0%b5%d0%bd%d0%b8%d0%b5-%d0%b4%d0%bb%d1%8f-%d1%80%d0%b5%d1%88%d0%b0%d1%82%d0%b5%d0%bb%d1%8f-sudoku/</link>
		<comments>http://john.5070.info/2009/06/%d1%80%d0%b5%d1%88%d0%b5%d0%bd%d0%b8%d0%b5-%d0%b4%d0%bb%d1%8f-%d1%80%d0%b5%d1%88%d0%b0%d1%82%d0%b5%d0%bb%d1%8f-sudoku/#comments</comments>
		<pubDate>Wed, 10 Jun 2009 14:54:30 +0000</pubDate>
		<dc:creator>John Lepikhin</dc:creator>
				<category><![CDATA[Blogroll]]></category>
		<category><![CDATA[Ocaml]]></category>
		<category><![CDATA[Performance]]></category>
		<category><![CDATA[программирование]]></category>
		<category><![CDATA[Perl]]></category>
		<category><![CDATA[PHP]]></category>
		<category><![CDATA[Sudoku]]></category>

		<guid isPermaLink="false">http://john.5070.info/?p=126</guid>
		<description><![CDATA[Хотел вечерком размять мозг — набросать какой-нибудь особенно красивый решатель Sudoku на Ocaml. Но возникла мысль изучить вражеские аналоги. Итак, решатель Sudoku размером 800 с небольшим байт:

include Set.Make&#40;struct type t = &#40;int * int&#41; * int let compare = compare end&#41;
&#160;
let &#40;@&#41; g f x = g &#40;f x&#41; and id x = x and [...]]]></description>
			<content:encoded><![CDATA[<p>Хотел вечерком размять мозг — набросать какой-нибудь особенно красивый решатель Sudoku на Ocaml. Но возникла мысль изучить вражеские аналоги. Итак, решатель Sudoku размером 800 с небольшим байт:</p>

<div class="wp_syntax"><div class="code"><pre class="ocaml" style="font-family:monospace;"><span style="color: #06c; font-weight: bold;">include</span> <span style="color: #06c; font-weight: bold;">Set</span><span style="color: #a52a2a;">.</span><span style="color: #060;">Make</span><span style="color: #6c6;">&#40;</span><span style="color: #06c; font-weight: bold;">struct</span> <span style="color: #06c; font-weight: bold;">type</span> t <span style="color: #a52a2a;">=</span> <span style="color: #6c6;">&#40;</span>int <span style="color: #a52a2a;">*</span> int<span style="color: #6c6;">&#41;</span> <span style="color: #a52a2a;">*</span> int <span style="color: #06c; font-weight: bold;">let</span> <span style="color: #06c; font-weight: bold;">compare</span> <span style="color: #a52a2a;">=</span> <span style="color: #06c; font-weight: bold;">compare</span> <span style="color: #06c; font-weight: bold;">end</span><span style="color: #6c6;">&#41;</span>
&nbsp;
<span style="color: #06c; font-weight: bold;">let</span> <span style="color: #6c6;">&#40;</span>@<span style="color: #6c6;">&#41;</span> g f x <span style="color: #a52a2a;">=</span> g <span style="color: #6c6;">&#40;</span>f x<span style="color: #6c6;">&#41;</span> <span style="color: #06c; font-weight: bold;">and</span> id x <span style="color: #a52a2a;">=</span> x <span style="color: #06c; font-weight: bold;">and</span> sw f x y <span style="color: #a52a2a;">=</span> f y x <span style="color: #06c; font-weight: bold;">and</span> zip x y <span style="color: #a52a2a;">=</span> <span style="color: #6c6;">&#40;</span>x, y<span style="color: #6c6;">&#41;</span>
&nbsp;
<span style="color: #06c; font-weight: bold;">let</span> fold9 f <span style="color: #a52a2a;">=</span> <span style="color: #06c; font-weight: bold;">let</span> <span style="color: #06c; font-weight: bold;">rec</span> loop i <span style="color: #a52a2a;">=</span> <span style="color: #06c; font-weight: bold;">if</span> i<span style="color: #a52a2a;">&gt;</span><span style="color: #c6c;">8</span> <span style="color: #06c; font-weight: bold;">then</span> id <span style="color: #06c; font-weight: bold;">else</span> loop <span style="color: #6c6;">&#40;</span>i<span style="color: #a52a2a;">+</span><span style="color: #c6c;">1</span><span style="color: #6c6;">&#41;</span> @ f i <span style="color: #06c; font-weight: bold;">in</span> loop <span style="color: #c6c;">0</span>
&nbsp;
<span style="color: #06c; font-weight: bold;">let</span> fold81 f <span style="color: #a52a2a;">=</span> fold9 <span style="color: #6c6;">&#40;</span>fold9 @ <span style="color: #6c6;">&#40;</span>@<span style="color: #6c6;">&#41;</span> f @ zip<span style="color: #6c6;">&#41;</span>
&nbsp;
<span style="color: #06c; font-weight: bold;">let</span> mark <span style="color: #6c6;">&#40;</span><span style="color: #6c6;">&#40;</span>i,j<span style="color: #6c6;">&#41;</span>,x <span style="color: #06c; font-weight: bold;">as</span> e<span style="color: #6c6;">&#41;</span> <span style="color: #a52a2a;">:</span> t <span style="color: #a52a2a;">-&gt;</span> t <span style="color: #a52a2a;">=</span>
  add e @ fold9 <span style="color: #6c6;">&#40;</span><span style="color: #06c; font-weight: bold;">fun</span> k <span style="color: #a52a2a;">-&gt;</span> remove <span style="color: #6c6;">&#40;</span><span style="color: #6c6;">&#40;</span>i<span style="color: #a52a2a;">/</span><span style="color: #c6c;">3</span><span style="color: #a52a2a;">*</span><span style="color: #c6c;">3</span> <span style="color: #a52a2a;">+</span> k<span style="color: #a52a2a;">/</span><span style="color: #c6c;">3</span>, j<span style="color: #a52a2a;">/</span><span style="color: #c6c;">3</span><span style="color: #a52a2a;">*</span><span style="color: #c6c;">3</span> <span style="color: #a52a2a;">+</span> k <span style="color: #06c; font-weight: bold;">mod</span> <span style="color: #c6c;">3</span><span style="color: #6c6;">&#41;</span>, x<span style="color: #6c6;">&#41;</span> @
    remove <span style="color: #6c6;">&#40;</span><span style="color: #6c6;">&#40;</span>i,j<span style="color: #6c6;">&#41;</span>,k<span style="color: #6c6;">&#41;</span> @ remove <span style="color: #6c6;">&#40;</span><span style="color: #6c6;">&#40;</span>i,k<span style="color: #6c6;">&#41;</span>,x<span style="color: #6c6;">&#41;</span> @ remove <span style="color: #6c6;">&#40;</span><span style="color: #6c6;">&#40;</span>k,j<span style="color: #6c6;">&#41;</span>,x<span style="color: #6c6;">&#41;</span><span style="color: #6c6;">&#41;</span>
&nbsp;
<span style="color: #06c; font-weight: bold;">let</span> search <span style="color: #a52a2a;">=</span>
  <span style="color: #06c; font-weight: bold;">let</span> g p f s <span style="color: #a52a2a;">=</span> fold <span style="color: #6c6;">&#40;</span>f @ sw mark s<span style="color: #6c6;">&#41;</span> <span style="color: #6c6;">&#40;</span>filter <span style="color: #6c6;">&#40;</span><span style="color: #6c6;">&#40;</span><span style="color: #a52a2a;">=</span><span style="color: #6c6;">&#41;</span> p @ <span style="color: #06c; font-weight: bold;">fst</span><span style="color: #6c6;">&#41;</span> s<span style="color: #6c6;">&#41;</span> <span style="color: #06c; font-weight: bold;">in</span>
  fold81 g
&nbsp;
<span style="color: #06c; font-weight: bold;">let</span> read <span style="color: #6c6;">&#40;</span><span style="color: #6c6;">&#41;</span> <span style="color: #a52a2a;">=</span>
  <span style="color: #06c; font-weight: bold;">let</span> f p <span style="color: #a52a2a;">=</span> <span style="color: #06c; font-weight: bold;">Scanf</span><span style="color: #a52a2a;">.</span><span style="color: #060;">scanf</span> <span style="color: #3cb371;">&quot;%d &quot;</span> <span style="color: #6c6;">&#40;</span><span style="color: #06c; font-weight: bold;">fun</span> x <span style="color: #a52a2a;">-&gt;</span> <span style="color: #06c; font-weight: bold;">if</span> x<span style="color: #a52a2a;">&gt;</span><span style="color: #c6c;">0</span> <span style="color: #06c; font-weight: bold;">then</span> mark <span style="color: #6c6;">&#40;</span>p,x<span style="color: #a52a2a;">-</span><span style="color: #c6c;">1</span><span style="color: #6c6;">&#41;</span> <span style="color: #06c; font-weight: bold;">else</span> id<span style="color: #6c6;">&#41;</span> <span style="color: #06c; font-weight: bold;">in</span>
  fold81 f <span style="color: #6c6;">&#40;</span>fold81 <span style="color: #6c6;">&#40;</span>fold9 @ <span style="color: #6c6;">&#40;</span><span style="color: #6c6;">&#40;</span>@<span style="color: #6c6;">&#41;</span> add @ zip<span style="color: #6c6;">&#41;</span><span style="color: #6c6;">&#41;</span> empty<span style="color: #6c6;">&#41;</span>
&nbsp;
<span style="color: #06c; font-weight: bold;">let</span> print s <span style="color: #6c6;">&#40;</span><span style="color: #6c6;">&#41;</span> <span style="color: #a52a2a;">=</span>
  <span style="color: #06c; font-weight: bold;">let</span> pr <span style="color: #6c6;">&#40;</span><span style="color: #6c6;">&#40;</span>i,j<span style="color: #6c6;">&#41;</span>,x<span style="color: #6c6;">&#41;</span> <span style="color: #a52a2a;">=</span> <span style="color: #06c; font-weight: bold;">Printf</span><span style="color: #a52a2a;">.</span><span style="color: #060;">printf</span> <span style="color: #3cb371;">&quot;%d%c&quot;</span> <span style="color: #6c6;">&#40;</span>x<span style="color: #a52a2a;">+</span><span style="color: #c6c;">1</span><span style="color: #6c6;">&#41;</span> <span style="color: #6c6;">&#40;</span><span style="color: #06c; font-weight: bold;">if</span> j<span style="color: #a52a2a;">=</span><span style="color: #c6c;">8</span> <span style="color: #06c; font-weight: bold;">then</span> <span style="color: #a52a2a;">'</span>\n<span style="color: #a52a2a;">'</span> <span style="color: #06c; font-weight: bold;">else</span> <span style="color: #a52a2a;">'</span> <span style="color: #a52a2a;">'</span><span style="color: #6c6;">&#41;</span> <span style="color: #06c; font-weight: bold;">in</span>
  iter pr s<span style="color: #a52a2a;">;</span> <span style="color: #06c; font-weight: bold;">print_newline</span> <span style="color: #6c6;">&#40;</span><span style="color: #6c6;">&#41;</span><span style="color: #a52a2a;">;;</span>
&nbsp;
search print <span style="color: #6c6;">&#40;</span>read <span style="color: #6c6;">&#40;</span><span style="color: #6c6;">&#41;</span><span style="color: #6c6;">&#41;</span> <span style="color: #6c6;">&#40;</span><span style="color: #6c6;">&#41;</span></pre></div></div>

<p>Вы посмотрите эту красоту, это же [почти] совершенство! А если учесть, что 272 байта — это чтение задачи с STDIN и вывод результата, размер кода сокращается до менее чем 600 байт.</p>
<p><span id="more-126"></span>Впрочем, Perl традиционно отличился своей минималистической магической мешаниной:</p>

<div class="wp_syntax"><div class="code"><pre class="perl" style="font-family:monospace;"><span style="color: #000000; font-weight: bold;">use</span> integer<span style="color: #339933;">;</span><span style="color: #0000ff;">@A</span><span style="color: #339933;">=</span><span style="color: #000066;">split</span><span style="color: #339933;">//,&lt;&gt;;</span>sub R<span style="color: #009900;">&#123;</span><span style="color: #b1b100;">for</span><span style="color: #0000ff;">$i</span><span style="color: #009900;">&#40;</span>0<span style="color: #339933;">..</span>80<span style="color: #009900;">&#41;</span><span style="color: #009900;">&#123;</span><span style="color: #b1b100;">next</span> <span style="color: #b1b100;">if</span><span style="color: #0000ff;">$A</span><span style="color: #009900;">&#91;</span><span style="color: #0000ff;">$i</span><span style="color: #009900;">&#93;</span><span style="color: #339933;">;</span>my<span style="color: #0000ff;">%t</span><span style="color: #339933;">=</span><span style="color: #000066;">map</span><span style="color: #009900;">&#123;</span><span style="color: #0000ff;">$_</span><span style="color: #339933;">/</span><span style="color: #cc66cc;">9</span>
<span style="color: #339933;">==</span><span style="color: #0000ff;">$i</span><span style="color: #339933;">/</span><span style="color: #cc66cc;">9</span><span style="color: #339933;">||</span><span style="color: #0000ff;">$_</span><span style="color: #339933;">%</span>9<span style="color: #339933;">==</span><span style="color: #0000ff;">$i</span><span style="color: #339933;">%</span>9<span style="color: #339933;">||</span><span style="color: #0000ff;">$_</span><span style="color: #339933;">/</span><span style="color: #cc66cc;">27</span><span style="color: #339933;">==</span><span style="color: #0000ff;">$i</span><span style="color: #339933;">/</span><span style="color: #cc66cc;">27</span><span style="color: #339933;">&amp;&amp;</span><span style="color: #0000ff;">$_</span><span style="color: #339933;">%</span>9<span style="color: #339933;">/</span><span style="color: #cc66cc;">3</span><span style="color: #339933;">==</span><span style="color: #0000ff;">$i</span><span style="color: #339933;">%</span>9<span style="color: #339933;">/</span><span style="color: #cc66cc;">3</span><span style="color: #339933;">?</span><span style="color: #0000ff;">$A</span><span style="color: #009900;">&#91;</span><span style="color: #0000ff;">$_</span><span style="color: #009900;">&#93;</span><span style="color: #339933;">:</span><span style="color: #cc66cc;">0</span><span style="color: #339933;">=&gt;</span><span style="color: #cc66cc;">1</span><span style="color: #009900;">&#125;</span>0<span style="color: #339933;">..</span>80<span style="color: #339933;">;</span>R<span style="color: #009900;">&#40;</span><span style="color: #0000ff;">$A</span><span style="color: #009900;">&#91;</span>
<span style="color: #0000ff;">$i</span><span style="color: #009900;">&#93;</span><span style="color: #339933;">=</span><span style="color: #0000ff;">$_</span><span style="color: #009900;">&#41;</span><span style="color: #b1b100;">for</span> <span style="color: #000066;">grep</span><span style="color: #009900;">&#123;</span><span style="color: #339933;">!</span><span style="color: #0000ff;">$t</span><span style="color: #009900;">&#123;</span><span style="color: #0000ff;">$_</span><span style="color: #009900;">&#125;</span><span style="color: #009900;">&#125;</span>1<span style="color: #339933;">..</span>9<span style="color: #339933;">;</span>return<span style="color: #0000ff;">$A</span><span style="color: #009900;">&#91;</span><span style="color: #0000ff;">$i</span><span style="color: #009900;">&#93;</span><span style="color: #339933;">=</span><span style="color: #cc66cc;">0</span><span style="color: #009900;">&#125;</span><span style="color: #000066;">die</span><span style="color: #0000ff;">@A</span><span style="color: #009900;">&#125;</span>R</pre></div></div>

<p>Ну и специалисты по PHP тоже выразились: <a href="http://www.weberdev.com/get_example-4243.html">http://www.weberdev.com/get_example-4243.html</a></p>
]]></content:encoded>
			<wfw:commentRss>http://john.5070.info/2009/06/%d1%80%d0%b5%d1%88%d0%b5%d0%bd%d0%b8%d0%b5-%d0%b4%d0%bb%d1%8f-%d1%80%d0%b5%d1%88%d0%b0%d1%82%d0%b5%d0%bb%d1%8f-sudoku/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
	</channel>
</rss>
