エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
ここにツイート内容が記載されます https://b.hatena.ne.jp/URLはspanで囲んでください
Twitterで共有ONにすると、次回以降このダイアログを飛ばしてTwitterに遷移します
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
形式手法のツールAlloyでスリザーリンクの問題を30行で解いてみた。 スリザーリンクのルールは下記の通... 形式手法のツールAlloyでスリザーリンクの問題を30行で解いてみた。 スリザーリンクのルールは下記の通り。 数字は周囲の線の本数を示す。 線は交差や枝分かれしない。 線は全体で一つの輪になる。 詳しい解説 http://www.nikoli.com/ja/puzzles/slitherlink/rule.html 短く書くポイントは、ルール2と3を次のように解釈すること。 要は線というのは内側エリアと外側エリアに分ける境界線。 内側マスは全部つながっている。 外側マスは辺の外側マスにつながっている。 こうすると、線の枝分かれとかループとかの判定は、特に必要ない。 abstract sig Board { maxadjs: Int } abstract sig Side {} one sig Inside, Outside extends Side {} abstract sig Cell