BTIME
#計算複雑性理論
#計算複雑性クラス
#乱択計算
BTIMEは双方向に確率的なアルゴリズム
定義
$ T : \N \to \Nについて $ L \in \mathbf{BTIME}(T)とはPTM$ \mathcal{M}が存在して
$ x \in L \iff \Pr[\mathcal{M}(x) = 1] \ge \frac{2}{3}
を満たす計算複雑性クラスである
関連
RTIME