| 研究課題/領域番号 |
23K21645
|
|---|
| 補助金の研究課題番号 |
21H03396 (2021-2023)
|
|---|
| 研究種目 |
基盤研究(B)
|
| 配分区分 | 基金 (2024)
補助金 (2021-2023) |
|---|
| 応募区分 | 一般 |
|---|
| 審査区分 |
小区分60010:情報学基礎論関連
|
|---|
| 研究機関 | 滋賀大学 |
|---|
研究代表者 |
来嶋 秀治 滋賀大学, データサイエンス学系, 教授 (70452307)
|
|---|
| 研究期間 (年度) |
2021-04-01 – 2026-03-31
|
| 研究課題ステータス |
交付 (2024年度)
|
| 配分額 *注記 |
15,860千円 (直接経費: 12,200千円、間接経費: 3,660千円)
2025年度: 2,730千円 (直接経費: 2,100千円、間接経費: 630千円)
2024年度: 2,990千円 (直接経費: 2,300千円、間接経費: 690千円)
2023年度: 2,990千円 (直接経費: 2,300千円、間接経費: 690千円)
2022年度: 2,990千円 (直接経費: 2,300千円、間接経費: 690千円)
2021年度: 4,160千円 (直接経費: 3,200千円、間接経費: 960千円)
|
|---|
| キーワード | アルゴリズム理論 / 離散構造 / マルコフ連鎖 |
|---|
| 研究開始時の研究の概要 |
アルゴリズム設計において，乱択化（randomization）は理論的にも実用上も不可欠な基本技法である．本課題は「ランダムネスは計算にどのように寄与するか？」という問いに対し，とくに計算効率に焦点を当てた理論発展を目的とする．本課題の特色は，決定性計算を決定性過程と捉え，同様に乱択計算を確率過程と捉えて，決定性過程と確率過程の対比をもってランダムネスの計算効率への寄与を測ろうとする点である．この目的に沿って，決定性過程と確率過程の対比技術の開発，ならびにこの技術に関連する応用または基礎研究に取り組む．
|
| 研究実績の概要 |
アルゴリズム設計において，乱択化（randomization）は理論的にも実用上も不可欠な基本技法である．本課題は，「ランダムネスは計算にどのように寄与するか？」という問いに対し，とくに計算効率に焦点を当てた理論発展を目的とする．決定性計算を決定性過程と捉え，同様に乱択計算を確率過程と捉えて，決定性過程と確率過程の対比をもってランダムネスの計算効率への寄与を測る点が本課題の特色である．この目的に沿って，決定性過程と確率過程を対比する技術の開発，この技術に関連する応用または基礎研究に取り組み，また，計算効率にとどまらない乱択計算論の新展開も目指す．
カオス系列の計算量に焦点を当て，とくに空間計算量の研究を推進した．テント写像は区分線形関数で反復写像の系列がカオス系列となることで著名である．カオス系列の重要な特徴づけの一つに初期値鋭敏性がある．初期値のわずかな違いが反復を繰り返すごとに増幅する性質で，カオス系列の示す予測不能性とも呼ばれる．たとえば，xのn回反復写像は1/2より大きいかどうかについて，線形より小さなオーダーで計算可能であろうか，というのがひとつの問いである．この問いに関して，o(log^2 n)の期待計算領域で正確に計算できることを示した．
このほか，成長するグラフ上のランダムウォークの再帰性の条件について研究して成果を得た．また，成長するグラフ上のランダムウォークの研究や，対数優モジュラ分布上のサンプリングに関する研究について国際研究集会等で講演した．
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
カオス写像の計算量や成長するグラフ上のランダムウォークに関する論文を執筆し，当初の計画分はおおむね順調に進展している．
|
| 今後の研究の推進方策 |
決定論的カオスの計算量解析に関する研究やランダムウォークの解析など，乱択計算の理解，設計，解析に関する研究を推進する．
|
