【Bombe】ずんだもんにマインスイーパーを自動化してもらう 4 (広い記号への置き換え)

[@mui_nyan]

わざわざ弱いルールに置き換えて解けるの不思議すぎる…やばいゲームだ

[@nyukkurian5340]

すべての記号はx+,x-,!x,2*,1+2*の「以上、以下、以外、奇数、偶数」の組み合わせに変換できる
0/2は「0以上2以下、1以外」なので2-,!1に分解できる
（0以上は当たり前なので0+に変換されるルールは作らないようにする）
x+2*は「x以上の奇数or偶数」なので、x+,(2*か1+2*)になる
このままだと奇数か偶数かわからないので、x+2+2*からx+2*に変換を繰り返せば2*か1+2*のどちらかになる
夢の中でもbombeやってる　たすけて

[@kanmi_kou]

x/x+3の置き換えがかなり難しい気がします…（x+1でもx+2でもないという条件を使いたいが、領域数が増えてしまうため）

[@nyukkurian5340]

目的は「ルール数の節約」であって、領域の節約ではないということです。
x/x+3は「x以上、x+3以下、x+1以外、x+2以外」の4領域に置き換えられますが、
領域が増えるのを嫌うと「x/x+3からxを消してx+3にする」「x/x+3からx+3を消してxにする」ルールを作る必要が出てきます。
しかしその２つのルールはx/x+3以外には使えないので他の記号で似たようなルールを作り直す必要があり、ルール数が増えていきます。

[@hana_seasonone_]

この回からこのゲームっぽさが出てくる

[@b_head4580]

領域爆発！楽しい✌！