1) Indecomposable (Extremely) Simple Form
不可分极简式
2) an irreducible minimum; an irreducible formula.
最小限;不可简化的公式。
3) simply supported and unmovable ends
不可移简支
4) inseparable polynomial
不可分多项式
5) minimal unsatisfiable sub-formulas
极小布尔不可满足子式
6) minimal unsatisfiable formula
极小不可满足公式
1.
For the subclasses MAX and MARG of minimal unsatisfiable formulas, we show that the variable and literal renaming problems are equivalent to the graph isomorphism problem GI.
对于极小不可满足公式的子类MAX和MARG,我们证明了:其变元改名和文字改名的复杂性等价于图同构问题GI。
2.
For MU(1),a subclasses of minimal unsatisfiable formulas,we show the solvability in polynomial time.
公式的改名是将命题变元映到变元本身或变元的否定的一个映射 ,对于极小不可满足公式的子类MU( 1 )中的公式 ,我们证明了其改名判定问题在多项式时间内是可判定的。
3.
the equivalence structure of a subclass (MAX(1)) of minimal unsatisfiable formulas is investigated.
研究一个极小不可满足公式子类 (MAX( 1 ) )的等价结构 考虑了MAX( 1 )上的变元改名问题和文字改名问题 此两个问题均可在O(nlog2 (n) )时间内可
补充资料：最简式
分子式：
CAS号：
性质：又称最简式或经验式，是化学式中的一种。用元素符号表示化合物分子中各元素的原子个数比的最简关系式。许多化合物如离子化合物通常不是以分子的形态存在，实际上以实验式表示。如NaCl仅是氯化钢的实验式，表示在氯化钠晶体中Na+与Cl—的比例是1：1。有机化合物中往往有不同的化合物具有相同的实验式。例如乙炔、苯的实验式均为CH，但乙炔的分子式是C2H2，苯的分子式是C6H6。
CAS号：
性质：又称最简式或经验式，是化学式中的一种。用元素符号表示化合物分子中各元素的原子个数比的最简关系式。许多化合物如离子化合物通常不是以分子的形态存在，实际上以实验式表示。如NaCl仅是氯化钢的实验式，表示在氯化钠晶体中Na+与Cl—的比例是1：1。有机化合物中往往有不同的化合物具有相同的实验式。例如乙炔、苯的实验式均为CH，但乙炔的分子式是C2H2，苯的分子式是C6H6。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条