1) 1-edge-deletable IM-extendable graphs
1-边可删的导出匹配可扩图
2) 1-edge-edletable IM-extendable graphs
1边可删的导出匹配可扩图
3) graphs 2k-vertex deletable IM-extendable graphs
k边可删的导出匹配可扩图
4) k-edge deletable IM-extendable graphs
2k点可删的导出匹配可扩图
1.
degree conditions of k-edge deletable IM-extendable graphs.
2k点可删的导出匹配可扩图的度条件。
5) IM-extendable graphs
导出匹配可扩图
1.
Characterizations of locally isomorphic 5-regular claw-free connected IM-extendable graphs.
本文研究了图论中与图的导出匹配可扩性有关的一些问题，由以下两部分组成： ⅰ局部同构的连通的5-正则无爪导出匹配可扩图的刻划 ⅱ单位区间图与循环图C_(2n)(1，m)的导出匹配可扩性 1 局部同构的连通的5-正则无爪导出匹配可扩图的刻划 对边集M(?)E(G)，如果G的任意顶点至多与M中的一条边关联，则称M是G的匹配。
6) maximal IM-extendable graphs
极大导出匹配可扩图
1.
The only connected maximal IM-extendable graphs that we know now are K_ n,n and K_ 2n.
目前我们已知的极大导出匹配可扩图只有Kn,n和K2n。
补充资料：导出法则
导出法则
derived rule
导出法则l山幼，目n此;npo”翔口“oe np姗月。]，给定演算中的推演法则的 如果一个推演法则的结论可以由它的取自所考虑的演算中的诸前提推出，则称此推演法则为导出法则.例如在命题演算(pmpeslt10nal calculus)中，由于 AOB，BOC卜A，C成立，所以推演法则 A OB，B OC A OC是命题演算中的一个导出法则.每一个导出法则均是合理法则(so山ld们目e).然而并非所有合理法则皆为一个导出法则.例如在命题演算中代换法则(sul比titu-tion rule)是合理的，但它不是一个导出法则.
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条