李宏宙
- 作品数:4 被引量:0H指数:0
- 供职机构:云南教育学院更多>>
- 相关领域:语言文字理学自然科学总论更多>>
- 多项式时间、指数时间复杂性类关于禁性的一个结果
- 1992年
- 本文证明:存在信息源集 A,使得 NP(A)中含有 P(A)——禁集,但 NEXPTIME(A)-=EXPTIME(A),从而说明不能用文[1]中方法解决“是否有 NP 含有 P——禁集的正相对化结果”这个问题。
- 李宏宙
- 关键词:多项式时间相对化图灵机字串
- 递归集的强多项式时间归结度对的性质
- 1991年
- 本文研究强多项式时间归结度上半格<TSN;≤T>和<mSN;≤m>的代数性质。证明了对任意给定度,存在度和使得,且,但不存在。籍此上半格<TSN;≤T>和<mSN;≤m>不是格;任意给定的度都是极小对的一半。进一步,我们证明了存在度使得且没有度有性质。
- 李宏宙
- 关于概率多项式时间谱系的一些结果
- 1992年
- 研究概率多项式时间谱系的结构性质,证明了:(1)如果BP∑_(k+1)~pBP∑_k^P,则PH=BP∑∏_K^P;(2)如果BP∑_k^PBP∏_k^P,则;PH=BP∑_K^PP;(3)对任意n,k≥0,BP∑_K^P(BP∑_n^P)=BP∑_(n+k)~p,BP∑_n^P(BP△_(k+1)~P)=BP∑_(n+k)~n;(4)对任意n,k≥1,BP∑_n^P(BP∑_k^p∩BP∏_k^P)=BP∑_(n+k-1)~P这些结果说明概率多项式时间谱系与多项式时间谱系有相同的结构性盾,但也有差别.
- 李宏宙
- 关键词:PH
- 多项式时间谱系和外部信息源A∈PH/Poly
- 1990年
- 可计算复杂性理论的一个中心问题是多项式时间谱系是否崩溃.Balc(?)zar、Book和Sch(?)ning在文献[1]中利用稀疏集作为外部信息源研究了这个问题。
- 李宏宙
- 关键词:多项式时间谱系