計画研究
本研究では，数理論理学的な解析手法を用い，P≠NP予想に代表される計算限界に関する重要な未解決問題の解決を試みる．具体的には，記述複雑度と証明複雑度という２つの数理論理学の視点を通して解明を目指す．また，計算限界解明のための標準的な手法である情報理論・符号理論 (A02班)に基づく手法や領域・回路計算量(A03班)からの解析技法，さらに，境界他分野 (統計力学(C01班)，量子力学(C02班)，学習理論(C03班))の手法を数理論理学のレンズを通して解釈し直し計算量解析を行う．これらの横断的な共同研究を通して，数理論理学的な計算量理論の新しい基礎理論の展開，および，数理論理学に由来する新しい解析手法の開発も目指す．さらには，上記の研究成果を逆に利用することで，数理論理学を用いた効率的なアルゴリズムを開発する．本年度の特筆すべき成果は重み付きの線形マトロイドパリティ問題に対するものである．この問題は，離散最適化分野基礎をなす重要問題であり、この多項式時間可解性は30年以上の間未解決のまま残されていた。本研究ではこの問題に対して、初めての多項式時間アルゴリズムを与えた。 この成果は計算機科学分野の最高峰の国際会議の一つであるSTOC 2017において Best Paper Awardを受賞している．それ以外にもオンライン最小ナップサック問題，相補性問題のパラメータ計算量，ポアソン方程式におけるディリクレ問題の計算量に関する成果など多岐にわたる．
28年度が最終年度であるため、記入しない。
すべて 2017 2016 その他
すべて 国際共同研究 (6件) 雑誌論文 (18件) (うち国際共著 7件、 査読あり 18件)
Inf. Process. Lett.
巻: 121 ページ: 6～10
10.1016/j.ipl.2017.01.003
Discrete Applied Mathematics
巻: 216 ページ: 203～210
10.1016/j.dam.2015.01.018
WALCOM
巻: 11 ページ: 435～447
10.1007/978-3-319-53925-6_34
STOC
巻: 49 ページ: 264--276
10.1145/3055399.3055436
Theor. Comput. Sci.
巻: 677 ページ: 69～82
10.1016/j.tcs.2017.03.020
SIAM J. Discrete Math.
巻: 31 ページ: 766～782
10.1137/15M1022239
TCS
巻: 699 ページ: 53～62
10.1016/j.tcs.2016.12.019
Mathematical Structures in Computer Science
巻: 27 ページ: 1437～1465
10.1017/S096012951600013X
CiE 2016
巻: 2016 ページ: 142～152
10.1007/978-3-319-40189-8_15
SoCG 2016
巻: 32 ページ: 46:1--46:10
10.4230/LIPIcs.SoCG.2016.46
LICS
巻: 31 ページ: 837--846
10.1145/2933575.2935311
Algorithmica
巻: 77 ページ: 1128～1142
10.1007/s00453-016-0142-y
ACM Transactions on Algorithms
巻: 13 ページ: 1～17
10.1145/2960410
巻: 30 ページ: 1758～1774
10.1137/15M1049099
J. Comb. Theory, Ser. B
巻: 119 ページ: 12～27
10.1016/j.jctb.2015.12.002
巻: 200 ページ: 67～78
10.1016/j.dam.2015.07.004
International Journal of Game Theory
巻: 45 ページ: 1111～1131
10.1007/s00182-015-0513-7
巻: 609 ページ: 185～196
10.1016/j.tcs.2015.09.021
