Circuit Lower Bounds for Merlin-Arthur Classes - Rahul Santhanam

Complexity Zoo: 計算クラスの定義まとめ

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

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

Trading Group Theory for Randomness - Laszlo Babai


nilpotent group: べき零群

matrix group: 行列群(線形代数群)

finite simple group: 有限単純群

Theory of Computation - Thomas Zeugmann

Part 1: Formal Languages

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