我遇到了关于实用计算机知识的奥林匹克问题。
对于 A ⊆⊆,我们 a = deg T ( A )= { B | B ≡ T A}和 D = {deg T < / sub>( A )| A ⊆ℕ}。对于( D ,≤)具有A≤ T B iff a ≤ b'/ em>的。以下哪项是错误的:
(D,≤)是一个分配格子
(D,≤)有界(有最小值和最大值)
(D,≤)是半分离晶格。 (可能我说这句话很糟糕,对不起)
- 醇>
(D,≤)的最大元素是停止问题的程度。
我认为deg T 表示Turing Degree且≤ T 表示Turing Reduciblity
谁可以给我一些提示,我们想查看答案 写(1)的表格是否正确?