MAX-2SAT問題の平均時間計算量の解析
スポンサーリンク
概要
- 論文の詳細を見る
- 2006-05-17
著者
-
渡辺 治
東京工業大学大学院情報理工学研究科数理・計算科学専攻
-
渡辺 治
東京工業大学情報理工学研究科数理・計算科学専攻
-
山本 真基
東海大理
-
山本 真基
東京工業大学情報理工学研究科
-
山本 真基
東京工業大学情報理工学研究科数理・計算科学専攻
-
渡辺 治
東工大情報理工
-
渡辺 治
東工大
-
渡辺 治
東京工業大学
-
渡辺 治
東京工業大学工学部情報工学科
関連論文
- 5.理論研究の役割(情報処理技術の未来地図,50周年記念特集号)
- 20aEA-10 疎なランダム行列の第1固有値に関するcavity解析(20aEA 情報統計力学,領域11(統計力学,物性基礎論,応用数学,力学,流体物理))
- キャンパス共通認証認可システムの構築と運用(セキュアでサステイナブルなインターネットアーキテクチャ論文)
- 東京工業大学におけるキャンパス共通認証認可システムを用いた安全なソフトウェア配布機構の設計と実装(インターネットアーキテクチャ技術-モバイル、セキュリティ,インターネット、アプリケーション及び一般)
- ハッシュ関数の認証プロトコルへの応用
- On NK-Community Problem (Theoretical Computer Science and its Applications)
- 3充足可能性判定問題3SATの正例題生成手法の解析(並列処理)
- 3充足可能性判定問題3SATの正例題生成手法について
- 方位選択性問題への理論計算機科学からのアプローチ (離散的アルゴリズムと計算量)
- 百行プログラミングの試み : 情報通信技術の科学的理解のために(科学的リテラシー)