麻雀の役を判定をするときには、まず和了形を求める必要がある。 例えば上記の牌姿の場合は、以下の2つの和了形が存在する。 (三暗刻) (純全帯幺九+一盃口) このように和了形が複数あるときは和了点の高い方を採用する*1ので、全ての和了形をもれなく求める必要がある。そのためには バックトラック法 と呼ばれる手法を用いるのが一般的だ。ところがネット上で見かける和了形を求めるアルゴリズムは「アドホックな解法」ばかりでバックトラックを説明したものが見当たらない*2。ならばということで、本稿で説明することにした。 *1:これを高点法と呼ぶ *2:バックトラックを使っていても説明は省略されている、あるいは誤…