k-サブモジュラー被覆問題のための効率的決定論的二基準近似アルゴリズム | Synapse