研究領域 | 社会変革の源泉となる革新的アルゴリズム基盤の創出と体系化 |
研究課題/領域番号 |
21H05850
|
研究種目 |
学術変革領域研究(A)
|
配分区分 | 補助金 |
審査区分 |
学術変革領域研究区分(Ⅳ)
|
研究機関 | 北陸先端科学技術大学院大学 |
研究代表者 |
シュワルツマン グレゴリー 北陸先端科学技術大学院大学, 先端科学技術研究科, 准教授 (20815261)
|
研究期間 (年度) |
2021-09-10 – 2023-03-31
|
研究課題ステータス |
完了 (2022年度)
|
配分額 *注記 |
5,200千円 (直接経費: 4,000千円、間接経費: 1,200千円)
2022年度: 2,600千円 (直接経費: 2,000千円、間接経費: 600千円)
2021年度: 2,600千円 (直接経費: 2,000千円、間接経費: 600千円)
|
キーワード | Property testing / Distributed computing / property testing / distributed algorithms / Graph algorithms |
研究開始時の研究の概要 |
We aim to further develop the field of distributed property testing by: (1) Considering property testing problems in dynamic networks, which better model the behavior of real-world distributed dynamic systems. (2) Currently, distributed property testing algorithms are studied as standalone problems, and are not used in the development of state-of-the-art distributed algorithms. We aim to change this by using property testing algorithms as building blocks for fundamental distributed algorithms.
|
研究実績の概要 |
In this year I worked on 2 new directions in distributed property testing. In the first we define a new notion of distance and apply it to the problem of k-connectivity. We plan to submit it to DISC this year. The second model is that of distributed quantum property testing. We have some preliminary results for testing triangle freeness and we are working on additional results before we can submit for publication.
|
現在までの達成度 (段落) |
令和4年度が最終年度であるため、記入しない。
|
今後の研究の推進方策 |
令和4年度が最終年度であるため、記入しない。
|