1) renaming
[英][ri:'neim] [美][ri'nem]
改名
1.
A renaming is a function mapping propositional variable to itself or its complement, a variable renaming is a permutation over the set of propositional variables of a formula, and a literal renaming is a combination of a renaming and a variable renaming.
改名是一个将变元映射到变元本身或它的补的函数,变元改名是公式变元集合上的一个置换,文字改名是一个改名和一个变元改名的组合。
2.
Based on the splitting technology and the fact that the complexities of renaming of formulas in MAX(1) are polynomial, we prove that the renaming problems for formulas in MAX +(k) can be decided in polynomial time.
作者引入了MAX+ (k)中公式的一种递归构造方法, 基于分裂技术并通过证明MAX(1)中公式改名问题在多项式时间内可以判定。
3.
Author investigate the complexity of deciding whether for propositional CNF formulas F and H there exists a renaming such that (F)=H.
研究判定合取范式公式F和H之间是否存在一个改名 φ使得 φ(F) =H的计算复杂性。
2) variable renaming
变元改名
1.
We investigate the complexity of deciding whether for prepositional CNF formulas F and H there exists a variable renaming or a literal renamingφsuch thatφ(F) = H.
对于极小不可满足公式的子类MAX和MARG,我们证明了:其变元改名和文字改名的复杂性等价于图同构问题GI。
3) literal renaming
文字改名
1.
We investigate the complexity of deciding whether for prepositional CNF formulas F and H there exists a variable renaming or a literal renamingφsuch thatφ(F) = H.
对于极小不可满足公式的子类MAX和MARG,我们证明了:其变元改名和文字改名的复杂性等价于图同构问题GI。
4) name modification
名称修改
1.
This article first analyzes several different views on name modification for ideological and politi- cal education presented by several scholars and finds out various hidden shining ideas.
对诸学者提出的关于思想政治教育名称修改的各项不同意见进行了分析,挖掘了他们修改意见背后的各种优秀理念;在吸收这些优秀理念的基础上,提出主张用“公民教育”代替思想政治教育的观点;最后阐述了以“公民教育”代替思想政治教育后可期实现的几点改进意见。
6) the reason of changing name
改名原因
补充资料：复留侯从效问南汉刘岩改名龑字音义
【诗文】：
伏羲初画卦，苍氏乃制字。点画有偏旁，阴阳贵协比。
古者不嫌名，周公始称讳。始讳犹未酷，后习转多忌。
或援他代易，或变文回避。滥觞久滋蔓，伤心日益炽。
孙休命子名，吴国尊王意。单莔雨升僻，壹臣昷蔜称异。
梁复踵已非，时亦迹旧事。耑免杰自其一，蜀闯是其二。
鄙哉化晵名，陋矣麦黄耑义。大唐有天下，武后拥神器。
私制迄无取，古音实相类。历壎乙囝星，□忠厓□埊。
□圀及曌□，作史难详备。唐祚值倾危，刘龑怀僭伪。
吁嗟毒蛟辈，睥睨飞龙位。龑岩虽同音，形体殊乖致。
废学愧未弘，来问辱不弃。奇字难雄博，摛文伏韩智。
因诵鄙所闻，敢布诸下吏。
【注释】：
【出处】：
全唐诗：卷761-11
伏羲初画卦，苍氏乃制字。点画有偏旁，阴阳贵协比。
古者不嫌名，周公始称讳。始讳犹未酷，后习转多忌。
或援他代易，或变文回避。滥觞久滋蔓，伤心日益炽。
孙休命子名，吴国尊王意。单莔雨升僻，壹臣昷蔜称异。
梁复踵已非，时亦迹旧事。耑免杰自其一，蜀闯是其二。
鄙哉化晵名，陋矣麦黄耑义。大唐有天下，武后拥神器。
私制迄无取，古音实相类。历壎乙囝星，□忠厓□埊。
□圀及曌□，作史难详备。唐祚值倾危，刘龑怀僭伪。
吁嗟毒蛟辈，睥睨飞龙位。龑岩虽同音，形体殊乖致。
废学愧未弘，来问辱不弃。奇字难雄博，摛文伏韩智。
因诵鄙所闻，敢布诸下吏。
【注释】：
【出处】：
全唐诗：卷761-11
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条