arXiv subjects

Amir Nikabadi

Publications and source records attributed to Amir Nikabadi.

11 recordsLinked to original sources

arXiv2026

A Dense Weisfeiler-Leman Algorithm for Deciding Bounded-Cliquewidth Homomorphism Indistinguishability

Two graphs $G$ and $H$ are homomorphism indistinguishable over a graph class $\mathcal{F}$ if they admit the same number of homomorphisms from every graph in $\mathcal{F}$. A wide range of relaxations of graph isomorphism arise this way: isomorphism itself over the class of all graphs [Lovász, Acta Math. Hung. 1967], equivalence under the $k$-dimensional Weisfeiler-Leman algorithm over the graphs of treewidth $\leq k$ [Dvořák, J. Graph Theory 2010], and quantum isomorphism over planar graphs [Mančinska-Roberson, FOCS 2020]. Since the class $\mathcal{F}$ is typically infinite, it is not clear a priori whether homomorphism indistinguishability over $\mathcal{F}$ is decidable; for planar graphs it is undecidable. Every class for which decidability was previously known is sparse. We give the first decidability results for dense graph classes: We introduce the dense Weisfeiler-Leman algorithm that decides homomorphism indistinguishability over the class of graphs of cliquewidth $\leq k$, the dense counterpart of treewidth. This relation was not previously known to be decidable. The algorithm colors $k$-tuples of vertex subsets rather than $k$-tuples of vertices. Beyond the class of all graphs of cliquewidth $\leq k$, we prove a general meta-theorem: homomorphism indistinguishability over every $\mathsf{CMSO}_1$-definable graph class of bounded cliquewidth is decidable, in randomized exponential time. For classes of bounded linear cliquewidth the bound improves to $\mathsf{PSPACE}$, and we show this is tight by exhibiting such a class for which the problem is $\mathsf{PSPACE}$-complete. These are the first general algorithms for homomorphism indistinguishability over dense graph classes.

cs.LO↗

arXiv2026

Induced packing treewidth

In this paper, we introduce a framework that aims to unify classes defined by forbidden induced subgraphs or induced minors with classes defined by the existence of certain structured tree decompositions. Let $\mathcal{H}$ be a fixed family of graphs. We define \emph{induced-$\mathcal{H}$-packing treewidth}, a tree-decomposition-based graph parameter that, for each bag, measures the maximum number of pairwise anticomplete induced copies of graphs from $\mathcal{H}$ intersecting that bag. This notion generalizes some previously studied parameters: when $\mathcal{H}=\{P_1\}$, it is equivalent to tree-independence number, and when $\mathcal{H}=\{P_2\}$, it is equivalent to induced matching treewidth. We show that bounded induced-$\mathcal{H}$-packing treewidth yields new algorithmic consequences for a range of choices of $\mathcal{H}$. In particular, we prove the following results for graphs of bounded induced-$\mathcal{H}$-packing treewidth. Our results partially answer and substantially extend a question of Bodlaender, Fomin, and Korhonen [SODA~2026] on the tractability of \textsc{MWIS} for graphs of bounded induced-$\mathcal{H}$-packing treewidth for $\mathcal{H}=\{P_3\}$ and for $\mathcal{H}$ equal to the family of all cycles.

math.CO↗

arXiv2026

Equitable coloring of large bipartite graphs

For a graph $G$, the \emph{equitable chromatic number} of $G$, denoted by $χ_e(G)$, is the smallest integer $k$ such that $G$ admits a proper $k$-coloring whose color classes differ in size by at most one. We prove that for every $ζ>41/2$, there exists a constant $c=c(ζ)\in\mathbb{N}$ such that every bipartite graph $G$ with maximum degree $Δ(G)\ge c$ and $|V(G)|\ge ζΔ(G)$ satisfies $χ_e(G)\le \left\lceilΔ(G)/2\right\rceil+1$. The leading term $Δ(G)/2$ in this bound is best possible for upper bounds stated solely in terms of $Δ(G)$ for bipartite graphs. Our proof yields an $O(|V(G)|^2)$-time algorithm for constructing such a coloring.

math.CO↗

arXiv2026

Counting equitable $k$-colorings in graphs of bounded clique-width

For a graph $G$, a proper $k$-coloring of $G$ is \emph{equitable} if the sizes of any two color classes differ by at most one. The \textsc{Equitable $k$-Coloring} problem asks, for a given graph $G$ and integer $k$, whether $G$ admits an equitable $k$-coloring. Bodlaender and Fomin showed that it is polynomial-time solvable on graphs of bounded treewidth, while it remains $\NP$-hard on cographs, and thus on graphs of constant clique-width. Fellows et al. showed that the problem becomes $\mathsf{W[1]}$-hard when parameterized by tree-width (and hence clique-width) plus the number of colors~$k$. We first show that, for every fixed $k$, counting equitable $k$-colorings is polynomial-time solvable on graph classes of bounded clique-width, given a clique-width expression. We then show that, under $\mathsf{SETH}$, the dependence on clique-width in this algorithm is essentially optimal. As a consequence, our results provide a fairly tight picture of the complexity of \textsc{Equitable $k$-Coloring} with respect to the combined parameter $k$+clique-width. Second, we refine our clique-width algorithm for the linear setting. We show that there exists an algorithm, given an integer $k\ge 1$ and an $n$-vertex graph $G$ together with a linear $w$-expression constructing $G$, computes the number of equitable $k$-colorings of $G$ in time $\max\{1,2^k-2\}^w\cdot n^{k+O(1)}$. Third, we consider a different structural restriction, namely the class of $P_t$-free graphs. A graph is called $P_t$-free if it does not contain the path on $t$ vertices as an induced subgraph. This is a different setting from bounded clique-width; in particular, already $P_5$-free graphs have unbounded clique-width. Nevertheless, we show that for every $P_t$-free graph $G$, the number of equitable list $3$-colorings of $G$ can be computed in subexponential time.

math.CO↗

arXiv2026

Clique-width and induced topological minors

A $P_4$ is a chordless path on four vertices. A diamond is a graph obtained from a clique of size four by removing one edge of the clique. A paw is a graph obtained from a clique of size four by removing two adjacent edges of the clique. We prove that for a graph $H$, the class of graphs with no induced subdivision of $H$ has bounded clique-width if and only if $H$ is an induced subgraph of $P_4$, the paw, or the diamond. This answers a~question of Dabrowski, Johnson, and Paulusma.

cs.DM↗

arXiv2026

The Gallai Vertex Problem is $Θ_2^p$-Complete

When a graph $G$ admits a vertex $v$ that is contained in all its longest paths, we call $v$ a Gallai vertex. These are named after Gallai, who in 1966 asked the question if it is true that every connected graph contains such a vertex. This was soon answered in the negative by Walther and Zamfirescu, who presented a graph in which every vertex is omitted by some longest path of the graph. In spite of its long history, the Gallai Vertex Problem, i.e. determining whether a graph has a Gallai vertex, was until now neither known to be NP- nor co-NP-hard. In this work, we show something much stronger, as we completely settle the computational complexity of determining whether a graph has a Gallai vertex: we show that it is complete for the complexity class $Θ_2^p = \text{P}^{\text{NP}[\log n]}$. This class, also known as parallel access to NP, is a complexity class larger than NP situated just below the class $Σ^p_2$ in Stockmeyer's polynomial hierarchy. In more generality, the longest path transversal number of a connected graph is the minimum size of a set of vertices that intersects all its longest paths. I.e. if the graph has a Gallai vertex, its longest path transversal number is $1$. Thus, as a consequence of our theorem, the longest path transversal number of a graph cannot be approximated in polynomial time by a factor better than 2, unless $\text{P} = \text{NP}$. In fact, using related techniques, we show a strengthening of this result: For any constant $C$, if there is a graph with longest path transversal number $C$, then there is no polynomial time algorithm for approximating the longest path transversal number by a factor better than $C$, unless $\text{P} = \text{NP}$. In particular, this excludes approximation by a factor below $3$. Similar results hold for the longest cycle transversal.

cs.DM↗

arXiv2025

Hitting all longest paths in $H$-free graphs and $H$-graphs

The \textit{longest path transversal number} of a connected graph $G$, denoted by $lpt(G)$, is the minimum size of a set of vertices of $G$ that intersects all longest paths in $G$. We present constant upper bounds for the longest path transversal number of \textit{hereditary classes of graphs}, that is, classes of graphs closed under taking induced subgraphs. Our first main result is a structural theorem that allows us to \textit{refine} a given longest path transversal in a graph using domination properties. This has several consequences: First, it implies that for every $t \in \{5,6\}$, every connected $P_t$-free graph $G$ satisfies $lpt(G) \leq t-2$. Second, it shows that every $(\textit{bull}, \textit{chair})$-free graph $G$ satisfies $lpt(G) \leq 5$. Third, it implies that for every $t \in \mathbb{N}$, every connected chordal graph $G$ with no induced subgraph isomorphic to $K_t \mat \overline{K_t}$ satisfies $lpt(G) \leq t-1$, where $K_t \mat \overline{K_t}$ is the graph obtained from a $t$-clique and an independent set of size $t$ by adding a perfect matching between them. Our second main result provides an upper bound for the longest path transversal number in \textit{$H$-intersection graphs}. For a given graph $H$, a graph $G$ is called an \textit{$H$-graph} if there exists a subdivision $H'$ of $H$ such that $G$ is the intersection graph of a family of vertex subsets of $H'$ that each induce connected subgraphs. The concept of $H$-graphs, introduced by Biró, Hujter, and Tuza, naturally captures interval graphs, circular-arc graphs, and chordal graphs, among others. Our result shows that for every connected graph $H$ with at least two vertices, there exists an integer $k = k(H)$ such that every connected $H$-graph $G$ satisfies $lpt(G) \leq k$.

math.CO↗

arXiv2025

Maximum list $r$-colorable induced subgraphs in $kP_3$-free graphs

We show that, for every fixed positive integers $r$ and $k$, \textsc{Max-Weight List $r$-Colorable Induced Subgraph} admits a polynomial-time algorithm on $kP_3$-free graphs. This problem is a common generalization of \textsc{Max-Weight Independent Set}, \textsc{Odd Cycle Transversal} and \textsc{List $r$-Coloring}, among others. Our result has several consequences. First, it implies that, for every fixed $r \geq 5$, assuming $\mathsf{P}\neq \mathsf{NP}$, \textsc{Max-Weight List $r$-Colorable Induced Subgraph} is polynomial-time solvable on $H$-free graphs if and only if $H$ is an induced subgraph of either $kP_3$ or $P_5+kP_1$, for some $k \geq 1$. Second, it makes considerable progress toward a complexity dichotomy for \textsc{Odd Cycle Transversal} on $H$-free graphs, allowing to answer a question of Agrawal, Lima, Lokshtanov, Rz{ą}{ż}ewski, Saurabh, and Sharma [TALG 2024]. Third, it gives a short and self-contained proof of the known result of Chudnovsky, Hajebi, and Spirkl [Combinatorica 2024] that \textsc{List $r$-Coloring} on $kP_3$-free graphs is polynomial-time solvable for every fixed $r$ and $k$. We also consider two natural distance-$d$ generalizations of \textsc{Max-Weight Independent Set} and \textsc{List $r$-Coloring} and provide polynomial-time algorithms on $kP_3$-free graphs for every fixed integers $r$, $k$, and $d \geq 6$.

math.CO↗

arXiv2024

Non-empty intersection of longest paths in $P_5$-free and claw-free graphs

A family $\mathcal{F}$ of graphs is a \textit{Gallai family} if for every connected graph $G\in \mathcal{F}$, all longest paths in $G$ have a common vertex. While it is not known whether $P_5$-free graphs are a Gallai family, Long Jr., Milans, and Munaro [The Electronic Journal of Combinatorics, 2023] showed that this is \emph{not} the case for the class of claw-free graphs. We give a complete characterization of the graphs $H$ of size at most five for which $(\text{claw}, H)$-free graphs form a Gallai family. We also show that $(P_5, H)$-free graphs form a Gallai family if $H$ is a triangle, a paw, or a diamond. Both of our results are constructive.

math.CO↗

arXiv2023

On the Parameterized Complexity of Sparsest Cut and Small-set Expansion Problems

We present a parameterized dichotomy for the \textsc{$k$-Sparsest Cut} problem in weighted and unweighted versions. In particular, we show that the weighted \textsc{$k$-Sparsest Cut} problem is NP-hard for every $k\geq 3$ even on graphs with bounded vertex cover number. Also, the unweighted \textsc{$k$-Sparsest Cut} problem is W[1]-hard when parameterized by the three combined parameters tree-depth, feedback vertex set number, and $k$. On the positive side, we show that unweighted \textsc{$k$-Sparsest Cut} problem is FPT when parameterized by the vertex cover number and $k$, and when $k$ is fixed, it is FPT with respect to the treewidth. Moreover, we show that the generalized version \textsc{$k$-Small-Set Expansion} problem is FPT when parameterized by $k$ and the maximum degree of the graph, though it is W[1]-hard for each of these parameters separately.

cs.CC↗

arXiv2021

Beyond Distributed Subgraph Detection: Induced Subgraphs, Multicolored Problems and Graph Parameters

Subgraph detection has recently been one of the most studied problems in the CONGEST model of distributed computing. In this work, we study the distributed complexity of problems closely related to subgraph detection, mainly focusing on induced subgraph detection. The main line of this work presents lower bounds and parameterized algorithms w.r.t structural parameters of the input graph: -- On general graphs, we give unconditional lower bounds for induced detection of cycles and patterns of treewidth 2 in CONGEST. Moreover, by adapting reductions from centralized parameterized complexity, we prove lower bounds in CONGEST for detecting patterns with a 4-clique, and for induced path detection conditional on the hardness of triangle detection in the congested clique. -- On graphs of bounded degeneracy, we show that induced paths can be detected fast in CONGEST using techniques from parameterized algorithms, while detecting cycles and patterns of treewidth 2 is hard. -- On graphs of bounded vertex cover number, we show that induced subgraph detection is easy in CONGEST for any pattern graph. More specifically, we adapt a centralized parameterized algorithm for a more general maximum common induced subgraph detection problem to the distributed setting. In addition to these induced subgraph detection results, we study various related problems in the CONGEST and congested clique models, including for multicolored versions of subgraph-detection-like problems.

cs.DC↗