从边列表或著名图创建一个 igraph 图
参数
- edges
一个定义边的向量，第一条边从第一个元素指向第二个元素，第二条边从第三个元素指向第四个元素，等等。对于数值向量，这些被解释为内部顶点 ID。对于字符向量，它们被解释为顶点名称。
或者，这可以是一个字符标量，即著名图的名称。请参见下面的著名图。名称不区分大小写。
从 igraph 0.8.0 开始，您也可以通过 igraph 的公式表示法在此处包含字面量（请参阅
graph_from_literal()）。在这种情况下，公式的第一项必须以 “~” 字符开头，就像 R 中的常规公式一样。请参阅下面的示例。- ...
对于
make_graph()：当图通过字面量给出时，额外的参数，请参阅graph_from_literal()。对于directed_graph()和undirected_graph()：传递给make_directed_graph()或make_undirected_graph()。- n
图中的顶点数。如果
edges是符号顶点名称，则忽略此参数（并发出警告）。如果edges中存在更大的顶点 ID，则也会忽略它。这意味着对于此函数，如果具有最大 ID 的顶点不是孤立点，则可以安全地在此处提供零。- isolates
字符向量，孤立顶点的名称，用于符号边列表。对于数值边列表，它将被忽略。
- directed
是否创建有向图。
- dir
它与
directed相同，为了兼容性。不要同时给出它们。- simplify
对于图字面量，是否简化图。
著名图
make_graph() 可以创建一些著名图。图的名称（不区分大小写），必须作为 edges 参数提供字符标量，并且忽略其他参数。（如果指定了，则会发出警告。）
make_graph() 知道以下图
- Bull
公牛图，5 个顶点，5 条边，如果绘制得当，类似于公牛的头部。
- Chvatal
这是最小的无三角形图，既是 4-色性的又是 4-正则的。根据 Grunbaum 猜想，对于每个 m>1 和 n>2，都存在一个具有 n 个顶点的 m-正则、m-色性的图。Chvatal 图是 m=4 和 n=12 的一个例子。它有 24 条边。
- Coxeter
一个非哈密顿立方对称图，具有 28 个顶点和 42 条边。
- Cubical
立方体的柏拉图式图。一个凸的规则多面体，具有 8 个顶点和 12 条边。
- Diamond
一个具有 4 个顶点和 5 条边的图，如果绘制得当，类似于示意性钻石。
- Dodecahedral, Dodecahedron
另一个柏拉图式实体，具有 20 个顶点和 30 条边。
- Folkman
具有最少顶点数的半对称图，20 个顶点和 40 条边。半对称图是正则的，边传递的，而不是顶点传递的。
- Franklin
这是一个嵌入到克莱因瓶中的图，可以用六种颜色着色，这是对克莱因瓶上的 Heawood 猜想必要性的一个反例。它有 12 个顶点和 18 条边。
- Frucht
Frucht 图是最小的立方图，其自同构群仅包含单位元素。它有 12 个顶点和 18 条边。
- Grotzsch, Groetzsch
Grötzsch 图是一个具有 11 个顶点、20 条边和色数 4 的无三角形图。它以德国数学家 Herbert Grötzsch 的名字命名，它的存在证明了 Grötzsch 定理中平面性的假设是必要的，即每个无三角形平面图都是 3-可着色的。
- Heawood
Heawood 图是一个具有 14 个顶点和 21 条边的无向图。该图是立方的，并且该图中的所有循环都有六条或更多条边。每个较小的立方图都有较短的循环，因此该图是 6-笼，即周长为 6 的最小立方图。
- Herschel
Herschel 图是最小的非哈密顿多面体图。它是 11 个节点上唯一的此类图，并且有 18 条边。
- House
房子图是一个 5 个顶点、6 条边的图，如果绘制得当，则是房子的示意图，基本上是一个正方形顶部的三角形。
- HouseX
与房子图相同，正方形中有一个 X。5 个顶点和 8 条边。
- Icosahedral, Icosahedron
一个柏拉图式实体，具有 12 个顶点和 30 条边。
- Krackhardt kite
一个具有 10 个顶点和 18 条边的社交网络。Krackhardt, D. Assessing the Political Landscape: Structure, Cognition, and Power in Organizations. Admin. Sci. Quart. 35, 342-369, 1990.
- Levi
该图是一个 4-弧传递立方图，它有 30 个顶点和 45 条边。
- McGee
McGee 图是唯一的 3-正则 7-笼图，它有 24 个顶点和 36 条边。
- Meredith
Meredith 图是一个具有 70 个节点和 140 条边的四次图，它是对每个 4-正则 4-连通图都是哈密顿图的猜想的反例。
- Noperfectmatching
一个连通图，具有 16 个顶点和 27 条边，不包含完美匹配。图中的匹配是一组成对的不相邻的边；也就是说，没有两条边共享一个公共顶点。完美匹配是一种覆盖图的所有顶点的匹配。
- Nonline
一个图，其连通分量是 9 个图，它们作为一个顶点诱导子图在一个图中存在，使其成为一个非线图。它有 50 个顶点和 72 条边。
- Octahedral, Octahedron
具有 6 个顶点和 12 条边的柏拉图式实体。
- Petersen
一个 3-正则图，具有 10 个顶点和 15 条边。它是最小的亚哈密顿图，即它是非哈密顿的，但从中删除任何单个顶点都会使其成为哈密顿图。
- Robertson
唯一的 (4,5)-笼图，即周长为 5 的 4-正则图。它有 19 个顶点和 38 条边。
- Smallestcyclicgroup
一个最小的非平凡图，其自同构群是循环的。它有 9 个顶点和 15 条边。
- Tetrahedral, Tetrahedron
具有 4 个顶点和 6 条边的柏拉图式实体。
- Thomassen
最小的亚可追溯图，具有 34 个顶点和 52 条边。亚可追溯图不包含哈密顿路径，但在从中删除任何单个顶点后，其余部分始终包含哈密顿路径。包含哈密顿路径的图称为可追溯图。
- Tutte
Tait 的哈密顿图猜想指出，每个 3-连通 3-正则平面图都是哈密顿图。此图是一个反例。它有 46 个顶点和 69 条边。
- Uniquely3colorable
返回一个 12 顶点、无三角形图，其色数为 3，并且是唯一 3-可着色的。
- Walther
一个具有 25 个顶点和 31 条边的单位图。单位图只有一个图自同构，即平凡的那个。
- Zachary
20 世纪 70 年代美国一所大学空手道俱乐部的 34 名成员之间的友谊社交网络。参见 W. W. Zachary, An information flow model for conflict and fission in small groups, Journal of Anthropological Research 33, 452-473 (1977).
参见
其他确定性构造函数：graph_from_atlas(), graph_from_edgelist(), graph_from_literal(), make_(), make_chordal_ring(), make_empty_graph(), make_full_citation_graph(), make_full_graph(), make_lattice(), make_ring(), make_star(), make_tree()
示例
make_graph(c(1, 2, 2, 3, 3, 4, 5, 6), directed = FALSE)
#> IGRAPH 5e1fdce U--- 6 4 --
#> + edges from 5e1fdce:
#> [1] 1--2 2--3 3--4 5--6
make_graph(c("A", "B", "B", "C", "C", "D"), directed = FALSE)
#> IGRAPH e611c40 UN-- 4 3 --
#> + attr: name (v/c)
#> + edges from e611c40 (vertex names):
#> [1] A--B B--C C--D
solids <- list(
make_graph("Tetrahedron"),
make_graph("Cubical"),
make_graph("Octahedron"),
make_graph("Dodecahedron"),
make_graph("Icosahedron")
)
graph <- make_graph(
~ A - B - C - D - A, E - A:B:C:D,
F - G - H - I - F, J - F:G:H:I,
K - L - M - N - K, O - K:L:M:N,
P - Q - R - S - P, T - P:Q:R:S,
B - F, E - J, C - I, L - T, O - T, M - S,
C - P, C - L, I - L, I - P
)