Table of Contents
Fetching ...

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

Matthias Bentert, Klaus Heeger, Tomohiro Koana

TL;DR

It is demonstrated that fast matrix multiplication can also be effectively used when parameterizing by vertex integrity $\iota$ by developing efficient algorithms for problems including an $O(\iota^{\omega-1}n)$-time algorithm for computing the girth of a graph.

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 $ι$ such that there is a set $S$ of $ι' \le ι$ vertices such that every connected component of $G-S$ contains at most $ι-ι'$ 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 $ι$ by developing efficient algorithms for problems including an $O(ι^{ω-1}n)$-time algorithm for computing the girth of a graph, randomized $O(ι^{ω- 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)/2}n^2) \subseteq O(ι^{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.

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

TL;DR

It is demonstrated that fast matrix multiplication can also be effectively used when parameterizing by vertex integrity by developing efficient algorithms for problems including an -time algorithm for computing the girth of a graph.

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 such that there is a set of vertices such that every connected component of contains at most 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 by developing efficient algorithms for problems including an -time algorithm for computing the girth of a graph, randomized -time algorithms for Maximum Matching and for finding any induced four-vertex subgraph except for a clique or an independent set, and an -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.
Paper Structure (11 sections, 28 theorems, 22 equations, 1 algorithm)

This paper contains 11 sections, 28 theorems, 22 equations, 1 algorithm.

Key Result

Lemma 1

For a skew-symmetric matrix $A$, we have $\det A = \mathop{\mathrm{pf}}\nolimits(A)^2$.

Theorems & Definitions (43)

  • Lemma 1
  • Lemma 2
  • Lemma 3: row expansion
  • Lemma 4: DBLP:journals/siamdm/YusterZ97
  • Proposition 1
  • proof
  • Proposition 2
  • proof
  • Proposition 3
  • proof
  • ...and 33 more