鳩でもわかるC#

充足可能性問題とは？ 充足可能性問題（satisfiability problem, SAT）は、一つの命題論理式が与えられたとき、それに含まれる変数の値を偽 (False) あるいは真 (True) にうまく定めること・・・

続きを読む

強連結成分分解とは？ 強連結成分（SCC, Strongly Connected Component）とは、有向グラフにおいて互いに行き来が可能な頂点の集合のことです。強連結成分分解とは、強連結成分を1つの頂点にまとめる・・・

続きを読む

Nim は、2人でおこなうレクリエーション数学ゲーム（組合せゲーム）の一つです。歴史的には、最初に必勝法が数学的に解決したゲームです。双方が最善をつくす場合、どちらが勝つかは最初の個数の組で決まります。 以下のようなゲー・・・

続きを読む

今回は以下の問題をヒントに石取りゲームをつくります。 G – 石取りゲーム N 個の石からなる山を用意します。一番最初に先手が石をとるときは 1 個以上 P 個以下の好きな個数だけ石をとれます。それ以降につい・・・

続きを読む

今回は石取りゲームの必勝法を考えます。 K – Stones K – Stones N 個の正整数からなる集合 A = { a_1, a_2, …, a_N } があります。 最初に、K 個の石か・・・

続きを読む

包除原理とは数え上げ組合せ論における基本的な結果のひとつです。 2つの有限集合 A と B の和集合に属する元の数を計算するには、まずそれぞれに属する元の数 |A| と |B| を足しあわせた後、それらの共通部分に属する・・・

続きを読む

整数 A を M で割った余りと、整数 B を M で割った余りが等しい場合、「M を法として A と B は合同である」といい A ≡ B(mod M)と表されます。 mod の逆元 M と互いに素である整数 A に対・・・

続きを読む

前回は複数色のライツアウトのパズルゲームを作りましたが、今回はその解を表示するライツアウトシミュレーターをつくります。2色から6色まで対応可能です。 動作確認はこちらから HTML部分 HTML部分を示します。 [cra・・・

続きを読む

JavaScriptでライツアウトをつくります。 動作確認はこちらから ライツアウトは、5×5の形に並んだライトをある法則にしたがってすべて消灯 (lights out) させることを目的としたパズルです。よくあるのはあ・・・

続きを読む

Weighted Tic-Tac-Toe 重み付きの三目並べ 競技プログラミングの問題をゲームにの続きです。ゲームに感想戦をする機能を追加します。 動作確認はこちらから 感想戦をする機能を追加する 感想戦モードに入る処理・・・

続きを読む