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

Exploring the Limits of Computation from the Statistical Physics

Planned Research

Project AreaA multifaceted approach toward understanding the limitations of computation
Project/Area Number 24106008
Research Category

Grant-in-Aid for Scientific Research on Innovative Areas (Research in a proposed research area)

Allocation TypeSingle-year Grants
Review Section Science and Engineering
Research InstitutionTokyo Institute of Technology

Principal Investigator

Watanabe Osamu  東京工業大学, 情報理工学院, 教授 (80158617)

Co-Investigator(Kenkyū-buntansha) 安藤 映  崇城大学, 情報学部, 助教 (20583511)
伊東 利哉  東京工業大学, 情報理工学研究科, 教授 (20184674)
小柴 健史  埼玉大学, 理工学研究科, 教授 (60400800)
山本 真基  成蹊大学, 理工学部, 准教授 (50432414)
森 立平  東京工業大学, 情報理工学研究科, 助教 (60732857)
Co-Investigator(Renkei-kenkyūsha) KABASHIMA Yoshiyuki  東京工業大学, 情報理工学院, 教授 (80260652)
HUKUSHIMA Koji  東京大学, 総合文化研究科, 准教授 (80282606)
Research Collaborator Krzakala Florent  Ecole Superieure de Physique et Chimie Industrielle
Zdeborova Lenka  CNRS, Institute of Theoret. Physics at CEA
Zhou Haijun  Chinese Academy of Sci., Inst. of Theoret. Physics
Project Period (FY) 2012-06-28 – 2017-03-31
Project Status Completed (Fiscal Year 2016)
Budget Amount *help
¥81,120,000 (Direct Cost: ¥62,400,000、Indirect Cost: ¥18,720,000)
Fiscal Year 2016: ¥18,590,000 (Direct Cost: ¥14,300,000、Indirect Cost: ¥4,290,000)
Fiscal Year 2015: ¥18,590,000 (Direct Cost: ¥14,300,000、Indirect Cost: ¥4,290,000)
Fiscal Year 2014: ¥18,720,000 (Direct Cost: ¥14,400,000、Indirect Cost: ¥4,320,000)
Fiscal Year 2013: ¥18,590,000 (Direct Cost: ¥14,300,000、Indirect Cost: ¥4,290,000)
Fiscal Year 2012: ¥6,630,000 (Direct Cost: ¥5,100,000、Indirect Cost: ¥1,530,000)
Keywords計算困難さの解析 / 計算困難さの相転移 / 解空間の構造 / 解の数え上げ問題 / 制約式充足可能性問題 / 平均時間計算量 / SOS法 / 解空間の離散体積計算問題 / 回路設計問題 / 計算限界の確定 / 解空間の構造解析 / 情報理論的解析 / 平均時計算量解析 / 限定計算における計算限界 / 強指数時間仮説 / 確率分布解析 / 劣線形領域計算 / 充足解探索 / 解の一意化 / 平均時計算複雑さ / 伝搬系アルゴリズム / 充足可能性問題 / 統計力学的解析 / 計算論的解析 / 制約解探索問題 / 最尤解探索問題
Outline of Final Research Achievements

We investigated computational problems studied in the statistical physics for developing a new approach in computational complexity theory. We examined a framework proposed in the statistical physics for understanding the computational hardness transition phenomena, and we discovered and mathematically proved a new type of hardness transition, which lead us to propose a new and robust framework for investigating the computational hardness transitions. This framework can be used as a new basis of discussing the security of cryptographic primitives. We also studied the structure of solutions and the number of solutions of various computational problems that have been discussed in the statistical physics, and found several fundamental properties for developing efficient algorithms for solving these problems.

Report

(6 results)
  • 2016 Annual Research Report   Final Research Report ( PDF )
  • 2015 Annual Research Report
  • 2014 Annual Research Report
  • 2013 Annual Research Report
  • 2012 Annual Research Report
  • Research Products

    (130 results)

All 2017 2016 2015 2014 2013 2012 Other

All Int'l Joint Research (1 results) Journal Article (80 results) (of which Int'l Joint Research: 17 results,  Peer Reviewed: 77 results,  Open Access: 26 results,  Acknowledgement Compliant: 53 results) Presentation (43 results) (of which Int'l Joint Research: 7 results,  Invited: 6 results) Book (6 results)

  • [Int'l Joint Research] カーネギーメロン大学(米国)

    • Related Report
      2016 Annual Research Report
  • [Journal Article] An FPTAS for computing the distribution function of the longest path length in DAGs with uniformly distributed edge lengths2017

    • Author(s)
      E. Ando
    • Journal Title

      in Proc. WALCOM2017

      Volume: LNCS 10167 Pages: 421-432

    • DOI

      10.1007/978-3-319-53925-6_33

    • ISBN
      9783319539249, 9783319539256
    • Related Report
      2016 Annual Research Report
    • Peer Reviewed / Open Access / Acknowledgement Compliant
  • [Journal Article] An enhancement of privacy-preserving wildcards pattern matching2017

    • Author(s)
      T.K. Saha and T. Koshiba
    • Journal Title

      in Proc. the 9th International Symposium on Foundations & Practice of Security (FPS 2016)

      Volume: LNCS 10128 Pages: 145-160

    • DOI

      10.1007/978-3-319-51966-1_10

    • ISBN
      9783319519654, 9783319519661
    • Related Report
      2016 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research / Acknowledgement Compliant
  • [Journal Article] Analysis of decreasing squared-sum of Gram-Schmidt lengths for short lattice vectors2017

    • Author(s)
      M. Yasuda, K. Yokoyama, T. Shimoyama, J. Kogure, and T. Koshiba
    • Journal Title

      Journal of Mathematical Cryptology

      Volume: 11(1) Issue: 1 Pages: 1-24

    • DOI

      10.1515/jmc-2016-0008

    • Related Report
      2016 Annual Research Report
    • Peer Reviewed / Open Access / Acknowledgement Compliant
  • [Journal Article] Private conjunctive query over encrypted data2017

    • Author(s)
      T.K. Saha and T. Koshiba
    • Journal Title

      in Proc. AFRICACRYPT 2017

      Volume: -

    • Related Report
      2016 Annual Research Report
    • Peer Reviewed / Int'l Joint Research / Acknowledgement Compliant
  • [Journal Article] Sum of squares lower bounds for refuting any CSP2017

    • Author(s)
      P. K. Kothari, R. Mori, R. O'Donnell, and D. Witmer
    • Journal Title

      in Proc. of the 49th Annual ACM Symposium on the Theory of Computing (STOC 2017)

      Volume: -

    • Related Report
      2016 Annual Research Report
    • Peer Reviewed / Int'l Joint Research / Acknowledgement Compliant
  • [Journal Article] Approximately counting paths and cycles in a graph2017

    • Author(s)
      M. Yamamoto
    • Journal Title

      Discrete Applied Mathematics

      Volume: Volume 217, Part 2 Pages: 381-387

    • DOI

      10.1016/j.dam.2016.09.002

    • Related Report
      2016 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Local restrictions from the Furst-Saxe-Sipser paper2017

    • Author(s)
      S. Tamaki and O. Watanabe
    • Journal Title

      Theory of Computing Systems

      Volume: 60(1) Issue: 1 Pages: 20-32

    • DOI

      10.1007/s00224-016-9730-0

    • NAID

      120006582572

    • Related Report
      2016 Annual Research Report
    • Peer Reviewed / Open Access / Acknowledgement Compliant
  • [Journal Article] Detectability thresholds of general modular graphs2017

    • Author(s)
      T. Kawamoto and Y. Kabashima
    • Journal Title

      Physical Review E

      Volume: 95(1) Issue: 1 Pages: 012304-012304

    • DOI

      10.1103/physreve.95.012304

    • Related Report
      2016 Annual Research Report
    • Peer Reviewed / Open Access / Acknowledgement Compliant
  • [Journal Article] Pairing cryptography meets isogeny: A new framework of isogenous pairing groups2016

    • Author(s)
      T. Koshiba and K. Takashima
    • Journal Title

      IACR Cryptology ePrint Archive

      Volume: 2016/1138

    • Related Report
      2016 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Three-input majority function as the unique optimal function for the bias amplification using nonlocal boxes2016

    • Author(s)
      R. Mori
    • Journal Title

      Physical Review A

      Volume: 94 Issue: 5

    • DOI

      10.1103/physreva.94.052130

    • Related Report
      2016 Annual Research Report
    • Peer Reviewed / Open Access / Acknowledgement Compliant
  • [Journal Article] Lower bounds for CSP refutation by SDP hierarchies2016

    • Author(s)
      R. Mori and D. Witmer
    • Journal Title

      in Proc. of the Approximation, Randomization, and Combinatorial Optimization. Algorithms

      Volume: LIPIcs 60

    • DOI

      10.4230/LIPIcs.APPROX-RANDOM.2016.41

    • Related Report
      2016 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research / Acknowledgement Compliant
  • [Journal Article] Average shortest path length of graphs of diameter 32016

    • Author(s)
      N. Shimizu and R. Mori
    • Journal Title

      in Proc. of the 10th IEEE/ACM International Symposium on Networks-on-Chip (NOCS 2016)

      Volume: - Pages: 1-6

    • DOI

      10.1109/nocs.2016.7579335

    • Related Report
      2016 Annual Research Report
    • Peer Reviewed / Open Access / Acknowledgement Compliant
  • [Journal Article] Limits of minimum circuit size problem as oracle2016

    • Author(s)
      S. Hirahara and O. Watanabe
    • Journal Title

      in Proc. the 31st Conference on Computational Complexity

      Volume: LIPIcs 18

    • DOI

      10.4230/LIPIcs.CCC.2016.18

    • Related Report
      2016 Annual Research Report
    • Peer Reviewed / Open Access / Acknowledgement Compliant
  • [Journal Article] Resilience of antagonistic networks with regard to the effects of initial failures and degree-degree correlations2016

    • Author(s)
      S. Watanabe and Y. Kabashima
    • Journal Title

      Physical Review E

      Volume: 94 Issue: 3

    • DOI

      10.1103/physreve.94.032308

    • Related Report
      2016 Annual Research Report
    • Peer Reviewed / Open Access / Acknowledgement Compliant
  • [Journal Article] Statistical mechanics analysis of thresholding 1-bit compressed sensing2016

    • Author(s)
      Y.-Y. Xu and Y. Kabashima
    • Journal Title

      Journal of Statistical Mechanics: Theory and Experiment

      Volume: 2016 Issue: 8 Pages: 083405-083405

    • DOI

      10.1088/1742-5468/2016/08/083405

    • Related Report
      2016 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research / Acknowledgement Compliant
  • [Journal Article] Cross validation in LASSO and its acceleration2016

    • Author(s)
      T. Obuchi and Y. Kabashima
    • Journal Title

      Journal of Statistical Mechanics: Theory and Experiment

      Volume: 2016 Issue: 5 Pages: 1-36

    • DOI

      10.1088/1742-5468/2016/05/053304

    • Related Report
      2016 Annual Research Report
    • Peer Reviewed / Open Access / Acknowledgement Compliant
  • [Journal Article] Phase transitions and sample complexity in Bayes-optimal matrix factorization2016

    • Author(s)
      Y. Kabashima, F. Krzakala, M. Mezard, A. Sakata, and L. Zdeborova
    • Journal Title

      IEEE Transactions on Information Theory

      Volume: 62(7) Issue: 7 Pages: 4228-4265

    • DOI

      10.1109/tit.2016.2556702

    • Related Report
      2016 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research / Acknowledgement Compliant
  • [Journal Article] Typical performance of approximation algorithms for NP-hard problems2016

    • Author(s)
      S. Takabe and K. Hukushima
    • Journal Title

      Journal of Statistical Mechanics: Theory and Experiment

      Volume: 2016(11) Issue: 11 Pages: 113401-113401

    • DOI

      10.1088/1742-5468/2016/11/113401

    • Related Report
      2016 Annual Research Report
    • Peer Reviewed / Open Access / Acknowledgement Compliant
  • [Journal Article] Bayesian inversion analysis of nonlinear dynamics in surface heterogeneous reactions2016

    • Author(s)
      T. Omori, T. Kuwatani, A. Okamoto, and K. Hukushima
    • Journal Title

      Physical Review E

      Volume: 94(3) Issue: 3 Pages: 033305-033305

    • DOI

      10.1103/physreve.94.033305

    • Related Report
      2016 Annual Research Report
    • Peer Reviewed / Open Access / Acknowledgement Compliant
  • [Journal Article] Irreversible simulated tempering2016

    • Author(s)
      Y. Sakai and K. Hukushima
    • Journal Title

      Journal of the Physical Society of Japan

      Volume: 85(10) Issue: 10 Pages: 104002-104002

    • DOI

      10.7566/jpsj.85.104002

    • NAID

      210000134110

    • Related Report
      2016 Annual Research Report
    • Peer Reviewed / Open Access / Acknowledgement Compliant
  • [Journal Article] Phase transitions and ordering structures of a model of chiral helimagnet in three dimensions2016

    • Author(s)
      Y. Nishikawa and K. Hukushima
    • Journal Title

      Physical Review B

      Volume: 94(6) Issue: 6

    • DOI

      10.1103/physrevb.94.064428

    • Related Report
      2016 Annual Research Report
    • Peer Reviewed / Open Access / Acknowledgement Compliant
  • [Journal Article] Statistical mechanical analysis of linear programming relaxation for combinatorial optimization problems2016

    • Author(s)
      S. Takabe and K. Hukushima
    • Journal Title

      Physical Review E

      Volume: 93(5) Issue: 5 Pages: 053308-053308

    • DOI

      10.1103/physreve.93.053308

    • Related Report
      2016 Annual Research Report
    • Peer Reviewed / Open Access / Acknowledgement Compliant
  • [Journal Article] Eigenvalue analysis of an irreversible random walk with skew detailed balance conditions2016

    • Author(s)
      Yuji Sakai, Koji Hukushima
    • Journal Title

      Physical Review E

      Volume: 93 Issue: 4 Pages: 043318-043318

    • DOI

      10.1103/physreve.93.043318

    • Related Report
      2016 Annual Research Report
    • Peer Reviewed / Open Access / Acknowledgement Compliant
  • [Journal Article] Set membership with non-adaptive bit probes2016

    • Author(s)
      M. Garg and J. Radhakrishnan
    • Journal Title

      in Proc. 34th International Symposium on Theoretical Aspects of Computer Science (STACS 2017)

      Volume: -

    • Related Report
      2016 Annual Research Report
    • Peer Reviewed / Int'l Joint Research / Acknowledgement Compliant
  • [Journal Article] On hard instances of non-commutative permanent2016

    • Author(s)
      C. Engels and B. V. Raghavendra Rao
    • Journal Title

      in Proc. the 22nd International Conference on Computing and Combinatorics (COCOON 2016)

      Volume: LNCS 9797 Pages: 171-181

    • DOI

      10.1007/978-3-319-42634-1_14

    • ISBN
      9783319426334, 9783319426341
    • Related Report
      2016 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research / Acknowledgement Compliant
  • [Journal Article] Strong ETH and resolution via games and the multiplicity of strategies2016

    • Author(s)
      I. Bonacina and N. Talebanfard
    • Journal Title

      Algorithmica

      Volume: online Issue: 1 Pages: 29-41

    • DOI

      10.1007/s00453-016-0228-6

    • Related Report
      2016 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research / Acknowledgement Compliant
  • [Journal Article] Dichotomy theorems for homomorphism polynomials of graph classes2016

    • Author(s)
      C. Engels
    • Journal Title

      Journal of Graph Algorithms and Applications

      Volume: 20(1) Issue: 1 Pages: 3-22

    • DOI

      10.7155/jgaa.00382

    • Related Report
      2015 Annual Research Report
    • Peer Reviewed / Int'l Joint Research / Acknowledgement Compliant
  • [Journal Article] Optimal online algorithms for the multi-objective time series search problem2016

    • Author(s)
      S. Hasegawa and T. Itoh
    • Journal Title

      Proc. of the 10th International Workshop on Algorithms and Computation (WALCOM'16)

      Volume: LNCS 9627 Pages: 301-312

    • DOI

      10.1007/978-3-662-49192-8_2

    • ISBN
      9783662491911, 9783662491928
    • Related Report
      2015 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Privacy-preserving fuzzy commitment for biometrics via layered error-correcting codes2016

    • Author(s)
      Masaya Yasuda, Takeshi Shimoyama, Narishige Abe, Shigefumi Yamada, Takashi Shinzaki, Takeshi Koshiba
    • Journal Title

      Lecture Notes in Computer Science (FPS 2015)

      Volume: 9482 Pages: 117-133

    • DOI

      10.1007/978-3-319-30303-1_8

    • ISBN
      9783319303024, 9783319303031
    • Related Report
      2015 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Improving resolution width lower bounds for k-CNFs with applications to the strong exponential time hypothesis2016

    • Author(s)
      I. Bonacina and N. Talebanfard
    • Journal Title

      Information Processing Letters

      Volume: 116(2) Issue: 2 Pages: 120-124

    • DOI

      10.1016/j.ipl.2015.09.013

    • Related Report
      2015 Annual Research Report
    • Peer Reviewed / Int'l Joint Research / Acknowledgement Compliant
  • [Journal Article] On the Structure and the number of prime implicants of 2-CNFs2016

    • Author(s)
      N. Talebanfard
    • Journal Title

      Discrete Applied Mathematics

      Volume: 200 Pages: 1-4

    • DOI

      10.1016/j.dam.2015.06.036

    • Related Report
      2015 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] A short implicant of a CNF formula with many satisfying assignments2016

    • Author(s)
      D. M. Kane and O. Watanabe
    • Journal Title

      Algorithmica

      Volume: online Issue: 4 Pages: 1203-1223

    • DOI

      10.1007/s00453-016-0125-z

    • NAID

      120006582489

    • Related Report
      2015 Annual Research Report
    • Peer Reviewed / Int'l Joint Research / Acknowledgement Compliant
  • [Journal Article] An FPTAS for the volume computation of 0-1 knapsack polytopes based on approximate convolution2015

    • Author(s)
      E. Ando and S. Kijima
    • Journal Title

      Algorithmica

      Volume: online Issue: 4 Pages: 1245-1263

    • DOI

      10.1007/s00453-015-0096-5

    • Related Report
      2016 Annual Research Report 2015 Annual Research Report
    • Peer Reviewed / Open Access / Acknowledgement Compliant
  • [Journal Article] Random shortest paths: non-Euclidean instances for metric optimization problems2015

    • Author(s)
      K. Bringmann, C. Engels, B. Manthey, and B.V. Raghavendra Rao
    • Journal Title

      Algorithmica

      Volume: 73(1) Issue: 1 Pages: 42-62

    • DOI

      10.1007/s00453-014-9901-9

    • Related Report
      2015 Annual Research Report
    • Peer Reviewed / Int'l Joint Research / Acknowledgement Compliant
  • [Journal Article] Event-chain algorithm for the Heisenberg model: Evidence for z1dynamic scaling2015

    • Author(s)
      Y. Nishikawa, M. Michel, W. Krauth, and K. Hukushima
    • Journal Title

      Physical Review E

      Volume: 92 Issue: 6 Pages: 63306-63306

    • DOI

      10.1103/physreve.92.063306

    • Related Report
      2015 Annual Research Report
    • Peer Reviewed / Int'l Joint Research / Acknowledgement Compliant
  • [Journal Article] Evidence of a one-step replica symmetry breaking in a three-dimensional Potts glass model2015

    • Author(s)
      Takashi Takahashi and Koji Hukushima
    • Journal Title

      PHYSICAL REVIEW E

      Volume: 91 Issue: 2 Pages: 020102-020102

    • DOI

      10.1103/physreve.91.020102

    • Related Report
      2015 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Detectability of the spectral method for sparse graph partitioning2015

    • Author(s)
      T. Kawamoto and Y. Kabashima
    • Journal Title

      Europhysics Letters

      Volume: 112 Issue: 4 Pages: 40007-40007

    • DOI

      10.1209/0295-5075/112/40007

    • Related Report
      2015 Annual Research Report
    • Peer Reviewed / Open Access / Acknowledgement Compliant
  • [Journal Article] Limitations in the spectral method for graph partitioning: Detectability threshold and localization of eigenvectors2015

    • Author(s)
      T. Kawamoto and Y. Kabashima
    • Journal Title

      Physical Review E

      Volume: 91 Issue: 6 Pages: 062803-062803

    • DOI

      10.1103/physreve.91.062803

    • Related Report
      2015 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Typical reconstruction limits for distributed compressed sensing based on ell_{2,1}-norm minimization and Bayesian optimal reconstruction2015

    • Author(s)
      Y. Shiraki and Y. Kabashima
    • Journal Title

      Journal of Statistical Mechanics: Theory and Experiment

      Volume: 2015 Issue: 5 Pages: P05029-P05029

    • DOI

      10.1088/1742-5468/2015/05/p05029

    • Related Report
      2015 Annual Research Report
    • Peer Reviewed / Open Access / Acknowledgement Compliant
  • [Journal Article] Replica symmetric bound for restricted isometry constant2015

    • Author(s)
      A. Sakata and Y. Kabashima
    • Journal Title

      Proc. of 2015 IEEE International Symposium on Information Theory (ISIT2015)

      Volume: 2015 Pages: 2006-2010

    • DOI

      10.1109/isit.2015.7282807

    • Related Report
      2015 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] New packing method in somewhat homomorphic encryption and its applications2015

    • Author(s)
      Masaya Yasuda, Takeshi Shimoyama, Jun Kogure, Kazuhiro Yokoyama, Takeshi Koshiba
    • Journal Title

      Security and Communication Networks

      Volume: 8 Issue: 13 Pages: 2194-2213

    • DOI

      10.1002/sec.1164

    • Related Report
      2015 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Secure data devolution: Practical re-encryption with auxiliary data in LWE-based somewhat homomorphic encryption2015

    • Author(s)
      Masaya Yasuda, Takeshi Koshiba, Takeshi Shimoyama, Jun Kogure, Kazuhiro Yokoyama
    • Journal Title

      Proceedings of the 3rd International Workshop on Security in Cloud Computing (SCC@ASIACCS 2015)

      Volume: - Pages: 53-61

    • DOI

      10.1145/2732516.2732521

    • Related Report
      2015 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Holographic transformation, belief propagation and loop calculus for quantum information science2015

    • Author(s)
      R. Mori
    • Journal Title

      Proc. 2015 IEEE International Symposium on Information Theory (ISIT 2015)

      Volume: ISIT15 Pages: 1099-1103

    • DOI

      10.1109/isit.2015.7282625

    • Related Report
      2015 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Strong ETH and resolution via games and the multiplicity of strategies2015

    • Author(s)
      I. Bonacina and N. Talebanfard
    • Journal Title

      Proc. of the 10th International Workshop on Parameterized and Exact Computation

      Volume: LIPIcs 43 Pages: 248-257

    • DOI

      10.4230/LIPIcs.IPEC.2015.248

    • Related Report
      2015 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research / Acknowledgement Compliant
  • [Journal Article] Generalized shortest path kernel on graphs2015

    • Author(s)
      L. Hermansson, F. D. Johansson, and O. Watanabe
    • Journal Title

      Proc. of the 18th International Conference on Discovery Science (DS'15)

      Volume: LNCS 9356 Pages: 78-85

    • DOI

      10.1007/978-3-319-24282-8_8

    • ISBN
      9783319242811, 9783319242828
    • Related Report
      2015 Annual Research Report
    • Peer Reviewed / Int'l Joint Research / Acknowledgement Compliant
  • [Journal Article] Interval graph representation with given interval and intersection lengths2015

    • Author(s)
      J. Kobler, S. Kuhnert, and O. Watanabe
    • Journal Title

      J. Discrete Algorithms

      Volume: 34 Pages: 108-117

    • DOI

      10.1016/j.jda.2015.05.011

    • Related Report
      2015 Annual Research Report
    • Peer Reviewed / Int'l Joint Research / Acknowledgement Compliant
  • [Journal Article] New packing method in somewhat homomorphic encryption and its applications2015

    • Author(s)
      Masaya Yasuda, Takeshi Shiomyama, Jun Kogure, Kazuhiro Yokoyama, Takeshi Koshiba
    • Journal Title

      Security and Communication Networks

      Volume: no vol. no Issue: 13 Pages: 2291-2301

    • DOI

      10.1002/sec.1173

    • Related Report
      2014 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Loop calculus for non-binary alphabets using concepts from information geometry2015

    • Author(s)
      Ryuhei Mori
    • Journal Title

      IEEE Transactions on Information Theory

      Volume: 61 Issue: 4 Pages: 1887-1904

    • DOI

      10.1109/tit.2015.2403239

    • Related Report
      2014 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] An FPTAS for the volume computationof 0-1 knapsack polytopes based on approximate convolution integral2014

    • Author(s)
      E. Ando, S. Kijima
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 8889 Pages: 376-386

    • DOI

      10.1007/978-3-319-13075-0_30

    • ISBN
      9783319130743, 9783319130750
    • Related Report
      2014 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] <i>#P</i>-hardness of Computing High Order Derivative and Its Logarithm2014

    • Author(s)
      Ei Ando
    • Journal Title

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      Volume: E97.A Issue: 6 Pages: 1382-1384

    • DOI

      10.1587/transfun.E97.A.1382

    • NAID

      130004770868

    • ISSN
      0916-8508, 1745-1337
    • Related Report
      2014 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Minimum vertex cover problems on random hypergraphs: replica symetric solution and a leaf removal algorithm2014

    • Author(s)
      Satoshi Takabe, Koji Hukushima
    • Journal Title

      Physical Review E

      Volume: 89(6) Issue: 6 Pages: 062139-062139

    • DOI

      10.1103/physreve.89.062139

    • Related Report
      2014 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Typical Behavior of the Linear Programming Method for Combinatorial Optimization Problemns : A Statistical-Mechanical Perspective2014

    • Author(s)
      S. Takabe and K. Hukushima
    • Journal Title

      J. Phys. Soc. Jpn

      Volume: Vol.83 Issue: 4 Pages: 043801-043801

    • DOI

      10.7566/jpsj.83.043801

    • Related Report
      2014 Annual Research Report 2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Signal recovery using expectation consistent approximation for linear observations2014

    • Author(s)
      Mikko Vehekapera, Yoshiyuki Kabashima
    • Journal Title

      Proc. 2014 IEEE International Symposium on Information Theory

      Volume: no vol. no. Pages: 226-230

    • DOI

      10.1109/isit.2014.6874828

    • Related Report
      2014 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Analysis of regularized LS reconstruction and random matrix ensembles in compressed sensing2014

    • Author(s)
      Mikko Vehekapera, Yoshiyuki Kabashima, Saikat Chatterjee
    • Journal Title

      Proc. 2014 IEEE International Symposium on Information Theory

      Volume: no vol. no. Pages: 3185-3189

    • DOI

      10.1109/isit.2014.6875422

    • Related Report
      2014 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Origin of the computational hardness for learning with binary synapses2014

    • Author(s)
      Haiping Huang and Yoshiyuki Kabashima
    • Journal Title

      Physical Review E

      Volume: 90 Issue: 5 Pages: 052813-052813

    • DOI

      10.1103/physreve.90.052813

    • Related Report
      2014 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] On the exact decryption range for Gentry-Halevi's Implementation of Fully Homomorphic Encryption2014

    • Author(s)
      Masaya Yasuda, Kazuhiro Yokoyama, Takeshi Shimoyama, Jun Kogure, Takeshi Koshiba
    • Journal Title

      Journal of Mathematical Cryptology

      Volume: 8 Issue: 3 Pages: 305-329

    • DOI

      10.1515/jmc-2013-0024

    • Related Report
      2014 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Privacy-preserving wildcards pattern matching using symmetric somewhat homomorphic encryption2014

    • Author(s)
      Masaya Yasuda, Takeshi Shimoyama, Jun Kogure, Kazuhiro Yokoyama, Takeshi Koshiba
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 8544 Pages: 338-353

    • DOI

      10.1007/978-3-319-08344-5_22

    • ISBN
      9783319083438, 9783319083445
    • Related Report
      2014 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Source and channel polarization over finite fields and Reed-Solomon matrices2014

    • Author(s)
      Ryuhei Mori, Toshiyuki Tanaka
    • Journal Title

      IEEE Transactions on Information Theory

      Volume: 60(5) Issue: 5 Pages: 2720-2736

    • DOI

      10.1109/tit.2014.2312181

    • Related Report
      2014 Annual Research Report 2013 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Circuit complexity of properties of graphs with bounded planar cutwidth2014

    • Author(s)
      Kristoffer Arnsfelt Hansen, Balagopal Komarath, Jayalal Sarma, Sven Skyum, Navid Talebanfard
    • Journal Title

      Proc. the 39th Symposium on Mathematical Foundations of Computer Science

      Volume: LNCS 8635 Pages: 336-347

    • DOI

      10.1007/978-3-662-44465-8_29

    • ISBN
      9783662444641, 9783662444658
    • Related Report
      2014 Annual Research Report
    • Peer Reviewed
  • [Journal Article] The query complexity of witness finding2014

    • Author(s)
      Akinori Kawachi, Benjamin Rossman, Osamu Watanabe
    • Journal Title

      Proc. of the 9th International Computer Science Symposium in Russia

      Volume: LNCS 8476 Pages: 218-231

    • DOI

      10.1007/978-3-319-06686-8_17

    • NAID

      120006582539

    • ISBN
      9783319066851, 9783319066868
    • Related Report
      2014 Annual Research Report
    • Peer Reviewed
  • [Journal Article] O(sqrt(n))-space and polynomial-time algorithm for planar directed graph reachability2014

    • Author(s)
      Tetsuo Asano, David G. Kirkpatrick, Koutaro Nakagawa, Osamu Watanabe
    • Journal Title

      Proc. the 39th Symposium on Mathematical Foundations of Computer Science

      Volume: LNCS 8635 Pages: 45-56

    • DOI

      10.1007/978-3-662-44465-8_5

    • ISBN
      9783662444641, 9783662444658
    • Related Report
      2014 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] A short implicant of a CNF formula with many satisfying assignments2014

    • Author(s)
      Daniel M. Kane, Osamu Watanabe
    • Journal Title

      Proc. 25th Sympos. on Algoerithms and Computation

      Volume: LNCS 8889 Pages: 273-284

    • DOI

      10.1007/978-3-319-13075-0_22

    • NAID

      120006582489

    • ISBN
      9783319130743, 9783319130750
    • Related Report
      2014 Annual Research Report
    • Peer Reviewed
  • [Journal Article] \#P-hardness of computing high order derivative and its logarithm2014

    • Author(s)
      Ei Ando
    • Journal Title

      IEICE Trans. Fundamentals

      Volume: Vol. E97-A( NO.6)

    • NAID

      130004770868

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Practical Packing Method in Somewhat Homomorphic Encryption2014

    • Author(s)
      Masaya Yasuda, Takeshi Shimoyama, Jun Kogure, Kazuhiro Yokoyama, Takeshi Koshiba
    • Journal Title

      Lecture Notes in Computer Science (DPM 2013)

      Volume: 8247 Pages: 34-50

    • DOI

      10.1007/978-3-642-54568-9_3

    • ISBN
      9783642545672, 9783642545689
    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Is Valiant-Vazirani's isolation probabilityimprovable?2013

    • Author(s)
      Holger Dell, Valentine Kabanets,Dieter van Melkebeek, Osamu Watanabe
    • Journal Title

      Computational Complexity

      Volume: 22(2) Issue: 2 Pages: 345-383

    • DOI

      10.1007/s00037-013-0059-7

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] An O(n^{{1/2}+epsilon}})-space and polynomial-time algorithm for directed planar reachability2013

    • Author(s)
      Tatsuya Imai, Kotaro Nakagawa, A. Pavan, N.V. Vinodchandran, Osamu Watanabe
    • Journal Title

      Proc. of the 28th Conference on Computational Complexity

      Volume: 無し Pages: 277-286

    • DOI

      10.1109/ccc.2013.35

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] A short implicant of CNFs with relatively many satisfying assignments2013

    • Author(s)
      Daniel Kane, Osamu Watanabe
    • Journal Title

      Electronic Colloquium on Computatinoal Complexity

      Volume: TR13-176

    • Related Report
      2013 Annual Research Report
  • [Journal Article] Secure pattern matching using somewhat homomorphic encryption2013

    • Author(s)
      Masaya Yasuda, Takeshi Shiomyama, Jun Kogure, Kazuhiro Yokoyama, Takeshi Koshiba
    • Journal Title

      Proc. of the 2013 ACM Workshop on Cloud Computing Security

      Volume: 無し Pages: 65-76

    • DOI

      10.1145/2517488.2517497

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Packed Homomorphic Encryption Based on Ideal Lattices and Its Application to Biometrics2013

    • Author(s)
      Masaya Yasuda, Takeshi Shimoyama, Jun Kogure, Kazuhiro Yokoyama, Takeshi Koshiba
    • Journal Title

      Lecture Notes in Computer Science (MoCrySEn 2013)

      Volume: 8128 Pages: 55-74

    • DOI

      10.1007/978-3-642-40588-4_5

    • ISBN
      9783642405877, 9783642405884
    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Ancilla-Driven Universal Blind Quantum Computation2013

    • Author(s)
      Sueki Takahiro,Takeshi Koshiba,Tomoyuki Morimae
    • Journal Title

      Physical Review A

      Volume: 89 Issue: 6 Pages: 60301-60301

    • DOI

      10.1103/physreva.87.060301

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Message passing algorithms for MLS-3LIN problem2013

    • Author(s)
      O.Watanabe
    • Journal Title

      Algorithmica

      Volume: 66 Issue: 4 Pages: 848-868

    • DOI

      10.1007/s00453-013-9762-7

    • Related Report
      2013 Annual Research Report 2012 Annual Research Report
    • Peer Reviewed
  • [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 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Dynamics of One-Dimensional Ising Model without Detailed Balance Condition2013

    • Author(s)
      Y. Sakai and K. Hukushima
    • Journal Title

      J. Phys. Soc. Jpn

      Volume: Vol.82 Issue: 6 Pages: 064003-064003

    • DOI

      10.7566/jpsj.82.064003

    • NAID

      40019665475

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Entropy landscape of solutions in the binary perceptron problem2013

    • Author(s)
      Haiping Huang, KY Michael Wong, Yoshiyuki Kabashima
    • Journal Title

      J. Phys. A : Math. Theor.

      Volume: 46 Issue: 37 Pages: 375002-375002

    • DOI

      10.1088/1751-8113/46/37/375002

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Reconstruction algorithm in compressed sensing based on maximum a posteriori estimation2013

    • Author(s)
      Koujin Takeda, Yoshiyuki Kabashima
    • Journal Title

      J. Phys. Conf. Ser.

      Volume: 473 Pages: 12003-12003

    • DOI

      10.1088/1742-6596/473/1/012003

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] The first eigenvalue of (c, d)-regular graph2013

    • Author(s)
      Kotaro Nakagawa and Hiroki Yamaguchi
    • Journal Title

      IEICE Trans. Information Systems

      Volume: E96-D(3) Pages: 433-442

    • Related Report
      2012 Annual Research Report
  • [Journal Article] Propagation connectivity of random hypergraphs2012

    • Author(s)
      Amin Coja-Oghlan, Mikael Onsjo, and Osamu Watanabe (Osamu Watanabe)
    • Journal Title

      The Electronic Journal of Combinatorics

      Volume: 19(P17) Pages: 1-25

    • Related Report
      2012 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Estimating the Gowers Norm of Modulo Functions over Prime Fields2012

    • Author(s)
      A.Kawachi, H.Tanaka, O.Watanabe
    • Journal Title

      IEICE Transactions on Information and Systems

      Volume: E95-D Issue: 3 Pages: 755-762

    • DOI

      10.1587/transinf.E95.D.755

    • NAID

      10030611565

    • ISSN
      0916-8532, 1745-1361
    • Related Report
      2012 Annual Research 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) Issue: 4 Pages: 1074-1093

    • DOI

      10.1137/110828691

    • Related Report
      2012 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Replica symmetry breaking in an adiabatic spin-glass model of adaptative evolution2012

    • Author(s)
      Ayaka Sakata, Koji Hukushima, and Kunihiko Kaneko
    • Journal Title

      Europhysics Letters

      Volume: 99(68004) Pages: 1-6

    • Related Report
      2012 Annual Research Report
  • [Presentation] Extension of the vertex cover problem to the size-t cycle cover problems2017

    • Author(s)
      B. Dashdemberel and O. Watanabe
    • Organizer
      電子情報通信学会,コンピュテーション研究会
    • Place of Presentation
      名古屋市
    • Year and Date
      2017-03-07
    • Related Report
      2016 Annual Research Report
  • [Presentation] Non-transferable proxy re-encryption for group membership/non-membership2017

    • Author(s)
      Lwin San, Ei Mon Cho, and T. Koshiba
    • Organizer
      The 15th International Conference on Computer Applications (ICCA 2017)
    • Place of Presentation
      福岡
    • Year and Date
      2017-02-17
    • Related Report
      2016 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Cloud deduplication based on multiple group signature scheme2017

    • Author(s)
      Ei Mon Cho and T. Koshiba
    • Organizer
      The 15th International Conference on Computer Applications (ICCA 2017)
    • Place of Presentation
      福岡
    • Year and Date
      2017-02-17
    • Related Report
      2016 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Hayashi-Morimaeブラインド量子計算に対する第三者検証可能性2017

    • Author(s)
      佐藤 豪, 森前 智行, 小柴 健史
    • Organizer
      2017年暗号と情報セキュリティシンポジウム (SCIS2017)
    • Place of Presentation
      那覇
    • Year and Date
      2017-01-27
    • Related Report
      2016 Annual Research Report
  • [Presentation] フーリエ基底を用いた関数秘密分散2017

    • Author(s)
      大澤 卓矢, 黒河 徳大, 小柴 健史
    • Organizer
      2017年暗号と情報セキュリティシンポジウム (SCIS2017)
    • Place of Presentation
      那覇
    • Year and Date
      2017-01-24
    • Related Report
      2016 Annual Research Report
  • [Presentation] 非局所箱を用いたXORゲームにおける確率のバイアス増幅についての3変数多数決関数の最適性2016

    • Author(s)
      森 立平
    • Organizer
      第35回量子情報技術研究会 (QIT-35)
    • Place of Presentation
      筑波
    • Year and Date
      2016-11-24
    • Related Report
      2016 Annual Research Report
  • [Presentation] Perfectly secure message transmission scheme against rational adversaries2016

    • Author(s)
      M. Fujita and T. Koshiba
    • Organizer
      The 19th Japan-Korea Joint Workshop on Algorithms and Computation (WAAC 2016)
    • Place of Presentation
      函館
    • Year and Date
      2016-08-31
    • Related Report
      2016 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Logging with maximum length constraint2016

    • Author(s)
      E. Ando, A. Kawamura, M. Kiyomi, E. Miyano and H. Ono
    • Organizer
      The 19th Japan-Korea Joint Workshop on Algorithms and Computation (WAAC2016)
    • Place of Presentation
      函館
    • Year and Date
      2016-08-30
    • Related Report
      2016 Annual Research Report
    • Int'l Joint Research
  • [Presentation] 幾何双対ナップサック多面体の体積のためのFPTAS2016

    • Author(s)
      安藤映, 来嶋秀治
    • Organizer
      情報処理学会アルゴリズム研究会
    • Place of Presentation
      電気通信大学
    • Year and Date
      2016-03-06
    • Related Report
      2015 Annual Research Report
  • [Presentation] 一般確率論と計算複雑性2016

    • Author(s)
      森立平
    • Organizer
      量子論の諸問題と今後の発展
    • Place of Presentation
      高エネルギー加速器研究機構(筑波)
    • Year and Date
      2016-02-17
    • Related Report
      2015 Annual Research Report
  • [Presentation] 直径 3 のグラフにおける平均最短経路長の近似2016

    • Author(s)
      清水伸高, 森立平
    • Organizer
      2015 年度冬のLA シンポジウム
    • Place of Presentation
      京都大学
    • Year and Date
      2016-01-26
    • Related Report
      2015 Annual Research Report
  • [Presentation] オラクルとしての回路最小化問題の限界2016

    • Author(s)
      平原秀一,渡辺治
    • Organizer
      2015 年度冬のLA シンポジウム
    • Place of Presentation
      京都大学
    • Year and Date
      2016-01-26
    • Related Report
      2015 Annual Research Report
  • [Presentation] Relating sublinear space computability among graph connectivity and related problems2016

    • Author(s)
      T. Imai and O. Watanabe
    • Organizer
      The 42nd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM'16)
    • Place of Presentation
      Harrachov, Czech Rep.
    • Year and Date
      2016-01-23
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research / Invited
  • [Presentation] Secure deduplication for multiple group setting2016

    • Author(s)
      Ei Mon Cho and T. Koshiba
    • Organizer
      2016 年暗号と情報セキュリティシンポジウム (SCIS2016)
    • Place of Presentation
      ANAクラウンプラザホテル熊本ニュースカイ
    • Year and Date
      2016-01-19
    • Related Report
      2015 Annual Research Report
  • [Presentation] 鍵サイズ長の単一値を持つGate によるGarbled 化方式2016

    • Author(s)
      黒河徳大, 小柴健史
    • Organizer
      2016 年暗号と情報セキュリティシンポジウム (SCIS2016)
    • Place of Presentation
      ANAクラウンプラザホテル熊本ニュースカイ
    • Year and Date
      2016-01-19
    • Related Report
      2015 Annual Research Report
  • [Presentation] 合理的な敵に対する安全なメッセージ伝達方式2016

    • Author(s)
      藤田舞騎, 小柴健史
    • Organizer
      2016 年暗号と情報セキュリティシンポジウム (SCIS2016)
    • Place of Presentation
      ANAクラウンプラザホテル熊本ニュースカイ
    • Year and Date
      2016-01-19
    • Related Report
      2015 Annual Research Report
  • [Presentation] Multi-party secure computation based on linear codes2016

    • Author(s)
      K. Sheng and T. Koshiba
    • Organizer
      2016 年暗号と情報セキュリティシンポジウム (SCIS2016)
    • Place of Presentation
      ANAクラウンプラザホテル熊本ニュースカイ
    • Year and Date
      2016-01-19
    • Related Report
      2015 Annual Research Report
  • [Presentation] 負パラメータを含む制約つきナップサック多面体の体積に関する考察2015

    • Author(s)
      安藤映
    • Organizer
      情報処理学会アルゴリズム研究会
    • Place of Presentation
      九州大学
    • Year and Date
      2015-09-28
    • Related Report
      2015 Annual Research Report
  • [Presentation] Sublinear space complexity2015

    • Author(s)
      O. Watanabe
    • Organizer
      Workshop on Connection between Algorithm Design and Complexity Theory
    • Place of Presentation
      Simons Institute
    • Year and Date
      2015-09-28
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research / Invited
  • [Presentation] ホログラフィック変換とループ計算2015

    • Author(s)
      森立平
    • Organizer
      誤り訂正符号ワークショップ
    • Place of Presentation
      石川県加賀市
    • Year and Date
      2015-09-02
    • Related Report
      2015 Annual Research Report
  • [Presentation] An FPTAS for the volume computation of multiply constrained 0-1 knapsack polytopes based on approximate convolution2015

    • Author(s)
      E. Ando and S. Kijima
    • Organizer
      The 9th Hungarian-Japanese Symposium on Discrete Mathematics and Its Applications
    • Place of Presentation
      九州大学
    • Year and Date
      2015-06-02
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Data management over garbled Bloom filter for private set intersection2015

    • Author(s)
      Takeshi Koshiba
    • Organizer
      The 13th International Conference on Computer Applications
    • Place of Presentation
      Yangon
    • Year and Date
      2015-02-05
    • Related Report
      2014 Annual Research Report
    • Invited
  • [Presentation] Private information retrieval via blind quantum computation2014

    • Author(s)
      Takeshi Koshiba
    • Organizer
      Australia-Japan Workshop on Multi-User Quantum Networks
    • Place of Presentation
      Univ. of Technology, Sydney
    • Year and Date
      2014-10-22
    • Related Report
      2014 Annual Research Report
  • [Presentation] Signal recovery using expectation consistent approximation for linear observations2014

    • Author(s)
      Yoshiyuki Kabashima
    • Organizer
      Workshop on Collective Dynamics in Information Systems at Kavli Institute for Theoretical Physics China
    • Place of Presentation
      Chinese Academy of Sciences, Beijin
    • Year and Date
      2014-10-13
    • Related Report
      2014 Annual Research Report
  • [Presentation] Leakage resilience of Goldreich's pseudorandom generator against the basic linear programming2014

    • Author(s)
      Ryuhei Mori
    • Organizer
      Workshop on Collective Dynamics in Information Systems at Kavli Institute for Theoretical Physics China
    • Place of Presentation
      Chinese Academy of Sciences, Beijin
    • Year and Date
      2014-10-13
    • Related Report
      2014 Annual Research Report
  • [Presentation] On the power of the Tri-Sum-And function2014

    • Author(s)
      Takeshi Koshiba
    • Organizer
      Workshop on Collective Dynamics in Information Systems at Kavli Institute for Theoretical Physics China
    • Place of Presentation
      Chinese Academy of Sciences, Beijin
    • Year and Date
      2014-10-10
    • Related Report
      2014 Annual Research Report
  • [Presentation] The strong exponential time hypothesis and the structure of the solution space of CNF-SAT problems2014

    • Author(s)
      Osamu Watanabe
    • Organizer
      Workshop on Collective Dynamics in Information Systems at Kavli Institute for Theoretical Physics China
    • Place of Presentation
      Chinese Academy of Sciences, Beijin
    • Year and Date
      2014-10-10
    • Related Report
      2014 Annual Research Report
  • [Presentation] Interval graphg representation with given interval and intersection lengths2012

    • Author(s)
      Johannes Koebler, Sebastian Kuhnert, and Osamu Watanabe (Osamu Watanabe)
    • Organizer
      The 23rd International Symposium on Algorithms and Computation
    • Place of Presentation
      Taipei, Taiwan
    • Year and Date
      2012-12-19
    • Related Report
      2012 Annual Research Report
  • [Presentation] Ancilla-driven blind quantum computation2012

    • Author(s)
      Takahiro Sueki, Takeshi Koshiba, and Tomoyuki Morimae
    • Organizer
      The 2nd Conference on Quantum Cryptography
    • Place of Presentation
      Singapore
    • Year and Date
      2012-09-10
    • Related Report
      2012 Annual Research Report
  • [Presentation] On the optimality of lattices for the Coppersmith technique2012

    • Author(s)
      Yasunori Aono, Manindra Agrawal, Takakazu Satoh, and Osamu Watanabe
    • Organizer
      The 17th Australasian Conference on Information Security and Privacy
    • Place of Presentation
      Wollongong, Australia
    • Year and Date
      2012-07-09
    • Related Report
      2012 Annual Research Report
  • [Presentation] Mechanical analysis of semantic orientations on lexical network2012

    • Author(s)
      Takuma Goto, Yoshiyuki Kabashima, and Hiroya Takamura
    • Organizer
      The 24th International Conference on Computational Linguistics
    • Place of Presentation
      Mumbai, India
    • Related Report
      2012 Annual Research Report
  • [Presentation] Approximating the minimum spanning tree weight distribution function in treewidth k graph using taylor polynomials

    • Author(s)
      Ei Ando
    • Organizer
      The 6th Annual Meeting of Asian Association for Algorithms and Computation
    • Place of Presentation
      松島,日本
    • Related Report
      2013 Annual Research Report
  • [Presentation] 解析的な関数の高次導関数値計算の困難さについて

    • Author(s)
      安藤映
    • Organizer
      2013年度夏のLAシンポジウム
    • Place of Presentation
      福岡,日本
    • Related Report
      2013 Annual Research Report
  • [Presentation] Composable security of blind computation

    • Author(s)
      Takeshi Koshiba
    • Organizer
      Quantum Science Symposium Asia 2013 (QSS-ASIA 2013)
    • Place of Presentation
      東京大学, 東京
    • Related Report
      2013 Annual Research Report
    • Invited
  • [Presentation] On unidirectional public discussion in secure message transmission

    • Author(s)
      Takeshi Koshiba, Shinya Sawada
    • Organizer
      The 1st International Conference on Energy, Environment and Human Engineering
    • Place of Presentation
      Kandawgyi Palace Hotel, Yangon, Myanmar
    • Related Report
      2013 Annual Research Report
  • [Presentation] Composable security of measuring-Alice blind quantum computation

    • Author(s)
      Tomoyuki Morimae, Takeshi Koshiba
    • Organizer
      The 7th International Conference on Information Theoretic Security
    • Place of Presentation
      Nangyang Technology University, Singapore
    • Related Report
      2013 Annual Research Report
  • [Presentation] CNF formula with relatively many sat. assingments

    • Author(s)
      Osamu Watanabe
    • Organizer
      Banff Workshop on Computational Complexity
    • Place of Presentation
      BIRS Banff, Canada
    • Related Report
      2013 Annual Research Report
  • [Presentation] 環境適応アルゴリズム

    • Author(s)
      渡辺治
    • Organizer
      CREST特定課題調査「ビッグデーター時代に向けた革新的アルゴリズム基盤」シンポジウム
    • Place of Presentation
      京都リサーチパーク,京都,日本
    • Related Report
      2013 Annual Research Report
    • Invited
  • [Presentation] Approximately counting paths and cycles in a graph

    • Author(s)
      Masaki Yamamoto
    • Organizer
      ELC Workshop on Inference, Computation, and Spin Glasses
    • Place of Presentation
      Sapporo, Japan
    • Related Report
      2013 Annual Research Report
  • [Presentation] Bethe approximation, loop series and partition function zeros

    • Author(s)
      森立平
    • Organizer
      電子情報通信学会コンピュテーション研究会
    • Place of Presentation
      奈良,日本
    • Related Report
      2013 Annual Research Report
  • [Presentation] Analysis of message passing algorithms for the 3XORSAT problem

    • Author(s)
      Takeshi Koshiba, Ryuhei Mori, Osamu Watanabe, Masaki Yamamoto
    • Organizer
      ELC Workshop on Inference, Computation, and Spin Glasses
    • Place of Presentation
      Sapporo, Japan
    • Related Report
      2013 Annual Research Report
  • [Presentation] New generalization of the Bethe approximation using graph covers

    • Author(s)
      Ryuhei Mori
    • Organizer
      ELC Workshop on Inference, Computation, and Spin Glasses
    • Place of Presentation
      Sapporo, Japan
    • Related Report
      2013 Annual Research Report
  • [Presentation] 通信路符号化定理とPolar符号

    • Author(s)
      森立平
    • Organizer
      電子情報通信学会 2014年総合大会,シンポジウムセッション DS-1
    • Place of Presentation
      新潟,日本
    • Related Report
      2013 Annual Research Report
    • Invited
  • [Book] 観測に基づく量子計算2017

    • Author(s)
      小柴 健史,藤井 啓祐,森前 智行
    • Total Pages
      196
    • Publisher
      コロナ社
    • Related Report
      2016 Annual Research Report
  • [Book] 量子暗号理論の展開(電子版)2017

    • Author(s)
      小芦 雅斗, 小柴 健史
    • Total Pages
      144
    • Publisher
      サイエンス社
    • Related Report
      2016 Annual Research Report
  • [Book] 確率的グラフィカルモデル2016

    • Author(s)
      鈴木 譲, 植野 真臣 編著,黒木 学,清水 昌平,湊 真一,石畠 正和,樺島 祥介,田中 和之,本村 陽一,玉田 嘉紀
    • Total Pages
      292
    • Publisher
      共立出版
    • Related Report
      2016 Annual Research Report
  • [Book] コンピュータサイエンス2015

    • Author(s)
      渡辺治
    • Total Pages
      182
    • Publisher
      丸善サイエンスパレット
    • Related Report
      2015 Annual Research Report
  • [Book] ELC International Meeting on Inference, Computation, and Spin Glasses (ICSG2013)2013

    • Author(s)
      Yoshiyuki Kabashima, Koji Hukushima, Jun-ichi Inoue, Toshiyuki Tanaka and Osamu Watanabe Eds
    • Publisher
      IOP Science, Journal of Physics: Conference Series
    • Related Report
      2013 Annual Research Report
  • [Book] Handbook of Natural Computing (Chap 45: Quantum Cryptography)2012

    • Author(s)
      Takeshi Koshiba
    • Total Pages
      22
    • Publisher
      Springer
    • Related Report
      2012 Annual Research Report

URL: 

Published: 2012-11-27   Modified: 2022-01-28  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi