![](https://cdn-ak-scissors.b.st-hatena.com/image/square/742b363bb061309fecf61ec2e6344798fe5b28d0/height=288;version=1;width=512/https%3A%2F%2Fqiita-user-contents.imgix.net%2Fhttps%253A%252F%252Fcdn.qiita.com%252Fassets%252Fpublic%252Farticle-ogp-background-9f5428127621718a910c8b63951390ad.png%3Fixlib%3Drb-4.0.0%26w%3D1200%26mark64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTkxNiZoPTMzNiZ0eHQ9QWxsb3klMjBBbmFseXplciUyMDMwJUU4JUExJThDJUUzJTgxJUE3JUUzJTgyJUI5JUUzJTgzJUFBJUUzJTgyJUI2JUUzJTgzJUJDJUUzJTgzJUFBJUUzJTgzJUIzJUUzJTgyJUFGJUUzJTgxJUFFJUU1JTk1JThGJUU5JUExJThDJUUzJTgyJTkyJUU4JUE3JUEzJUUzJTgxJThGJnR4dC1jb2xvcj0lMjMyMTIxMjEmdHh0LWZvbnQ9SGlyYWdpbm8lMjBTYW5zJTIwVzYmdHh0LXNpemU9NTYmdHh0LWNsaXA9ZWxsaXBzaXMmdHh0LWFsaWduPWxlZnQlMkN0b3Amcz00Yzk1OTM0MmIwYTg4MGFiN2IyNjc4Njk3MmE5ZGRhYg%26mark-x%3D142%26mark-y%3D112%26blend64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTYxNiZ0eHQ9JTQwdDJydSZ0eHQtY29sb3I9JTIzMjEyMTIxJnR4dC1mb250PUhpcmFnaW5vJTIwU2FucyUyMFc2JnR4dC1zaXplPTM2JnR4dC1hbGlnbj1sZWZ0JTJDdG9wJnM9ZjNkNGYwYWM1YWQyODM0OGMwNmQyNTBjNzljOTg0YTE%26blend-x%3D142%26blend-y%3D491%26blend-mode%3Dnormal%26s%3D658208667798b046af23c86f1a9b91b4)
エントリーの編集
![loading...](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/common/loading@2x.gif)
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
Alloy Analyzer 30行でスリザーリンクの問題を解く - Qiita
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
![アプリのスクリーンショット](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/entry/app-screenshot.png)
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
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