待ち行列理論(M/M/1)とは?レジやサーバーの『行列・待ち時間』を数式で予測する考え方

公開: 更新: カテゴリ: テクノロジ系

30秒で結論

待ち行列理論とは(全体像)

待ち行列理論は、「待たされる場面」を数式で分析する分野のこと。スーパーのレジ、コールセンター、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(利用率と安定条件)

📝 オリジナル問題 1 利用率と安定条件

M/M/1モデルの利用率ρに関する次の記述のうち、正しいものはどれか。

  1. 利用率ρはさばく速さを到着の速さで割った値で、2以上のときに安定するとされる
  2. 利用率ρは窓口の数そのものを表す値で、混み具合とはとくに関係していない
  3. 利用率ρは到着の速さをさばく速さで割った値で、ρが1以上だと行列が無限に伸びる
  4. 利用率ρは待ち時間そのものを表す値で、その値が大きいほど空いていることを示している
シーピードラ
シーピードラ 解答・解説

解答は 3 だぜ。

利用率ρは「到着の速さ÷さばく速さ」で、窓口の混み具合を表す。ρが1以上だとさばききれず行列が無限に伸びるから、安定にはρ<1が必須だ。

選択肢1は割り算が逆で、しかも「2以上が安定」が誤り。選択肢2は「窓口の数」とする誤り。選択肢4は「大きいほど空いている」が逆だぜ。

選択肢判定理由
1割り算が逆・安定条件もρ<1
2ρは混み具合を表す
3到着÷さばく、ρ<1が安定条件
4値が大きいほど混んでいる

オリジナル問題2(リトルの法則)

📝 オリジナル問題 2 リトルの法則

リトルの法則に関する次の記述のうち、正しいものはどれか。

  1. 平均の人数は到着の速さと平均滞在時間をかけた値で、広く成り立つ関係である
  2. 平均の人数は到着の速さを平均滞在時間で割った値として求められる関係である
  3. リトルの法則は窓口が2つ以上のときには成り立たず、M/M/1だけで使える式だ
  4. リトルの法則は待ち時間を一切使わずに、窓口の数だけから人数を求める式だ
シーピードラ
シーピードラ 解答・解説

解答は 1 だぜ。

リトルの法則は「平均人数=到着の速さ×平均滞在時間」。「1分に2人来て平均10分いる」なら店内は平均20人、と計算できる、あらゆる待ち行列で成り立つ万能の関係だ。

選択肢2は「かける」を「割る」とする誤り。選択肢3は「M/M/1だけ」が誤りで、どんな行列でも成り立つ。選択肢4の「滞在時間を使わない」も誤りだぜ。

選択肢判定理由
1人数=到着の速さ×滞在時間で正しい
2割るのではなくかける
3あらゆる待ち行列で成り立つ
4滞在時間を使う関係である

オリジナル問題3(混雑と待ち)

📝 オリジナル問題 3 混雑と待ちの増え方

M/M/1での混雑と待ち時間の関係に関する次の記述のうち、正しいものはどれか。

  1. 利用率ρが変わっても、平均の待ち時間はつねに一定で変化しないものである
  2. 利用率ρが小さいほど待ちは長くなり、ρが大きいほど待ちは短くなっていく
  3. 利用率ρが1をこえても行列はやがて自然に解消し、待ち時間はゼロに近づく
  4. 利用率ρが1に近づくほど、平均の待ち人数や待ち時間は急激に増加していく
シーピードラ
シーピードラ 解答・解説

解答は 4 だぜ。

M/M/1ではρが1に近づくほど待ちが急激にふくらむ。0.5なら余裕でも、0.9を超えるあたりから待ちが一気に跳ね上がるんだ。だから設計ではρを1に近づけすぎないのが鉄則だぜ。

選択肢1は「つねに一定」が誤り。選択肢2は「小さいほど長い」が逆。選択肢3はρ>1で「自然に解消」が誤りで、行列は無限に伸びるぜ。

選択肢判定理由
1ρで待ち時間は変わる
2ρが大きいほど待ちは長い
3ρ>1では行列が無限に伸びる
4ρが1に近づくと待ちが急増する

まとめ

押さえどころ

次に学ぶ


執筆: SikakuQuest編集部

勉強は、クエストになった。

資格の勉強を、冒険に変えるRPG学習アプリ

App Storeで見る