計算の複雑さと証明の複雑さ : 基調講演 (証明論と複雑性)
スポンサーリンク
概要
- 論文の詳細を見る
- 2013-04-00
著者
関連論文
- [チュートリアル講演]最小値独立置換族に関する最近の成果
- 最小値独立置換族に関する最近の成果
- 有限幾何を用いた線形サイズ4-制限最小値独立置換族の構成
- k-制限最小値独立置換族,その他k-wise独立性のサンプルサイズ下界
- 置換族とその独立性の解析
- 集中討論:DeolalikarのP≠NP論文をめぐって
- 否定数限定論理回路におけるマージングの複雑さ
- Negation-Limited Complexity of Parity and Inverters(Theory of Computer Science and Its Applications)
- Learning DNF by Approximating Inclusion-Exclusion Formulae (Models of Computation and Algorithms)
- 和集合のサイズの近似評価を用いたDNF式の学習について
- あるノイズモデルにおけるブール関数学習について
- フェイステル変換を用いた近似的k-対ランダム置換族の構成
- kトニックな0/1列に対する線形サイズ対数深さの否定数限定インバータ
- ブール関数のsensitivity, block sensitivity, certificate complexity について
- 到達可能性判定問題の計算量について
- 到達可能性判定問題の計算量について(縮約版) (アルゴリズムと計算の理論)
- 計算の複雑さと証明の複雑さ : 基調講演 (証明論と複雑性)