单选题
发布日期:2021-03-18
分解、归纳、变形
分解、归纳、恒等变形
分解、组合、恒等变形
分解、组合、变形
受界合取化归(bounded conjunctive reducibili-ty)亦称be化归.一种可化归性。
Q可化归性(Q-reducibility)一种可化归性概念.对任意自然数集合A,B,若存在递归函数f,使得二EA,当且仅当Wfc}.} CB,则称A为Q可化归到B,记为A毛QB <W,的定义参见“递归可枚举集”).Q化归的概念主要是为了解决波斯特问题引入的.与通常的化归不同,即使A镇}B,A也未必递归于B.人们所能知道的仅仅是A:。于B.但若A为:。(或re于B>,则A镇aB}A毛TB.因此,对Q化归的研究一般限于re集(度).Q化归在直观上有些类似合取化归.如果把Q化归定义中的递归可枚举集W f}.二)换为有穷集Df<}},就得到了C化归的定义.Q化归具有自反性与可传性.在r。集上,它弱于m化归而强于T化归,但它与btt化归、tt化归及wtt化归均不可比较.任何超超单纯集都不是Q完备的,此为Q化归的一个重要性质.
合取化归(conjunctive reducibility)亦称。化归.m化归的一种推广.形式地。
标签: 途径
题王网让考试变得更简单
扫码关注题王,更多免费功能准备上线!