Tatsuya Gima

activity

20202026

most citedExtended MSO Model Checking via Small Vertex Integrity

5 citations · 5 across the 15 of their papers we have counts for

collaborators

Showing math.COShow all

2 papers · 1 filter

math.CO2026

Treewidth of the $n \times n$ toroidal grid

Tatsuya Gima, Hiraku Morimoto, Yuto Okada +1

In this paper, we show that the treewidth of the $n \times n$ toroidal grid is $2 n - 1$ for all $n \geq 5$ . This closes the gap between the previously known upper bound of $2 n - 1$ (Ell…

math.CO2024

An improved spectral lower bound of treewidth

Tatsuya Gima, Tesshu Hanaka, Kohei Noro +2

We show that for every $n$ -vertex graph with at least one edge, its treewidth is greater than or equal to $n λ_{2} / (Δ + λ_{2}) - 1$ , where $Δ$ and $λ_{2}$ are the maximum degree a…

Treewidth of the n×n toroidal grid

An improved spectral lower bound of treewidth

Treewidth of the $n \times n$ toroidal grid