Skip to content

Hypergraph

OpenHypergraph dataclass

An open hypergraph with input and output nodes.

Source code in src/IsomorphismChecker_python_serial/hypergraph.py 
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
@dataclass(slots=True)
class OpenHypergraph:
    """An open hypergraph with input and output nodes."""

    nodes: list[Node] = field(default_factory=list)
    edges: list[HyperEdge] = field(default_factory=list)

    input_nodes: list[int] = field(default_factory=list)
    output_nodes: list[int] = field(default_factory=list)

    # TODO: Improve efficiency by caching results and invalidating on changes
    def is_valid(self) -> bool:
        """Check if the hypergraph is valid."""
        if not self.nodes:
            return False

        if not self.edges:
            return False

        return True

    def check_nodes_in_graph(self, nodes) -> bool:
        """Check if all nodes are in the hypergraph."""
        return all(node < len(self.nodes) for node in nodes)

    def set_next_prev(self, edge: HyperEdge):
        """Set the next and previous edges for nodes based on edges in the hypergraph."""

        for i, v in enumerate(edge.sources):
            node = self.nodes[v]
            node.next.append(EdgeInfo(edge.index, i, edge.label))
        #    else:
        #        raise ValueError(
        #            f"Source node {node.label} of edge {edge.label} already has a next edge. This is not currently supported."
        #        )

        for i, v in enumerate(edge.targets):
            node = self.nodes[v]
            node.prev.append(EdgeInfo(edge.index, i, edge.label))
        #    else:
        #        raise ValueError(
        #            f"Target node {node.label} of edge {edge.label} already has a previous edge. This is not currently supported."
        #        )

    def __post_init__(self):

        for edge in self.edges:

            if not self.check_nodes_in_graph(edge.sources + edge.targets):
                raise ValueError(f"Edge {edge.label} has nodes not in hypergraph nodes")

            self.set_next_prev(edge)

check_nodes_in_graph(nodes)

Check if all nodes are in the hypergraph.

Source code in src/IsomorphismChecker_python_serial/hypergraph.py 
36
37
38
def check_nodes_in_graph(self, nodes) -> bool:
    """Check if all nodes are in the hypergraph."""
    return all(node < len(self.nodes) for node in nodes)

is_valid()

Check if the hypergraph is valid.

Source code in src/IsomorphismChecker_python_serial/hypergraph.py 
26
27
28
29
30
31
32
33
34
def is_valid(self) -> bool:
    """Check if the hypergraph is valid."""
    if not self.nodes:
        return False

    if not self.edges:
        return False

    return True

set_next_prev(edge)

Set the next and previous edges for nodes based on edges in the hypergraph.

Source code in src/IsomorphismChecker_python_serial/hypergraph.py 
40
41
42
43
44
45
46
47
48
49
50
51
52
53
def set_next_prev(self, edge: HyperEdge):
    """Set the next and previous edges for nodes based on edges in the hypergraph."""

    for i, v in enumerate(edge.sources):
        node = self.nodes[v]
        node.next.append(EdgeInfo(edge.index, i, edge.label))
    #    else:
    #        raise ValueError(
    #            f"Source node {node.label} of edge {edge.label} already has a next edge. This is not currently supported."
    #        )

    for i, v in enumerate(edge.targets):
        node = self.nodes[v]
        node.prev.append(EdgeInfo(edge.index, i, edge.label))

Utility Functions