2013-12-10から1日間の記事一覧

数字つなぎを「sugar制約ソルバーでナンバーリンクを解く」手法をパクって解こうとした

数字つなぎというパズルがあります。ありますのは事実ですが、名称が一般的過ぎて特定できない恐れもありますな。JPC2013(http://jppuzzles.com/jpc2013/)やLMIのパズラーラウンド(http://logicmastersindia.com/2013/11P/)で出題されていたあれです。詳しい…