銀行家のアルゴリズム
P - プロセスの集合
Mp - プロセス p が要求する最大の資源
Cp - プロセス p への現在の資源の割り当て
A - 現在利用可能な資源