ConGraph 和 KVGraph 实际上是围绕 HGraph 的包装，其函数签名略有调整，以添加和删除节点或边（例如，向 ConGraph 添加节点时不需要提供数据，但对于 HGraph 则需要）。

示例

use mhgl::*;
let mut cg = ConGraph::new();
let nodes = cg.add_nodes(5);
let mut edges = Vec::new();
for ix in 1..nodes.len() {
    let edge = cg.add_edge(&nodes[0..=ix]);
    edges.push(edge);
}
let maxs_of_edge = cg.maximal_edges(&edges[0]);
let maxs_of_nodes = cg.maximal_edges_of_nodes([0, 1, 2]);

assert_eq!(maxs_of_edge[0], edges[edges.len() - 1]);
assert_eq!(maxs_of_nodes[0], edges[edges.len() - 1]);
assert_eq!(cg.boundary_up(&edges[0]), vec![edges[1]]);

#[derive(Debug)]
struct Foo(u8);

#[derive(Debug)]
struct Bar(u32);

let mut hg = HGraph::<Foo, Bar>::new();
let n0 = hg.add_node(Foo(1));
let n1 = hg.add_node(Foo(2));
let e = hg.add_edge(&[n0, n1], Bar(42)).unwrap();
let e_mut = hg.borrow_edge_mut(&e).unwrap();
e_mut.0 = 12;
let bar = hg.remove_edge(e).unwrap();
assert_eq!(bar.0, 12);

let mut kvgraph = KVGraph::new();
let n0 = kvgraph.add_node_with_label("toronto");
let n1 = kvgraph.add_node_with_label("seattle");
let edge = kvgraph.add_edge_with_label(&[n0, n1], "AC123").unwrap();
kvgraph.insert(&n0, "darkness", 0.6);
kvgraph.insert(&n1, "darkness", 0.8);
let df = kvgraph.dataframe();
println!("{:}", df);

上述代码的最后一行在运行时输出

┌────────────┬───────────────────────────────────┬───────────────────────────────────┬───────────────────┬──────────┐
│ label      ┆ id                                ┆ nodes                             ┆ labelled_nodes    ┆ darkness │
│ ---        ┆ ---                               ┆ ---                               ┆ ---               ┆ ---      │
│ str        ┆ str                               ┆ str                               ┆ str               ┆ f64      │
╞════════════╪═══════════════════════════════════╪═══════════════════════════════════╪═══════════════════╪══════════╡
│ toronto    ┆ 6347a42e-0bde-4d80-aad3-7e8c59d3… ┆ [6347a42e-0bde-4d80-aad3-7e8c59d… ┆ [toronto]         ┆ 0.6      │
│ seattle    ┆ 032e1a16-ec39-4045-8ebd-381c2b06… ┆ [032e1a16-ec39-4045-8ebd-381c2b0… ┆ [seattle]         ┆ 0.8      │
│ AC123      ┆ 1b233128-22d2-4158-850d-b4b814d5… ┆ [1b233128-22d2-4158-850d-b4b814d… ┆ [seattle,toronto] ┆ null     │
└────────────┴───────────────────────────────────┴───────────────────────────────────┴───────────────────┴──────────┘

目前数据模式在节点和边之间是共享的，这很遗憾。

特性

有 2 个与 KVGraph 模块相关的特性

• "uuid"，以启用 KVGraph 的使用，因为它使用 Uuid 作为节点和边的 ID 类型。
• "polars"，以计算任何节点或边的集合的 polars 数据帧。

特质

• HyperGraph - 一组用于查询超图邻接结构的函数。有几个主要函数，每个函数都接受一个边 ID 作为输入，并返回超图中的相关边。每个函数还有一个 "of_nodes" 变体，允许你找到相同的信息，但不需要输入超图的边，而是可以提供一个节点切片。

  • containing_edges 找到所有是输入边的严格超集的边。
  • maximal_edges 找到所有包含输入边但不包含在另一个边中的边。
  • link 取包含给定边的所有边，并计算该边内的输入补码。
  • boundary_up 边界上升算子来自拓扑和单纯复形术语。它接受输入边并找到仅比输入边多一个节点的所有边。
  • boundary_down 与 boundary_up 算子类似，但删除一个节点。

• HgNode - 一个标记特质，用于指示哪些类型可用于节点和边 ID（提示：u8、u16, u32, u64, 和 u132. 不要使用 'Uuid 即使它们实现了这个特质。）