加杯图灵度的一个层谱研究.pdfVIP

摘要 本文研究计算可枚举图灵度的结构，提出并完成了一个加杯层谱的证 明。 计算可枚举度(computablyenumerable,c.e.degree)a被称作加杯的伽lus cupping),若对任何c.e.度x,0xa，存在c.e.度Y9-`。，‘满足xV Y=0,。我们称一个c.e.度是。一加杯的(n-Plus-cupping)，如果对每个C.e. 度X,0xa，存在low,C.e.度1，有XVl=0。定义PC和PC。分别为 所有的加杯和n一加杯c.e.度的集合。我们有PCiCPC2CPC3二PC。在 这篇文章中，我们证明了PCiCPC2，从而给出了加杯计算可枚举图灵度 的一个非平凡层谱。该定理扩充了李昂生、吴国华、张再跃2000年提出的 一个层谱:LClCLCZCLC3=CUP，同时也扩充了Harrington1978年 的加杯定理(PlusCuppingTheorem). 关键词:图灵度，计算可枚举度，可杯，加杯 11 Abstract WestudythestructureofthepluscuppingTuringdegreesinthispaper. Acomputablyenumerable(c.e.)degreeaiscalledpluscupping,iffor everyc.e.degreexwith0xa,thereisac.e.degreey淤0suchthat xVy=0.Wesaythataisn-plus-cupping,ifforeveryc.e.degreex,if 0xa,thenthereisalow,c.e.degreeIsuchthatxVI=0.Let PCandPC,bethesetofallplus-cupping,andn-plus-cuppingc.e.degrees respectively.ThenPC,侄PC2gPC,=PC.Inthispaperweshowthat PC,〔PC2,sogivinganontrivialhierarchyforthepluscuppingdegrees. ThetheoremalsoextendstheresultofLi,WuandZhangstheoremin2000 [20]LC,〔LC2CLC3=CUP,aswellasextendingtheHarringtonplus- cuppingtheoremin1978. KeyWords:TuringDegree,c.e.degree,cupping,pluscupping. Chapter1 引言 1.1 历史背景 计算机科学的开创人之一AlanM.hiring在他1936年的著名文章 Oncomputablenumbers,withanapplicationtotheEntscheidungsproblem 哪}中定义了图灵机(hiringMachine)，从而给出了可计算函数的精确描 述。1936-1971年间，数学家们还提出了其他模型，如Godel-Herbrand- Kleene的递归函数(RecursiveFunction),Church的A可定义函数、(A-Definable Functions),Shepherdson和Sturgis的无穷寄存器机器(UnlimitedRegisterMa- chine),Post的正则推导系统(CanonicalDeductionSystem),Markov的有穷 字母表上的有效算法((AlgorithmsoverFiniteAlphabet)等等。这些模型已被 证明计算能力是等价的，即定义了同一类函数:可计算函数。它们给了可 计算函数的形式化描述，使得对直觉上的计算进行精确研究成为可能(参 考}6」) 1.1.1 Post问题 与可计算密切相关的概念是计算可枚举。顾名思义，一个集合被称 作计算可枚举的(computablyenumerable，缩写为c.e.)，当且仅当存在一 个可行算法来枚举出该集合的元素。在许多著名的不可解问题中，计 算可枚举集合扮演7重要的角色，如Davis,Matijasevic,Putnam,Robin- son对Hilbert第十问题 (是否存在丢番图方程的通用解法)的否定回 答、Boone和Novikov对群的字问题不可解的证明等等。 Turing机停机问题