1) Induced Matching
导出匹配
1.
The Induced Matching Partition Number of Some Special Graphs;
一些特殊图类的导出匹配划分数
2.
The induced matching extendability of cyclic graph with 2n vertices and step length 1 and 4;
步长为1和4的2n阶循环图的导出匹配可扩性
2) induced matching number
导出匹配数
1.
The induced matching number of G is defined as IM(G) = maxM : M is an induced ma.
图G的导出匹配数，记为IM(G)，是G的最大导出匹配的边数。
2.
The induced matching number of G,denoted by IM(G),is the number of a maximum induced matching of G.
图G的导出匹配数是指图G的最大导出匹配的边数,用IM(G)表示。
3) induced matching cover
导出匹配覆盖
1.
Aim To solve the induced matching cover problem of some graphs,such as the product of two paths and the nontrivial tree.
目的解决某些图类的导出匹配覆盖问题,特别是两条路的乘积图和非平凡树。
4) IM-extendable
导出匹配可扩
1.
The Characterization of 1-edge Deletable IM-extendable Graphs;
一类1-边可删的导出匹配可扩图的刻画
2.
IM-extendable Claw-free Graphs;
无爪图的导出匹配可扩性(英文)
5) Induced matching partition number
导出匹配划分数
补充资料：导出法则
导出法则
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)是合理的，但它不是一个导出法则.
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条