arXiv++ Combinatorics

We study the partial search order problem (PSOP) proposed recently by Scheffler [WG 2022]. Given a graph $G$ together with a partial order over the set of vertices of $G$, this problem determines if there is an $\mathcal{S}$-ordering that is consistent with the given partial order, where $\mathcal{S}$ is a graph search paradigm like BFS, DFS, etc. This problem naturally generalizes the end-vertex problem which has received much attention over the past few years. It also generalizes the so-called ${\mathcal{F}}$-tree recognition problem which has just been studied in the literature recently. Our main contribution is a polynomial-time dynamic programming algorithm for the PSOP of the maximum cardinality search (MCS) restricted to chordal graphs. This resolves one of the most intriguing open questions left in the work of Scheffler [WG 2022]. To obtain our result, we propose the notion of layer structure and study numerous related structural properties which might be of independent interest.

In 1990, Hendry conjectured that all Hamiltonian chordal graphs are cycle extendable. After a series of papers confirming the conjecture for a number of graph classes, the conjecture is yet refuted by Lafond and Seamone in 2015. Given that their counterexamples are not strongly chordal graphs and they are all only $2$-connected, Lafond and Seamone asked the following two questions: (1) Are Hamiltonian strongly chordal graphs cycle extendable? (2) Is there an integer $k$ such that all $k$-connected Hamiltonian chordal graphs are cycle extendable? Later, a conjecture stronger than Hendry's is proposed. In this paper, we resolve all these questions in the negative. On the positive side, we add to the list of cycle extendable graphs two more graph classes, namely, Hamiltonian $4$-\textsc{fan}-free chordal graphs where every induced $K_5 - e$ has true twins, and Hamiltonian $\{4\textsc{-fan}, \overline{A} \}$-free chordal graphs.

We study some problems pertaining to the tournament equilibrium set (TEQ for short). A tournament $H$ is a TEQ-retentive tournament if there is a tournament $T$ which has a minimal TEQ-retentive set $R$ such that $T[R]$ is isomorphic to $H$. We study TEQ-retentive tournaments and achieve many significant results. In particular, we prove that there are no TEQ-retentive tournaments of size 4, only 2 non-isomorphic TEQ-retentive tournaments of sizes 5 and 6, respectively, and 26 non-isomorphic TEQ-retentive tournaments of size 7. For three tournaments $H_1, H_2$ and $T$, we say $T$ is a $(H_1,H_2)$-TEQ-retentive tournament if $T$ has two minimal TEQ-retentive sets $R_1$ and $R_2$ such that $T[R_1]$ and $T[R_2]$ are isomorphic to $H_1$ and $H_2$, respectively. We show that there are no $(H_1,H_2)$-retentive tournaments for $H_1$ and $H_2$ being small tournaments. Our results imply that Schwartz's Conjecture holds in all tournaments of size at most 14. Finally, we study Schwartz's Conjecture in several classes of tournaments. To achieve these results, we study the relation between (directed) domination graphs of tournaments and TEQ-retentive sets, and derive a number of properties on minimal TEQ-retentive sets.

We investigate the parameterized complexity of strategic behaviors in generalized scoring rules. In particular, we prove that the manipulation, control (all the 22 standard types), and bribery problems are fixed-parameter tractable for most of the generalized scoring rules, with respect to the number of candidates. Our results imply that all these strategic voting problems are fixed-parameter tractable for most of the common voting rules, such as Plurality, r-Approval, Borda, Copeland, Maximin, Bucklin, etc., with respect to the number of candidates.