English

Fully Polynomial-time Algorithms Parameterized by Vertex Integrity Using Fast Matrix Multiplication

Data Structures and Algorithms 2024-03-05 v1

Abstract

We study the computational complexity of several polynomial-time-solvable graph problems parameterized by vertex integrity, a measure of a graph's vulnerability to vertex removal in terms of connectivity. Vertex integrity is the smallest number ι\iota such that there is a set SS of ιι\iota' \le \iota vertices such that every connected component of GSG-S contains at most ιι\iota-\iota' vertices. It is known that the vertex integrity lies between the well-studied parameters vertex cover number and tree-depth. Alon and Yuster [ESA 2007] designed algorithms for graphs with small vertex cover number using fast matrix multiplications. We demonstrate that fast matrix multiplication can also be effectively used when parameterizing by vertex integrity ι\iota by developing efficient algorithms for problems including an O(ιω1n)O(\iota^{\omega-1}n)-time algorithm for computing the girth of a graph, randomized O(ιω1n)O(\iota^{\omega - 1}n)-time algorithms for Maximum Matching and for finding any induced four-vertex subgraph except for a clique or an independent set, and an O(ι(ω1)/2n2)O(ι0.687n2)O(\iota^{(\omega-1)/2}n^2) \subseteq O(\iota^{0.687} n^2)-time algorithm for All-Pairs Shortest Paths. These algorithms can be faster than previous algorithms parameterized by tree-depth, for which fast matrix multiplication is not known to be effective.

Keywords

Cite

@article{arxiv.2403.01839,
  title  = {Fully Polynomial-time Algorithms Parameterized by Vertex Integrity Using Fast Matrix Multiplication},
  author = {Matthias Bentert and Klaus Heeger and Tomohiro Koana},
  journal= {arXiv preprint arXiv:2403.01839},
  year   = {2024}
}
R2 v1 2026-06-28T15:08:04.799Z