• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Computing width parameters of graphs: theory of commitments and development of practical algorithms

Research Project

Project/Area Number 26330021
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeMulti-year Fund
Section一般
Research Field Theory of informatics
Research InstitutionMeiji University

Principal Investigator

Tamaki Hisao  明治大学, 理工学部, 専任教授 (20111354)

Project Period (FY) 2014-04-01 – 2018-03-31
Project Status Completed (Fiscal Year 2017)
Budget Amount *help
¥4,680,000 (Direct Cost: ¥3,600,000、Indirect Cost: ¥1,080,000)
Fiscal Year 2017: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2016: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2015: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2014: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Keywordstreewidth / trree-decomposition / exact algorithm / dynamic programming / positive-instance driven / safe separator / algorithm experiments / tree-decomposition / exact computation / heuristic computation / 木幅 / 木分解 / 正例駆動 / 動的計画法 / バス幅 / パス分解 / 整数計画法 / 固定パラメータアルゴリズム / パス幅 / 頂点分離数 / 頂点分離列 / 劣モジュラ性 / 探索 / コミットメント
Outline of Final Research Achievements

In practical algorithms for tree width calculation, we have achieved notable results. Applying a positive-instance driven approach to traditional dynamic programming algorithms for treewidth computation, we were able to turn those algorithm, that had been thought as having only theoretical value, into practical algorithms. Both the classical algorithm due to Arnborg et. al. and the one due to Bouchitte and Todinca were modified to work in a positive-instance driven mode and were found to be very effective. Their implementations won the 1st and 2nd prizes in PACE 2016 and PACE 2017, respectively, which are algorithm implementation competitions. The results are also described in a paper submitted to the European Symposium (2017) and won the Best Paper Award in Algorithms in Track B.

Report

(5 results)
  • 2017 Annual Research Report   Final Research Report ( PDF )
  • 2016 Research-status Report
  • 2015 Research-status Report
  • 2014 Research-status Report
  • Research Products

    (15 results)

All 2017 2016 2015 2014 Other

All Journal Article (9 results) (of which Int'l Joint Research: 7 results,  Peer Reviewed: 8 results,  Open Access: 1 results) Presentation (4 results) (of which Int'l Joint Research: 1 results) Remarks (2 results)

  • [Journal Article] Positive-Instance Driven Dynamic Programming for Treewidth2017

    • Author(s)
      Hisao Tamaki
    • Journal Title

      25th Annual European Symposium on Algorithms

      Volume: na

    • DOI

      10.4230/LIPIcs.ESA.2017.68

    • Related Report
      2017 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] An Improved Fixed-Parameter Algorithm for One-Page Crossing Minimization2017

    • Author(s)
      Yasuaki Kobayashi, Hiromu Ohtsuka, Hisao Tamaki
    • Journal Title

      12th International Symposium on Parameterized and Exact Computation

      Volume: na

    • DOI

      10.4230/LIPIcs.IPEC.2017.25

    • Related Report
      2017 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Positive-instance driven dynamic programming for treewidth2017

    • Author(s)
      Hisao Tamaki
    • Journal Title

      CoRR

      Volume: abs/1704.05286

    • Related Report
      2016 Research-status Report
    • Int'l Joint Research
  • [Journal Article] Treedepth Parameterized by Vertex Cover Number2016

    • Author(s)
      Yasuaki Kobayashi, Hisao Tamaki
    • Journal Title

      11th International Symposium on Parameterized and Exact Computation,

      Volume: -

    • DOI

      10.4230/LIPIcs.IPEC.2016.18

    • Related Report
      2016 Research-status Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] A faster fixed parameter algorithm for two-layer crossing minimization2016

    • Author(s)
      Yasuaki Kobayashi, Hisao Tamaki
    • Journal Title

      Information Processing Letters

      Volume: 116(9) Issue: 9 Pages: 547-549

    • DOI

      10.1016/j.ipl.2016.04.012

    • Related Report
      2016 Research-status Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Computing directed pathwidth in O(1.89^n) time2016

    • Author(s)
      Kenta Kitsunai, Yasuaki Kobayashi, Keita Komuro, Hisao Tamaki, Toshihiro Tano
    • Journal Title

      Algorithmica

      Volume: 75(1) Issue: 1 Pages: 138-157

    • DOI

      10.1007/s00453-015-0015-9

    • Related Report
      2016 Research-status Report 2015 Research-status Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] On the Pathwidth of Almost Semicomplete Digraphs2015

    • Author(s)
      Kenta Kitsunai, Yasuaki Kobayashi, Hisao Tamaki
    • Journal Title

      23rd Annual European Symposium on Algorithms (Lecture Notes in Computer Science)

      Volume: 9294 Pages: 816-827

    • Related Report
      2015 Research-status Report
    • Peer Reviewed
  • [Journal Article] A Fast and Simple Subexponential Fixed Parameter Algorithm for One-Sided Crossing Minimization2015

    • Author(s)
      Yasuaki Kobayashi, Hisao Tamaki
    • Journal Title

      Algorithmica

      Volume: 72 Issue: 3 Pages: 778-790

    • DOI

      10.1007/s00453-014-9872-x

    • Related Report
      2015 Research-status Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Search Space Reduction through Commitments in Pathwidth Computation: An Experimental Study2014

    • Author(s)
      Yasuaki Kobayashi, Keita Komuro, Hisao Tamaki
    • Journal Title

      Lecture Notes in Computer Science (SEA 2014)

      Volume: 8504 Pages: 388-399

    • DOI

      10.1007/978-3-319-07959-2_33

    • NAID

      110009925281

    • ISBN
      9783319079585, 9783319079592
    • Related Report
      2014 Research-status Report
    • Peer Reviewed
  • [Presentation] Finalizing tentative matches from truncated preference lists2017

    • Author(s)
      Hisao Tamaki
    • Organizer
      MATCH-UP 2017
    • Place of Presentation
      Microsoft Research New England (Boston)
    • Year and Date
      2017-04-20
    • Related Report
      2016 Research-status Report
    • Int'l Joint Research
  • [Presentation] 準完全有向グラフとその一般化に対するパス幅計算について2015

    • Author(s)
      橘内 謙太, 小林 靖明, 玉木 久夫
    • Organizer
      情報処理学会アルゴリズム研究会
    • Place of Presentation
      電気通信大学
    • Year and Date
      2015-03-03
    • Related Report
      2014 Research-status Report
  • [Presentation] Improved fixed parameter algorithm for two-layer crossing minimization2015

    • Author(s)
      小林 靖明 玉木 久夫
    • Organizer
      情報処理学会アルゴリズム研究会
    • Place of Presentation
      名古屋工業大学
    • Year and Date
      2015-01-13 – 2015-01-14
    • Related Report
      2014 Research-status Report
  • [Presentation] パス幅計算におけるコミットメントによる探索状態数削減:実験的研究2014

    • Author(s)
      小林靖明,○小室慶太,玉木久夫
    • Organizer
      情報処理学会アルゴリズム研究会
    • Place of Presentation
      愛媛県松山市
    • Year and Date
      2014-06-13 – 2014-06-14
    • Related Report
      2014 Research-status Report
  • [Remarks] Pace 2017 Treewidth track A submission repository

    • URL

      https://github.com/TCS-Meiji/PACE2017-TrackA

    • Related Report
      2017 Annual Research Report
  • [Remarks] Pace 2017 Treewidth track B submission repository

    • URL

      https://github.com/TCS-Meiji/PACE2017-TrackB

    • Related Report
      2017 Annual Research Report

URL: 

Published: 2014-04-04   Modified: 2019-03-29  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi