New Graph and Hypergraph Container Lemmas with Applications in Property Testing.
Eric BlaisCameron SethPublished in: CoRR (2024)
Keyphrases
- hypergraph model
- graph properties
- vertex set
- graph representation
- graph structure
- higher order
- graph theory
- pairwise
- random walk
- adjacency matrix
- global consistency
- bipartite graph
- data sets
- weighted graph
- graph theoretic
- stable set
- test cases
- graph based algorithm
- dependency graph
- structured data
- desirable properties
- packing problem
- graph partitioning
- graph mining
- theorem proving
- theorem prover
- connected components
- directed graph