| 研究課題/領域番号 |
17K00010
|
|---|
| 研究機関 | 金沢大学 |
|---|
研究代表者 |
松林 昭 金沢大学, 電子情報学系, 准教授 (10282378)
|
|---|
| 研究期間 (年度) |
2017-04-01 – 2020-03-31
|
| キーワード | オンラインアルゴリズム / ページ移動問題 / 仕事関数 |
|---|
| 研究実績の概要 |
処理すべきデータが1つずつ順々に到着する状況で，データが1つ到着するたびに計算を行なって結果を出力するような計算手順を「オンラインアルゴリズム」と呼ぶ．オンラインアルゴリズムの分野においてよく知られる問題に「ページ移動問題」と呼ばれる問題がある．この問題はネットワークのノードに保持されるページに対するアクセス要求が順々に発生する状況で，ネットワークの負荷を最小化するようにページの保持ノードを計算する問題である．この問題は基本的なオンライン問題の一つとして認識され，長年研究されているが，今でも最適な結果を計算するオンラインアルゴリズムがどのようなものかよく分かっていない．
ページ移動問題のオンラインアルゴリズムの性能は，競合比と呼ばれる，1に近いほど性能が高いことを意味する基準で評価される．現在知られている最良のアルゴリズムは競合比4を達成するが，これはそれまでの競合比4.086を20年ぶりに改善したものである．一方，競合比は3.0000074以下にできないことが2015年に研究代表者によって証明されている．すなわち，真に最良の競合比は3.0000074と4の間にあると分かっているのみで，特に4を下回るか否かは興味深い疑問として残されている．
既存の最良のアルゴリズムは「あらかじめ定めた数のアクセス要求を処理するたびにページを移動する」というアプローチに基づくが，本研究では「仕事関数」と呼ばれるオンラインアルゴリズムを設計するための道具を利用することで4より小さい競合比を持つアルゴリズムが設計できるのではないかと考え，検討した．アクセス要求による仕事関数の変化の詳細，ならびに4より小さい競合比を達成するための条件とそのメカニズムなど，アルゴリズムの設計と解析に必要な部分の多くが判明した．しかしながら，ある特定のケースでそうした条件の成立が明確でなく，この初年度では報告できる成果は得られていない．
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
3: やや遅れている
理由
研究実績の概要でも述べたように，アルゴリズムの設計と解析に必要な部分の多くが判明している一方で，報告できる成果が得られていない．したがって，やや遅れていると評価する．
|
| 今後の研究の推進方策 |
ネットワークの構造やノード数などについて制限を加えた条件で初年度の課題に取り組む．また，ページ数をkに一般化した場合についても検討し，既存の結果を上回るオンラインアルゴリズムを設計することを目指す．
|
| 次年度使用額が生じた理由 |
理由: 学会の出張費が想定していたよりも少なかったため，次年度使用額が生じた．
使用計画: 次年度の物品費に加えて使用する予定である．
|
