移动端

  • 题王微信公众号

    题王微信公众号

    微信搜“题王网”真题密题、最新资讯、考试攻略、轻松拿下考试

单选题

化归的途径()

发布日期:2021-03-18

化归的途径()
A

分解、归纳、变形

B

分解、归纳、恒等变形

C

分解、组合、恒等变形

D

分解、组合、变形

试题解析

受界合取化归

受界合取化归(bounded conjunctive reducibili-ty)亦称be化归.一种可化归性。

Q可化归性

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化归的一种推广.形式地。

标签: 途径

题王网让考试变得更简单

扫码关注题王,更多免费功能准备上线!

此试题出现在

本科

小学教育

去刷题
热门试题热门资讯 相关试题