图数据挖掘 ECC K-core core number truss number clique

K-core:什么叫k-core，给定一个正整数k（k>=0），k-core是一个G的最大子图（也就是说k-core是一个图的限制），将这个子图定义为Hk，对于Hk中的每个顶点v，他的度数都是大于等于k的。

k-core是内嵌的，如下图所示，集合{ABCD}是H3，也就是3-core的子图。而集合{ABCDE}是H2，也就是2-core的子图，集合{ABCDEGF}是H1，也就是1-core的子图，而从集合的角度来讲H3<H2<H1。

core number:什么叫kcore，给定一个节点v，（也就是说core number是对于节点v来说的），它的corenumber定义为core G[v]，是k-core的最高阶，而这个k-core是包含这个节点v的，也就是说节点v的core number是最高的k-core（因为一个节点可能由多个图来包含），同样由下图说明，ABCD节点被子图{ABCD}包含，这个子图的k-core是3，所以ABCD的corenumber就是3，同理，E被子图{ABCDE}包含，所以他的corenumber就是2。

support：什么叫support，一个边的support被定义为sup（e，G），一个support就是由三个顶点所组成的三角。

k-truss：什么叫k-truss，给定一个图，一个k-truss是对于这个k-truss中的每个点来说，他的sup（e,jk）大于等于k-2。也就是说从这个k-truss子图的任何一个点出发，找点构成三角形，如果能构成k-2个，那么他就是k-truss。

truss number：truss number是对于一个边来说的，对于一个图中，一个边的truss number，就是包含他的最大的k-truss。如下图所示，对于边(A,B)来说，能和（A，B）构成sup的点有CDE，但是从E出发只能构成ABE，这一个三角形，所以E不构成这个k-truss，而从DC出发也都是嫩构成两个三角形的，所以2+2=4，所以是4-truss，所以在这个4-truss中的每个边他的truss number都是4。

 k-clique：k-clique是一个完全图，有k个顶点，其中没对顶点之间都有一个边。（所以说k-clique就是一个完全图？？？）

对于4-clique：{ABCD}来说，其中任意抽取三个都是一个3-clique。 

边的连通性，edge connectivity：给定一个图G，再给定两个点u，v，u和v的连通性就是移除多少个边这两个边会失去连接。

图的连通性，graph connectivity：给定一个图G，图G的连通性就是两个点u，v的最小的连通性，例如移除这个数量的边，这个图就会失去连通性。

k-ECC：给定一个图G，如果他的子图G2，是一个k条边的连通分量，如果他的连通性大于等于k，而且这个子图G2的超图的连通性都小于k。

例如，如下的这个图，{ABCD}是一个3-ECC，而{ABCD}的超图{ABCDE}是一个 2-ECC。

因为要想断掉{ABCD}的连通性，需要断掉三条边。而{ABCDE}需要断掉两条边。