云南师范大学学报：对外汉语教学与研究版
雲南師範大學學報：對外漢語教學與研究版
운남사범대학학보：대외한어교학여연구판
Journal of Yunnan Normal University:Teaching and Research of Chinese as A Foreign Language
1991年
3期
5~10
,共null页
强多项式时间归结 度对 上半格
彊多項式時間歸結 度對 上半格
강다항식시간귀결 도대 상반격
本文研究强多项式时间归结度上半格<<sub>T</sub><sup>SN</sup>;≤T>和<<sub>m</sub><sup>SN</sup>;≤m>的代数性质。证明了对任意给定度,存在度和使得,且,但不存在。籍此上半格<<sub>T</sub><sup>SN</sup>;≤T>和<<sub>m</sub><sup>SN</sup>;≤m>不是格;任意给定的度都是极小对的一半。进一步,我们证明了存在度使得且没有度有性质。
本文研究彊多項式時間歸結度上半格<<sub>T</sub><sup>SN</sup>;≤T>和<<sub>m</sub><sup>SN</sup>;≤m>的代數性質。證明瞭對任意給定度,存在度和使得,且,但不存在。籍此上半格<<sub>T</sub><sup>SN</sup>;≤T>和<<sub>m</sub><sup>SN</sup>;≤m>不是格;任意給定的度都是極小對的一半。進一步,我們證明瞭存在度使得且沒有度有性質。
본문연구강다항식시간귀결도상반격<<sub>T</sub><sup>SN</sup>;≤T>화<<sub>m</sub><sup>SN</sup>;≤m>적대수성질。증명료대임의급정도,존재도화사득,차,단불존재。적차상반격<<sub>T</sub><sup>SN</sup>;≤T>화<<sub>m</sub><sup>SN</sup>;≤m>불시격;임의급정적도도시겁소대적일반。진일보,아문증명료존재도사득차몰유도유성질。
