-
Reinforcement-learning robotic sailboats: simulator and preliminary results
Authors:
Eduardo Charles Vasconcellos,
Ronald M Sampaio,
André P D Araújo,
Esteban Walter Gonzales Clua,
Philippe Preux,
Raphael Guerra,
Luiz M G Gonçalves,
Luis Martí,
Hernan Lira,
Nayat Sanchez-Pi
Abstract:
This work focuses on the main challenges and problems in developing a virtual oceanic environment reproducing real experiments using Unmanned Surface Vehicles (USV) digital twins. We introduce the key features for building virtual worlds, considering using Reinforcement Learning (RL) agents for autonomous navigation and control. With this in mind, the main problems concern the definition of the si…
▽ More
This work focuses on the main challenges and problems in developing a virtual oceanic environment reproducing real experiments using Unmanned Surface Vehicles (USV) digital twins. We introduce the key features for building virtual worlds, considering using Reinforcement Learning (RL) agents for autonomous navigation and control. With this in mind, the main problems concern the definition of the simulation equations (physics and mathematics), their effective implementation, and how to include strategies for simulated control and perception (sensors) to be used with RL. We present the modeling, implementation steps, and challenges required to create a functional digital twin based on a real robotic sailing vessel. The application is immediate for developing navigation algorithms based on RL to be applied on real boats.
△ Less
Submitted 16 January, 2024;
originally announced February 2024.
-
The maximum time of 2-neighbor bootstrap percolation: complexity results
Authors:
Thiago Braga Marcilon,
Rudini Menezes Sampaio
Abstract:
In 2-neighborhood bootstrap percolation on a graph G, an infection spreads according to the following deterministic rule: infected vertices of G remain infected forever and in consecutive rounds healthy vertices with at least 2 already infected neighbors become infected. Percolation occurs if eventually every vertex is infected. The maximum time t(G) is the maximum number of rounds needed to event…
▽ More
In 2-neighborhood bootstrap percolation on a graph G, an infection spreads according to the following deterministic rule: infected vertices of G remain infected forever and in consecutive rounds healthy vertices with at least 2 already infected neighbors become infected. Percolation occurs if eventually every vertex is infected. The maximum time t(G) is the maximum number of rounds needed to eventually infect the entire vertex set. In 2013, it was proved \cite{eurocomb13} that deciding whether $t(G)\geq k$ is polynomial time solvable for k=2, but is NP-Complete for k=4 and, if the problem is restricted to bipartite graphs, it is NP-Complete for k=7. In this paper, we solve the open questions. We obtain an $O(mn^5)$-time algorithm to decide whether $t(G)\geq 3$. For bipartite graphs, we obtain an $O(mn^3)$-time algorithm to decide whether $t(G)\geq 3$, an $O(m^2n^9)$-time algorithm to decide whether $t(G)\geq 4$ and we prove that $t(G)\geq 5$ is NP-Complete.
△ Less
Submitted 27 August, 2015;
originally announced August 2015.
-
The maximum time of 2-neighbour bootstrap percolation in grid graphs and some parameterized results
Authors:
Thiago Braga Marcilon,
Rudini Menezes Sampaio
Abstract:
In 2-neighborhood bootstrap percolation on a graph $G$, an infection spreads according to the following deterministic rule: infected vertices of $G$ remain infected forever and in consecutive rounds healthy vertices with at least two already infected neighbors become infected. Percolation occurs if eventually every vertex is infected. The maximum time $t(G)$ is the maximum number of rounds needed…
▽ More
In 2-neighborhood bootstrap percolation on a graph $G$, an infection spreads according to the following deterministic rule: infected vertices of $G$ remain infected forever and in consecutive rounds healthy vertices with at least two already infected neighbors become infected. Percolation occurs if eventually every vertex is infected. The maximum time $t(G)$ is the maximum number of rounds needed to eventually infect the entire vertex set. In 2013, it was proved by Benevides et al \cite{eurocomb13} that $t(G)$ is NP-hard for planar graphs and that deciding whether $t(G)\geq k$ is polynomial time solvable for $k\leq 2$, but is NP-complete for $k\geq 4$. They left two open problems about the complexity for $k=3$ and for planar bipartite graphs. In 2014, we solved the first problem\cite{wg2014}. In this paper, we solve the second one by proving that $t(G)$ is NP-complete even in grid graphs with maximum degree 3. We also prove that $t(G)$ is polynomial time solvable for solid grid graphs with maximum degree 3. Moreover, we prove that the percolation time problem is W[1]-hard on the treewidth of the graph, but it is fixed parameter tractable with parameters treewidth$+k$ and maxdegree$+k$.
△ Less
Submitted 27 August, 2015;
originally announced August 2015.
-
Complexity aspects of the triangle path convexity
Authors:
Mitre C. Dourado,
Rudini M. Sampaio
Abstract:
A path $P = v_1, ..., v_t$ is a {\em triangle path} (respectively, {\em monophonic path}) of $G$ if no edges exist joining vertices $v_i$ and $v_j$ of $P$ such that $|j - i| > 2$; (respectively, $|j - i| > 1$). A set of vertices $S$ is {\em convex} in the triangle path convexity (respectively, monophonic convexity) of $G$ if the vertices of every triangle path (respectively, monophonic path) joini…
▽ More
A path $P = v_1, ..., v_t$ is a {\em triangle path} (respectively, {\em monophonic path}) of $G$ if no edges exist joining vertices $v_i$ and $v_j$ of $P$ such that $|j - i| > 2$; (respectively, $|j - i| > 1$). A set of vertices $S$ is {\em convex} in the triangle path convexity (respectively, monophonic convexity) of $G$ if the vertices of every triangle path (respectively, monophonic path) joining two vertices of $S$ are in $S$. The cardinality of a maximum proper convex set of $G$ is the {\em convexity number of $G$} and the cardinality of a minimum set of vertices whose convex hull is $V(G)$ is the {\em hull number of $G$}. Our main results are polynomial time algorithms for determining the convexity number and the hull number of a graph in the triangle path convexity.
△ Less
Submitted 2 March, 2015;
originally announced March 2015.
-
Fixed parameter algorithms for restricted coloring problems
Authors:
Victor Campos,
Cláudia Linhares-Sales,
Ana Karolinna Maia,
Nicolas Martins,
Rudini Menezes Sampaio
Abstract:
In this paper, we obtain polynomial time algorithms to determine the acyclic chromatic number, the star chromatic number, the Thue chromatic number, the harmonious chromatic number and the clique chromatic number of $P_4$-tidy graphs and $(q,q-4)$-graphs, for every fixed $q$. These classes include cographs, $P_4$-sparse and $P_4$-lite graphs. All these coloring problems are known to be NP-hard for…
▽ More
In this paper, we obtain polynomial time algorithms to determine the acyclic chromatic number, the star chromatic number, the Thue chromatic number, the harmonious chromatic number and the clique chromatic number of $P_4$-tidy graphs and $(q,q-4)$-graphs, for every fixed $q$. These classes include cographs, $P_4$-sparse and $P_4$-lite graphs. All these coloring problems are known to be NP-hard for general graphs. These algorithms are fixed parameter tractable on the parameter $q(G)$, which is the minimum $q$ such that $G$ is a $(q,q-4)$-graph. We also prove that every connected $(q,q-4)$-graph with at least $q$ vertices is 2-clique-colorable and that every acyclic coloring of a cograph is also nonrepetitive.
△ Less
Submitted 13 September, 2011; v1 submitted 30 June, 2011;
originally announced July 2011.
-
Estudo e Implementacao de Algoritmos de Roteamento sobre Grafos em um Sistema de Informacoes Geograficas
Authors:
Rudini M. Sampaio,
Horacio H. Yanasse
Abstract:
This article presents an implementation of a graphical software with various algorithms in Operations research, like minimum path, minimum tree, chinese postman problem and travelling salesman.
This article presents an implementation of a graphical software with various algorithms in Operations research, like minimum path, minimum tree, chinese postman problem and travelling salesman.
△ Less
Submitted 11 May, 2005;
originally announced May 2005.
