トイレにおける上座・下座を考慮した待ち行列
トイレの上座・下座は入り口からの距離によって決まる。
ここでトイレの入り口からの距離をとしたとき、
がよりも上座であるとは
が成り立つことをいう。
以下、トイレの距離を上座度と定義する。
プレイヤは、すべてのプレイヤの役職を意味する序列をわかるものとする。
あるプレイヤの序列をとする。
ここで、にプレイヤが用を足していることを考えた場合に、
であれば、となるようにトイレを決定する必要がある。
空きトイレがなければ待ち時間が発生するためペナルティを受ける。
待ち行列にとなるプレイヤがいる場合は優先してトイレを使用することができるが、
前方にいるプレイヤの数だけペナルティを受ける。
(トイレの入り口は往々にして狭いため、行列をかき分ける時間的ロスが存在する。)
一方で
の場合は、任意のトイレを使用することが可能である。
ただし、ここでとなるようにトイレを決定した場合は、
プレイヤは上座・下座を考慮しなかったことになるためペナルティを受けることとなる。
各ペナルティは想定するトイレ問題を考慮し決定する必要がある。
各プレイヤは自身のペナルティを最小化するように行動する。