相型分布
【 そうがたぶんぷ (phase-type distribution) 】
連続時間有限状態吸収マルコフ連鎖が吸収されるまでの時間が従う分布．
状態 0 が吸収状態，状態 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle i \in M =\{1,2,\ldots,M\}\,} が一時的状態である連続時間有限状態吸収マルコフ連鎖 を考える．このとき の推移率行列は
の形に書ける．ただし 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathbf{e}} はすべての要素が 1 の列ベクトルである．このマルコフ連鎖の初期状態分布を としたとき， が吸収されるまでの時間は 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle (0,\infty)} 上の確率分布を定め，これを表現 をもつ相型分布（phase-type distribution）という．以下ではマルコフ連鎖 の一時的状態を相と呼ぶ．
定義より，表現 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle (\mathbf{\alpha}, \mathbf{T})\,} をもつ相型分布の分布関数は 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle F(x) = 1 - \mathbf{\alpha} \exp(\mathbf{T} x) \mathbf{e}} となり，その平均は構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathbf{\alpha} (-\mathbf{T})^{-1}\mathbf{e}} である．相の数 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle M} を十分に大きく取ることにより，相型分布は 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle (0,\infty)} で定義されたあらゆる確率分布を任意の精度で近似できることが知られており，指数分布，アーラン分布，超指数分布など，待ち行列で頻繁に用いられる確率分布を特別な場合として含む．