《待ち行列に対するアルゴリズム的解法》

提供: ORWiki
2007年8月9日 (木) 19:30時点におけるOrsjwiki (トーク | 投稿記録)による版
(差分) ← 古い版 | 最新版 (差分) | 新しい版 → (差分)
ナビゲーションに移動 検索に移動

【まちぎょうれつにたいするあるごりずむてきかいほう(algorithmic solution of queues)】

背景

 従来の待ち行列研究では,多くのモデルに共通する普遍的性質の解明や各種モデルにおける陽な解の導出に主眼が置かれていたが,計算機が身近になると共に,数値計算による待ち行列モデルの分析を意図する研究が活発になってきた[6].ここで共通する考え方は,(i) 待ち行列の挙動を,系内客数を表す変数と系の挙動を表現するために必要な補助的な変数の組で構成される2変数マルコフ連鎖で定式化し,(ii) その2変数マルコフ連鎖がもつ構造に注目して,マルコフ連鎖の定常分布を計算するための数値計算アルゴリズムを構築する,と言うものである[3, 7, 8].このようなアプローチをアルゴリズム的解法(algorithmic solution)あるいは行列解析法(matrix-analytic method)と呼ぶ.

相型分布とMAP

 状態 0 が吸収状態,状態 が一時的状態である連続時間有限状態吸収マルコフ連鎖 を考える.このとき の推移率行列は

の形に書ける.ただし はすべての要素が 1 の列ベクトルである.このマルコフ連鎖の初期状態分布を としたとき, が吸収されるまでの時間は 上の確率分布を定め,これを表現 をもつ相型分布(phase-type distribution)という[1, 4].以下ではマルコフ連鎖 の一時的状態を相と呼ぶ.

 定義より,表現 をもつ相型分布の分布関数は となり,その平均は である.相の数 を十分に大きく取ることにより,相型分布は で定義されたあらゆる確率分布を任意の精度で近似できることが知られており,指数分布,アーラン分布,超指数分布など,待ち行列で頻繁に用いられる確率分布を特別な場合として含む.

 表現 をもつ相型分布を用いて客の到着間隔の列,すなわち相型再生過程(phase-type renewal process)を生成するには次のようにすればよい.時刻 0 において初期状態分布 に従い相を選ぶ.その後初めて吸収が起こったとき,1 番目の客が到着する.一般に, 番目()の客の到着が起こると,直ちに過去の履歴とは独立に初期状態分布 に従い相を選び,その後吸収が起こった時点で 番目の客が到着する.このようにして生成された客の到着間隔は独立で同一な確率変数列となる.

 相型分布に従う確率変数の列に対して相関を導入可能にしたものにマルコフ型到着過程(Markovian arrival process:MAP)がある[2, 3].相型分布を用いた確率変数列の生成では,到着が起こる度に過去の履歴とは独立に初期分布を選んでいたが,MAP では一時的状態 から吸収されたとき,確率 () で次の初期状態 を選ぶ.ただし,全ての に対して である.

 通常,MAP は二つの 行列 を用いて表現される.ここで行列 は一時的状態間の推移を表し,相型分布の行列 に対応する.一方,行列 要素は状態 で吸収が起こり,次の初期状態が である率 で与えられる.なお, は規約であり, である. を満たす確率ベクトルとしたとき,定常な MAP における客の到着間隔分布は となり,その平均は で与えられる.MAP はあらゆる定常点過程を任意の精度で近似できることが知られており,マルコフ変調ポワソン過程(Markov modulated Poisson process)や独立な相型再生過程の重畳などを特別な場合として含む.特に到着間隔が独立同一な表現 をもつ相型分布に従う場合は , である.

準出生死滅過程

 到着間隔ならびにサービス時間がそれぞれ表現 () ならびに表現 () をもつ相型分布に従う PH/PH/1 待ち行列を考える.時刻 における客数を ,到着間隔が従う相型分布の相を ,サービス中の場合はサービス時間が従う相型分布の相を とする.このとき,システムの状態は で表される.ただし のときは とする.

 表現 ()()をもつ相型分布の相の数を としたとき, の取り得る状態の数は のとき, 通り, のときは 通りである.これらに適当な番号を割り当てることで,マルコフ連鎖 は2変数マルコフ連鎖 と見なすことができる.さらに,この2変数マルコフ連鎖の状態集合を の値で分類し, であるような状態からなる部分集合をレベル と呼ぶ.レベルの変化に注目すると,2変数マルコフ連鎖 は以下のような形の推移率行列 をもつ連続時間マルコフ連鎖となる.

ここで ならびに ()はクロネッカー積 ,クロネッカー和 を用いて次式で与えられる.


ただし () は 次元の単位行列である.

 上記の2変数マルコフ連鎖 は次の性質をもつ.(i) 境界部分を除いて空間的に同質(例えばレベルが1以上()のとき,一回の推移でレベルが一つ増加する率は の要素で与えられる),(ii) 一回の推移でレベルは高々一つしか増減しない.このような性質をもつ2変数連続時間マルコフ連鎖を準出生死滅過程(quasi birth-and-death process:QBD)という[1, 3, 4].

 推移率行列 をもつ準出生死滅過程において が規約である場合,, なる正のベクトル が一意に定まり, のとき準出生死滅過程 はエルゴード的となる.PH/PH/1 待ち行列の場合,この条件は平均到着間隔 が平均サービス時間 より大きいことと等価である.

 エルゴード的な準出生死滅過程 の定常分布を とする.定常分布 を満たすことに注意.このとき,

     

を満たす最小の非負行列 を用いて () は

     

で与えられる.さらに ,

ならびに正規化条件 より求めることができる.

 非負行列 は公比行列(rate matrix)と呼ばれており,(2)は行列幾何解(matrix-geometric solution)と呼ばれている.公比行列 は一般には陽に与えられないため,様々な数値計算アルゴリズムが提案されている.最も単純なものは(1)を変形することで得られる

に基づいて, を初期値として順次 を求めるというものである.このとき は要素毎に単調に増加し,公比行列 に収束することが知られている.

G/M/1型マルコフ連鎖

 客の到着間隔 が独立で同一な分布 に従い,サービス時間が表現 () をもつ相型分布に従う GI/PH/1 待ち行列を考える. 番目の客の到着直前の系内客数を ,十 分に多くの客が系内にいるという仮定の下で, 番目と 番目の客の到着間隔の間にサービス可能な客数を とすると

が成立する.よって 番目の客の到着直前におけるサービス時間が従う相型分布の相を とすると, は下記の遷移確率行列 をもつ2変数離散時間マルコフ連鎖となる.

ここで

を満たし, で与えられる.準出生死滅過程と同様に, であるような状態からなる部分集合をレベル と呼ぶ.

 2変数マルコフ連鎖 は(i) 境界部分を除いて空間的に同質(例えばレベルが1以上()のとき,一回の遷移でレベルが変化しない確率は の要素で与えられる),(ii) 一回の遷移でレベルは高々 一つしか増加しない.このような性質をもつ2変数離散時間マルコフ連鎖をG/M/1型(Markov chain of G/M/1 type)と呼ぶ[3, 4, 7, 8].

 遷移確率行列 をもつG/M/1型マルコフ連鎖において, が規約である場合, となるような正のベクトル が一意に定まり, ならば G/M/1型マルコフ連鎖はエルゴード的である.GI/PH/1 待ち行列の場合,この条件は平均到着間隔 が平均サービス時間 より大きいことと等価である.

 エルゴード的なG/M/1型マルコフ連鎖 の定常分布を とする.定常分布 を満たすことに注意.このとき,

     

を満たす最小の非負行列 を用いて () は

     

で与えられる.さらに

より求められる.

 準出生死滅過程の場合と同様に,非負行列 を公比行列と呼び,(4)を行列幾何解と呼ぶ.公比行列 を求める最も単純な方法は,(3)より得られる

に基づいて, を初期値として順次 を求めるというものである.このとき は要素毎に単調に増加し,公比行列 に収束することが知られている.

M/G/1型マルコフ連鎖

 客の到着が表現 をもつ MAP に従い,サービス時間 が独立で同一な分布 に従うMAP/G/1 待ち行列を考える. 番目の客のサービス終了直後の系内客数を 番目のサービス中に新たに到着する客数を とすると

が成立する.よって 番目のサービス直後における客の到着が従うMAPの相を とすると, は下記の遷移確率行列 をもつ2変数離散時間マルコフ連鎖となる.

ここで

を満たし, で与えられる.準出生死滅過程やG/M/1型マルコフ連鎖の場合と同様に, であるような状態からなる部分集合をレベル と呼ぶ.

 2変数マルコフ連鎖 は(i) 境界部分を除いて空間的に同質(例えばレベルが1以上()のとき,一回の遷移でレベルが 増加する確率は の要素で与えられる),(ii) 一回の遷移でレベ ルは高々一つしか減少しない.このような性質をもつ2変数離散時間マルコフ連鎖をM/G/1型(Markov chain of M/G/1 type)と呼ぶ[3, 5, 7, 8].

 遷移確率行列 をもつM/G/1型マルコフ連鎖において, が規約である場合, となるような正のベクトル が一意に定まり, かつ の各要素が有限ならば M/G/1型マルコフ連鎖はエルゴード的である.MAP/G/1 待ち行列の場合,この条件は平均到着間隔 が平均サービス時間 より大きいことと等価である.

 エルゴード的なM/G/1型マルコフ連鎖 の定常分布を とする.定常分布 を満たすことに注意.ここで

     

を満たす確率行列を とし, を定義する.行列 は確率行列であることに注意.このとき を満たす確率ベクトル を用いて は次式で与えられる.

ただし,定数 はレベル 0 への平均再帰時間である.さらに が与えられたとき, () は次式により順次計算される.

ただし


 なお,行列 は(5)より得られる再帰式

に基づいて, を初期値として順次 を計算すればよい.このとき は要素毎に単調に増加し,確率行列 に収束することが知られている.


参考文献

[1] G. Latouche and V. Ramaswami, it Introduction to Matrix Analytic Methods in Stochastic Modeling, SIAM, 1999.

[2] D. M. Lucantoni, K. S. Meier-Hellstern and M. F. Neuts, "A single-server queue with server vacations and a class of nonrenewal arrival processes," Advances in Applied Probability, 22 (1990), 676--705.

[3] 牧本直樹,『待ち行列アルゴリズム ---行列解析アプローチ---』,朝倉書店, 2001.

[4] M. F. Neuts, Matrix-Geometric Solutions in Stochastic Models, An Algorithmic Approach, Johns Hopkins University Press, 1981.

[5] M. F. Neuts, Structured Stochastic Matrices of M/G/1 Type and Their Applications, Dekker, 1989.

[6] 高橋幸雄,「待ち行列研究の変遷」, 『オペレーションズ・リサーチ』, 43 (1998), 495--499.

[7] 高橋幸雄,牧本直樹,「相型分布と行列解析法」, 『オペレーションズ・リサーチ』, 43 (1998), 618--623.

[8] 滝根哲哉,「構造化されたマルコフ連鎖と待ち行列」, 『システム/制御/情報』, 43 (1999), 135--140.