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

Proposing new sapmling algorithms

Research Project

Project/Area Number 23700025
Research Category

Grant-in-Aid for Young Scientists (B)

Allocation TypeMulti-year Fund
Research Field Fundamental theory of informatics
Research InstitutionSeikei University (2012-2013)
Kwansei Gakuin University (2011)

Principal Investigator

MASAKI Yamamoto  成蹊大学, 理工学部, 准教授 (50432414)

Project Period (FY) 2011 – 2013
Project Status Completed (Fiscal Year 2013)
Budget Amount *help
¥2,080,000 (Direct Cost: ¥1,600,000、Indirect Cost: ¥480,000)
Fiscal Year 2013: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Fiscal Year 2012: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Fiscal Year 2011: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Keywordsサンプリングアルゴリズム / マルコフ連鎖モンテカルロ法 / 近似数え上げ / 混合時間
Research Abstract

There are two main outcomes in this research project. We prove that, 1: counting paths and cycles are #P-hard (i.e., it is hard to exactly compute the numbers.), 2: they are inapproximable (under RP is not NP). Since the structure of a path and a cycle is close to that of a tree, we hope that our results give some insights into approximately counting trees which is a subproblem of approximately computing Tutte polynomials.

Report

(4 results)
  • 2013 Annual Research Report   Final Research Report ( PDF )
  • 2012 Research-status Report
  • 2011 Research-status Report
  • Research Products

    (17 results)

All 2013 2012 2011

All Journal Article (12 results) (of which Peer Reviewed: 5 results) Presentation (5 results) (of which Invited: 1 results)

  • [Journal Article] Derandomizing the HSSW Algorithm for 3-SAT2013

    • Author(s)
      Kazuhisa Makino, Suguru Tamaki, Masaki Yamamoto
    • Journal Title

      Algorithmica

      Volume: 67(2) Pages: 112-124

    • Related Report
      2013 Annual Research Report 2013 Final Research Report
  • [Journal Article] A Combinatorial Analysis for the Critical Clause Tree2013

    • Author(s)
      Masaki Yamamoto
    • Journal Title

      Theory Comput. Syst

      Volume: 52(2) Pages: 271-284

    • Related Report
      2013 Final Research Report
  • [Journal Article] A Combinatorial Analysis for the Critical Clause Tree2013

    • Author(s)
      Masaki Yamamoto
    • Journal Title

      Theory of Computing Systems

      Volume: 52(2) Issue: 2 Pages: 271-284

    • DOI

      10.1007/s00224-012-9383-6

    • Related Report
      2013 Annual Research Report 2012 Research-status Report
    • Peer Reviewed
  • [Journal Article] Improved Constant-Time Approximation Algorithms for Maximum Matchings and Other Optimization Problems2012

    • Author(s)
      Yuichi Yoshida, Masaki Yamamoto, Hiro Ito
    • Journal Title

      SIAM J. Comput

      Volume: 41(4) Pages: 1074-1093

    • Related Report
      2013 Final Research Report
  • [Journal Article] Improved Constant-Time Approximation Algorithms for Maximum Matchings and Other Optimization Problems2012

    • Author(s)
      Yuichi Yoshida, Masaki Yamamoto, Hiro Ito
    • Journal Title

      SIAM J. Comput.

      Volume: 41(4) Issue: 4 Pages: 1074-1093

    • DOI

      10.1137/110828691

    • Related Report
      2012 Research-status Report
    • Peer Reviewed
  • [Journal Article] Spectral Analysis of Random Sparse Matrices2011

    • Author(s)
      Tomonori Ando, Yoshiyuki Kabashima, Hisanao Takahashi, Osamu Watanabe, Masaki Yamamoto
    • Journal Title

      IEICE Transactions

      Volume: 94-A(6) Pages: 1247-1256

    • NAID

      10029802201

    • Related Report
      2013 Final Research Report
  • [Journal Article] Determining a Singleton Attractor of a Boolean Network with Nested Canalyzing Functions2011

    • Author(s)
      Tatsuya Akutsu, Avraham A. Melkman, Takeyuki Tamura, Masaki Yamamoto
    • Journal Title

      Journal of Computational Biology

      Volume: 18(10) Pages: 1275-1290

    • NAID

      120003517916

    • Related Report
      2013 Final Research Report
  • [Journal Article] A polynomial-time perfect sampler for the Q-Ising with a vertex-independent noise2011

    • Author(s)
      Masaki Yamamoto, Shuji Kijima, Yasuko Matsui
    • Journal Title

      J. Comb. Optim

      Volume: 22(3) Pages: 392-408

    • NAID

      110007338415

    • Related Report
      2013 Final Research Report
  • [Journal Article] An exact algorithm for the Boolean connectivity problem for k-CNF2011

    • Author(s)
      Kazuhisa Makino, Suguru Tamaki, Masaki Yamamoto
    • Journal Title

      Theor. Comput. Sci

      Volume: 412(35) Pages: 4613-4618

    • NAID

      120003338848

    • Related Report
      2013 Final Research Report
  • [Journal Article] Spectral Analysis of Random Sparse Matrices2011

    • Author(s)
      Masaki Yamamoto, Tomonori Ando
    • Journal Title

      IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences

      Volume: 94-A(6) Pages: 1247-1256

    • NAID

      10029802201

    • Related Report
      2011 Research-status Report
    • Peer Reviewed
  • [Journal Article] A polynomial-time perfect sampler for the Q-Ising with a vertex-independent noise2011

    • Author(s)
      Masaki Yamamoto, Shuji Kijima
    • Journal Title

      Journal of Combinatorial Optimization

      Volume: 22(3) Pages: 392-408

    • NAID

      110007338415

    • Related Report
      2011 Research-status Report
    • Peer Reviewed
  • [Journal Article] An exact algorithm for the Boolean connectivity problem for k-CNF2011

    • Author(s)
      Masaki Yamamoto, Kazuhisa Makino
    • Journal Title

      Theoretical Computer Science

      Volume: 412(35) Pages: 4613-4618

    • NAID

      120003338848

    • Related Report
      2011 Research-status Report
    • Peer Reviewed
  • [Presentation] Approximately counting paths and cycles in a graph2013

    • Author(s)
      Masaki Yamamoto
    • Organizer
      Inference, Computation, and Spin Glasses (ICSG2013)
    • Place of Presentation
      Sapporo, Japan (A satellite meeting of STATPHYS 25, Seoul, Korea)
    • Related Report
      2013 Final Research Report
  • [Presentation] Approximately counting paths and cycles in a graph2013

    • Author(s)
      Masaki Yamamoto
    • Organizer
      ICSG2013
    • Place of Presentation
      Sapporo, Japan
    • Related Report
      2013 Annual Research Report
    • Invited
  • [Presentation] Derandomizing HSSW Algorithm for 3-SAT2011

    • Author(s)
      Kazuhisa Makino, Suguru Tamaki, Masaki Yamamoto
    • Organizer
      COCOON 2011 : 1-12
    • Related Report
      2013 Final Research Report
  • [Presentation] A tighter lower bound on the circuit size of the hardest Boolean functions2011

    • Author(s)
      Masaki Yamamoto
    • Organizer
      Electronic Colloquium on Computational Complexity (ECCC) 18:86
    • Related Report
      2013 Final Research Report
  • [Presentation] Derandomizing HSSW Algorithm for 3-SAT2011

    • Author(s)
      Masaki Yamamoto, Kazuhisa Makino
    • Organizer
      COCOON2011
    • Place of Presentation
      Dallas, U.S.A.
    • Related Report
      2011 Research-status Report

URL: 

Published: 2011-08-05   Modified: 2019-07-29  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi