| Project/Area Number |
14J08924
|
|---|
| Research Category |
Grant-in-Aid for JSPS Fellows
|
| Allocation Type | Single-year Grants |
|---|
| Section | 国内 |
|---|
| Research Field |
Theory of informatics
|
|---|
| Research Institution | Tokyo Institute of Technology |
|---|
Principal Investigator |
髙岡 旭 東京工業大学, 理工学研究科, 特別研究員(PD)
|
|---|
| Project Period (FY) |
2014-04-25 – 2016-03-31
|
| Project Status |
Completed (Fiscal Year 2015)
|
| Budget Amount *help |
¥1,900,000 (Direct Cost: ¥1,900,000)
Fiscal Year 2015: ¥900,000 (Direct Cost: ¥900,000)
Fiscal Year 2014: ¥1,000,000 (Direct Cost: ¥1,000,000)
|
|---|
| Keywords | グラフ理論 / アルゴリズム論 / 計算量理論 / 応用離散数学 / アルゴリズム / 計算量 / 情報基礎 / 離散数学 |
|---|
| Outline of Annual Research Achievements |
１．直交半直線交差木の特徴付け：直交半直線交差グラフは耐故障ナノ回路設計に関連して定義されたグラフの族であり，効率的なナノ回路設計のためにこのグラフの構造に関する研究が必要とされている．グラフの構造に関する研究で重要なのがグラフの特徴付けと認識問題の計算量である．直交半直線交差木とは，閉路を含まない直交半直線交差グラフであり，いわば最も単純な場合の直交半直線交差グラフである．今年度，この直交半直線交差木の特徴付けを示すと共に，その認識問題が線形時間で解けることを明らかにた．この成果をまとめ，論文誌に発表した．
２．台形グラフの同型問題のＧＩ完全性：グラフ同型問題とは，入力として与えられた２つのグラフが同じかどうかを判定する問題である．台形グラフとは２本の水平線の間に張られた台形の集合によって定義される交差グラフであり，台形グラフの補グラフの族は２方向直交半直線交差グラフの族を真に含む．台形グラフの同型問題の計算量は１０年以上未解決問題であったが，今年度それがＧＩ完全であることを明らかにした．一方で２方向直交半直線交差グラフの同型問題は多項式時間で解けることが知られている．この成果をまとめ，論文誌に発表した．
その他，３．上向き三角形グラフの認識アルゴリズムを改良し，この成果を国内会議で発表した．また，４．キャタピラの調和彩色数に関する考察と５．サブキュービックグラフに対するIrreversible 2-Conversion Set問題の計算量に関する成果を論文誌に発表した．
|
| Research Progress Status |
27年度が最終年度であるため、記入しない。
|
| Strategy for Future Research Activity |
27年度が最終年度であるため、記入しない。
|
