0コメント

【保存版】応用情報技術者試験 平成27年春期 午前問1｜M/M/1公式・導出・リトルの法則まで完全網羅

【応用情報技術者試験 平成27年春期 午前問1 問1】M/M/1待ち行列モデルでATM統合後の平均待ち時間を徹底解説

📘【応用情報技術者試験 平成27年春期 午前問1 問1】
M/M/1待ち行列モデルでATM統合後の平均待ち時間を完全攻略

本記事では、応用情報技術者試験（AP）の重要分野「基礎理論・応用数学（待ち行列理論）」の代表問題を網羅的に解説します。
試験を実施しているのは 情報処理推進機構（IPA） です。



📝 応用情報技術者試験 平成27年春期 午前問1 問1（問題文）

ATM（現金自動預払機）が1台ずつ設置してある二つの支店を統合し， 統合後の支店にはATMを1台設置する。 統合後のATMの平均待ち時間を求める式はどれか。

ここで，待ち時間はM/M/1の待ち行列モデルに従い， 平均待ち時間にはサービス時間を含まず， ATMを1台に統合しても十分に処理できるものとする。

〔条件〕
（1）統合後の平均サービス時間：Ts
（2）統合前のATMの利用率：両支店とも ρ
（3）統合後の利用者数：統合前の両支店の利用者数の合計
〔選択肢〕

ア　ρ / (1 − ρ) × Ts
イ　ρ / (1 − 2ρ) × Ts
ウ　2ρ / (1 − ρ) × Ts
エ　2ρ / (1 − 2ρ) × Ts

分類：テクノロジ系 » 基礎理論 » 応用数学



📝 問題概要

ATMが1台ずつ設置してある2つの支店を統合し、統合後はATM1台のみ設置する。
統合後のATMの平均待ち時間を求めよ。

条件：
① 統合後の平均サービス時間：T_s
② 統合前のATM利用率：両支店とも ρ
③ 統合後の利用者数：統合前の合計（＝2倍）
④ モデル：M/M/1
⑤ 待ち時間はサービス時間を含まない

正解：エ
2ρ / (1 - 2ρ) × T_s

🔎 M/M/1待ち行列モデルとは？

記号意味
M到着がポアソン分布（Markovian）
Mサービス時間が指数分布
1窓口1台

つまり「ランダムに客が来て、ランダムな時間で処理され、窓口は1つ」という最も基本的なモデルです。

📐 平均待ち時間の公式（最重要）

Wq ＝ ρ / (1 − ρ) × Ts
  • ρ ＝ 利用率（λ / μ）
  • Ts ＝ 平均サービス時間（1 / μ）

⚙ 利用率の変化が本問の核心

▶ 統合前

  • 到着率：λ
  • 処理率：μ
  • 利用率：ρ = λ / μ

▶ 統合後

  • 到着率：2λ（利用者2倍）
  • 処理率：μ（変わらない）

よって利用率は

ρ' = 2λ / μ = 2ρ

🧮 統合後の平均待ち時間

公式に代入：

Wq = 2ρ / (1 − 2ρ) × Ts

よって正解はエ。

📊 具体的な使用状況で考える

■ 例：統合前

  • 平均サービス時間：2分
  • 1時間あたり15人来店

利用率は：

(2分 × 15人) ÷ 60分 = 0.5

つまり ρ = 0.5

■ 統合後

  • 到着率が2倍 → ρ = 1.0

これは ρ < 1 の安定条件を満たさないため破綻します。

したがって本問の前提「十分に処理できる」とは

2ρ < 1 → ρ < 0.5
である必要があります。

🚨 利用率が1に近づくと？

式：

ρ / (1 − ρ)

分母が0に近づくため、待ち時間は爆発的に増加します。

これがATM統合における経営上のリスクです。

💼 経営的視点

  • ✔ ATM削減 → コスト削減
  • ✖ 利用率上昇 → 待ち時間増大
  • ✖ 顧客満足度低下

応用情報では「数式の意味を説明できる」ことが重要です。

🎯 要点まとめ

  • ✔ M/M/1の平均待ち時間公式を理解する
  • ✔ 利用率 ρ = λ/μ
  • ✔ 到着率2倍 → 利用率2倍
  • ✔ 統合後の式は 2ρ / (1 − 2ρ) × Ts
  • ✔ 安定条件：ρ < 0.5
  • ✔ 利用率が1に近づくと待ち時間は急増


📚 後書き｜関連知識・背景・出題傾向まとめ

本問は一見すると単純な公式代入問題に見えますが、 実際には待ち行列理論の本質理解が問われています。 応用情報技術者試験では、単なる暗記ではなく 「なぜその式になるのか」「前提条件は何か」まで理解しているかが得点の分かれ目になります。

🔎 関連する重要事項

  • ✔ M/M/1モデルの前提（ポアソン到着・指数分布サービス時間）
  • ✔ 利用率 ρ = λ / μ の意味
  • ✔ 平均待ち時間 Wq = ρ / (1 − ρ) × Ts
  • ✔ 安定条件：ρ < 1（破綻条件の理解）
  • ✔ リトルの法則（L = λW）との関係

特に利用率が1に近づくと待ち時間が急増するという性質は、 数式だけでなくグラフイメージで理解しておくと応用問題に強くなります。

📈 周辺知識・背景知識

待ち行列理論はATMや窓口業務だけでなく、 サーバ設計、クラウドリソース設計、コールセンター設計など、 実務に直結する理論です。

  • ・Webサーバの同時接続数設計
  • ・データベースのスループット設計
  • ・ネットワーク帯域設計
  • ・物流センターの処理能力設計

つまり本問は「ATMの話」ではなく、 システム設計における性能設計の基礎を問う問題なのです。

📝 出題傾向

応用情報技術者試験では、待ち行列分野は周期的に出題されています。 出題パターンは以下の3種類が中心です。

  1. ① 公式を直接問う基本問題
  2. ② 利用率変化を読み取らせる応用問題（本問タイプ）
  3. ③ リトルの法則と組み合わせる複合問題

特に「利用率が倍になる」「サーバ台数が変わる」などの 条件変化型問題は頻出です。

🎯 学習アドバイス

  • ✔ 公式を暗記するだけでなく導出の流れを理解する
  • ✔ 利用率が0.5、0.8、0.9のときの待ち時間の増え方を感覚的に掴む
  • ✔ 実務（サーバ設計など）と結び付けて考える

応用情報では「知識」よりも「理解」が重要です。 本問をきっかけに、待ち行列理論を単なる計算問題ではなく、 システム設計の基礎理論として捉えてみてください。



⚠ ひっかけ対策｜一問一答チェックテスト

応用情報技術者試験の待ち行列問題では、「公式暗記だけでは解けない」ひっかけが頻出します。 以下のチェックテストで理解度を確認しましょう。

Q1. M/M/1モデルの平均待ち時間にはサービス時間も含まれる。
▶ 答え： ×
※ 平均待ち時間 Wq は「待っている時間のみ」。サービス時間を含むのは W。
Q2. 利用率 ρ = μ / λ である。
▶ 答え： ×
※ 正しくは ρ = λ / μ。分子と分母の逆に注意。
Q3. 到着率が2倍になれば利用率も2倍になる（処理率一定の場合）。
▶ 答え： ○
※ ρ = λ / μ なので λ が2倍 → ρも2倍。
Q4. 利用率が1に近づくと平均待ち時間は減少する。
▶ 答え： ×
※ ρ / (1−ρ) の分母が0に近づき、待ち時間は爆発的に増加。
Q5. 安定条件は ρ < 1 である。
▶ 答え： ○
※ ρ ≥ 1 では処理が追いつかず待ち行列は無限に増加。
Q6. 本問の統合後の利用率は ρ のままである。
▶ 答え： ×
※ 利用者数が2倍なので 2ρ になる。
Q7. 統合後も十分に処理できる条件は 2ρ < 1 である。
▶ 答え： ○
※ つまり ρ < 0.5 が前提条件。
🎯 最重要ひっかけポイントまとめ
  • ✔ 「待ち時間」と「滞在時間」を混同しない
  • ✔ ρ の定義（λ / μ）を必ず確認
  • ✔ 条件変化（利用者増加・サーバ減少）に敏感になる
  • ✔ 安定条件を必ずチェックする


📘 発展解説｜M/M/1の重要公式・導出・M/M/sとの違い・リトルの法則

応用情報技術者試験では、平均待ち時間だけでなく 平均応答時間（滞在時間）や 平均系内人数なども問われることがあります。 ここでは覚えるべき公式とその関係性を体系的に整理します。

① 覚えるべき主要公式（M/M/1）

■ 利用率
ρ = λ / μ

■ 平均待ち時間（サービス時間を含まない）
Wq = ρ / (1 − ρ) × Ts

■ 平均応答時間（系内滞在時間）
W = 1 / (μ − λ)
＝ Wq + Ts

■ 平均待ち人数
Lq = ρ² / (1 − ρ)

■ 平均系内人数
L = ρ / (1 − ρ)

🔎 試験では「WqとWの違い」「LとLqの違い」がよくひっかけになります。

② M/M/1の導出過程（概要）

M/M/1は出生死亡過程（Birth-Death Process）に基づいて導出されます。

  • 到着率：λ（状態n → n+1）
  • 処理率：μ（状態n → n−1）

定常状態では流入確率と流出確率が等しくなるため、

Pn = (1 − ρ)ρⁿ

これを用いて平均人数Lを求めると、

L = ρ / (1 − ρ)

さらにリトルの法則 L = λW を使って、

W = 1 / (μ − λ)

が導出されます。

応用情報では完全導出までは不要ですが、 「確率の平衡から導かれる」ことを理解しておくと応用問題に強くなります。

③ M/M/1とM/M/sの違い

M/M/1
・窓口1台
・式が比較的単純
・利用率 ρ = λ / μ

M/M/s
・窓口s台
・利用率 ρ = λ / (sμ)
・アーランC式を用いる
・計算が複雑

窓口が複数になると待ち時間は一般に短縮されますが、 計算は指数関数的に複雑化します。 応用情報では「利用率の定義の違い」を問う問題が頻出です。

④ リトルの法則との関係

L = λW

これはすべての待ち行列モデルに成り立つ普遍法則です。

  • L：平均系内人数
  • λ：到着率
  • W：平均滞在時間

例えばATMに1時間あたり20人来て、 平均滞在時間が3分（＝0.05時間）なら、

L = 20 × 0.05 = 1人

となります。

🎯 発展理解まとめ
  • ✔ WqとWの違いを明確にする
  • ✔ L・Lqとの関係を理解する
  • ✔ M/M/sでは利用率の定義が変わる
  • ✔ リトルの法則は全モデル共通
  • ✔ 利用率が性能設計の核心


📚 用語完全網羅リスト｜待ち行列理論・性能評価分野

本記事で登場した重要用語を、応用情報技術者試験レベルで一つずつ整理します。 試験対策としては「定義＋意味＋試験での注意点」まで押さえることが重要です。

  • ■ ATM（現金自動預払機）
    銀行などに設置される自動取引端末。本問では「サービス窓口」の具体例として登場。
  • ■ 待ち行列（Queue）
    サービスを受ける前に並ぶ顧客の列。情報システムではジョブ待ちやパケット待ちに相当。
  • ■ M/M/1モデル
    到着がポアソン分布、サービス時間が指数分布、窓口1台の待ち行列モデル。最も基本形。
  • ■ M/M/sモデル
    窓口がs台の拡張モデル。利用率は ρ = λ / (sμ)。アーランC式を用いる。
  • ■ ポアソン分布
    一定時間内の到着回数を表す確率分布。到着がランダムで独立に発生する仮定。
  • ■ 指数分布
    サービス時間の確率分布。無記憶性（過去に依存しない性質）を持つ。
  • ■ 出生死亡過程（Birth-Death Process）
    状態が1つ増減する確率過程。待ち行列の状態遷移を数学的に表現。
  • ■ 到着率（λ）
    単位時間あたりの到着人数。利用率計算の分子。
  • ■ サービス率（μ）
    単位時間あたりの処理可能人数。平均サービス時間の逆数。
  • ■ 平均サービス時間（Ts）
    1人を処理する平均時間。Ts = 1 / μ。
  • ■ 利用率（ρ）
    ρ = λ / μ。サーバが稼働している割合。性能設計の核心指標。
  • ■ 安定条件
    ρ < 1。これを満たさないと待ち行列は無限に増加。
  • ■ 平均待ち時間（Wq）
    行列に並んでからサービス開始までの時間。
  • ■ 平均応答時間（W）
    系内滞在時間。W = Wq + Ts。
  • ■ 平均待ち人数（Lq）
    行列で待っている人数の平均。Lq = ρ² / (1 − ρ)。
  • ■ 平均系内人数（L）
    系内に存在する総人数（待ち＋処理中）。L = ρ / (1 − ρ)。
  • ■ リトルの法則
    L = λW。全ての待ち行列モデルに成立する基本法則。
  • ■ アーランC式
    M/M/sモデルで待ち確率を求める式。窓口複数時に使用。
  • ■ 系内滞在時間
    システムに入ってから出るまでの総時間。応答時間と同義。
  • ■ 性能設計
    システムの処理能力・応答時間・利用率を設計する工程。
  • ■ スループット
    単位時間あたりの処理件数。μやλと関連する概念。
  • ■ 窓口（サーバ）
    サービスを提供する装置・人・システム。ATMやWebサーバが該当。
🎯 試験対策ポイント
  • ✔ ρ・W・Wq・L・Lqの違いを明確に区別する
  • ✔ 安定条件を必ず確認する
  • ✔ リトルの法則は最重要
  • ✔ M/M/1とM/M/sの利用率定義の違いに注意


© 応用情報技術者試験対策コンテンツ｜待ち行列理論・基礎理論対策

この記事へのコメント

コメントを書く