玉置卓 Tamaki Suguru

研究者番号	40432413
その他のID
所属 (現在)	2025年度: 兵庫県立大学, 情報科学研究科, 教授 2025年度: 兵庫県立大学, 社会情報科学部, 教授
所属 (過去の研究課題情報に基づく) *注記	2019年度 – 2024年度: 兵庫県立大学, 社会情報科学部, 准教授 2022年度 – 2023年度: 兵庫県立大学, 情報科学研究科, 准教授 2022年度: 兵庫県立大学, 大学院情報科学研究科, 准教授 2021年度: 京都大学, 情報学研究科, 助教 2008年度 – 2018年度: 京都大学, 情報学研究科, 助教
審査区分/研究分野	研究代表者小区分60010:情報学基礎論関連 / 情報学基礎 / 情報学基礎理論研究代表者以外学術変革領域研究区分(Ⅳ) / 情報学基礎理論 / 情報学基礎 / 中区分60:情報科学、情報工学およびその関連分野 / 理工系
キーワード	研究代表者充足可能性問題 / 厳密アルゴリズム / 制約充足問題 / 計算困難 / 近似アルゴリズム / 量子計算 / 証明の複雑さ / グラフ理論 / 彩色問題 / 計算困難性 … もっと見る / アルゴリズム理論 / 計算量理論 / 計算限界 / アルゴリズム / 計算複雑性 / 指数時間アルゴリズム / グラフ / 論理回路 / アルゴリズム論 … もっと見る研究代表者以外アルゴリズム / 数理モデル化 / 情報の補填 / 計算困難問題 / 理論的性能保証 / 計算量理論 / 乱化アルゴリズム / 劣線形時間 / 性質検査 / アルゴリズム理論 / データ構造 / アルゴリズム論 / 研究推進 / 組織運営 / 革新的アルゴリズム基盤 / 量子計算の基礎 / SAT問題 / 質問計算量 / 回路計算量 / 最小回路サイズ問題 / 情報セキュリティ技術 / 情報セキュリティ / 学習可能性 / 平均時計算量 / Ｐ≠ＮＰ予想 / 機械学習 / PAC学習困難性 / 計算論的暗号 / 平均時計算困難性 / 多項式時間階層 / 最小記述量計算 / 一方向関数 / 学習計算困難さ / 平均時計算複雑度 / 最小記述量 / 計算論的暗号理論 / 計算論的学習理論 / 平均時時間計算量 / 最悪時時間計算量 / メタ計算 / P≠NP予想 / 最小記述量計算問題 / 計算複雑度理論 / ソーティング / 計算量の下限 / 平均計算量 / 平均解析 / 乱拓計算 / 乱化技術 / アルゴリズムの設計と解析 / 空間計算量 / ハノイの塔 / 競合比解析 / 乱択アルゴリズム / オンラインアルゴリズム / グラフアルゴリズム / 調和解析 / 定数時間 / 離散アルゴリズム / グラフ / 劣線形時間計算 / 定数時間検査 / 制約充足問題 / グラフ彩色 / 理論計算機科学 / 計算理論 / 准線形時間 / 分散アルゴリズム / 乱化計算 / アルゴリズム的ゲーム理論 / グラフ問題 / 確率アルゴリズム / ロバスト計算隠す

制約充足問題の新しい系統的な研究研究代表者
- 研究代表者
  
  玉置卓
- 研究期間 (年度)
  2022 – 2025
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分60010:情報学基礎論関連
- 研究機関
  兵庫県立大学
研究領域「革新的アルゴリズム基盤」の組織運営と研究推進
- 研究代表者
  
  湊真一
- 研究期間 (年度)
  2020 – 2024
- 研究種目
  
  学術変革領域研究(A)
- 審査区分
  
  学術変革領域研究区分(Ⅳ)
- 研究機関
  京都大学
アルゴリズム基礎理論の追究・発展
- 研究代表者
  
  牧野和久
- 研究期間 (年度)
  2020 – 2024
- 研究種目
  
  学術変革領域研究(A)
- 審査区分
  
  学術変革領域研究区分(Ⅳ)
- 研究機関
  京都大学
制約充足問題に対するアルゴリズムの深化と新展開研究代表者
- 研究代表者
  
  玉置卓
- 研究期間 (年度)
  2018 – 2022
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分60010:情報学基礎論関連
- 研究機関
  兵庫県立大学
   京都大学
最小記述量の計算困難さの解析
- 研究代表者
  
  渡辺治
- 研究期間 (年度)
  2018 – 2021
- 研究種目
  
  基盤研究(A)
- 審査区分
  
  中区分60:情報科学、情報工学およびその関連分野
- 研究機関
  東京工業大学
入力データが不完全なアルゴリズムで重要となる乱化技術の研究
- 研究代表者
  
  岩間一雄
- 研究期間 (年度)
  2016 – 2020
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  情報学基礎理論
- 研究機関
  京都大学
制約充足問題に対する効率の良い厳密および近似アルゴリズムの研究研究代表者
- 研究代表者
  
  玉置卓
- 研究期間 (年度)
  2014 – 2017
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報学基礎理論
- 研究機関
  京都大学
データの巨大化から生じる不完全情報への対処に主眼をおいた近似計算
- 研究代表者
  
  岩間一雄
- 研究期間 (年度)
  2013 – 2015
- 研究種目
  
  基盤研究(A)
- 研究分野
  
  情報学基礎理論
- 研究機関
  京都大学
情報理論・符号理論からの計算限界研究
- 研究代表者
  
  河原林健一
- 研究期間 (年度)
  2012 – 2016
- 研究種目
  
  新学術領域研究(研究領域提案型)
- 審査区分
  
  理工系
- 研究機関
  国立情報学研究所
計算困難問題に対する厳密指数時間アルゴリズムの研究研究代表者
- 研究代表者
  
  玉置卓
- 研究期間 (年度)
  2011 – 2013
- 研究種目
  
  若手研究(B)
- 研究分野
  
  情報学基礎
- 研究機関
  京都大学
空間的な情報補填を可能にするアルゴリズムの研究
- 研究代表者
  
  岩間一雄
- 研究期間 (年度)
  2010 – 2012
- 研究種目
  
  基盤研究(A)
- 研究分野
  
  情報学基礎
- 研究機関
  京都大学
計算困難な組合せ問題に対するアルゴリズムの設計と解析研究代表者
- 研究代表者
  
  玉置卓
- 研究期間 (年度)
  2008 – 2010
- 研究種目
  
  若手研究(B)
- 研究分野
  
  情報学基礎
- 研究機関
  京都大学
情報補填を可能にするアルゴリズムの設計と解析
- 研究代表者
  
  岩間一雄
- 研究期間 (年度)
  2007 – 2009
- 研究種目
  
  基盤研究(A)
- 研究分野
  
  情報学基礎
- 研究機関
  京都大学

[図書] 理論計算機科学事典2022
- 著者名/発表者名
  徳山豪, 小林直樹 (総編集), 玉置卓 (3.5節)
- 総ページ数
  800
- 出版者
  朝倉書店
- ISBN
  9784254122633
- データソース
  KAKENHI-PROJECT-18K11164
[図書] 離散数学のすすめ2010
- 著者名/発表者名
  伊藤大雄, 宇野裕之編著, (玉置卓,第16章)
- 総ページ数
  325
- 出版者
  現代数学社
- データソース
  KAKENHI-PROJECT-20700011
[雑誌論文] On Computing a?Center Persistence Diagram2023
- 著者名/発表者名
  Higashikawa Yuya、Katoh Naoki、Lin Guohui、Miyano Eiji、Tamaki Suguru、Teruyama Junichi、Zhu Binhai
- 雑誌名
  
  Proc of 24th International Symposium on Fundamentals of Computation Theory
  
  巻: LNCS 14292 ページ: 262-275
- DOI
  10.1007/978-3-031-43587-4_19
- ISBN
  9783031435867, 9783031435874
- 査読あり / オープンアクセス / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-21K11755, KAKENHI-PLANNED-20H05967, KAKENHI-PLANNED-20H05794
[雑誌論文] Additive-error fine-grained quantum supremacy2020
- 著者名/発表者名
  Morimae Tomoyuki、Tamaki Suguru
- 雑誌名
  
  Quantum
  
  巻: 4 ページ: 329-329
- DOI
  10.22331/q-2020-09-24-329
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-18K11164, KAKENHI-PROJECT-18H04090, KAKENHI-PLANNED-20H05967
[雑誌論文] Quantum Query Complexity of Unitary Operator Discrimination2019
- 著者名/発表者名
  KAWACHI Akinori、KAWANO Kenichi、LE GALL Francois、TAMAKI Suguru
- 雑誌名
  
  IEICE Transactions on Information and Systems
  
  巻: E102.D 号: 3 ページ: 483-491
- DOI
  10.1587/transinf.2018FCP0012
- NAID
  130007606941
- ISSN
  0916-8532, 1745-1361
- 年月日
  2019-03-01
- 言語
  英語
- 査読あり / オープンアクセス / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18K11164, KAKENHI-PROJECT-17K12640, KAKENHI-PROJECT-16H01705, KAKENHI-PROJECT-18H04090, KAKENHI-PROJECT-16H05853, KAKENHI-PROJECT-17H01695
[雑誌論文] Fine-grained quantum computational supremacy2019
- 著者名/発表者名
  Tomoyuki Morimae and Suguru Tamaki
- 雑誌名
  
  Quantum Information & Computation
  
  巻: 19(13&14) ページ: 1089-1115
- 査読あり
- データソース
  KAKENHI-PROJECT-18K11164
[雑誌論文] An Improved Fixed-Parameter Algorithm for Max-Cut Parameterized by Crossing Number2019
- 著者名/発表者名
  Kobayashi Yasuaki、Kobayashi Yusuke、Miyazaki Shuichi、Tamaki Suguru
- 雑誌名
  
  Proceedings of the 30th International Workshop on Combinatorial Algorithms (IWOCA 2019)
  
  巻: 30 ページ: 327-338
- DOI
  10.1007/978-3-030-25005-8_27
- ISBN
  9783030250041, 9783030250058
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-18H05291, KAKENHI-PROJECT-18H04090, KAKENHI-PROJECT-16K16010
[雑誌論文] Fine-grained quantum computational supremacy2019
- 著者名/発表者名
  Tomoyuki Morimae and Suguru Tamaki
- 雑誌名
  
  Quantum Information & Computation
  
  巻: 19
- 査読あり
- データソース
  KAKENHI-PROJECT-18H04090
[雑誌論文] Bounded depth circuits with weighted symmetric gates: Satisfiability, lower bounds and compression2019
- 著者名/発表者名
  Sakai Takayuki、Seto Kazuhisa、Tamaki Suguru、Teruyama Junichi
- 雑誌名
  
  Journal of Computer and System Sciences
  
  巻: 印刷中ページ: 87-103
- DOI
  10.1016/j.jcss.2019.04.004
- 査読あり
- データソース
  KAKENHI-PROJECT-18K11164, KAKENHI-PROJECT-18K11170, KAKENHI-PROJECT-18K18003, KAKENHI-PROJECT-18H04090
[雑誌論文] Gate elimination: Circuit size lower bounds and #SAT upper bounds2018
- 著者名/発表者名
  Golovnev Alexander、Kulikov Alexander S.、Smal Alexander V.、Tamaki Suguru
- 雑誌名
  
  Theoretical Computer Science
  
  巻: 719 ページ: 46-63
- DOI
  10.1016/j.tcs.2017.11.008
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-26330011, KAKENHI-PROJECT-18K11164, KAKENHI-PROJECT-18H04090
[雑誌論文] Approximation Guarantees for the Minimum Linear Arrangement Problem by Higher Eigenvalues2018
- 著者名/発表者名
  Tamaki Suguru、Yoshida Yuichi
- 雑誌名
  
  ACM Transactions on Algorithms
  
  巻: 14 号: 4 ページ: 1-13
- DOI
  10.1145/3228342
- 査読あり
- データソース
  KAKENHI-PROJECT-18K11164, KAKENHI-PROJECT-18H04090
[雑誌論文] Improved exact algorithms for mildly sparse instances of Max SAT2017
- 著者名/発表者名
  Sakai Takayuki、Seto Kazuhisa、Tamaki Suguru、Teruyama Junichi
- 雑誌名
  
  Theoretical Computer Science
  
  巻: 697 ページ: 58-68
- DOI
  10.1016/j.tcs.2017.07.011
- 査読あり
- データソース
  KAKENHI-PROJECT-26330011
[雑誌論文] Local restrictions from the Furst-Saxe-Sipser paper2017
- 著者名/発表者名
  S. Tamaki and O. Watanabe
- 雑誌名
  
  Theory of Computing Systems
  
  巻: 60(1) 号: 1 ページ: 20-32
- DOI
  10.1007/s00224-016-9730-0
- NAID
  120006582572
- 査読あり / 謝辞記載あり / オープンアクセス
- データソース
  KAKENHI-PLANNED-24106008, KAKENHI-PROJECT-26330011, KAKENHI-WRAPUP-17H06074
[雑誌論文] Parallel Repetition of Two-Prover One-Round Games: An Exposition2015
- 著者名/発表者名
  Suguru Tamaki
- 雑誌名
  
  Interdisciplinary Information Sciences
  
  巻: 21 号: 4 ページ: 289-306
- DOI
  10.4036/iis.2015.L.01
- NAID
  110009992967
- ISSN
  1340-9050, 1347-6157
- 言語
  英語
- 査読あり / 謝辞記載あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-26330011, KAKENHI-PLANNED-24106003
[雑誌論文] ネヴァンリンナ賞業績紹介コート2015
- 著者名/発表者名
  玉置卓
- 雑誌名
  
  数学セミナー
  
  巻: 54(1) ページ: 48-53
- データソース
  KAKENHI-PROJECT-26330011
[雑誌論文] Solving Sparse Instances of Max SAT via Width Reduction and Greedy Restriction2015
- 著者名/発表者名
  Takayuki Sakai, Kazuhisa Seto, Suguru Tamaki
- 雑誌名
  
  Theory Comput. Syst.
  
  巻: 57(2) 号: 2 ページ: 426-443
- DOI
  10.1007/s00224-014-9600-6
- 査読あり / 謝辞記載あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-26330011, KAKENHI-PROJECT-26730007, KAKENHI-PLANNED-24106003
[雑誌論文] A query efficient non-adaptive long code test with perfect completeness2015
- 著者名/発表者名
  Suguru Tamaki, Yuichi Yoshida
- 雑誌名
  
  Random Struct. Algorithms
  
  巻: 47(2) 号: 2 ページ: 386-406
- DOI
  10.1002/rsa.20549
- NAID
  120005676683
- 査読あり / 謝辞記載あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-26330011, KAKENHI-PLANNED-24106003
[雑誌論文] A Query Efficient Non-Adaptive Long Code Test with Perfect Completeness2014
- 著者名/発表者名
  Suguru Tamaki, Yuichi Yoshida
- 雑誌名
  
  Random Structures & Algorithms
  
  巻: 未定
- NAID
  120005676683
- 査読あり
- データソース
  KAKENHI-PROJECT-23700015
[雑誌論文] A satisfiability algorithm and average-case hardness for formulas over the full binary basis2013
- 著者名/発表者名
  Kazuhisa Seto, Suguru Tamaki
- 雑誌名
  
  Computational Complexity
  
  巻: 22(2) 号: 2 ページ: 245-274
- DOI
  10.1007/s00037-013-0067-7
- NAID
  120005474485
- 査読あり
- データソース
  KAKENHI-PROJECT-22240001, KAKENHI-PLANNED-24106003, KAKENHI-PROJECT-25240002
[雑誌論文] Derandomizing the HSSW Algorithm for 3-SAT2013
- 著者名/発表者名
  Kazuhisa Makino, Suguru Tamaki, Masaki Yamamoto
- 雑誌名
  
  Algorithmica
  
  巻: 67(2) ページ: 112-124
- 査読あり
- データソース
  KAKENHI-PROJECT-23700015
[雑誌論文] メタアルゴリズムと計算限界証明の不思議な関係2013
- 著者名/発表者名
  玉置卓
- 雑誌名
  
  電子情報通信学会誌
  
  巻: 96(9)
- データソース
  KAKENHI-PLANNED-24106003
[雑誌論文] A satisfiability algorithm and average-case hardness for formulas over the full binary basis2013
- 著者名/発表者名
  Kazuhisa Seto, Suguru Tamaki
- 雑誌名
  
  Computational Complexity
  
  巻: 22(2) ページ: 245-274
- NAID
  120005474485
- 査読あり
- データソース
  KAKENHI-PROJECT-23700015
[雑誌論文] Derandomizing HSSW Algorithm for 3-SAT2013
- 著者名/発表者名
  Kazuhisa Makino, Suguru Tamaki, Masaki Yamamoto
- 雑誌名
  
  Algorithmica
  
  巻: 未定号: 2 ページ: 112-124
- DOI
  10.1007/s00453-012-9741-4
- 査読あり
- データソース
  KAKENHI-PROJECT-22240001, KAKENHI-PROJECT-22500007, KAKENHI-PROJECT-23700015, KAKENHI-PLANNED-24106002, KAKENHI-PLANNED-24106003, KAKENHI-PROJECT-25240002
[雑誌論文] An exact algorithm for the Boolean connectivity problem for k-CNF2011
- 著者名/発表者名
  Kazuhisa Makino, Suguru Tamaki, Masaki Yamamoto
- 雑誌名
  
  Theor. Comput. Sci
  
  巻: 412(35) ページ: 4613-4618
- NAID
  120003338848
- 査読あり
- データソース
  KAKENHI-PROJECT-23700015
[雑誌論文] An exact algorithm for the Boolean connectivity problem for k-CNF2011
- 著者名/発表者名
  K.Makino, S.Tamaki, M.Yamamoto
- 雑誌名
  
  Theor.Comput.Sci.
  
  巻: 412(35) 号: 35 ページ: 4613-4618
- DOI
  10.1016/j.tcs.2011.04.041
- NAID
  120003338848
- 査読あり
- データソース
  KAKENHI-PROJECT-22240001, KAKENHI-PROJECT-23700015
[雑誌論文] The Complexity of the Hajos Calculus for Planar Graphs2010
- 著者名/発表者名
  K.Iwama, K.Seto, S.Tamaki
- 雑誌名
  
  Theoretical Computer Science 411(7-9)
  
  ページ: 1182-1191
- 査読あり
- データソース
  KAKENHI-PROJECT-20700011
[雑誌論文] On the Boolean connectivity problem for Horn relations.2010
- 著者名/発表者名
  Kazuhisa Makino, Suguru Tamaki, Masaki Yamamoto.
- 雑誌名
  
  Discrete Applied Mathematics 158(18)
  
  ページ: 2024-2030
- データソース
  KAKENHI-PROJECT-20700011
[雑誌論文] The complexity of the Hajos calculus for planar graphs.2010
- 著者名/発表者名
  Kazuo Iwama, Kazuhisa Seto, Suguru Tamaki.
- 雑誌名
  
  Theor.Comput.Sci. 411(7-9)
  
  ページ: 1182-1191
- データソース
  KAKENHI-PROJECT-20700011
[雑誌論文] On the Boolean connectivity problem for Horn relations2010
- 著者名/発表者名
  Kazuhisa Makino, Suguru Tamaki, Masaki Yamamoto
- 雑誌名
  
  Discrete Applied Mathematics
  
  巻: 158(18) ページ: 2024-2030
- 査読あり
- データソース
  KAKENHI-PROJECT-22240001
[雑誌論文] The Complexity of the Hajos Calculus for Planar Graphs2010
- 著者名/発表者名
  K.Iwama, K.Seto, S.Tamaki
- 雑誌名
  
  Theoretical Computer Science 411(7-9)
  
  ページ: 1182-1191
- 査読あり
- データソース
  KAKENHI-PROJECT-19200001
[雑誌論文] On the Boolean connectivity problem for Horn relations2010
- 著者名/発表者名
  Kazuhisa Makino, Suguru Tamaki, Masaki Yamamoto
- 雑誌名
  
  Discrete Applied Mathematics
  
  巻: 158(18) ページ: 2024-2030
- 査読あり
- データソース
  KAKENHI-PROJECT-20700011
[雑誌論文] The Planar Hajos Calculus for Bounded Degree Graphs2010
- 著者名/発表者名
  Kazuo Iwama, Kazuhisa Seto, Suguru Tamaki
- 雑誌名
  
  IEICE Transactions
  
  巻: 93-A(6) ページ: 1000-1007
- NAID
  10026864512
- 査読あり
- データソース
  KAKENHI-PROJECT-22240001
[雑誌論文] 確率的検査可能証明と近似不可能性2010
- 著者名/発表者名
  玉置卓
- 雑誌名
  
  電子情報通信学会知識ベース 6群2編7章2節
- データソース
  KAKENHI-PROJECT-19200001
[雑誌論文] The Planar Hajos Calculus for Bounded Degree Graphs2010
- 著者名/発表者名
  K.Iwama, K.Seto, S.Tamaki
- 雑誌名
  
  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E93-A(6)
- NAID
  10026864512
- 査読あり
- データソース
  KAKENHI-PROJECT-20700011
[雑誌論文] 確率的検査可能証明と近似不可能性2010
- 著者名/発表者名
  玉置卓
- 雑誌名
  
  電子情報通信学会知識ベース 6群2編7章2節
- データソース
  KAKENHI-PROJECT-20700011
[雑誌論文] The Planar Hajos Calculus for Bounded Degree Graphs.2010
- 著者名/発表者名
  Kazuo Iwama, Kazuhisa Seto, Suguru Tamaki.
- 雑誌名
  
  IEICE Transactions 93-A(6)
  
  ページ: 1000-1007
- NAID
  10026864512
- データソース
  KAKENHI-PROJECT-20700011
[雑誌論文] The Planar Hajos Calculus for Bounded Degree Graphs2010
- 著者名/発表者名
  Kazuo Iwama, Kazuhisa Seto, Suguru Tamaki
- 雑誌名
  
  IEICE Transactions
  
  巻: 93-A(6) ページ: 1000-1007
- NAID
  10026864512
- 査読あり
- データソース
  KAKENHI-PROJECT-20700011
[雑誌論文] The Planar Hajos Calculus for Bounded Degree Graphs2010
- 著者名/発表者名
  K.Iwama, K.Seto, S.Tamaki
- 雑誌名
  
  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E93-A(6)
- NAID
  10026864512
- 査読あり
- データソース
  KAKENHI-PROJECT-19200001
[雑誌論文] New Graph Calculi for Planar Non-3-Colorable Graphs.2008
- 著者名/発表者名
  Youichi Hanatani, Takashi Horiyama, Kazuo Iwama, Suguru Tamaki.
- 雑誌名
  
  IEICE Transactions 91-A(9)
  
  ページ: 2301-2307
- NAID
  10026851334
- データソース
  KAKENHI-PROJECT-20700011
[雑誌論文] New Graph Calculi for Planar Non-3-Colorable Graphs2008
- 著者名/発表者名
  Y. Hanatani, T. Horiyama, K. Iwama and S. Tamaki
- 雑誌名
  
  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E91-A(9)
  
  ページ: 2301-2307
- NAID
  10026851334
- 査読あり
- データソース
  KAKENHI-PROJECT-20700011
[雑誌論文] New Graph Calculi for Planar Non-3-Colorable Graphs2008
- 著者名/発表者名
  Y. Hanatani, T. Horyama, K. Iwama, S. Tamaki
- 雑誌名
  
  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E91-A(9)
  
  ページ: 2301-2307
- NAID
  10026851334
- 査読あり
- データソース
  KAKENHI-PROJECT-19200001
[雑誌論文] Exploiting partial knowledge of satisfying assignments2007
- 著者名/発表者名
  K. Iwama, S. Tamaki
- 雑誌名
  
  Discrete Applied Mathematics 155(12)
  
  ページ: 1596-1603
- NAID
  110003191894
- 査読あり
- データソース
  KAKENHI-PROJECT-19200001
[雑誌論文] A Query Efficient Non-Adaptive Long Code Test with Perfect Completeness
- 著者名/発表者名
  Suguru Tamaki, Yuichi Yoshida
- 雑誌名
  
  Random Structures & Algorithms
  
  巻: (to appear)
- NAID
  120005676683
- 査読あり
- データソース
  KAKENHI-PROJECT-23700015
[雑誌論文] An Exact Algorithm for the Boolean Connectivity Problem for k-CNF.Theor.
- 著者名/発表者名
  Kazuhisa Makino, Suguru Tamaki, Masaki Yamamoto.
- 雑誌名
  
  Comput.Sci. (to appear.)
- データソース
  KAKENHI-PROJECT-20700011
[学会発表] On Computing a Center Persistence Diagram2023
- 著者名/発表者名
  Yuya Higashikawa, Naoki Katoh, Guohui Lin, Eiji Miyano, Suguru Tamaki, Junichi Teruyama, Binhai Zhu
- 学会等名
  24th International Symposium on Fundamentals of Computation Theory
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-22K11909
[学会発表] 情報社会を支えるアルゴリズム2023
- 著者名/発表者名
  玉置卓
- 学会等名
  ひょうご講座【データサイエンス】ビッグデータ、AIとその周辺を読みとく第7回
- データソース
  KAKENHI-ORGANIZER-20H05961
[学会発表] 制約充足問題の研究: アルゴリズムと計算複雑性2021
- 著者名/発表者名
  玉置卓
- 学会等名
  第39回STクラブ
- データソース
  KAKENHI-PLANNED-20H05967
[学会発表] SATの解空間連結性判定問題の計算複雑性について2021
- 著者名/発表者名
  玉置卓
- 学会等名
  組合せ遷移第12回セミナー・勉強会
- 招待講演
- データソース
  KAKENHI-PROJECT-18K11164
[学会発表] 有限体上の多変数連立代数方程式系に対する総当り探索の打破2021
- 著者名/発表者名
  玉置卓
- 学会等名
  兵庫県立大学知の交流シンポジウム
- データソース
  KAKENHI-PLANNED-20H05967
[学会発表] SATの解空間連結性判定問題の計算複雑性について2021
- 著者名/発表者名
  玉置卓
- 学会等名
  組合せ遷移第12回セミナー・勉強会
- 招待講演
- データソース
  KAKENHI-PLANNED-20H05967
[学会発表] 制約充足問題の研究: アルゴリズムと計算複雑性2021
- 著者名/発表者名
  玉置卓
- 学会等名
  第39回STクラブ
- 招待講演
- データソース
  KAKENHI-PROJECT-18K11164
[学会発表] OV仮定, 3-SUM仮定, APSP仮定に基づく精微な量子超越性2020
- 著者名/発表者名
  早川龍, 森前智行, 玉置卓
- 学会等名
  第1回量子ソフトウェア研究発表会
- データソース
  KAKENHI-PROJECT-18K11164
[学会発表] 精微な量子超越性の階層性定理2020
- 著者名/発表者名
  早川龍, 森前智行, 玉置卓
- 学会等名
  日本物理学会 2020年秋季大会
- データソース
  KAKENHI-PROJECT-18K11164
[学会発表] 精微な量子計算超越性2019
- 著者名/発表者名
  森前智行, 玉置卓
- 学会等名
  精微な量子計算超越性電子情報通信学会コンピュテーション研究会, September (岡山大学, 岡山市)
- データソース
  KAKENHI-PROJECT-18K11164
[学会発表] Beating brute force for systems of polynomial equations over finite fields2019
- 著者名/発表者名
  Suguru Tamaki
- 学会等名
  MPI-INF and MPI-MiS joint workshop on Theoretical Computer Science and Algebraic Geometry
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H04090
[学会発表] Beating Brute Force for Systems of Polynomial Equations over Finite Fields2019
- 著者名/発表者名
  Suguru Tamaki
- 学会等名
  MPI-INF and MPI-MiS joint workshop on Theoretical Computer Science and Algebraic Geometry
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18K11164
[学会発表] Stabilizer rank: Sparse representation for classical simulation of quantum circuits2019
- 著者名/発表者名
  Suguru Tamaki
- 学会等名
  代数幾何学的計算理論とその周辺ミニワークショップ, August (東京大学, 東京都目黒区)
- データソース
  KAKENHI-PROJECT-18K11164
[学会発表] An Improved Fixed-Parameter Algorithm for Max-Cut Parameterized by Crossing Number2019
- 著者名/発表者名
  Yasuaki Kobayashi, Yusuke Kobayashi, Shuichi Miyazaki and Suguru Tamaki
- 学会等名
  The 30th International Workshop on Combinatorial Algorithms (IWOCA)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18K11164
[学会発表] 精微な計算複雑性と暗号理論2018
- 著者名/発表者名
  玉置卓
- 学会等名
  第10回暗号及び情報セキュリティと数学の相関ワークショップ (CRISMATH 2018)
- 招待講演
- データソース
  KAKENHI-PROJECT-18K11164
[学会発表] Fine-Grained Complexity and Cryptography: A Personal Survey2018
- 著者名/発表者名
  玉置卓
- 学会等名
  代数的手法による数理暗号解析に関する研究集会
- 招待講演
- データソース
  KAKENHI-PROJECT-26330011
[学会発表] Beating Brute Force for Systems of Polynomial Equations over Finite Fields2017
- 著者名/発表者名
  Daniel Lokshtanov, Ramamohan Paturi, Suguru Tamaki, Ryan Williams and Huacheng Yu
- 学会等名
  SODA 2017
- 発表場所
  Barcelona, Spain
- 年月日
  2017-01-16
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-26330011
[学会発表] Beating Brute Force for Systems of Polynomial Equations over Finite Fields2017
- 著者名/発表者名
  Suguru Tamaki
- 学会等名
  ERATO感謝祭 Season IV
- 招待講演
- データソース
  KAKENHI-PROJECT-26330011
[学会発表] 有限体上の多変数連立代数方程式系に対する総当り探索の打破2017
- 著者名/発表者名
  玉置卓
- 学会等名
  電子情報通信学会コンピュテーション研究会
- 発表場所
  南山大学, 名古屋市
- 年月日
  2017-03-07
- 招待講演
- データソース
  KAKENHI-PROJECT-26330011
[学会発表] Quantum Query Complexity of Unitary Operator Discrimination2017
- 著者名/発表者名
  Akinori Kawachi, Kenichi Kawano, Francois Le Gall, Suguru Tamaki
- 学会等名
  COCOON 2017
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-26330011
[学会発表] Recent Developments on Circuit Satisfiability Algorithms2016
- 著者名/発表者名
  Suguru Tamaki
- 学会等名
  Computational Complexity Conference (CCC) Satellite Tokyo Workshop
- 発表場所
  Tokyo
- 招待講演 / 国際共著/国際学会である
- データソース
  KAKENHI-PLANNED-24106003
[学会発表] Bounded Depth Circuits with Weighted Symmetric Gates: Satisfiability, Lower Bounds and Compression2016
- 著者名/発表者名
  Takayuki Sakai, Kazuhisa Seto, Suguru Tamaki and Junichi Teruyama
- 学会等名
  MFCS 2016
- 発表場所
  Krakow, Poland
- 年月日
  2016-08-22
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-26330011
[学会発表] Recent Developments on Circuit Satisfiability Algorithms2016
- 著者名/発表者名
  Suguru Tamaki
- 学会等名
  Computational Complexity Conference (CCC) Satellite Tokyo Workshop
- 発表場所
  学士会館, 東京都千代田区
- 年月日
  2016-05-28
- 招待講演
- データソース
  KAKENHI-PROJECT-26330011
[学会発表] Recent Developments on Circuit Satisfiability Algorithms2016
- 著者名/発表者名
  Suguru Tamaki
- 学会等名
  Fine-Grained Complexity and Algorithm Design Reunion
- 発表場所
  UC Berkeley, USA
- 年月日
  2016-12-12
- 招待講演
- データソース
  KAKENHI-PROJECT-26330011
[学会発表] Circuit size lower bounds and #SAT upper bounds through a general framework2016
- 著者名/発表者名
  Alexander Golovnev, Alexander S. Kulikov, Alexander V. Smal and Suguru Tamaki
- 学会等名
  MFCS 2016
- 発表場所
  Krakow, Poland
- 年月日
  2016-08-22
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-26330011
[学会発表] Satisfiability Algorithms for Small Depth Circuits with Symmetric Gates2015
- 著者名/発表者名
  Suguru Tamaki
- 学会等名
  Workshop on Connections Between Algorithm Design and Complexity Theory
- 発表場所
  Simons Institute, UC Berkeley, USA
- 年月日
  2015-11-02
- 招待講演 / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-26330011
[学会発表] Faster satisfiability algorithms for systems of polynomial equations over finite fields and AC0[p]2015
- 著者名/発表者名
  Suguru Tamaki
- 学会等名
  Workshop on Satisfiability Lower Bounds and Tight Results for Parameterized and Exponential-Time Algorithms
- 発表場所
  Berkeley (USA)
- 年月日
  2015-11-03
- 招待講演 / 国際共著/国際学会である
- データソース
  KAKENHI-PLANNED-24106003
[学会発表] Improved Exact Algorithms for Mildly Sparse Instances of Max SAT2015
- 著者名/発表者名
  Takayuki Sakai, Kazuhisa Seto, Suguru Tamaki, Junichi Teruyama
- 学会等名
  IPEC 2015
- 発表場所
  Patras, Greece
- 年月日
  2015-09-16
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-26330011
[学会発表] Faster Satisfiability Algorithms for Systems of Polynomial Equations over Finite Fields and ACC0[p]2015
- 著者名/発表者名
  Suguru Tamaki
- 学会等名
  Workshop on Satisfiability Lower Bounds and Tight Results for Parameterized and Exponential-Time
- 発表場所
  Simons Institute, UC Berkeley, USA
- 年月日
  2015-09-28
- 招待講演 / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-26330011
[学会発表] Improved Exact Algorithms for Mildly Sparse Instances of Max SAT2015
- 著者名/発表者名
  Takayuki Sakai, Kazuhisa Seto, Suguru Tamaki, Junichi Teruyama
- 学会等名
  IPEC 2015
- 発表場所
  Patras, Greece
- 年月日
  2015-09-16
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-25240002
[学会発表] Solving Sparse Instances of Max SAT via Width Reduction and Greedy Restriction2014
- 著者名/発表者名
  Takayuki Sakai, Kazuhisa Seto and Suguru Tamaki
- 学会等名
  Proceedings of the 17th International Conference on Theory and Applications of Satisfiability Testing (SAT)
- 発表場所
  (to appear)
- データソース
  KAKENHI-PROJECT-23700015
[学会発表] The complexity of robust satisfiability of the constraint satisfaction problem2014
- 著者名/発表者名
  Suguru Tamaki
- 学会等名
  Dagstuhl Seminar 14201
- 発表場所
  Saarland, Germany
- 招待講演
- データソース
  KAKENHI-PROJECT-23700015
[学会発表] Solving Sparse Instances of Max SAT via Width Reduction and Greedy Restriction2014
- 著者名/発表者名
  Takayuki Sakai, Kazuhisa Seto, Suguru Tamaki
- 学会等名
  The 17th International Conference on Theory and Applications of Satisfiability Testing
- 発表場所
  Vienna, Austria
- データソース
  KAKENHI-PROJECT-23700015
[学会発表] Solving Sparse Instances of Max SAT via Width Reduction and Greedy Restriction2014
- 著者名/発表者名
  Takayuki Sakai, Kazuhisa Seto, Suguru Tamaki
- 学会等名
  The 7th AAAC Annual Meeting
- 発表場所
  Hangzhou, China
- データソース
  KAKENHI-PROJECT-23700015
[学会発表] The complexity of robust satisfiability of the constraint satisfaction problem2013
- 著者名/発表者名
  Suguru Tamaki
- 学会等名
  The 6th AAAC Annual Meeting
- 発表場所
  Matsushima, Japan
- データソース
  KAKENHI-PROJECT-23700015
[学会発表] A satisfiability algorithm and average-case hardness for formulas over the full binary basis2013
- 著者名/発表者名
  Suguru Tamaki
- 学会等名
  Dagstuhl Seminar 13331
- 発表場所
  Saarland, Germany
- 招待講演
- データソース
  KAKENHI-PROJECT-23700015
[学会発表] A Satisfiability Algorithm and Average-Case Hardness for Formulas over the Full Binary Basis2012
- 著者名/発表者名
  K.Seto, S.Tamaki
- 学会等名
  CCC 2012
- 発表場所
  Porto, Portugal(発表確定)
- データソース
  KAKENHI-PROJECT-22240001
[学会発表] A Satisfiability Algorithm and Average-Case Hardness for Formulas over the Full Binary Basis2012
- 著者名/発表者名
  K. Seto, S. Tamaki
- 学会等名
  CCC 2012 (発表確定)
- 発表場所
  Porto, Portugal
- データソース
  KAKENHI-PROJECT-23700015
[学会発表] Approximation Guarantees for the Minimum Linear Arrangement Problem by Higher Eigenvalues2012
- 著者名/発表者名
  Suguru Tamaki and Yuichi Yoshida
- 学会等名
  APPROX 2012
- 発表場所
  Cambridge, MA, USA
- データソース
  KAKENHI-PLANNED-24106003
[学会発表] A Satisfiability Algorithm and Average-Case Hardness for Formulas over the Full Binary Basis2012
- 著者名/発表者名
  Kazuhisa Seto, Suguru Tamaki
- 学会等名
  Proceedings of the 27th IEEE Conference on Computational Complexity (CCC)
- 発表場所
  (pages 107-116)
- データソース
  KAKENHI-PROJECT-23700015
[学会発表] Linear programming programming, width-1 CSPs, and robust satisfaction.2012
- 著者名/発表者名
  Gabor Kun, Ryan O'Donnell, Suguru Tamaki, Yuichi Yoshida, Yuan Zhou
- 学会等名
  ITCS
- 発表場所
  Cambridge, USA
- 年月日
  2012-01-09
- データソース
  KAKENHI-PROJECT-22240001
[学会発表] Linear programming, width-1 CSPs, and robust satisfaction2012
- 著者名/発表者名
  G.Kun, R.O'Donnell, S.Tamaki, Y.Yoshida, Y.Zhou
- 学会等名
  ITCS 2012
- 発表場所
  Cambridge, MA, USA
- 年月日
  2012-01-10
- データソース
  KAKENHI-PROJECT-22240001
[学会発表] A Satisfiability Algorithm for Formulas over the Full Binary Basis2012
- 著者名/発表者名
  K. Seto, S. Tamaki
- 学会等名
  RIMS研究集会「アルゴリズムと計算理論の新展開」(冬のLAシンポジウム)
- 発表場所
  Kyoto, Japan
- データソース
  KAKENHI-PROJECT-23700015
[学会発表] Approximation Guarantees for the Minimum Linear Arrangement Problem by Higher Eigenvalues2012
- 著者名/発表者名
  Suguru Tamaki, Yuichi Yoshida
- 学会等名
  Proceedings of the 15th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems (APPROX)
- 発表場所
  (pages 313-324)
- データソース
  KAKENHI-PROJECT-23700015
[学会発表] Linear programming, width-1 CSPs, and robust satisfaction2012
- 著者名/発表者名
  G. Kun, R. O'Donnell, S. Tamaki, Y. Yoshida, Y. Zhou
- 学会等名
  ITCS 2012
- 発表場所
  Cambridge, MA, USA
- データソース
  KAKENHI-PROJECT-23700015
[学会発表] Linear programming, width-1 CSPs, and robust satisfaction2012
- 著者名/発表者名
  Gabor Kun, Ryan O'Donnell, Suguru Tamaki, Yuichi Yoshida, Yuan Zhou
- 学会等名
  Proceedings of the 3rd Innovations in Theoretical Computer Science Conference (ITCS)
- 発表場所
  (pages 484-495)
- データソース
  KAKENHI-PROJECT-23700015
[学会発表] 指数時間厳密アルゴリズム2011
- 著者名/発表者名
  玉置卓
- 学会等名
  学術情報メディアセンターセミナー「アルゴリズムと計算量理論」(招待講演)
- 発表場所
  Kyoto, Japan
- データソース
  KAKENHI-PROJECT-23700015
[学会発表] Derandomizing HSSW Algorithm for 3-SAT2011
- 著者名/発表者名
  K. Makino, S. Tamaki, M. Yamamoto
- 学会等名
  ISAAC 2011
- 発表場所
  Yokohama, Japan
- データソース
  KAKENHI-PROJECT-23700015
[学会発表] Derandomizing HSSW Algorithm for 3-SAT2011
- 著者名/発表者名
  K.Makino, S.Tamaki, M.Yamamoto
- 学会等名
  COCOON 2011
- 発表場所
  Dallas, Texas, USA
- 年月日
  2011-08-14
- データソース
  KAKENHI-PROJECT-22240001
[学会発表] Derandomizing HSSW Algorithm for 3-SAT2011
- 著者名/発表者名
  Kazuhisa Makino, Suguru Tamaki, Masaki Yamamoto
- 学会等名
  Proceedings of the 17th Annual International Computing and Combinatorics Conference (COCOON)
- 発表場所
  (pages 1-12)
- データソース
  KAKENHI-PROJECT-23700015
[学会発表] Linear programming, width-1 CSPs, and robust satisfaction2011
- 著者名/発表者名
  G. Kun, R. O'Donnell, S. Tamaki, Y. Yoshida, Y. Zhou
- 学会等名
  2011年夏のLAシンポジウム
- 発表場所
  Shizuoka, Japan
- データソース
  KAKENHI-PROJECT-23700015
[学会発表] An Exact Algorithm for the Boolean Connectivity Problem for k-CNF2010
- 著者名/発表者名
  K.Makino, S.Tamaki, M.Yamamoto
- 学会等名
  13th International Conference on Theory and Applications of Satisfiability Testing
- 発表場所
  Edinburgh, Scotland
- 年月日
  2010-07-11
- データソース
  KAKENHI-PROJECT-20700011
[学会発表] An Exact Algorithm for the Boolean Connectivity Problem for k-CNF.2010
- 著者名/発表者名
  Kazuhisa Makino, Suguru Tamaki, Masaki Yamamoto.
- 学会等名
  The 13th International Conference on Theory and Applications of Satisfiability Testing (SAT)
- 発表場所
  Edinburgh, Scotland, UK.
- 年月日
  2010-07-11
- データソース
  KAKENHI-PROJECT-20700011
[学会発表] 3SATに対する乱択アルゴリズムの改良2010
- 著者名/発表者名
  玉置卓
- 学会等名
  ERATO湊離散構造処理系+NEO合同研究会
- 発表場所
  北海道大学,札幌市(招待講演)
- データソース
  KAKENHI-PROJECT-20700011
[学会発表] Improved Randomized Algorithms for 3-SAT.2010
- 著者名/発表者名
  Kazuo Iwama, Kazuhisa Seto, Tadashi Takai, Suguru Tamaki.
- 学会等名
  The 21st International Symposium on Algorithms and Computation (ISAAC)
- 発表場所
  Jeju Island, Korea.
- 年月日
  2010-12-15
- データソース
  KAKENHI-PROJECT-20700011
[学会発表] Enumerating Non-3-colorable Planar Graphs by the Hajos Calculus2010
- 著者名/発表者名
  K.Iwama, K.Seto, S.Tamaki
- 学会等名
  電子情報通信学会総合大会 DS-1-4
- 発表場所
  東北大学,仙台市
- 年月日
  2010-03-18
- データソース
  KAKENHI-PROJECT-20700011
[学会発表] Enumerating Non-3-colorable Planar Graphs by the Hajos Calculus2010
- 著者名/発表者名
  K.Iwama, K.Seto, S.Tamaki
- 学会等名
  The 3rd AAAC Annual Meeting
- 発表場所
  Pohang, Korea
- 年月日
  2010-04-17
- データソース
  KAKENHI-PROJECT-20700011
[学会発表] An Exact Algorithm for the Boolean Connectivity Problem for k-CNF2010
- 著者名/発表者名
  Kazuhisa Makino, Suguru Tamaki, Masaki Yamamoto
- 学会等名
  SAT 2010
- 発表場所
  Edinburgh, Scotland, UK
- 年月日
  2010-07-11
- データソース
  KAKENHI-PROJECT-20700011
[学会発表] 3-SAT∈RTIME(0(1.3211^n))2010
- 著者名/発表者名
  K.Iwama, T.Takai, S.Tamaki
- 学会等名
  RIMS研究集会「アルゴリズムと計算機科学の数理的基盤とその応用」
- 発表場所
  京都大学,京都市
- 年月日
  2010-02-03
- データソース
  KAKENHI-PROJECT-20700011
[学会発表] A Query Efficient Non-adaptive Long Code Test with Perfect Completeness2010
- 著者名/発表者名
  Suguru Tamaki, Yuichi Yoshida
- 学会等名
  APPROX-RANDOM 2010
- 発表場所
  UPC Barcelona, Spain
- 年月日
  2010-09-09
- データソース
  KAKENHI-PROJECT-20700011
[学会発表] A Query Efficient Non-adaptive Long Code Test with Perfect Completeness.2010
- 著者名/発表者名
  Suguru Tamaki, Yuichi Yoshida.
- 学会等名
  The 14th International Workshop on Randomized Techniques in Computation (APPROX-RANDOM)
- 発表場所
  UPC Barcelona, Spain.
- 年月日
  2010-09-09
- データソース
  KAKENHI-PROJECT-20700011
[学会発表] An Exact Algorithm for the Boolean Connectivity Problem for k-CNF2010
- 著者名/発表者名
  Kazuhisa Makino, Suguru Tamaki, Masaki Yamamoto
- 学会等名
  SAT 2010
- 発表場所
  Edinburgh, Scotland, UK
- 年月日
  2010-07-11
- データソース
  KAKENHI-PROJECT-22240001
[学会発表] Improved Randomized Algorithms for 3-SAT2010
- 著者名/発表者名
  K.Iwama, T.Takai, S.Tamaki
- 学会等名
  The 3rd AAAC Annual Meeting
- 発表場所
  Pohang, Korea
- 年月日
  2010-04-19
- データソース
  KAKENHI-PROJECT-20700011
[学会発表] Improved Randomized Algorithms for 3-SAT2010
- 著者名/発表者名
  Kazuo Iwama, Kazuhisa Seto, Tadashi Takai, Suguru Tamaki
- 学会等名
  ISAAC 2010
- 発表場所
  Jeju Island, Korea
- 年月日
  2010-12-15
- データソース
  KAKENHI-PROJECT-20700011
[学会発表] Derandomizing HSSW Algorithm for 3-SAT.2010
- 著者名/発表者名
  Kazuhisa Makino, Suguru Tamaki, Masaki Yamamoto.
- 学会等名
  The 17th Annual International Computing and Combinatorics Conference (COCOON)
- 発表場所
  Dallas, Texas, USA.
- データソース
  KAKENHI-PROJECT-20700011
[学会発表] Improved Randomized Algorithms for 3-SAT2010
- 著者名/発表者名
  Kazuo Iwama, Kazuhisa Seto, Tadashi Takai, Suguru Tamaki
- 学会等名
  ISAAC 2010
- 発表場所
  Jeju Island, Korea
- 年月日
  2010-12-15
- データソース
  KAKENHI-PROJECT-22240001
[学会発表] A Query Efficient Non-adaptive Long Code Test with Perfect Completeness2010
- 著者名/発表者名
  Suguru Tamaki, Yuichi Yoshida
- 学会等名
  APPROX-RANDOM 2010
- 発表場所
  UPC Barcelona, Spain
- 年月日
  2010-09-09
- データソース
  KAKENHI-PROJECT-22240001
[学会発表] An Exact Algorithm for the Boolean Connectivity Problem for k-CNF.2010
- 著者名/発表者名
  K. Makino, S. Tamaki, M. Yamamoto
- 学会等名
  13th International Conference on Theory and Applications of Satisfiability Testing
- 発表場所
  Edinburgh, Scotland
- 年月日
  2010-07-11
- データソース
  KAKENHI-PROJECT-19200001
[学会発表] Hajos Calculusの計算複雑さ2009
- 著者名/発表者名
  玉置卓
- 学会等名
  ワークショップ「離散アルゴリズムの最先端」
- 発表場所
  東京工業大学
- 年月日
  2009-02-23
- データソース
  KAKENHI-PROJECT-20700011
[学会発表] Enumerating Non-3-colorable Planar Graphs by the Hajos Calculus2009
- 著者名/発表者名
  K.Iwama, K.Seto, S.Tamaki
- 学会等名
  12th Korea-Japan Joint Workshop on Algorithms and Computation
- 発表場所
  Seoul, Korea
- 年月日
  2009-07-04
- データソース
  KAKENHI-PROJECT-20700011
[学会発表] The Planar Hajos Calculus for Bounded Degree Graphs2009
- 著者名/発表者名
  K.Iwama, K.Seto, S.Tamaki
- 学会等名
  The 2nd AAAC Annual Meeting
- 発表場所
  Hangzhou, China
- 年月日
  2009-04-11
- データソース
  KAKENHI-PROJECT-20700011
[学会発表] Enumerating Non-3-colorable Planar Graphs by the Hajo's Calculus2009
- 著者名/発表者名
  K.Iwama, K.Seto, S.Tamaki
- 学会等名
  12th Korea-Japan Joint Workshop on Algorithms and Computation(WAAC 2009)
- 発表場所
  Seoul, Korea
- 年月日
  2009-07-04
- データソース
  KAKENHI-PROJECT-19200001
[学会発表] Enumerating Non-3-colorable Planar Graphs by the Hajos Calculus.2009
- 著者名/発表者名
  Kazuo Iwama, Kazuhisa Seto, Suguru Tamaki.
- 学会等名
  12th Korea-Japan Joint Workshop on Algorithms and Computation (WAAC)
- 発表場所
  Seoul, Korea.
- 年月日
  2009-07-04
- データソース
  KAKENHI-PROJECT-20700011
[学会発表] The Planar Hajos Calculus for Bounded Degree Graphs2009
- 著者名/発表者名
  K.Iwama, K.Seto, S.Tamaki
- 学会等名
  2nd Asian Association for Algorithms and Computation(AAAC 2009)
- 発表場所
  Hangzhou, China
- 年月日
  2009-04-11
- データソース
  KAKENHI-PROJECT-19200001
[学会発表] An Improvement of the Soundness of a 3-Bit PCP2009
- 著者名/発表者名
  N. Kinoshita, S. Tamaki and K. Iwama
- 学会等名
  RIMS研究集会「理論計算機科学の深化と応用」
- 発表場所
  京都大学
- 年月日
  2009-02-03
- データソース
  KAKENHI-PROJECT-20700011
[学会発表] The Planar Hajos Calculus for Bounded Degree Graphs2009
- 著者名/発表者名
  K. Iwama, K. Seto and S. Tamaki
- 学会等名
  The Second AAAC Annual Meeting
- 発表場所
  Hangzhou, China
- 年月日
  2009-04-11
- データソース
  KAKENHI-PROJECT-20700011
[学会発表] The Complexity of the Hajos Calculus for Planar Graphs2008
- 著者名/発表者名
  K. Iwama, S. Tamaki
- 学会等名
  1st Asian Association for Algorithms and Computation
- 発表場所
  Hong Kong
- 年月日
  2008-04-27
- データソース
  KAKENHI-PROJECT-19200001
[学会発表] The Complexity of the Hajos Calculus for Planar Graphs2008
- 著者名/発表者名
  K. Iwama and S. Tamaki
- 学会等名
  The First AAAC Annual Meeting
- 発表場所
  Hong Kong
- 年月日
  2008-04-28
- データソース
  KAKENHI-PROJECT-20700011
[学会発表] A Satisfiability Algorithm and Average-Case Hardness for Formulas over the Full Binary Basis
- 著者名/発表者名
  Kazuhisa Seto, Suguru Tamaki
- 学会等名
  IEEE Conference on Computational Complexity 2012
- 発表場所
  Porto, Portugal
- データソース
  KAKENHI-PROJECT-23700015
[学会発表] Robust Approximation of Temporal CSP
- 著者名/発表者名
  S. Tamaki and Y. Yoshida
- 学会等名
  The 17th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems
- 発表場所
  Barcelona, Spain
- 年月日
  2014-09-04 – 2014-09-06
- データソース
  KAKENHI-PROJECT-26330011
[学会発表] Approximation Guarantees for the Minimum Linear Arrangement Problem by Higher Eigenvalues
- 著者名/発表者名
  Suguru Tamaki, Yuichi Yoshida
- 学会等名
  APPROX-RANDOM 2012
- 発表場所
  Boston, USA
- データソース
  KAKENHI-PROJECT-23700015
[学会発表] 最大充足可能性問題の疎な例題に対する厳密アルゴリズムの改良
- 著者名/発表者名
  酒井隆行, 玉置卓
- 学会等名
  情報処理学会第77回全国大会
- 発表場所
  京都大学, 京都市
- 年月日
  2015-03-17 – 2015-03-19
- データソース
  KAKENHI-PROJECT-26330011
[学会発表] Solving Sparse Instances of Max SAT via Width Reduction and Greedy Restriction
- 著者名/発表者名
  Takayuki Sakai, Kazuhisa Seto, Suguru Tamaki
- 学会等名
  SAT 2014
- 発表場所
  Vienna, Austria
- 年月日
  2014-07-14 – 2014-07-17
- データソース
  KAKENHI-PROJECT-25240002
[学会発表] The complexity of robust satisfiability of the constraint satisfaction problem
- 著者名/発表者名
  S. Tamaki
- 学会等名
  Dagstuhl Seminar 14201
- 発表場所
  Schloss Dagstuhl, Germany
- 年月日
  2014-05-11 – 2014-05-16
- 招待講演
- データソース
  KAKENHI-PROJECT-26330011
[学会発表] Approximation Guarantees for the Minimum Linear Arrangement Problem by Higher Eigenvalues
- 著者名/発表者名
  Suguru Tamaki, Yuichi Yoshida
- 学会等名
  APPROX-RANDOM 2012
- 発表場所
  Boston, USA
- データソース
  KAKENHI-PROJECT-22240001
[学会発表] A Satisfiability Algorithm and Average-Case Hardness for Formulas over the Full Binary Basis
- 著者名/発表者名
  Kazuhisa Seto, Suguru Tamaki
- 学会等名
  IEEE Conference on Computational Complexity 2012
- 発表場所
  Porto, Portugal
- データソース
  KAKENHI-PROJECT-22240001
[学会発表] The complexity of robust satisfiability of the constraint satisfaction problem
- 著者名/発表者名
  Suguru Tamaki
- 学会等名
  AAAC 2013
- 発表場所
  Matsushima, Japan
- データソース
  KAKENHI-PROJECT-23700015
[学会発表] Solving Sparse Instances of Max SAT via Width Reduction and Greedy Restriction
- 著者名/発表者名
  T. Sakai, K. Seto and S. Tamaki
- 学会等名
  The 17th International Conference on Theory and Applications of Satisfiability Testing
- 発表場所
  Vienna, Austria
- 年月日
  2014-07-14 – 2014-07-17
- データソース
  KAKENHI-PROJECT-26330011
[学会発表] Robust Approximation of Temporal CSP
- 著者名/発表者名
  Suguru Tamaki, Yuichi Yoshida
- 学会等名
  APPROX-RANDOM 2014
- 発表場所
  Barcelona, Spain
- 年月日
  2014-09-04 – 2014-09-06
- データソース
  KAKENHI-PROJECT-25240002
[学会発表] Solving Sparse Instances of Max SAT via Width Reduction and Greedy Restriction
- 著者名/発表者名
  T. Sakai, K. Seto and S. Tamaki
- 学会等名
  The 7th AAAC Annual Meeting
- 発表場所
  Hangzhou, China
- 年月日
  2014-05-17 – 2014-05-19
- データソース
  KAKENHI-PROJECT-26330011

1. 伊藤大雄 (50283487)

共同の研究課題数: 5件

共同の研究成果数: 0件
2. 岩間一雄 (50131272)

共同の研究課題数: 4件

共同の研究成果数: 9件
3. 宮崎修一 (00303884)

共同の研究課題数: 4件

共同の研究成果数: 0件
4. 渡辺治 (80158617)

共同の研究課題数: 4件

共同の研究成果数: 1件
5. 堀山貴史 (60314530)

共同の研究課題数: 4件

共同の研究成果数: 0件
6. 徳山豪 (40312631)

共同の研究課題数: 3件

共同の研究成果数: 0件
7. 山下雅史 (00135419)

共同の研究課題数: 3件

共同の研究成果数: 0件
8. 加藤直樹 (40145826)

共同の研究課題数: 2件

共同の研究成果数: 0件
9. 杉原厚吉 (40144117)

共同の研究課題数: 2件

共同の研究成果数: 0件
10. エイビスデイビッド (90584110)

共同の研究課題数: 2件

共同の研究成果数: 0件
11. 川原純 (20572473)

共同の研究課題数: 2件

共同の研究成果数: 0件
12. 河原林健一 (40361159)

共同の研究課題数: 2件

共同の研究成果数: 0件
13. 脊戸和寿 (20584056)

共同の研究課題数: 2件

共同の研究成果数: 2件
14. 吉田悠一 (50636967)

共同の研究課題数: 2件

共同の研究成果数: 2件
15. 牧野和久 (60294162)

共同の研究課題数: 2件

共同の研究成果数: 0件
16. 瀧本英二 (50236395)

共同の研究課題数: 2件

共同の研究成果数: 0件
17. 森住大樹 (50463782)

共同の研究課題数: 1件

共同の研究成果数: 0件
18. 岡本和也 (60565018)

共同の研究課題数: 1件

共同の研究成果数: 0件
19. 上野賢哉 (70586081)

共同の研究課題数: 1件

共同の研究成果数: 0件
20. 伊東利哉 (20184674)

共同の研究課題数: 1件

共同の研究成果数: 0件
21. 天野一幸 (30282031)

共同の研究課題数: 1件

共同の研究成果数: 0件
22. 森立平 (60732857)

共同の研究課題数: 1件

共同の研究成果数: 1件
23. 平原秀一 (80848440)

共同の研究課題数: 1件

共同の研究成果数: 0件
24. 清水伸高 (10910127)

共同の研究課題数: 1件

共同の研究成果数: 0件
25. 湊真一 (10374612)

共同の研究課題数: 1件

共同の研究成果数: 0件
26. 宇野毅明 (00302977)

共同の研究課題数: 1件

共同の研究成果数: 0件
27. 安田宜仁 (50396149)

共同の研究課題数: 1件

共同の研究成果数: 0件
28. 山下茂 (30362833)

共同の研究課題数: 1件

共同の研究成果数: 0件
29. 上原隆平 (00256471)

共同の研究課題数: 1件

共同の研究成果数: 0件
30. 小野廣隆 (00346826)

共同の研究課題数: 1件

共同の研究成果数: 0件
31. 定兼邦彦 (20323090)

共同の研究課題数: 1件

共同の研究成果数: 0件
32. 渋谷哲朗 (60396893)

共同の研究課題数: 1件

共同の研究成果数: 0件
33. 河村彰星 (20600117)

共同の研究課題数: 1件

共同の研究成果数: 0件
34. 小林佑輔

共同の研究課題数: 0件

共同の研究成果数: 1件
35. 宮野英次

共同の研究課題数: 0件

共同の研究成果数: 1件

玉置 卓 Tamaki Suguru

研究課題

研究成果

共同研究者

制約充足問題の新しい系統的な研究研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

制約充足問題に対するアルゴリズムの深化と新展開研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

制約充足問題に対する効率の良い厳密および近似アルゴリズムの研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

計算困難問題に対する厳密指数時間アルゴリズムの研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

計算困難な組合せ問題に対するアルゴリズムの設計と解析研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[図書] 理論計算機科学事典2022

著者名/発表者名

総ページ数

出版者

ISBN

データソース

玉置卓 Tamaki Suguru