Abstract:Hypergraphs are generalisation of graphs in which a hyperedge can connect any number of vertices. It can describe n-ary relationships and high-order information among entities compared to conventional graphs. In this paper, we study the fundamental problem of subgraph matching on hypergraphs (i.e, subhypergraph matching). Existing methods directly extend subgraph matching algorithms to the case of hypergraphs. However, this approach delays hyperedge verification and underutilises the high-order information in hypergraphs, which leads to large search space and high enumeration cost. Furthermore, with the growing size of hypergraphs, it is becoming hard to compute subhypergraph matching sequentially. Thus, we propose an efficient and parallel subhypergraph matching system, HGMatch, to handle subhypergraph matching in massive hypergraphs. We proposes a novel match-by-hyperedge framework to utilise high-order information in hypergraphs and uses set operations for efficient candidates generation. Moreover, we develop an optimised parallel execution engine in HGMatch based on the dataflow model, which features a task-based scheduler and fine-grained dynamic work stealing to achieve bounded memory execution and better load balancing. Experimental evaluation on 10 real-world datasets shows that HGMatch outperforms the extended version of the state-of-the-art subgraph matching algorithms (CFL, DAF, CECI and RapidMatch) by orders of magnitude when using a single thread, and achieves almost linear scalability when the number of threads increases.

Matching Extendability of Balanced Hypercubes

Extending a perfect matching to a Hamiltonian cycle

Small matchings extend to Hamiltonian cycles in hypercubes with disjoint faulty edges

A note on online hypercube packing

Matchings in the hypercube with specified edges

Matchings of quadratic size extend to long cycles in hypercubes

Binding Number, Toughness and General Matching Extendability in Graphs

Uniquely Restricted Matching Extendable Graphs

Novel Schemes for Embedding Hamiltonian Paths and Cycles in Balanced Hypercubes with Exponential Faulty Edges

Matchings in hypercubes extend to long cycles

Reliability of m -ary n -dimensional hypercubes under embedded restriction

A concentration phenomenon for $h$-extra edge-connectivity reliability analysis of enhanced hypercubes Q_{n,2} with exponentially many faulty links

Integer k-matching preclusion of some interconnection networks

HGMatch: A Match-by-Hyperedge Approach for Subgraph Matching on Hypergraphs

Matchings in multipartite hypergraphs

Extending Stable and Popular Matching Algorithms from Bipartite to Arbitrary Instances

Conflict-free Hypergraph Matchings and Coverings

Matching extension and matching exclusion via the size or the spectral radius of graphs

Balanced allocation on hypergraphs

Engineering Hypergraph $b$-Matching Algorithms

Finding Perfect Matchings in Bipartite Hypergraphs