图灵学位和当地比赛问题?

时间:2015-04-10 15:53:16

标签: math computation-theory turing-machines computation computability

我遇到了关于实用计算机知识的奥林匹克问题。

  

对于 A ⊆⊆,我们 a = deg T A )= { B | B T A}和 D = {deg T < / sub>( A )| A ⊆ℕ}。对于( D ,≤)具有A≤ T B iff a b'/ em>的。以下哪项是错误的:

     
      
  1. (D,≤)是一个分配格子

  2.   
  3. (D,≤)有界(有最小值和最大值)

  4.   
  5. (D,≤)是半分离晶格。 (可能我说这句话很糟糕,对不起)

  6.   
  7. (D,≤)的最大元素是停止问题的程度。

  8.   

我认为deg T 表示Turing Degree且≤ T 表示Turing Reduciblity

谁可以给我一些提示,我们想查看答案 写(1)的表格是否正确?

0 个答案:

没有答案