** Circuit Lower Bounds for Merlin-Arthur Classes - Rahul Santhanam[#c26795e9]

[[Complexity Zoo:http://qwiki.stanford.edu/wiki/Complexity_Zoo]]: 計算クラスの定義まとめ

Domain: 連結開集合(切れ目がなく,縁を含まない)

Integral domain: 整域(ab = 0 のとき a = 0 か b = 0 に決まっているような集合)

** Trading Group Theory for Randomness - Laszlo Babai [#c0ef2f12]

*** Abstract [#gb94ff09]

[[nilpotent group:http://ja.wikipedia.org/wiki/%E7%BE%A4%E8%AB%96]]: べき零群

[[matrix group:http://ja.wikipedia.org/wiki/%E6%AD%A3%E5%89%87%E8%A1%8C%E5%88%97]]: 行列群(線形代数群)

[[finite simple group:http://d.hatena.ne.jp/keyword/%CD%AD%B8%C2%C3%B1%BD%E3%B7%B2]]: 有限単純群

** Theory of Computation - Thomas Zeugmann [#x642e472]

*** Part 1: Formal Languages [#y98e3622]

Front page   New List of pages Search Recent changes   Help   RSS of recent changes