垂井淳 Tarui Jun

研究者番号	00260539
その他のID
所属 (現在)	2025年度: 電気通信大学, 大学院情報理工学研究科, 准教授
所属 (過去の研究課題情報に基づく) *注記	2016年度: 電気通信大学, 大学院情報理工学研究科, 准教授 2012年度 – 2016年度: 電気通信大学, 情報理工学(系)研究科, 准教授 2010年度 – 2012年度: 電気通信大学, 大学院・情報理工学研究科, 准教授 2007年度 – 2009年度: 電気通信大学, 電気通信学部, 准教授 2004年度 – 2007年度: 電気通信大学, 電気通信学部, 講師 1997年度 – 1998年度: 電気通信大学, 電気通信学部, 講師 1994年度 – 1995年度: 電気通信大学, 電気通信学部, 講師
審査区分/研究分野	研究代表者情報学基礎 / 計算機科学 / 情報学基礎理論研究代表者以外計算機科学 / 理工系 / 情報学基礎 / 理工系
キーワード	研究代表者計算量理論 / 領域計算量 / 回路計算量 / ブール関数 / 計算量 / ブール関数と多項式 / 多項式表現 / 通信計算量 / 深さ優先探索 / Exponential Time予想 … もっと見る / ランダムCNF / 命題論理式に対する証明系 / 証明の長さ / ストリーム計算 / 証明の複雑さ / 計算の複雑さ / pigeonhole principle / finding duplicate / negation-limited inverter / scrambling permutations / ランダムネス / アルゴリズム / 乱拓計算 / ランダマイズドアルゴリズム / sensitivity / 到達可能性判定 / rearrangeability / ハイパーキューブ / permanent / permutation family / PAC learning / DNF / マージング / 否定数限定 / ACC / 比較器回路 / マージ … もっと見る研究代表者以外アルゴリズム / 分枝限定法 / 最大クリーク / RNA secondary structure prediction / Boltzmann machine / approximate coloring / branch-and-bound / maximum weight clique / maximum clique / algorithm / combinatorial optimization / RNA 2次構造予測 / 確立アルゴリズム / 深さ優先探索 / ポルツマンマシン / RNA2次構造予測 / ボルツマンマシン / 近似彩色 / 最大重みクリーク / 組合せ最適化 / 下界 / 省メモリ / 問題の下界 / 格子グラフ / 最短経路問題 / 作業領域 / グラフアルゴリズム / 計算幾何学 / 計算量 / 分散処理 / DNAコンピューティング / ハイパーグラフ / 計算論的学習理論 / NP困難問題 / 計算機実験 / データマイニング / 多項式時間的可解性 / 時間計算量 / NP完全問題 / 並列処理 / 極大クリーク / Groverのアルゴリズム / 量子回路 / NMR量子計算 / パーマネント / 乗算 / 置換 / 量子論理回路の深さ最小化 / 量子ゲート / 量子ビット / 量子論理回路 / 量子コンピュータ / 量子計算隠す

ブール関数の多項式表現を用いた回路計算量の解析研究代表者
- 研究代表者
  
  垂井淳
- 研究期間 (年度)
  2013 – 2015
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報学基礎理論
- 研究機関
  電気通信大学
記憶領域制限シナリオにおける計算限界の解明
- 研究代表者
  
  浅野哲夫
- 研究期間 (年度)
  2012 – 2016
- 研究種目
  
  新学術領域研究(研究領域提案型)
- 審査区分
  
  理工系
- 研究機関
  北陸先端科学技術大学院大学
命題論理の証明の複雑さに関する計算量理論からの解析研究代表者
- 研究代表者
  
  垂井淳
- 研究期間 (年度)
  2010 – 2012
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報学基礎
- 研究機関
  電気通信大学
最大クリーク抽出アルゴリズムの効率化・拡張と計算量評価および応用
- 研究代表者
  
  富田悦次
- 研究期間 (年度)
  2007 – 2009
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報学基礎
- 研究機関
  電気通信大学
定量的計算資源としてのランダムネス:効率的利用法の開発と限界の解明研究代表者
- 研究代表者
  
  垂井淳
- 研究期間 (年度)
  2006 – 2008
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報学基礎
- 研究機関
  電気通信大学
量子論理回路の最適化に関する研究
- 研究代表者
  
  西野哲朗
- 研究期間 (年度)
  2004 – 2007
- 研究種目
  
  特定領域研究
- 審査区分
  
  理工系
- 研究機関
  電気通信大学
計算量の理論-下界の証明・計算量の正確な決定・最適アルゴリズムの一意性の問題研究代表者
- 研究代表者
  
  垂井淳
- 研究期間 (年度)
  1997 – 1998
- 研究種目
  
  奨励研究(A)
- 研究分野
  
  計算機科学
- 研究機関
  電気通信大学
組合せ論的計算量の理論-特に下界の証明と最適アルゴリズムの-意性の問題研究代表者
- 研究代表者
  
  垂井淳
- 研究期間 (年度)
  1994 – 1995
- 研究種目
  
  奨励研究(A)
- 研究分野
  
  計算機科学
- 研究機関
  電気通信大学
組合せ最適化問題の高効率アルゴリズムの開発と評価
- 研究代表者
  
  富田悦次
- 研究期間 (年度)
  1994 – 1995
- 研究種目
  
  一般研究(C)
- 研究分野
  
  計算機科学
- 研究機関
  電気通信大学

すべて 2014 2012 2011 2010 2009 2008 2007 2006 2004 その他

すべて雑誌論文学会発表

[雑誌論文] Depth-First Search Using O(n) Bits2014
- 著者名/発表者名
  Tetsuo Asano, Taisuke Izumi, Masashi Kiyomi, Matsuo Konagaya, Hirotaka Ono, Yota Otachi, Pascal Schweitzer, Jun Tarui, Ryuhei Uehara
- 雑誌名
  
  Algorithms and Computation Lecture Notes in Computer Science
  
  巻: 8889 ページ: 553-564
- DOI
  10.1007/978-3-319-13075-0_44
- ISBN
  9783319130743, 9783319130750
- 査読あり
- データソース
  KAKENHI-PUBLICLY-25104521, KAKENHI-PUBLICLY-25106507, KAKENHI-PROJECT-25330010
[雑誌論文] A Well-Mixed Function with Circuit Complexity 5n: Tightness of the Lachish-Raz-type Bounds.2011
- 著者名/発表者名
  K. Amano and J. Tarui
- 雑誌名
  
  Theoretical Computer Science
  
  巻: vol.412 号: 18 ページ: 1646-1651
- DOI
  10.1016/j.tcs.2010.12.040
- 査読あり
- データソース
  KAKENHI-PROJECT-22500012
[雑誌論文] Learning Boolean Functions in AC0 on Attribute and Classification Noise.2011
- 著者名/発表者名
  A. Miyata, J. Tarui, and E. Tomita
- 雑誌名
  
  Theoretical Computer Science
  
  巻: vol412 号: 35 ページ: 4650-4660
- DOI
  10.1016/j.tcs.2011.04.047
- 査読あり
- データソース
  KAKENHI-PROJECT-22500012
[雑誌論文] A Well-Mixed Function with Circuit Complexity 5n : Tightnessof the Lachish-Raz-type Bounds2011
- 著者名/発表者名
  K.Amano, J.Tarui
- 雑誌名
  
  Theoretical Computer Science
  
  巻: 412 ページ: 1646-1651
- 査読あり
- データソース
  KAKENHI-PROJECT-22500012
[雑誌論文] Smallest Formulas for Parity of 2^k Variables Are Essentially Unique2010
- 著者名/発表者名
  Jun Tarui
- 雑誌名
  
  Theoretical Computer Science
  
  巻: 411 ページ: 2623-2627
- 査読あり
- データソース
  KAKENHI-PROJECT-22500012
[雑誌論文] Smallest Formulas for Parity of 2^k Variables Are Essentially Unique.2010
- 著者名/発表者名
  Jun Tarui
- 雑誌名
  
  Theoretical Computer Science
  
  巻: vol.411 号: 26-28 ページ: 2623-2627
- DOI
  10.1016/j.tcs.2010.03.022
- 査読あり
- データソース
  KAKENHI-PROJECT-22500012
[雑誌論文] Negation-Limited Complexity of Parity and Inverters2009
- 著者名/発表者名
  K. Iwama, H. Morizutni, J. Tarui
- 雑誌名
  
  Algorithmica 54
  
  ページ: 256-267
- 査読あり
- データソース
  KAKENHI-PROJECT-18500006
[雑誌論文] Negation-limited complexity of parity and inverters2009
- 著者名/発表者名
  K. Iwama, H. Morizumi, J. Tarui
- 雑誌名
  
  Algorithmica 54
  
  ページ: 256-267
- 査読あり
- データソース
  KAKENHI-PROJECT-19500010
[雑誌論文] Linear size log depth negation limited inverter for k-tonic binary sequences2009
- 著者名/発表者名
  H. Morizumi and J. Tarui
- 雑誌名
  
  Theoretical Computer Science 410(11)
- 査読あり
- データソース
  KAKENHI-PROJECT-18500006
[雑誌論文] Reductions for Monotone Boolean Circuits2009
- 著者名/発表者名
  K. Iwama, H. Morizumi, J. Tarui
- 雑誌名
  
  Theoretical Computer Science 408
  
  ページ: 208-212
- 査読あり
- データソース
  KAKENHI-PROJECT-18500006
[雑誌論文] Linear-size log-depth negation-limited inverter for k-tonic binary sequences2009
- 著者名/発表者名
  H. Morizumi, J. Tarui
- 雑誌名
  
  Theoretical Computer Science 410
  
  ページ: 1054-1060
- 査読あり
- データソース
  KAKENHI-PROJECT-19500010
[雑誌論文] Linear-Size Log-Depth Negation-Limited Inverter for k-tonic Binary Sequences2009
- 著者名/発表者名
  H. Morizumi, J. Tarui
- 雑誌名
  
  Theoretical Computer Science 410
  
  ページ: 1054-1060
- 査読あり
- データソース
  KAKENHI-PROJECT-18500006
[雑誌論文] Negation Limited Complexity of Parity and Inverters2009
- 著者名/発表者名
  K. Iwama, H. Morizumi, and J. Tarui
- 雑誌名
  
  Algorithmica 54(2)
  
  ページ: 256-267
- 査読あり
- データソース
  KAKENHI-PROJECT-18500006
[雑誌論文] Reductions for Monotone Boolean Circuits2008
- 著者名/発表者名
  K. Iwama, H. Morizumi, and J. Tarui
- 雑誌名
  
  Theoretical Computer Science 408(2-3)
  
  ページ: 208-212
- 査読あり
- データソース
  KAKENHI-PROJECT-18500006
[雑誌論文] On the minimum number of completely 3-scrambling permutations2008
- 著者名/発表者名
  J. Tarui
- 雑誌名
  
  Discrete Mathematics 308
  
  ページ: 1350-1354
- 査読あり
- データソース
  KAKENHI-PROJECT-19500010
[雑誌論文] Negation-Limited Complexity of Parity and Inverters2008
- 著者名/発表者名
  K. Iwama, H. Morizumi, and J. Tarui
- 雑誌名
  
  Algorithmica To appear
- 査読あり
- データソース
  KAKENHI-PROJECT-18500006
[雑誌論文] On the Minimum Number of Completely 3-Scrambling Permutations2008
- 著者名/発表者名
  J. Tarui
- 雑誌名
  
  Discrete Mathematics 308
  
  ページ: 1350-1354
- 査読あり
- データソース
  KAKENHI-PROJECT-18500006
[雑誌論文] Reductions for monotone Boolean circuits2008
- 著者名/発表者名
  K. Iwama, H. Morizumi, J. Tarui
- 雑誌名
  
  Theoretical Computer Science 408
  
  ページ: 208-211
- 査読あり
- データソース
  KAKENHI-PROJECT-19500010
[雑誌論文] On the Minimum Number of Completely 3-scrambling Permutations2008
- 著者名/発表者名
  J. Tarui
- 雑誌名
  
  Discrete Mathematics 308(8)
  
  ページ: 1350-1354
- 査読あり
- データソース
  KAKENHI-PROJECT-18500006
[雑誌論文] Finding a Duplicate and a Missing Item in a Stream2007
- 著者名/発表者名
  J.Tarui
- 雑誌名
  
  Lecture Notes in Computer Science (TAMC07) 4484
  
  ページ: 128-135
- データソース
  KAKENHI-PROJECT-18500006
[雑誌論文] On the Minimum Number of Completely 3-Scrambling Permutations2007
- 著者名/発表者名
  J.Tarui
- 雑誌名
  
  Discrete Mathematics (To appear)
- データソース
  KAKENHI-PROJECT-18500006
[雑誌論文] Finding a Duplicate and a Missing Item in a Stream2007
- 著者名/発表者名
  Jun Tarui
- 雑誌名
  
  Proc. of TAMC07 : The 4th Annual Conference on Theory and Applications of Models of Computation (to appear)
- データソース
  KAKENHI-PROJECT-16092208
[雑誌論文] Linear-Size Log-Depth Negation-Limited Inverter for k-tonic Binary Sequences2007
- 著者名/発表者名
  H.Morizumi, J.Tarui
- 雑誌名
  
  Lecture Notes in Computer Science (TAMC07) 4484(To appear)
- データソース
  KAKENHI-PROJECT-18500006
[雑誌論文] Negation-Limited Complexity of Parity and Invertes2007
- 著者名/発表者名
  K.Iwama, H.Morizumi, J.Tarui
- 雑誌名
  
  Algorithmica(published online Dec 2007, DOI:10.1007/s00453-007-9135-1)
- 査読あり
- データソース
  KAKENHI-PROJECT-16092208
[雑誌論文] On the Minimum Number of Completely 3-Scrambling Permutations2007
- 著者名/発表者名
  J.Tarui
- 雑誌名
  
  Discrete Mathematics(published online Nov2007, DOi:10.1016/j.disc.2007.07.069)
- 査読あり
- データソース
  KAKENHI-PROJECT-16092208
[雑誌論文] Negation-Limited Complexity of Parity and Inverters2006
- 著者名/発表者名
  K.Iwama, H.Morizumi, J.Tarui
- 雑誌名
  
  Lecture Notes in Computer Science (ISAAC06) 4288
  
  ページ: 223-232
- データソース
  KAKENHI-PROJECT-18500006
[雑誌論文] Constructing Families of epsilon-Approximate k-Wise Independent Permutations2004
- 著者名/発表者名
  T.Itoh, Y.Takei, J.Tarui
- 雑誌名
  
  IEICE Transactions on Fundamentals vol.E87-Ak, no.5
  
  ページ: 993-1103
- データソース
  KAKENHI-PROJECT-16092208
[雑誌論文] A well-mixed function with circuit complexity 5n: Tightness of the Lachish-Raz-type bounds
- 著者名/発表者名
  K. Amano, J. Tarui
- 雑誌名
  
  Theoretical Computer Science (採録決定)
- 査読あり
- データソース
  KAKENHI-PROJECT-19500010
[雑誌論文] Smallest formulas for the parity of 2k variables are essentially unique
- 著者名/発表者名
  J. Tarui
- 雑誌名
  
  Theoretical Computer Science (採録決定)
- 査読あり
- データソース
  KAKENHI-PROJECT-19500010
[学会発表] Complexity of Finding a Duplicate in a Stream2012
- 著者名/発表者名
  Jun Tarui
- 学会等名
  NII Shonan Meeting: Large-scale Distributed Computation
- 発表場所
  湘南国際村センター
- データソース
  KAKENHI-PROJECT-22500012
[学会発表] 計算の複雑さと証明の複雑さ2012
- 著者名/発表者名
  垂井淳
- 学会等名
  京大数理研研究集会「証明論と複雑性」, 京大数理研講究録
- 発表場所
  京都大学数理解析研究所
- 年月日
  2012-09-12
- 招待講演
- データソース
  KAKENHI-PLANNED-24106004
[学会発表] Complexity of Finding a Duplicate in a Stream2012
- 著者名/発表者名
  J.Tarui
- 学会等名
  Large-scale Distributed Computation (NII Shonan Meeting Jan 12-15, 2012)
- 発表場所
  湘南国際村センター(招待講演)
- 年月日
  2012-01-13
- データソース
  KAKENHI-PROJECT-22500012
[学会発表] 計算の複雑さと証明の複雑さ2012
- 著者名/発表者名
  垂井淳
- 学会等名
  研究集会「証明論と複雑性」
- 発表場所
  京大数理研究所
- データソース
  KAKENHI-PROJECT-22500012
[学会発表] 計算の複雑さと証明の複雑さ2012
- 著者名/発表者名
  垂井淳
- 学会等名
  研究集会「証明論と複雑性」
- 発表場所
  京大数理解析研究所
- 招待講演
- データソース
  KAKENHI-PROJECT-22500012
[学会発表] DeolalikarのP≠NP論文をめぐって2010
- 著者名/発表者名
  垂井淳
- 学会等名
  電子情報学会・コンピュテーション研究会
- 発表場所
  東北大学青葉山キャンパス
- 年月日
  2010-10-15
- データソース
  KAKENHI-PROJECT-22500012
[学会発表] DeolaIikarのP≠NP論文をめぐって2010
- 著者名/発表者名
  垂井淳
- 学会等名
  電気情報通信学会・コンピュテーション研究会
- 発表場所
  東北大学青葉山キャンパス(招待講演
- 年月日
  2010-10-15
- データソース
  KAKENHI-PROJECT-22500012
[学会発表] Smallest Formulas for Parity of 2^k Variables Are Essentially Unique2008
- 著者名/発表者名
  J. Tarui
- 学会等名
  The 14th Annual International Computing and Combinatorics Conference(COCOON08)
- 発表場所
  Dalian, China
- データソース
  KAKENHI-PROJECT-18500006
[学会発表] Smallest Formulas for Parity of 2k2008
- 著者名/発表者名
  J. Tarui
- 学会等名
  Proc. of COCOON08
- 発表場所
  (LNCS vol 5092)(92-99)
- 年月日
  2008-06-29
- データソース
  KAKENHI-PROJECT-18500006
[学会発表] A Well-Mixed Function with Circuit Complexity 5n: Tightness of the Lachisch-Raz-Type Bounds.2008
- 著者名/発表者名
  K. Amano and J. Tarui
- 学会等名
  The 5th Conference on Theory and Applications of Models of Computation(TAMCO8), LNCS.
- 発表場所
  Xi'an China
- データソース
  KAKENHI-PROJECT-18500006
[学会発表] A Well-Mixed Function with Circuit Complexity 5n±o(n)2008
- 著者名/発表者名
  K. Amano and J. Tarui
- 学会等名
  Tightness of the Lachish Raz Type Bounds. Proc. of TAMC08
- 発表場所
  LNCS vol 4978, 342-350
- 年月日
  2008-04-27
- データソース
  KAKENHI-PROJECT-18500006
[学会発表] A Well-Mixed Function with Circuit Complexity 5n : Tightness of the Lachisch-Raz-Type Bounds.2008
- 著者名/発表者名
  K. Amano, J. Tarui
- 学会等名
  The 5^<th> Conference on Theory and Applications of Models of Computation (TAMC08). LNCS vol. 4978, 342-350, 2008.
- 発表場所
  Xi'an China
- 年月日
  2008-04-27
- データソース
  KAKENHI-PROJECT-18500006
[学会発表] Smallest Formulas for Parity of 2^k Variables Are Essentially Unique2008
- 著者名/発表者名
  J. Tarui
- 学会等名
  rhe 14^<th> Annual International Computing and Combinatorics Conference (COCOON08). LNCS vol. 5092, 92-99, 2008.
- 発表場所
  Dalian, China
- 年月日
  2008-06-29
- データソース
  KAKENHI-PROJECT-18500006
[学会発表] Linear-Size Log-Depth Negation-Limited Inverter for k-Tonic Binary Sequences2007
- 著者名/発表者名
  H. Morizumi and J. Tarui
- 学会等名
  The 4th Conference on Theory and Applicatoins of Models of Computation(TAMC07), LNCS vol. 4484, pp. 605-615, 2007.
- 発表場所
  Shanghai, China
- データソース
  KAKENHI-PROJECT-18500006
[学会発表] Finding a Duplicate and a Missing Item in a Stream2007
- 著者名/発表者名
  J. Tarui
- 学会等名
  Proc. of TAMC07
- 発表場所
  (LNCS vol 4484)(128-135)
- 年月日
  2007-05-22
- データソース
  KAKENHI-PROJECT-18500006
[学会発表] Linear Size Log Depth Negation Limited Inverter for k Tonic Binary Sequences2007
- 著者名/発表者名
  H. Morizumi and J. Tarui
- 学会等名
  Proc. of TAMC07
- 発表場所
  (LNCS vol 4484)(605-615)
- 年月日
  2007-05-25
- データソース
  KAKENHI-PROJECT-18500006
[学会発表] Finding a Duplicate and a Missing Item in a Stream2007
- 著者名/発表者名
  J. Tarui
- 学会等名
  The 4th Conference on Theory and Applications of Models of Computation(TAMCO7), LNCS vol.4484, pp. 128-135, 2007.
- 発表場所
  Shanghai, China
- データソース
  KAKENHI-PROJECT-18500006
[学会発表] Negation Limited Complexity of Parity and Inverters2006
- 著者名/発表者名
  K. Iwama, H. Morizumi, and J. Tarui
- 学会等名
  Proc. of ISAAC06
- 発表場所
  (LNCS vol 4288)(223-232)
- データソース
  KAKENHI-PROJECT-18500006
[学会発表] Depth-First Search Using O(n) Bits
- 著者名/発表者名
  Tetsuo Asano, Taisuke Izumi, Masashi Kiyomi, Matsuo Konagaya, Yota Otachi, Hirotaka Ono, Pascal Schweitzer, Jun Tarui and Ryuhei Uehara
- 学会等名
  ISAAC2014
- 発表場所
  Jeonju, Korea
- 年月日
  2014-12-15 – 2014-12-17
- データソース
  KAKENHI-PLANNED-24106004

1. 西野哲朗 (10198484)

共同の研究課題数: 2件

共同の研究成果数: 0件
2. 富田悦次 (40016598)

共同の研究課題数: 2件

共同の研究成果数: 0件
3. 高橋治久 (90135418)

共同の研究課題数: 2件

共同の研究成果数: 0件
4. 若月光夫 (30251705)

共同の研究課題数: 2件

共同の研究成果数: 0件
5. 浅野哲夫 (90113133)

共同の研究課題数: 1件

共同の研究成果数: 1件
6. 太田和夫 (80333491)

共同の研究課題数: 1件

共同の研究成果数: 0件
7. 國廣昇 (60345436)

共同の研究課題数: 1件

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

共同の研究課題数: 1件

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

共同の研究課題数: 1件

共同の研究成果数: 2件
10. 清見礼 (30447685)

共同の研究課題数: 1件

共同の研究成果数: 1件
11. 大舘陽太 (80610196)

共同の研究課題数: 1件

共同の研究成果数: 1件
12. Guenter Rote

共同の研究課題数: 1件

共同の研究成果数: 0件
13. Wolfgang Mulzer

共同の研究課題数: 1件

共同の研究成果数: 0件
14. Ovidiu Daescu

共同の研究課題数: 1件

共同の研究成果数: 0件

垂井 淳 Tarui Jun

研究課題

研究成果

共同研究者

ブール関数の多項式表現を用いた回路計算量の解析研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

記憶領域制限シナリオにおける計算限界の解明

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

命題論理の証明の複雑さに関する計算量理論からの解析研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

最大クリーク抽出アルゴリズムの効率化・拡張と計算量評価および応用

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

定量的計算資源としてのランダムネス:効率的利用法の開発と限界の解明研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

量子論理回路の最適化に関する研究

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

計算量の理論-下界の証明・計算量の正確な決定・最適アルゴリズムの一意性の問題研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

組合せ論的計算量の理論-特に下界の証明と最適アルゴリズムの-意性の問題研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

組合せ最適化問題の高効率アルゴリズムの開発と評価

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[雑誌論文] Depth-First Search Using O(n) Bits2014

著者名/発表者名

雑誌名

DOI

ISBN

データソース

[雑誌論文] A Well-Mixed Function with Circuit Complexity 5n: Tightness of the Lachish-Raz-type Bounds.2011

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Learning Boolean Functions in AC0 on Attribute and Classification Noise.2011

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] A Well-Mixed Function with Circuit Complexity 5n : Tightnessof the Lachish-Raz-type Bounds2011

著者名/発表者名

雑誌名

データソース

[雑誌論文] Smallest Formulas for Parity of 2^k Variables Are Essentially Unique2010

著者名/発表者名

垂井淳 Tarui Jun