-
公开(公告)号:US12287783B1
公开(公告)日:2025-04-29
申请号:US18808240
申请日:2024-08-19
Applicant: SAS Institute Inc.
Inventor: Brandon Michael Reese , Steven Harenberg
IPC: G06F16/00 , G06F16/22 , G06F16/2452 , G06F16/248
Abstract: A system and method include breaking symmetry in a query graph by converting the query graph into a transformed query graph by generating a symmetry breaking expression that includes detecting one or more orbits in the transformed query graph, selecting an orbit from the one or more orbits having more than one node, generating an automorphism breaking sub-expression for the selected orbit, assigning a node of the selected orbit a unique node attribute, recalculating the one or more orbits in the transformed query graph, repeating the process until each node is in its own orbit, and combining each of the automorphism breaking sub-expressions to obtain the symmetry breaking expression. Using the symmetry breaking expression, the system and method include finding one or more subgraphs of a main graph that match the symmetry breaking expression of the query graph.