| 研究課題/領域番号 |
21K17703
|
|---|
| 研究種目 |
若手研究
|
| 配分区分 | 基金 |
|---|
| 審査区分 |
小区分60010:情報学基礎論関連
|
|---|
| 研究機関 | 北陸先端科学技術大学院大学 |
|---|
研究代表者 |
シュワルツマン グレゴリー 北陸先端科学技術大学院大学, 先端科学技術研究科, 准教授 (20815261)
|
|---|
| 研究期間 (年度) |
2021-04-01 – 2025-03-31
|
| 研究課題ステータス |
交付 (2023年度)
|
| 配分額 *注記 |
4,680千円 (直接経費: 3,600千円、間接経費: 1,080千円)
2022年度: 1,950千円 (直接経費: 1,500千円、間接経費: 450千円)
2021年度: 2,730千円 (直接経費: 2,100千円、間接経費: 630千円)
|
|---|
| キーワード | Smoothed complexity / Distributed computing / graph algorithms / Smoothed analysis / Graph algorithms / Distributed Computing |
|---|
| 研究開始時の研究の概要 |
This research considers smoothed analysis for distributed systems. We aim to define new models of smoothing tailored for the distributed environment, and analyze fundamental graph problems in these models.
|
| 研究実績の概要 |
We have achieved interesting results for the problem of local max-cut on graphs with bounded arboricity. Specifically we show that the smoothed complexity of the naive FLIP algorithm for the problem is polynomial when the graph has low arboricity (e.g., it is "sparse everywhere"). This greatly broadens our understanding of the complexity landscape of the problem, as previously smoothed polynomial running times were only known for cliques and graphs with at most logarithmic degree.
While the algorithm itself appears sequential, the problem is relevant to hopfield networks - a model of associative memory. This essentially means how fast can we restore memories stored in the network (e.g, brain). However, these networks (and the brain) are inherently distributed.
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
We believe that the results we achieved this year are a great step forward in our understanding of the smoothed complexity of the local max cut problem and hopefield networks. However, we believe that a greater results is within reach - showing a smoothed polynomial running time for general graphs, and not only graphs with bounded arboricity. This is a long standing open question and would be a huge breakthrough in the field of smoothed analysis. We will set this as the goal of the project for the current year.
|
| 今後の研究の推進方策 |
The goal for this year is to show that local-max cut has smoothed polynomial complexity for general graphs. We aim to attack this problem as follows. Our results for the bounded arboricity case are the first to use structural properties of the graph to show termination guarantees. We will try to use the results we got for the bounded arboricity case to decompose the graph into a sparse and dense part and analyze each one separately. It is known that the problem has polynomial smoothed complexity on cliques, so hopefully we could leverage that.
|
