【ぽらちぇっくひんちんのこうしき (Pollaczek-Khintchine formula)】
待ち行列モデル M/G/1 における待ち時間分布 W q ( t ) {\displaystyle W_{q}(t)\,} のラプラス・スチルチェス変換 W ∗ ( s ) {\displaystyle W^{*}(s)\,} を与える次の関係式のこと.
W q ∗ ( s ) = ( 1 − ρ ) / { 1 − λ [ 1 − H ∗ ( s ) ] / s } {\displaystyle W_{q}^{*}(s)=(1-\rho )/\left\{1-\lambda [1-H^{*}(s)]/s\right\}\,}
ただし, λ {\displaystyle \lambda \,} は到着率, H ∗ ( s ) {\displaystyle H^{*}(s)\,} はサービス時間 H {\displaystyle H\,} のラプラス・スチルチェス変換, ρ = λ E ( H ) {\displaystyle \rho =\lambda {\mbox{E}}(H)\,} は利用率である. この関係式から導かれる平均待ち時間の公式 E ( W q ) = λ E ( H 2 ) / [ 2 ( 1 − ρ ) ] {\displaystyle (W_{q})=\lambda {\mbox{E}}(H^{2})/[2(1-\rho )]\,} も同じ名前で呼ばれることがある.