arXiv subjects

Pierre Hoppenot

Publications and source records attributed to Pierre Hoppenot.

6 recordsLinked to original sources

arXiv2025

Determining a graph from its reconfiguration graph

Given a graph $G$ and a natural number $k$, the $k$-recolouring graph $\mathcal{C}_k(G)$ is the graph whose vertices are the $k$-colourings of $G$ and whose edges link pairs of colourings which differ at exactly one vertex of $G$. Recently, Hogan et al. proved that $G$ can be determined from $\mathcal{C}_k(G)$ provided $k$ is large enough (quadratic in the number of vertices of $G$). We improve this bound by showing that $k=\chi(G)+1$ colours suffice, and provide examples of families of graphs for which $k=\chi(G)$ colours do not suffice. We then extend this result to $k$-Kempe-recolouring graphs, whose vertices are again the $k$-colourings of a graph $G$ and whose edges link pairs of colourings which differ by swapping the two colours in a connected component of the subgraph induced by selecting those two colours. We show that $k=\chi(G)+2$ colours suffice to determine $G$ in this case. Finally, we investigate the case of independent set reconfiguration, proving that in only a few trivial cases is one guaranteed to be able to determine a graph $G$.

math.CO↗

arXiv2024

On arborescence packing augmentation in hypergraphs

We deepen the link between two classic areas of combinatorial optimization: augmentation and packing arborescences. We consider the following type of questions: What is the minimum number of arcs to be added to a digraph so that in the resulting digraph there exists some special kind of packing of arborescences? We answer this question for two problems: $h$-regular \textsf{M}-independent-rooted $(f,g)$-bounded $(\alpha, \beta)$-limited packing of mixed hyperarborescences and $h$-regular $(\ell, \ell')$-bordered $(\alpha, \beta)$-limited packing of $k$ hyperbranchings. We also solve the undirected counterpart of the latter, that is the augmentation problem for $h$-regular $(\ell, \ell')$-bordered $(\alpha, \beta)$-limited packing of $k$ rooted hyperforests. Our results provide a common generalization of a great number of previous results.

math.CO↗

arXiv2024

Augmenting a hypergraph to have a matroid-based $(f,g)$-bounded $(\alpha,\beta)$-limited packing of rooted hypertrees

The aim of this paper is to further develop the theory of packing trees in a graph. We first prove the classic result of Nash-Williams \cite{NW} and Tutte \cite{Tu} on packing spanning trees by adapting Lov\'asz' proof \cite{Lov} of the seminal result of Edmonds \cite{Egy} on packing spanning arborescences in a digraph. Our main result on graphs extends the theorem of Katoh and Tanigawa \cite{KT} on matroid-based packing of rooted trees by characterizing the existence of such a packing satisfying the following further conditions: for every vertex $v$, there are a lower bound $f(v)$ and an upper bound $g(v)$ on the number of trees rooted at $v$ and there are a lower bound $\alpha$ and an upper bound $\beta$ on the total number of roots. We also answer the hypergraphic version of the problem. Furthermore, we are able to solve the augmentation version of the latter problem, where the goal is to add a minimum number of edges to have such a packing. The methods developed in this paper to solve these problems may have other applications in the future.

math.CO↗

arXiv2023

Regular packing of rooted hyperforests with root constraints in hypergraphs

The seminal papers of Edmonds \cite{Egy}, Nash-Williams \cite{NW} and Tutte \cite{Tu} have laid the foundations of the theories of packing arborescences and packing trees. The directed version has been extensively investigated, resulting in a great number of generalizations. In contrast, the undirected version has been marginally considered. The aim of this paper is to further develop the theories of packing trees and forests. Our main result on graphs characterizes the existence of a packing of $k$ forests, $F_1, \ldots, F_k$, in a graph $G$ such that each vertex of $G$ belongs to exactly $h$ of the forests, and in addition, each $F_i$ has between $\ell(i)$ and $\ell'(i)$ connected components and the total number of connected components in the packing is between $\alpha$ and $\beta$. Finally, we extend this result to hypergraphs and dypergraphs, the latter giving a generalization of a theorem of B\'erczi and Frank \cite{BF3}.

math.CO↗

arXiv2023

On reversing arcs to improve arc-connectivity

We show that if the arc-connectivity of a directed graph $D$ is at most $\lfloor\frac{k+1}{2}\rfloor$ and the reorientation of an arc set $F$ in $D$ results in a $k$-arc-connected directed graph then we can reorient one arc of $F$ without decreasing the arc-connectivity of $D.$ This improves a result of Fukuda, Prodon, Sakuma and one of Ito et al. for $k\in\{2,3\}$.

math.CO↗

arXiv2022

Arc-consistency with linear programming reduced costs (applied to stable set in chordal graphs)

A well known technique to reduce the search space in integer programming is known as variable fixing or reduced cost strengthening. The reduced costs given by an optimal dual solution of the linear relaxation can be used to strengthen the bounds of the variables but this filtering is incomplete. We show how reduced costs can be used to achieve Arc-Consistency (AC), i.e a complete filtering, of a global constraint with a cost variable and an assignment cost for each value. We assume that an ideal Integer Linear Programming (ILP) formulation is available i.e the convex hull of the characteristic vectors of the supports is known. A detailed analysis of reduced cost based filtering is proposed. We characterize arc-consistency based on complementary slackness i.e completeness of reasoning as opposed to only optimality. We also give a simple sufficient condition allowing a set of dual solutions to ensure arc-consistency through reduced costs. In practice, when the constraint has a such an ideal ILP, n dual solutions are always enough to achieve AC (where n is the number of variables of the global constraint). It extends the work presented in (German et al., 2017) for satisfaction problems and in (Claus et al., 2020) for the specific case of the minimum weighted alldifferent constraint. Our analysis is illustrated on constraints related to the assignment and shortest path problem and also demonstrated on the weighted stable set problem in chordal graphs. A novel AC algorithm is proposed in this latter case based on reduced costs.

math.OC↗