A Faster Algorithm for Independent Cut
Authors:
Vsevolod Chernyshev,
Johannes Rauch,
Dieter Rautenbach,
Liliia Redina
Abstract:
The previously fastest algorithm for deciding the existence of an independent cut had a runtime of $\mathcal{O}^*(1.4423^n)$, where $n$ is the order of the input graph. We improve this to $\mathcal{O}^*(1.4143^n)$. In fact, we prove a runtime of $\mathcal{O}^*\left( 2^{(\frac{1}{2}-α_Δ)n} \right)$ on graphs of order $n$ and maximum degree at most $Δ$, where…
▽ More
The previously fastest algorithm for deciding the existence of an independent cut had a runtime of $\mathcal{O}^*(1.4423^n)$, where $n$ is the order of the input graph. We improve this to $\mathcal{O}^*(1.4143^n)$. In fact, we prove a runtime of $\mathcal{O}^*\left( 2^{(\frac{1}{2}-α_Δ)n} \right)$ on graphs of order $n$ and maximum degree at most $Δ$, where $α_Δ=\frac{1}{2+4\lfloor \fracΔ{2} \rfloor}$. Furthermore, we show that the problem is fixed-parameter tractable on graphs of order $n$ and minimum degree at least $βn$ for some $β> \frac{1}{2}$, where $β$ is the parameter.
△ Less
Submitted 21 May, 2025;
originally announced May 2025.
The Canadian Traveller Problem on outerplanar graphs
Authors:
Laurent Beaudou,
Pierre Bergé,
Vsevolod Chernyshev,
Antoine Dailly,
Yan Gerard,
Aurélie Lagoutte,
Vincent Limouzy,
Lucas Pastor
Abstract:
We study the $k$-Canadian Traveller Problem, where a weighted graph $G=(V,E,ω)$ with a source $s\in V$ and a target $t\in V$ are given. This problem also has a hidden input $E_* \subsetneq E$ of cardinality at most $k$ representing blocked edges. The objective is to travel from $s$ to $t$ with the minimum distance. At the beginning of the walk, the blockages $E_*$ are unknown: the traveller discov…
▽ More
We study the $k$-Canadian Traveller Problem, where a weighted graph $G=(V,E,ω)$ with a source $s\in V$ and a target $t\in V$ are given. This problem also has a hidden input $E_* \subsetneq E$ of cardinality at most $k$ representing blocked edges. The objective is to travel from $s$ to $t$ with the minimum distance. At the beginning of the walk, the blockages $E_*$ are unknown: the traveller discovers that an edge is blocked when visiting one of its endpoints. Online algorithms, also called strategies, have been proposed for this problem and assessed with the competitive ratio, {\em i.e.}, the ratio between the distance actually traversed by the traveller divided by the distance he would have traversed knowing the blockages in advance.
Even though the optimal competitive ratio is $2k+1$ even on unit-weighted planar graphs of treewidth 2, we design a polynomial-time strategy achieving competitive ratio 9 on unit-weighted outerplanar graphs. This value 9 also stands as a lower bound for this family of graphs as we prove that, for any $\varepsilon > 0$, no strategy can achieve a competitive ratio $9-\varepsilon$ on it. This comes actually from a strong connexion with another well-known online problem called the cow-path problem.
Finally, we show that it is not possible to achieve a competitive ratio $e^{W(\frac{\ln k}{2})} - 1$ on arbitrarily weighted outerplanar graphs, where $W$ is the Lambert W function. This lower bound is asymptotically greater than $\frac{\ln k}{\ln \ln k}$.
△ Less
Submitted 13 February, 2025; v1 submitted 4 March, 2024;
originally announced March 2024.
