---
title: 変動、M/G/1とKingman近似
url: https://doc.liz6.com/ja/theory/03-queueing-theory/05-variability-and-mg1
locale: ja
area: theory
tags:
- 待ち行列理論
- 基礎理論
date: 2026-09-10
modified: 2026-09-10
description: 平均処理時間と利用率が同じでも、ときどき現れる長い仕事が多くの後続要求を待たせます。M/G/1は処理時間の二次モーメントの役割を示し、Kingman近似は到着間隔の変動も平均待ち時間へ取り込みます。
---
# 変動、M/G/1とKingman近似
平均処理時間と利用率が同じでも、ときどき現れる長い仕事が多くの後続要求を待たせます。M/G/1は処理時間の二次モーメントの役割を示し、Kingman近似は到着間隔の変動も平均待ち時間へ取り込みます。
## 長い仕事に出会いやすい理由
稼働中の窓口をランダムな時刻に見ると、長さ $s$ の処理に出会う重みは $s$ に比例します。長い処理ほど多くの時間を占めるからです。その区間の残余処理時間の面積は $s^2/2$。独立同分布の処理では、稼働中という条件付き平均残余時間は：
$$E[R\mid\text{busy}]=\frac{E[S^2]}{2E[S]}.$$
一定処理時間では $E[S]/2$、指数処理では $E[S]$ です。個々の仕事が常に半分終わっているという意味ではなく、時間標本抽出での平均です。
## Pollaczek–Khinchineの公式
Poisson到着、独立同分布の処理時間、到着との独立、単一FCFS窓口、無限容量、$\rho=\lambda E[S]<1$ を仮定します。$E[S^2]<\infty$ のとき、待ちは処理中の残余仕事と前に並ぶ要求の全仕事からなります。PASTAと $L_q=\lambda E[W_q]$ により：
$$E[W_q]=\rho\frac{E[S^2]}{2E[S]}+L_qE[S]
=\frac{\lambda E[S^2]}2+\rho E[W_q].$$
整理するとM/G/1内で厳密なPK平均が得られます。
$$E[W_q]=\frac{\lambda E[S^2]}{2(1-\rho)}
=\frac{\rho}{1-\rho}\frac{1+C_s^2}{2}E[S].$$
平均処理10 ms、$\rho=0.8$ で $C_s^2=0,1,9$ なら平均待ちは20、40、200 msです。平均の処理仕事量ではなく、長い処理に遭遇する機会と累積待ちが増えています。
## 定常分布があっても平均が有限とは限らない
通常の独立同分布M/G/1で、有限 $E[S]$ と $\rho<1$ なら定常状態が存在し得ます。しかし $E[S^2]=\infty$ ならFCFSの平均待ちは無限になり得ます。形状パラメータが1と2の間にある、適切に尺度を設定したPareto処理が例です。
有限データの標本分散が有限でも、母集団の二次モーメントが有限とは証明できません。大きな仕事、タイムアウトによる打切り、要求種別、観測窓の長さによる変化を調べます。少数の極端値だけで裾の分布族を断定しません。
## 一般到着とKingman近似
FCFS GI/GI/1、独立同分布の間隔と処理、二系列の相互独立、有限二次モーメントでは、よく使う近似は：
$$E[W_q]\approx\frac{\rho}{1-\rho}\frac{C_a^2+C_s^2}{2}E[S].$$
重交通解析に基づく平均の近似であり、一般的な厳密上界でもp99公式でもありません。低負荷、強い依存、バッチ到着では誤差が大きくなる場合があります。実際にPoisson到着なら $C_a^2=1$ でPK厳密値へ戻りますが、そのモーメントだけの一致では十分ではありません。
**変動、M/G/1とKingman近似 · 実験**
平均処理時間10 ms固定。実線は常にPoisson到着、破線は現在のCₐ²によるGI/GI/1近似です。同じ到着過程の二つの厳密解ではなく、p99も予測しません。
まず $C_a^2=1$ で処理変動を変え、次に到着変動を1から離します。実線は常にPoisson基準で、破線だけが選択した到着変動を使います。同じ対象への二つの厳密解ではありません。
## 確認問題
1. 一定処理を同じ平均の指数処理に変えると、M/G/1の平均待ちはどうなりますか。
考え方
$C_s^2$ が0から1となり、$(1+C_s^2)/2$ が2倍なので平均待ちも2倍です。系内時間には変わらない平均処理時間も加わるため、総時間は通常2倍になりません。
考え方
要求種別ごとの処理量と待ち分布を測り、FCFSのブロッキングか確認します。分割、バッチ隔離、スケジューリング、仕事量制限を評価し、公平性とスループットも併せて見ます。