すなわち、プレイヤーの人数formula_71に関して多項式時間計算可能である。