-
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.
-
Can autonomy make bicycle-sharing systems more sustainable? Environmental impact analysis of an emerging mobility technology
Authors:
Naroa Coretti Sanchez,
Luis Alonso Pastor,
Kent Larson
Abstract:
Autonomous bicycles have recently been proposed as a new and more efficient approach to bicycle-sharing systems (BSS), but the corresponding environmental implications remain unresearched. Conducting environmental impact assessments at an early technological stage is critical to influencing the design and, ultimately, environmental impacts of a system. Consequently, this paper aims to assess the e…
▽ More
Autonomous bicycles have recently been proposed as a new and more efficient approach to bicycle-sharing systems (BSS), but the corresponding environmental implications remain unresearched. Conducting environmental impact assessments at an early technological stage is critical to influencing the design and, ultimately, environmental impacts of a system. Consequently, this paper aims to assess the environmental impact of autonomous shared bikes compared with current station-based and dockless systems under different sets of modeling hypotheses and mode-shift scenarios. The results indicate that autonomy could reduce the environmental impact per passenger kilometer traveled of current station-based and dockless BSS by 33.1 % and 58.0 %. The sensitivity analysis shows that the environmental impact of autonomous shared bicycles will mainly depend on vehicle usage rates and the need for infrastructure. Finally, this study highlights the importance of targeting the mode replacement from more polluting modes, especially as traditional mobility modes decarbonize and become more efficient.
△ Less
Submitted 24 February, 2022;
originally announced February 2022.
-
Connected greedy colourings of perfect graphs and other classes: the good, the bad and the ugly
Authors:
Laurent Beaudou,
Caroline Brosse,
Oscar Defrain,
Florent Foucaud,
Aurélie Lagoutte,
Vincent Limouzy,
Lucas Pastor
Abstract:
The Grundy number of a graph is the maximum number of colours used by the "First-Fit" greedy colouring algorithm over all vertex orderings. Given a vertex ordering $σ= v_1,\dots,v_n$, the "First-Fit" greedy colouring algorithm colours the vertices in the order of $σ$ by assigning to each vertex the smallest colour unused in its neighbourhood.
By restricting this procedure to vertex orderings tha…
▽ More
The Grundy number of a graph is the maximum number of colours used by the "First-Fit" greedy colouring algorithm over all vertex orderings. Given a vertex ordering $σ= v_1,\dots,v_n$, the "First-Fit" greedy colouring algorithm colours the vertices in the order of $σ$ by assigning to each vertex the smallest colour unused in its neighbourhood.
By restricting this procedure to vertex orderings that are connected, we obtain {\em connected greedy colourings}. For some graphs, all connected greedy colourings use exactly $χ(G)$ colours; they are called {\em good graphs}. On the opposite, some graphs do not admit any connected greedy colouring using only $χ(G)$ colours; they are called {\em ugly graphs}.
We show that no perfect graph is ugly. We also give simple proofs of this fact for subclasses of perfect graphs (block graphs, comparability graphs), and show that no $K_4$-minor free graph is ugly.
Moreover, our proofs are constructive, and imply the existence of polynomial-time algorithms to compute good connected orderings for these graph classes.
△ Less
Submitted 25 March, 2024; v1 submitted 26 October, 2021;
originally announced October 2021.
-
Simulation study on the fleet performance of shared autonomous bicycles
Authors:
Naroa Coretti Sánchez,
Iñigo Martinez,
Luis Alonso Pastor,
Kent Larson
Abstract:
Rethinking cities is now more imperative than ever, as society faces global challenges such as population growth and climate change. The design of cities can not be abstracted from the design of its mobility system, and, therefore, efficient solutions must be found to transport people and goods throughout the city in an ecological way. An autonomous bicycle-sharing system would combine the most re…
▽ More
Rethinking cities is now more imperative than ever, as society faces global challenges such as population growth and climate change. The design of cities can not be abstracted from the design of its mobility system, and, therefore, efficient solutions must be found to transport people and goods throughout the city in an ecological way. An autonomous bicycle-sharing system would combine the most relevant benefits of vehicle sharing, electrification, autonomy, and micro-mobility, increasing the efficiency and convenience of bicycle-sharing systems and incentivizing more people to bike and enjoy their cities in an environmentally friendly way. Due to the uniqueness and radical novelty of introducing autonomous driving technology into bicycle-sharing systems and the inherent complexity of these systems, there is a need to quantify the potential impact of autonomy on fleet performance and user experience. This paper presents an ad-hoc agent-based simulator that provides an in-depth understanding of the fleet behavior of autonomous bicycle-sharing systems in realistic scenarios, including a rebalancing system based on demand prediction. In addition, this work describes the impact of different parameters on system efficiency and service quality and quantifies the extent to which an autonomous system would outperform current bicycle-sharing schemes. The obtained results show that with a fleet size three and a half times smaller than a station-based system and eight times smaller than a dockless system, an autonomous system can provide overall improved performance and user experience even with no rebalancing. These findings indicate that the remarkable efficiency of an autonomous bicycle-sharing system could compensate for the additional cost of autonomous bicycles.
△ Less
Submitted 21 June, 2021; v1 submitted 17 June, 2021;
originally announced June 2021.
-
Future urban mobility as a bio-inspired collaborative system of multi-functional autonomous vehicles
Authors:
Naroa Coretti Sánchez,
Juan Múgica González,
Luis Alonso Pastor,
Kent Larson
Abstract:
The fast urbanization and climate change challenges require solutions that enable the efficient movement of people and goods in cities. We envision future cities to be composed of high-performing walkable districts where transportation needs could be served by fleets of ultra-lightweight shared and autonomous vehicles. A future in which most vehicles would be autonomous creates a new paradigm for…
▽ More
The fast urbanization and climate change challenges require solutions that enable the efficient movement of people and goods in cities. We envision future cities to be composed of high-performing walkable districts where transportation needs could be served by fleets of ultra-lightweight shared and autonomous vehicles. A future in which most vehicles would be autonomous creates a new paradigm for the possible interactions between vehicles. Natural swarms are a great example of how rich interactions can be; they can divide tasks, cluster, build together, or transport cooperatively. The field of swarm robotics has translated some of the behaviors from natural swarms to artificial systems, proving to make systems more flexible, scalable, and robust. Inspired by nature and supported by swarm robotics, this paper proposes a future mobility in which shared, electric, and autonomous vehicles would be multi-functional and behave as a collaborative system. In this future, fleets of multi-functional vehicles would complete different tasks collaboratively, giving a response to the different urban mobility needs. This paper contributes with the proposal of a framework for future urban mobility that integrates current research and mobility trends in a novel and unique way.
△ Less
Submitted 24 February, 2022; v1 submitted 15 June, 2021;
originally announced June 2021.
-
Efficient enumeration of maximal split subgraphs and induced sub-cographs and related classes
Authors:
Caroline Brosse,
Aurélie Lagoutte,
Vincent Limouzy,
Arnaud Mary,
Lucas Pastor
Abstract:
In this paper, we are interested in algorithms that take in input an arbitrary graph $G$, and that enumerate in output all the (inclusion-wise) maximal "subgraphs" of $G$ which fulfil a given property $Π$. All over this paper, we study several different properties $Π$, and the notion of subgraph under consideration (induced or not) will vary from a result to another.
More precisely, we present e…
▽ More
In this paper, we are interested in algorithms that take in input an arbitrary graph $G$, and that enumerate in output all the (inclusion-wise) maximal "subgraphs" of $G$ which fulfil a given property $Π$. All over this paper, we study several different properties $Π$, and the notion of subgraph under consideration (induced or not) will vary from a result to another.
More precisely, we present efficient algorithms to list all maximal split subgraphs, sub-cographs and some subclasses of cographs of a given input graph. All the algorithms presented here run in polynomial delay, and moreover for split graphs it only requires polynomial space. In order to develop an algorithm for maximal split (edge-)subgraphs, we establish a bijection between the maximal split subgraphs and the maximal independent sets of an auxiliary graph. For cographs and some subclasses , the algorithms rely on a framework recently introduced by Conte & Uno called Proximity Search. Finally we consider the extension problem, which consists in deciding if there exists a maximal induced subgraph satisfying a property $Π$ that contains a set of prescribed vertices and that avoids another set of vertices. We show that this problem is NP-complete for every "interesting" hereditary property $Π$. We extend the hardness result to some specific edge version of the extension problem.
△ Less
Submitted 8 March, 2023; v1 submitted 2 July, 2020;
originally announced July 2020.
-
Urban Swarms: A new approach for autonomous waste management
Authors:
Antonio Luca Alfeo,
Eduardo Castelló Ferrer,
Yago Lizarribar Carrillo,
Arnaud Grignard,
Luis Alonso Pastor,
Dylan T. Sleeper,
Mario G. C. A. Cimino,
Bruno Lepri,
Gigliola Vaglini,
Kent Larson,
Marco Dorigo,
Alex `Sandy' Pentland
Abstract:
Modern cities are growing ecosystems that face new challenges due to the increasing population demands. One of the many problems they face nowadays is waste management, which has become a pressing issue requiring new solutions. Swarm robotics systems have been attracting an increasing amount of attention in the past years and they are expected to become one of the main driving factors for innovati…
▽ More
Modern cities are growing ecosystems that face new challenges due to the increasing population demands. One of the many problems they face nowadays is waste management, which has become a pressing issue requiring new solutions. Swarm robotics systems have been attracting an increasing amount of attention in the past years and they are expected to become one of the main driving factors for innovation in the field of robotics. The research presented in this paper explores the feasibility of a swarm robotics system in an urban environment. By using bio-inspired foraging methods such as multi-place foraging and stigmergy-based navigation, a swarm of robots is able to improve the efficiency and autonomy of the urban waste management system in a realistic scenario. To achieve this, a diverse set of simulation experiments was conducted using real-world GIS data and implementing different garbage collection scenarios driven by robot swarms. Results presented in this research show that the proposed system outperforms current approaches. Moreover, results not only show the efficiency of our solution, but also give insights about how to design and customize these systems.
△ Less
Submitted 1 March, 2019; v1 submitted 18 October, 2018;
originally announced October 2018.
-
Polynomial Cases for the Vertex Coloring Problem
Authors:
T. Karthick,
Frédéric Maffray,
Lucas Pastor
Abstract:
The computational complexity of the Vertex Coloring problem is known for all hereditary classes of graphs defined by forbidding two connected five-vertex induced subgraphs, except for seven cases. We prove the polynomial-time solvability of four of these problems: for ($P_5$, dart)-free graphs, ($P_5$, banner)-free graphs, ($P_5$, bull)-free graphs, and (fork, bull)-free graphs.
The computational complexity of the Vertex Coloring problem is known for all hereditary classes of graphs defined by forbidding two connected five-vertex induced subgraphs, except for seven cases. We prove the polynomial-time solvability of four of these problems: for ($P_5$, dart)-free graphs, ($P_5$, banner)-free graphs, ($P_5$, bull)-free graphs, and (fork, bull)-free graphs.
△ Less
Submitted 1 June, 2018; v1 submitted 22 September, 2017;
originally announced September 2017.
-
Decomposition techniques applied to the Clique-Stable set Separation problem
Authors:
Nicolas Bousquet,
Aurélie Lagoutte,
Frédéric Maffray,
Lucas Pastor
Abstract:
In a graph, a Clique-Stable Set separator (CS-separator) is a family $\mathcal{C}$ of cuts (bipartitions of the vertex set) such that for every clique $K$ and every stable set $S$ with $K \cap S = \emptyset$, there exists a cut $( W,W')$ in $\mathcal{C}$ such that $K \subseteq W$ and $S \subseteq W'$. Starting from a question concerning extended formulations of the Stable Set polytope and a relate…
▽ More
In a graph, a Clique-Stable Set separator (CS-separator) is a family $\mathcal{C}$ of cuts (bipartitions of the vertex set) such that for every clique $K$ and every stable set $S$ with $K \cap S = \emptyset$, there exists a cut $( W,W')$ in $\mathcal{C}$ such that $K \subseteq W$ and $S \subseteq W'$. Starting from a question concerning extended formulations of the Stable Set polytope and a related complexity communication problem, Yannakakis [17] asked in 1991 the following questions: does every graph admit a polynomial-size CS-separator? If not, does every perfect graph do? Several positive and negative results related to this question were given recently. Here we show how graph decomposition can be used to prove that a class of graphs admits a polynomial CS-separator. We apply this method to apple-free graphs and cap-free graphs.
△ Less
Submitted 26 July, 2017; v1 submitted 21 March, 2017;
originally announced March 2017.
-
Maximum Weight Stable Set in ($P_7$, bull)-free graphs and ($S_{1,2,3}$, bull)-free graphs
Authors:
Frédéric Maffray,
Lucas Pastor
Abstract:
We give a polynomial time algorithm that finds the maximum weight stable set in a graph that does not contain an induced path on seven vertices or a bull (the graph with vertices $a$, $b$, $c$, $d$, $e$ and edges $ab$, $bc$, $cd$, $be$, $ce$). With the same arguments with also give a polynomial algorithm for any graph that does not contain $S_{1,2,3}$ or a bull.
We give a polynomial time algorithm that finds the maximum weight stable set in a graph that does not contain an induced path on seven vertices or a bull (the graph with vertices $a$, $b$, $c$, $d$, $e$ and edges $ab$, $bc$, $cd$, $be$, $ce$). With the same arguments with also give a polynomial algorithm for any graph that does not contain $S_{1,2,3}$ or a bull.
△ Less
Submitted 22 May, 2017; v1 submitted 29 November, 2016;
originally announced November 2016.
-
Colouring squares of claw-free graphs
Authors:
Rémi de Joannis de Verclos,
Ross J. Kang,
Lucas Pastor
Abstract:
Is there some absolute $\varepsilon > 0$ such that for any claw-free graph $G$, the chromatic number of the square of $G$ satisfies $χ(G^2) \le (2-\varepsilon) ω(G)^2$, where $ω(G)$ is the clique number of $G$? Erdős and Nešetřil asked this question for the specific case of $G$ the line graph of a simple graph and this was answered in the affirmative by Molloy and Reed. We show that the answer to…
▽ More
Is there some absolute $\varepsilon > 0$ such that for any claw-free graph $G$, the chromatic number of the square of $G$ satisfies $χ(G^2) \le (2-\varepsilon) ω(G)^2$, where $ω(G)$ is the clique number of $G$? Erdős and Nešetřil asked this question for the specific case of $G$ the line graph of a simple graph and this was answered in the affirmative by Molloy and Reed. We show that the answer to the more general question is also yes, and moreover that it essentially reduces to the original question of Erdős and Nešetřil.
△ Less
Submitted 18 July, 2017; v1 submitted 27 September, 2016;
originally announced September 2016.
-
The maximum weight stable set problem in $(P_6,\mbox{bull})$-free graphs
Authors:
Frédéric Maffray,
Lucas Pastor
Abstract:
We present a polynomial-time algorithm that finds a maximum weight stable set in a graph that does not contain as an induced subgraph an induced path on six vertices or a bull (the graph with vertices $a, b, c, d, e$ and edges $ab, bc, cd, be, ce$).
We present a polynomial-time algorithm that finds a maximum weight stable set in a graph that does not contain as an induced subgraph an induced path on six vertices or a bull (the graph with vertices $a, b, c, d, e$ and edges $ab, bc, cd, be, ce$).
△ Less
Submitted 22 February, 2016;
originally announced February 2016.
