1. M/M/1モデルとは何か

　M/M/1モデルは、待ち行列理論の基本的なモデルで、1台のサーバにランダムに顧客が到着し、サービスを受けるシステムを表します。名前の意味は次の通りです：

  • 最初のM: 到着過程がマルコフ性（指数分布）に従うことを示します
  • 2番目のM: サービス過程がマルコフ性（指数分布）に従うことを示します
  • 1: サーバが1台であることを示します

2. 指数分布とは

　M/M/1モデルを理解するためには、指数分布の特性を知ることが重要です。指数分布は「無記憶性」という特殊な性質を持ちます。これは「過去の経過時間に関係なく、次の事象が発生するまでの残り時間の確率分布が同じ」という性質です。

例: コンビニのレジで5分待っている人がいるとします。指数分布に従うなら、この人がさらに2分待つ確率は、今レジに到着した人が2分待つ確率と同じです。つまり、すでに待った時間は関係ありません。

　この特性により、M/M/1モデルは数学的に扱いやすくなります。

3. M/M/1モデルの直感的な理解

3.1. 安定条件（ρ < 1）の意味

　システム利用率 ρ = λ/μ が1未満である必要があります。これは何を意味するのでしょうか？

　直感的に考えると：

  • λ: 1時間あたりに10人が来店する
  • μ: 1時間あたりに15人を処理できる

　この場合、ρ = 10/15 = 0.67 となり、サーバの処理能力が到着率を上回っているため、システムは安定しています。

　逆に、λ = 20人/時間、μ = 15人/時間とすると、ρ = 20/15 = 1.33 > 1 となり、処理しきれない顧客が徐々に蓄積され、待ち行列は無限に増加してしまいます。

3.2. 各計算式の関係性

　M/M/1モデルの各指標は互いに関連しています：

  1. システム利用率（ρ）= λ/μ：サーバがどれだけ忙しいかを表します。例えばρ = 0.8なら、サーバは時間の80%が稼働中で、20%は待機中です。
  2. 平均システム内顧客数（L）= ρ/(1-ρ)：この式はなぜこうなるのでしょう？
    • ρが大きくなると（1に近づくと）、分母が小さくなるので、L値は急激に増加します
    • ρ = 0.5なら、L = 0.5/(1-0.5) = 1人
    • ρ = 0.9なら、L = 0.9/(1-0.9) = 9人
    • つまり、システム利用率が90%になると、平均顧客数は9倍になります！
  3. 平均待ち行列長（Lq）= ρ²/(1-ρ)：サービス中の顧客を除いた待ち行列の長さ
    • L = Lq + ρ となることに注目（システム内顧客 = 待ち行列 + サービス中）
  4. 平均システム内滞在時間（W）= 1/(μ-λ)：
    • 分母の (μ-λ) は「余剰サービス能力」と考えられます
    • 余剰能力が少ないほど、滞在時間は長くなります
  5. 平均待ち時間（Wq）= ρ/(μ-λ)：
    • W = Wq + 1/μ となることに注目（滞在時間 = 待ち時間 + サービス時間）

4. 具体例で理解する

[](/M/1モデルは、待ち行列理論の基本となるモデルです。単なる計算式の暗記ではなく、各パラメータの意味や関連性を理解することが重要です。特に、システム利用率ρが1に近づくにつれて待ち時間が急激に増加するという性質は、実際のシステム設計においても重要な洞察を与えます。

　応用情報処理技術者試験での出題では、これらの概念を理解した上で、与えられたパラメータから必要な指標を計算できることが求められます。計算式の意味を理解していれば、暗記に頼らずとも問題に対応できるようになります。