待ち行列理論とは(全体像)
待ち行列理論は、「待たされる場面」を数式で分析する分野のこと。スーパーのレジ、コールセンター、Webサーバーなど、「客が来て・順番を待って・サービスを受ける」しくみはすべて同じ考え方で扱える。
いちばん基本のモデルがM/M/1。読み方は「客がランダムに到着し(最初のM)、1人あたりの処理時間もばらつき(次のM)、窓口は1つ(1)」という意味だ。
ここで主役になるのが利用率ρ(ロー)。これは「来る速さ÷さばく速さ」で、窓口がどれくらい忙しいか(混み具合)を表す。ρが小さいほど空いていて、1に近いほど混んでいる。
詳しく:このρとリトルの法則だけ覚えれば戦える
ここが記事の心臓部。まずは利用率ρと、待ちがどう増えるか。
利用率ρと待ちの関係
| 項目 | 内容 |
|---|---|
| 利用率 | ρ = 到着の速さ ÷ さばく速さ |
| 安定の条件 | ρ < 1(来る量がさばける量を超えない) |
| ρが1に近づくと | 平均の待ち人数・待ち時間が急激に増える |
| ρ ≥ 1 だと | 行列が無限に伸びて終わらない |
ここがいちばん大事。ρが0.5なら余裕だが、0.9を超えるあたりから待ちが一気にふくらむ(少しの混雑増で待ちが跳ね上がる)。つまり、ρが1に近いと少しの混雑でも待ちが跳ね上がる、と覚えておけばいい。だから設計では「ρを1に近づけすぎない」のが鉄則だ。
次に、待ち行列でいちばん有名なリトルの法則。
平均の人数 = 到着の速さ × 平均の滞在時間(L = λW)
これはどんな待ち行列でも成り立つ万能の関係。たとえば「1分に2人来る店に、平均10分いる客がいる」なら、店内には平均20人いる、と計算できる。式の形より「人数=来る速さ×いる時間」というイメージで覚えるのが速い。
なお、待ち行列の種類はA/B/c(到着のしかた/処理のしかた/窓口の数)という記号で表す(ケンドール記法)。M/M/1はその一例だ。
わかりやすく言い換えると
要するに、待ち行列理論は「レジの行列を数式で予想する」ことだ。
利用率ρは「レジ係の忙しさメーター」。
①ρが小さい(空いている)… すぐ順番が来る
②ρが1に近い(ほぼ満杯)… ちょっと混むだけで待ちが激増
③ρが1以上(さばききれない)… 行列が永遠に伸びる
リトルの法則は「店内の人数=来店ペース×滞在時間」。来るペースが速かったり、長居されたりするほど、店内は混む——という当たり前を式にしたものだ。
試験のツボ
🔴 一番出る:利用率ρと安定条件
①ρ = 到着の速さ ÷ さばく速さ(混み具合)
②ρ < 1 でないと行列が無限に伸びる
③ρが1に近づくほど待ちが急増する
🔴 次に出る:リトルの法則
①平均人数 = 到着の速さ × 平均滞在時間(L=λW)
②あらゆる待ち行列で成り立つ万能の関係
🟡 押さえると安定:M/M/1とケンドール記法
①M/M/1=ランダム到着・処理ばらつき・窓口1
②A/B/c(到着/処理/窓口の数)で種類を表す
よくある間違い
①「M/M/1は利用率ρが1以上でも安定して使える」→ ✗ ρ<1が必須。1以上だと行列が無限に伸びて終わらない。
②「リトルの法則は特定のモデルでしか成り立たない」→ ✗ どんな待ち行列でも成り立つ万能の関係。
③「ρが0.9でも0.5でも待ち時間はほぼ同じ」→ ✗ ρが1に近づくほど待ちは急激に増える。
試験での出題パターン
実際の問題でたしかめてみよう。
オリジナル問題1(利用率と安定条件)
M/M/1モデルの利用率ρに関する次の記述のうち、正しいものはどれか。
- 利用率ρはさばく速さを到着の速さで割った値で、2以上のときに安定するとされる
- 利用率ρは窓口の数そのものを表す値で、混み具合とはとくに関係していない
- 利用率ρは到着の速さをさばく速さで割った値で、ρが1以上だと行列が無限に伸びる
- 利用率ρは待ち時間そのものを表す値で、その値が大きいほど空いていることを示している
解答は 3 だぜ。
利用率ρは「到着の速さ÷さばく速さ」で、窓口の混み具合を表す。ρが1以上だとさばききれず行列が無限に伸びるから、安定にはρ<1が必須だ。
選択肢1は割り算が逆で、しかも「2以上が安定」が誤り。選択肢2は「窓口の数」とする誤り。選択肢4は「大きいほど空いている」が逆だぜ。
| 選択肢 | 判定 | 理由 |
|---|---|---|
| 1 | ✗ | 割り算が逆・安定条件もρ<1 |
| 2 | ✗ | ρは混み具合を表す |
| 3 | ✓ | 到着÷さばく、ρ<1が安定条件 |
| 4 | ✗ | 値が大きいほど混んでいる |
オリジナル問題2(リトルの法則)
リトルの法則に関する次の記述のうち、正しいものはどれか。
- 平均の人数は到着の速さと平均滞在時間をかけた値で、広く成り立つ関係である
- 平均の人数は到着の速さを平均滞在時間で割った値として求められる関係である
- リトルの法則は窓口が2つ以上のときには成り立たず、M/M/1だけで使える式だ
- リトルの法則は待ち時間を一切使わずに、窓口の数だけから人数を求める式だ
解答は 1 だぜ。
リトルの法則は「平均人数=到着の速さ×平均滞在時間」。「1分に2人来て平均10分いる」なら店内は平均20人、と計算できる、あらゆる待ち行列で成り立つ万能の関係だ。
選択肢2は「かける」を「割る」とする誤り。選択肢3は「M/M/1だけ」が誤りで、どんな行列でも成り立つ。選択肢4の「滞在時間を使わない」も誤りだぜ。
| 選択肢 | 判定 | 理由 |
|---|---|---|
| 1 | ✓ | 人数=到着の速さ×滞在時間で正しい |
| 2 | ✗ | 割るのではなくかける |
| 3 | ✗ | あらゆる待ち行列で成り立つ |
| 4 | ✗ | 滞在時間を使う関係である |
オリジナル問題3(混雑と待ち)
M/M/1での混雑と待ち時間の関係に関する次の記述のうち、正しいものはどれか。
- 利用率ρが変わっても、平均の待ち時間はつねに一定で変化しないものである
- 利用率ρが小さいほど待ちは長くなり、ρが大きいほど待ちは短くなっていく
- 利用率ρが1をこえても行列はやがて自然に解消し、待ち時間はゼロに近づく
- 利用率ρが1に近づくほど、平均の待ち人数や待ち時間は急激に増加していく
解答は 4 だぜ。
M/M/1ではρが1に近づくほど待ちが急激にふくらむ。0.5なら余裕でも、0.9を超えるあたりから待ちが一気に跳ね上がるんだ。だから設計ではρを1に近づけすぎないのが鉄則だぜ。
選択肢1は「つねに一定」が誤り。選択肢2は「小さいほど長い」が逆。選択肢3はρ>1で「自然に解消」が誤りで、行列は無限に伸びるぜ。
| 選択肢 | 判定 | 理由 |
|---|---|---|
| 1 | ✗ | ρで待ち時間は変わる |
| 2 | ✗ | ρが大きいほど待ちは長い |
| 3 | ✗ | ρ>1では行列が無限に伸びる |
| 4 | ✓ | ρが1に近づくと待ちが急増する |
まとめ
押さえどころ
- 🔴 利用率ρ = 到着の速さ÷さばく速さ。ρ<1が安定条件で、ρ≥1だと行列が無限に伸びる。
- 🔴 リトルの法則 = 平均人数=到着の速さ×平均滞在時間。あらゆる待ち行列で成り立つ。
- 🟡 M/M/1 = ランダム到着・処理ばらつき・窓口1。ρが1に近づくほど待ちが急増する。
次に学ぶ
- 確率分布(二項・正規・ポアソン) ── 待ち行列の「ランダムな到着」を支えるポアソン分布。確率分布を知ると、なぜρで混雑が決まるのかが見えてくる。
- 性能計算(スループット・レスポンスタイム) ── 待ち行列はサーバーの性能設計に直結する。待ち時間の考え方が実務につながる。
執筆: SikakuQuest編集部