c.e.だが計算可能ではないk自明集合のコスト関数に依る構成が初めて世に出たのはdowney et al.の論文による。