递归集的强多项式时间归结度对的性质

来源 :云南教育学院学报 | 被引量 : 0次 | 上传用户：lightning111

【摘要】

：

本文研究强多项式时间归结度上半格【TSN;≤T】和【mSN;≤m】的代数性质。证明了对任意给定度,存在度和使得,且,但不存在。籍

【作者】

：

李宏宙

【机构】

：

云南教育学院数学系

【出处】

：

云南教育学院学报

【发表日期】

：

1991年3期

【关键词】

：

强多项式时间归结度对上半格

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

本文研究强多项式时间归结度上半格【TSN;≤T】和【mSN;≤m】的代数性质。证明了对任意给定度,存在度和使得,且,但不存在。籍此上半格【TSN;≤T】和【mSN&l

其他文献

我省高中的规模和类型问题

事业的规模和类型，是事业量的规定性，也反映了事业质的很多内涵．在改革发展中，云南省高中规模不能仅只采取“稳定”的方针，而庄在稳中求进，慎重中争积极进展．高中类型，实际上已开始突

期刊

规模类型教育经济发展

ARUAV对移动辐射源目标的攻击效果仿真分析

现代水面舰艇是世界军事强国争夺制海权的主要武器装备之一,为实现运用反辐射无人机（ARUAV）对其有效攻击和压制,充分应用ARUAV反辐射作战特点,研究ARUAV对移动辐射源的攻击效果

期刊

反辐射无人机移动辐射源攻击角攻击精度anti-radiation unmanned aerial vehicle mobile emitter at

不再花钱买平安，山西一个“上访县”是这样摘帽的

“没有服务中心调解员的帮助，我的问题不可能这么顺利就解决！”　　谈起父亲被砸伤、家畜被“吓”死及房屋被震坏等问题的解决，山西省交口县回龙乡西营塘村村民马凤鸣十分高兴，点开手机图片库向记者展示自家修缮好的新房照片。　　但在2014年，马凤鸣没有高兴只有闹心。这一年，一场“飞”来的横祸让他焦头烂额。　　化敌为友：一场一触即发的堵路危机化解了　　引黄工程爆破“吓”死家畜、砸伤老人，村民用三轮车堵施工洞口

期刊

山西省平安花钱上访服务中心调解员交口县图片库

谈发挥班集体在学校教育管理中的作用

【正】几年前,在资产阶级自由化思潮的影响下,集体主义观念日益淡薄,学校班集体的建设与教育管理作用没有得到应有的重视,给学校教育工作造成损失。这个问题被越来越多的教

期刊

班集体学校教育管理学校教育工作教育社会心理学人际关系学生群体动力教育者自我教育管理作用

BRAF抑制剂治疗非小细胞肺癌的进展

近年来,靶向药物在非小细胞肺癌（non-small cell lung cancer,NSCLC）的治疗中占据着举足轻重的地位,针对表皮生长因子受体（epidermal growth factor receptor,EGFR）的靶向药物已

期刊

肺肿瘤BRAF抑制剂Lung neoplasms BRAF Inhibitors

I期非小细胞肺癌的治疗：立体定向放疗能替代外科手术？

hTe Lancet Oncology杂志2015年5月发表了一项由美国德克萨斯大学MD安德森癌症中心学者发起的研究--《立体定向放疗对比肺叶切除治疗可手术的I期非小细胞肺癌（non-small cell

期刊

立体定向放疗非小细胞肺癌外科手术治疗NSCLCLANCETLC患者肺叶切除

阶梯波合成开关功率放大器的研究与实现

针对D类开关功率放大器谐波辐射功率大且对其他电信系统造成干扰的问题,提出基于阶梯波合成的开关功率放大的思想。利用阶梯调制技术,构建阶梯波合成的思路;结合Multism软件

期刊

阶梯波开关功率放大器谐波分析step wave switching power amplifier harmonic analysis

多用户MIMO系统在有限反馈下结合预编码与调度算法的研究

捅要：研究了多用户多输入多输出（MIMO）系统在有限反馈下的一种结合单位预编码与用户调度算法的方案。在该系统中每一用户都具有多个接收天线，该方案具有较大的多用户分集增益和较

期刊

多输入多输出有限反馈预编码用户调度multi-input multi-output limited {eedback precoding u

MicroRNAs与OCT4基因之间的相互作用

OCT4基因是POU转录因子家族中的一员，它能与含八聚体基序（ATGCAAAT）的DNA结合。OCT4是一个关键的转录因子，在未分化胚胎干细胞中参与维持多能性和自我更新性，在许多种癌症包括肺癌

期刊

MICRORNASOCT4肿瘤胚胎干细胞多能性MicroRNAs OCT4 Cancer Embryonic stem cell Plurip

云南教育学院电视师范教育简介

云南教育学院电视师范教育简介１９８８年４月省计委、省财政厅、省教育厅决定，由云南教育学院统一负责全省电视师范专科教育的教学管理和业务指导工作，于是云南教育学院成立了电视师范部

期刊

师范教育云南教育学院“三沟通”培训中学教师电视师范专科教育学历培训体育教育思想品德教育数学教育

递归集的强多项式时间归结度对的性质

与本文相关的学术论文