更改

2-段 2-section 超图（或团图 clique graph，表示图 representing graph，原始图 primal graph、盖夫曼图 Gaifman graph）是具有相同顶点的图，并且所有顶点对之间的边包含在相同的超边中。

2-段 2-section 超图（或团图 clique graph，表示图 representing graph，原始图 primal graph、盖夫曼图 Gaifman graph）是具有相同顶点的图，并且所有顶点对之间的边包含在相同的超边中。

==二分图模型 Bipartite graph model==

===二分图模型===

A hypergraph ''H'' may be represented by a [[bipartite graph]] ''BG'' as follows: the sets ''X'' and ''E'' are the partitions of ''BG'', and (''x₁'',  ''e₁'') are connected with an edge if and only if vertex ''x₁'' is contained in edge ''e₁'' in ''H''. Conversely, any bipartite graph with fixed parts and no unconnected nodes in the second part represents some hypergraph in the manner described above. This bipartite graph is also called [[incidence graph]].

[[File:bipartie graph.jpeg|200px|缩略图|右| 设<math>G=(V,E)</math>是一个无向图，如果顶点V可分割为两个互不相交的子集<math> {(group1, group2)}</math>，并且图中的每条边<math>{（i，j）}</math>所关联的两个顶点<math>{i}</math>和<math>{j}</math>分别属于这两个不同的部分<math>{(i \in group1,j \in group2)}</math>，则称图<math>{G}</math>为一个二分图。]]

一个'''超图 <math>{H} </math>'''可以用二分图<math>{BG} </math>表示，其构成如下: 集合<math>X</math>和<math> E </math>是<math>BG</math>的分割，而且 ("x₁",  "e₁") 与边连通当且仅当顶点"x₁"包含在<math>H </math>的边" e₁"中。 反之，任何具有固定的'''部分 part'''且在第二部分中没有不连通节点的二分图也代表具有上述性质的部分超图。 这个二分图也称为'''关联图'''。

一个'''超图 <math>{H} </math>'''可以用二分图<math>{BG} </math>表示，其构成如下: 集合<math>X</math>和<math> E </math>是<math>BG</math>的分割，而且 ("x₁",  "e₁") 与边连通当且仅当顶点"x₁"包含在<math>H </math>的边" e₁"中。 反之，任何具有固定的'''部分 part'''且在第二部分中没有不连通节点的二分图也代表具有上述性质的部分超图。 这个二分图也称为'''关联图'''。