• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 課題ページに戻る

2015 年度 実績報告書

数理論理学からの計算限界解析

計画研究

研究領域多面的アプローチの統合による計算限界の解明
研究課題/領域番号 24106002
研究機関京都大学

研究代表者

牧野 和久  京都大学, 数理解析研究所, 准教授 (60294162)

研究分担者 河村 彰星  東京大学, 大学院総合文化研究科, 講師 (20600117)
垣村 尚徳  東京大学, 大学院総合文化研究科, 講師 (30508180)
小林 佑輔  筑波大学, システム情報系, 准教授 (40581591)
ロスマン ベンジャミン  国立情報学研究所, 大学共同利用機関等の部局等, 特任研究員 (90599177)
研究期間 (年度) 2012-06-28 – 2017-03-31
キーワード反マトロイド
研究実績の概要

本研究では,数理論理学的な解析手法を用い,P≠NP予想に代表される計算限界に関する重要な未解決問題の解決を試みる.具体的には,記述複雑度と証明複雑度という2つの数理論理学の視点を通して解明を目指す.また,計算限界解明のための標準的な手法である情報理論・符号理論 (A02班)に基づく手法や領域・回路計算量(A03班)からの解析技法,さらに,境界他分野 (統計力学(C01班),量子力学(C02班),学習理論(C03班))の手法を数理論理学のレンズを通して解釈し直し計算量解析を行う.これらの横断的な共同研究を通して,数理論理学的な計算量理論の新しい基礎理論の展開,および,数理論理学に由来する新しい解析手法の開発も目指す.さらには,上記の研究成果を逆に利用することで,数理論理学を用いた効率的なアルゴリズム
を開発する.
具体的に,本年度は,反マトロイドをホーン規則を用いて表現することで,関連する様々な計算量的な問題にこたえるとともに,それらを利用した教育システムの設計への応用を議論した.これらの成果により,人工知能学会研究会優秀賞を受賞している.また,ポジモジュラ関数の最適化問題に対してその計算量の上界と下界を明らかにした.特にこれまで未解決として残されていた,ポジモジュラ関数の最小化が指数時間必要であることをしました.これらの成果により,FIT2015 船井ベストペーパー賞を受賞している.これ以外にも,ランダムウオークの脱乱化,線形相補性問題に対する成果,あるいは,パリティーゲームのパラメータ化計算量解析,グラフの辺素パス問題や一般化ターミナルバックアップ問題に対する計算量的成果などが挙げられる.

現在までの達成度 (区分)
現在までの達成度 (区分)

1: 当初の計画以上に進展している

理由

反マトロイドやポジモジュラの成果により,人工知能学会研究会優秀賞,FIT2015 船井ベストペーパー賞を受賞していて,国内外で評価されている.

今後の研究の推進方策

後も数理論理学的な解析手法を用い,計算限界の解明を目指す.また,計算限界解明のための標準的な手法である情報理論・符号理論 (A02班)に基づく手法や領域・回路計算量(A03班)からの解析技法,さらに,境界他分野 (統計力学(C01班),量子力学(C02班),学習理論(C03班))の手法を数理論理学のレンズを通して解釈し直し計算量解析を行う.
特に,本領域研究の他班との共同研究を推進するため,合同の研究集会や打ち合わせを活発に行う.解析結果を得るため,またその逆に,解析結果の実振る舞いを検証するために大規模な計算機実験を行う.

  • 研究成果

    (30件)

すべて 2016 2015

すべて 雑誌論文 (17件) (うち国際共著 6件、 査読あり 17件) 学会発表 (13件) (うち国際学会 10件、 招待講演 1件)

  • [雑誌論文] Trichotomy for integer linear systems based on their sign patterns2016

    • 著者名/発表者名
      Kimura Kei、Makino Kazuhisa
    • 雑誌名

      Discrete Applied Mathematics

      巻: 200 ページ: 67~78

    • DOI

      10.1016/j.dam.2015.07.004

    • 査読あり
  • [雑誌論文] Online minimization knapsack problem2016

    • 著者名/発表者名
      Han Xin、Makino Kazuhisa
    • 雑誌名

      Theor. Comput. Sci.

      巻: 609 ページ: 185~196

    • DOI

      10.1016/j.tcs.2015.09.021

    • 査読あり / 国際共著
  • [雑誌論文] Exact and approximation algorithms for weighted matroid intersection2016

    • 著者名/発表者名
      Chen-Chung Huang, Naonori Kakimura, Naoyuki Kamiyama
    • 雑誌名

      Annual ACM-SIAM Symposium on Discrete Algorithms

      巻: 27 ページ: 430-444

    • DOI

      10.1137/1.9781611974331.ch32

    • 査読あり / 国際共著
  • [雑誌論文] Improved max-flow min-cut algorithms in a circular disk failure model with application to a road network2016

    • 著者名/発表者名
      Kensuke Otsuki, Yusuke Kobayashi, Kazuo Murota
    • 雑誌名

      European Journal of Operational Research

      巻: 248 ページ: 396-403

    • DOI

      10.1016/j.ejor.2015.07.035

    • 査読あり
  • [雑誌論文] Deterministic random walks on finite graphs2015

    • 著者名/発表者名
      Shuji Kijima, Kentaro Koga, Kazuhisa Makino
    • 雑誌名

      Random Structures and Algorithms

      巻: 46 ページ: 739-761

    • DOI

      10.1002/rsa.20533

    • 査読あり
  • [雑誌論文] The linear complementarity problems with a few variables per constraint2015

    • 著者名/発表者名
      Hanna Sumita, Naonori Kakimura, Kazuhisa Makino
    • 雑誌名

      Mathematics of Operations Research

      巻: 40 ページ: 1015-1026

    • DOI

      10.1287/moor.2014.0708

    • 査読あり
  • [雑誌論文] On randomized fictitious play for approximating saddle points over convex sets2015

    • 著者名/発表者名
      Khaled M. Elbassioni, Kazuhisa Makino, Kurt Mehlhorn, Fahimeh Ramezani
    • 雑誌名

      Algorithmica

      巻: 73 ページ: 441-459

    • DOI

      10.1007/s00453-014-9902-8

    • 査読あり / 国際共著
  • [雑誌論文] Parameterized algorithms for parity games2015

    • 著者名/発表者名
      Jakub Gajarsk´y, Michael Lampis, Kazuhisa Makino, Valia Mitsou, Sebastian Ordyniak
    • 雑誌名

      Lecture Notes in Computer Science

      巻: 9235 ページ: 336-347

    • DOI

      10.1007/978-3-662-48054-0_28

    • 査読あり / 国際共著
  • [雑誌論文] Parameterized complexity of sparse linear complementarity problems2015

    • 著者名/発表者名
      Hanna Sumita, Naonori Kakimura, Kazuhisa Makino
    • 雑誌名

      LIPIcs

      巻: 43 ページ: 355-364

    • DOI

      10.4230/LIPIcs.IPEC.2015.355

    • 査読あり
  • [雑誌論文] Proportional cost buyback problem with weight bounds2015

    • 著者名/発表者名
      Yasushi Kawase, Xin Han, Kazuhisa Makino
    • 雑誌名

      Lecture Notes in Computer Science

      巻: 9486 ページ: 794-808

    • DOI

      10.1007/978-3-319-26626-8_59

    • 査読あり / 国際共著
  • [雑誌論文] Fence patrolling by mobile agents with distinct speeds2015

    • 著者名/発表者名
      A. Kawamura,Y. Kobayashi
    • 雑誌名

      Distributed Computing

      巻: 28 ページ: 147-154

    • DOI

      10.1007/s00446-014-0226-3

    • 査読あり
  • [雑誌論文] Computational benefit of smoothness: Parameterized bit-complexity of numerical operators on analytic functions and Gevrey’s hierarchy2015

    • 著者名/発表者名
      A. Kawamura, N. M¨uller, C. R¨osnick, and M. Ziegler
    • 雑誌名

      Journal of Complexity

      巻: 31 ページ: 689-714

    • DOI

      10.1016/j.jco.2015.05.001

    • 査読あり / 国際共著
  • [雑誌論文] Simple strategies versus optimal schedules in multi-agent patrolling2015

    • 著者名/発表者名
      A. Kawamura, M. Soejima
    • 雑誌名

      Lecture Notes in Computer Science

      巻: 9079 ページ: 261-273

    • DOI

      10.1007/978-3-319-18173-8_19

    • 査読あり
  • [雑誌論文] Finding a path in group-labeled graphs with two labels forbidden2015

    • 著者名/発表者名
      Yasushi Kawase, Yusuke Kobayashi, Yutaro Yamaguchi
    • 雑誌名

      Lecture Notes in Computer Science

      巻: 9134 ページ: 797-809

    • DOI

      10.1007/978-3-662-47672-7_65

    • 査読あり
  • [雑誌論文] The edge-disjoint paths problem in Eulerian graphs and 4-edge-connected graphs2015

    • 著者名/発表者名
      Ken-ichi Kawarabayashi, Yusuke Kobayashi
    • 雑誌名

      Combinatorica

      巻: 35 ページ: 477-495

    • DOI

      10.1007/s00493-014-2828-6

    • 査読あり
  • [雑誌論文] The generalized terminal backup problem2015

    • 著者名/発表者名
      Attila Bern´ath, Yusuke Kobayashi, Tatsuya Matsuoka
    • 雑誌名

      SIAM Journal on Discrete Mathematics

      巻: 29 ページ: 1764-1782

    • DOI

      10.1137/140972858

    • 査読あり
  • [雑誌論文] The complexity of minimizing the difference of two M#-convex set functions2015

    • 著者名/発表者名
      Yusuke Kobayashi
    • 雑誌名

      Operations Research Letters

      巻: 43 ページ: 573-574

    • DOI

      10.1016/j.orl.2015.08.011

    • 査読あり
  • [学会発表] ネットワーク型交渉ゲームの安定化アルゴリ ズム2016

    • 著者名/発表者名
      伊藤建洋,垣村尚徳,神山直之,小林佑輔, 岡本吉央
    • 学会等名
      アルゴリズム研究会
    • 発表場所
      電気通信大学
    • 年月日
      2016-03-06 – 2016-03-06
  • [学会発表] 多項式時間測度とランダム性について2015

    • 著者名/発表者名
      河村彰星
    • 学会等名
      電子 情報通信学会コンピュテーション研究会
    • 発表場所
      大阪大学
    • 年月日
      2015-12-01 – 2015-12-01
  • [学会発表] 塀の警邏2015

    • 著者名/発表者名
      河村彰星
    • 学会等名
      スケジューリングシンポジウム
    • 発表場所
      東京
    • 年月日
      2015-09-26 – 2015-09-27
  • [学会発表] Towards computational complexity theory on advanced function spaces in analysis2015

    • 著者名/発表者名
      A. Kawamura, F. Steinberg, M. Ziegler
    • 学会等名
      Continuity, Computability, Constructivity { From Logic to Algorithms
    • 発表場所
      Kochel am See
    • 年月日
      2015-09-14 – 2015-09-18
    • 国際学会
  • [学会発表] Invitation to real complexity theory: Algorithmic foundations to reliable numerics with bit-costs2015

    • 著者名/発表者名
      A. Kawamura, M. Ziegler
    • 学会等名
      The 18th Korea-Japan Joint Workshop on Algorithms and Computation
    • 発表場所
      Incheon
    • 年月日
      2015-08-21 – 2015-08-22
    • 国際学会
  • [学会発表] Total dual integrality of the linear complementarity problem2015

    • 著者名/発表者名
      Hanna Sumita, Naonori Kakimura, Kazuhisa Makino
    • 学会等名
      The 22nd Interna- tional Symposium on Mathematical Pro- gramming
    • 発表場所
      Pittsurgh
    • 年月日
      2015-07-12 – 2015-07-17
    • 国際学会
  • [学会発表] On the image and length of polynomial-time computable curves2015

    • 著者名/発表者名
      T. Katayama, A. Kawamura
    • 学会等名
      Twelfth International Conference on Computability and Complexity in Analysis
    • 発表場所
      tokyo
    • 年月日
      2015-07-12 – 2015-07-15
    • 国際学会
  • [学会発表] Towards computational complexity theory on advanced function spaces in analysis2015

    • 著者名/発表者名
      A. Kawamura, F. Steinberg, M. Ziegler
    • 学会等名
      Twelfth International Conference on Computability and Complexity in Analysis
    • 発表場所
      tokyo
    • 年月日
      2015-07-12 – 2015-07-15
    • 国際学会
  • [学会発表] Computational complexity of real functions2015

    • 著者名/発表者名
      A. Kawamura
    • 学会等名
      German-Japanese Workshop on The- ory and Practice of Real Computation
    • 発表場所
      Meiji University
    • 年月日
      2015-07-12 – 2015-07-12
    • 国際学会
  • [学会発表] Weihrauch reducibility in polynomial-time computable analysis2015

    • 著者名/発表者名
      A. Kawamura
    • 学会等名
      Sixteenth International Workshop on Logic and Com- putational Complexity
    • 発表場所
      Kyoto
    • 年月日
      2015-07-04 – 2015-07-05
    • 国際学会 / 招待講演
  • [学会発表] Total dual integrality of the linear complementarity problem2015

    • 著者名/発表者名
      Hanna Sumita, Naonori Kakimura, Kazuhisa Makino
    • 学会等名
      The 9th Japanese- Hungarian Symposium on Discrete Mathe- matics and Its Applications
    • 発表場所
      Fukuoka
    • 年月日
      2015-06-02 – 2015-06-05
    • 国際学会
  • [学会発表] Finding a shortest non-zero path in group-labeled graphs2015

    • 著者名/発表者名
      Yusuke Kobayashi and Sho Toyooka
    • 学会等名
      The 9th Japanese- Hungarian Symposium on Discrete Mathe- matics and Its Applications
    • 発表場所
      Fukuoka
    • 年月日
      2015-06-02 – 2015-06-05
    • 国際学会
  • [学会発表] Algorithmic aspects of covering supermodular functions under matroid constraints2015

    • 著者名/発表者名
      Krist´of B´erczi, Tam´as Kir´aly, and Yusuke Kobayashi
    • 学会等名
      The 9th Japanese- Hungarian Symposium on Discrete Mathe- matics and Its Applications
    • 発表場所
      Fukuoka
    • 年月日
      2015-06-02 – 2015-06-05
    • 国際学会

URL: 

公開日: 2018-01-16   更新日: 2023-03-16  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi