Inter-universal geometry と ABC予想 (応援スレ) 71 (595レス)
前次1-
抽出解除 レス栞

308
(1): 05/05(日)14:29 ID:WLbxyLlj(2/5) AAS
つづき

//ja.wikipedia.org/wiki/R_(%E8%A8%88%E7%AE%97%E8%A4%87%E9%9B%91%E6%80%A7%E7%90%86%E8%AB%96)
R (計算複雑性理論)
計算複雑性理論において、複雑性クラス R とは、チューリングマシンで解ける決定問題の集合であり、全ての帰納言語の集合に相当する。R はしばしば、「効率的に計算可能な」関数のクラスと言われる(チャーチ=チューリングのテーゼ)。
任意の決定問題の解法として、その問題のリコグナイザと補問題のリコグナイザを並行して動作させ、どちらかが受容状態になるまで待つ方式を採用可能である。
したがって、このクラスは RE を使って
� RE∩coRE と定義できる。

(再録)
//zenn.dev/mineel5/articles/db3e410a05e2d8
zenn /mineel
省23
310
(1): 05/05(日)14:58 ID:PeHbDtmU(1/8) AAS
>>308
お前が理解できる数学はねーよw
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 1.468s*