Proof of a conjecture on isolation of graphs dominated by a vertex.
Peter BorgPublished in: CoRR (2024)
Keyphrases
- directed graph
- undirected graph
- attributed graphs
- labeled graphs
- hamiltonian cycle
- graph matching
- vertex set
- edge weights
- graph structures
- graph theoretic
- graph representation
- maximum cardinality
- connected subgraphs
- linear logic
- complex structures
- graph mining
- theorem prover
- data sets
- graph partitioning
- graph clustering
- random graphs
- minimum cost
- theorem proving
- natural deduction
- graph structure
- graph theory
- data structure
- neural network