エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
Alloy Analyzer 30行でスリザーリンクの問題を解く - Qiita
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
Alloy Analyzer 30行でスリザーリンクの問題を解く - Qiita
形式手法のツール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