[Feat] Add simplified isomorphism check

Author: loopyme

src/SubgraphDetection/DataStructure/SimpleMindsporeGraph/smsgraph.py

@@ -221,35 +221,38 @@ def get_level(scope: Scope):
             for name, scope in self._scope_node.items():
                 scope.type = name[name.rfind("/") + 1:]
         else:
-            # TODO:implementation of isomorphism check
-
-            # isomorphism check step.1: check level, size and connected node count
+            # isomorphism check: check level, size and connected node count
+            # TODO: detailed isomorphism check (very expensive, may be unnecessary)
             scope_basic_info_buffer = {
-                scope_name: "{level}-{size}-{upstream}-{downstream}".format(
+                scope_name: hash("{level}-{size}-{upstream}-{downstream}-{upstream_type}-{downstream_hash}".format(
                     level=scope_name.count("/"),
                     size=len(scope.member),
                     upstream=len(scope.upstream),
                     downstream=len(scope.downstream),
-                )
+                    upstream_type=hash("".join(self._normal_node[n].type for n in scope.upstream)),
+                    downstream_hash=hash("".join(self._normal_node[n].type for n in scope.downstream)),
+                ))
                 for scope_name, scope in self._scope_node.items()
             }
             isomorphic_scope_candidate = []
             scope_basic_info_buffer_reverse = {}
             for scope_id, info in scope_basic_info_buffer.items():
                 if info not in scope_basic_info_buffer_reverse.keys():
                     scope_basic_info_buffer_reverse[info] = [
-                        scope_id[scope_id.rfind("/") + 1:]
+                        scope_id
                     ]
                 else:
                     scope_basic_info_buffer_reverse[info].append(
-                        scope_id[scope_id.rfind("/") + 1:]
+                        scope_id
                     )
             for info, scope_ids in scope_basic_info_buffer_reverse.items():
                 if len(scope_ids) > 1:
                     isomorphic_scope_candidate.append(scope_ids)
 
-            # isomorphism check step.2: check in detailed
-            pass
+            for candidate in isomorphic_scope_candidate:
+                scope_type = hash(candidate[0])
+                for s in candidate:
+                    self._scope_node[s].type = str(scope_type)
 
     def get_level_node(self, level: int) -> Dict[int, Union[SNode, Scope]]:
         """

src/SubgraphDetection/DataStructure/Subgraph/subgraph_core.py

@@ -77,7 +77,6 @@ def grow(
         Returns:
             The new core grow from self
         """
-        # TODO:check if node_pattern, grow_nodes, keep_instance_index is valid
 
         # do some copy
         new_core = SubgraphCore(nodes=None)

src/SubgraphDetection/config.py

@@ -23,7 +23,7 @@ class Config:
     # The maximum node number of a subgraph, subgraph instance with more nodes will not be detected
     MAX_SUBGRAPH_NODE_NUMBER: int = 36
 
-    # Penalty terms are imposed on sub-sub-graph in zthresholds to avoid multiple level subgraphs
+    # Penalty terms are imposed on sub-sub-graph in thresholds to avoid multiple level subgraphs
     SUB_SUB_GRAPH_THRESHOLD_PENALTY: int = 2
 
     # Whether to check the result after finish calculation