-
Computing a 3-role assignment is polynomial-time solvable on complementary prisms
Authors:
Diane Castonguay,
Elisângela S. Dias,
Fernanda N. Mesquita,
Julliano R. Nascimento
Abstract:
A $r$-role assignment of a simple graph $G$ is an assignment of $r$ distinct roles to the vertices of $G$, such that two vertices with the same role have the same set of roles assigned to related vertices. Furthermore, a specific $r$-role assignment defines a role graph, in which the vertices are the distinct $r$ roles, and there is an edge between two roles whenever there are two related vertices…
▽ More
A $r$-role assignment of a simple graph $G$ is an assignment of $r$ distinct roles to the vertices of $G$, such that two vertices with the same role have the same set of roles assigned to related vertices. Furthermore, a specific $r$-role assignment defines a role graph, in which the vertices are the distinct $r$ roles, and there is an edge between two roles whenever there are two related vertices in the graph $G$ that correspond to these roles. We consider complementary prisms, which are graphs formed from the disjoint union of the graph with its respective complement, adding the edges of a perfect matching between their corresponding vertices. In this work, we characterize the complementary prisms that do not admit a $3$-role assignment. We highlight that all of them are complementary prisms of disconnected bipartite graphs. Moreover, using our findings, we show that the problem of deciding whether a complementary prism has a $3$-role assignment can be solved in polynomial time.
△ Less
Submitted 8 February, 2024;
originally announced February 2024.
-
Perfect matching cuts partitioning a graph into complementary subgraphs
Authors:
Diane Castonguay,
Erika M. M. Coelho,
Hebert Coelho,
Julliano R. Nascimento,
Uéverton S. Souza
Abstract:
In Partition Into Complementary Subgraphs (Comp-Sub) we are given a graph $G=(V,E)$, and an edge set property $Π$, and asked whether $G$ can be decomposed into two graphs, $H$ and its complement $\overline{H}$, for some graph $H$, in such a way that the edge cut $[V(H),V(\overline{H})]$ satisfies the property $Π$. Motivated by previous work, we consider Comp-Sub($Π$) when the property…
▽ More
In Partition Into Complementary Subgraphs (Comp-Sub) we are given a graph $G=(V,E)$, and an edge set property $Π$, and asked whether $G$ can be decomposed into two graphs, $H$ and its complement $\overline{H}$, for some graph $H$, in such a way that the edge cut $[V(H),V(\overline{H})]$ satisfies the property $Π$. Motivated by previous work, we consider Comp-Sub($Π$) when the property $Π=\mathcal{PM}$ specifies that the edge cut of the decomposition is a perfect matching. We prove that Comp-Sub($\mathcal{PM}$) is GI-hard when the graph $G$ is $\{C_{k\geq 7}, \overline{C}_{k\geq 7} \}$-free. On the other hand, we show that Comp-Sub($\mathcal{PM}$) is polynomial-time solvable on $hole$-free graphs and on $P_5$-free graphs. Furthermore, we present characterizations of Comp-Sub($\mathcal{PM}$) on chordal, distance-hereditary, and extended $P_4$-laden graphs.
△ Less
Submitted 13 October, 2022;
originally announced October 2022.
-
Most direct product of graphs are Type 1
Authors:
Diane Castonguay,
Celina M. H. de Figueiredo,
Luis Antonio Kowada,
Caroline Reis Patrão,
Diana Sasaki
Abstract:
A \textit{$k$-total coloring} of a graph $G$ is an assignment of $k$ colors to its elements (vertices and edges) so that adjacent or incident elements have different colors. The total chromatic number is the smallest integer $k$ for which the graph $G$ has a $k$-total coloring. Clearly, this number is at least $Δ(G)+1$, where $Δ(G)$ is the maximum degree of $G$. When the lower bound is reached, th…
▽ More
A \textit{$k$-total coloring} of a graph $G$ is an assignment of $k$ colors to its elements (vertices and edges) so that adjacent or incident elements have different colors. The total chromatic number is the smallest integer $k$ for which the graph $G$ has a $k$-total coloring. Clearly, this number is at least $Δ(G)+1$, where $Δ(G)$ is the maximum degree of $G$. When the lower bound is reached, the graph is said to be Type~1. The upper bound of $Δ(G)+2$ is a central problem that has been open for fifty years, is verified for graphs with maximum degree 4 but not for regular graphs.
Most classified direct product of graphs are Type~1. The particular cases of the direct product of cycle graphs $C_m \times C_n$, for $m =3p, 5\ell$ and $8\ell$ with $p \geq 2$ and $\ell \geq 1$, and arbitrary $n \geq 3$, were previously known to be Type 1 and motivated the conjecture that, except for $C_4 \times C_4$, all direct product of cycle graphs $C_m \times C_n$ with $m,n \geq 3$ are Type 1.
We give a general pattern proving that all $C_m \times C_n$ are Type 1, except for $C_4 \times C_4$. dditionally, we investigate sufficient conditions to ensure that the direct product reaches the lower bound for the total chromatic number.
△ Less
Submitted 27 October, 2021;
originally announced October 2021.
-
A note on the convexity number for complementary prisms
Authors:
Diane Castonguay,
Erika M. M. Coelho,
Hebert Coelho,
Julliano R. Nascimento
Abstract:
In the geodetic convexity, a set of vertices $S$ of a graph $G$ is $\textit{convex}$ if all vertices belonging to any shortest path between two vertices of $S$ lie in $S$. The cardinality $con(G)$ of a maximum proper convex set $S$ of $G$ is the $\textit{convexity number}$ of $G$. The $\textit{complementary prism}$ $G\overline{G}$ of a graph $G$ arises from the disjoint union of the graph $G$ and…
▽ More
In the geodetic convexity, a set of vertices $S$ of a graph $G$ is $\textit{convex}$ if all vertices belonging to any shortest path between two vertices of $S$ lie in $S$. The cardinality $con(G)$ of a maximum proper convex set $S$ of $G$ is the $\textit{convexity number}$ of $G$. The $\textit{complementary prism}$ $G\overline{G}$ of a graph $G$ arises from the disjoint union of the graph $G$ and $\overline{G}$ by adding the edges of a perfect matching between the corresponding vertices of $G$ and $\overline{G}$. In this work, we we prove that the decision problem related to the convexity number is NP-complete even restricted to complementary prisms, we determine $con(G\overline{G})$ when $G$ is disconnected or $G$ is a cograph, and we present a lower bound when $diam(G) \neq 3$.
△ Less
Submitted 13 July, 2019; v1 submitted 21 September, 2018;
originally announced September 2018.
-
Results for the maximum weight planar subgraph problem
Authors:
Diane Castonguay,
Elisângela Silva Dias,
Leslie Richard Foulds
Abstract:
The problem of finding the maximum-weight, planar subgraph of a finite, simple graph with nonnegative real edge weights is well known in industrial and electrical engineering, systems biology, sociology and finance. As the problem is known to be NP-hard, much research effort has been devoted over the years to attempt to improve a given approximate solution to the problem by using local moves appli…
▽ More
The problem of finding the maximum-weight, planar subgraph of a finite, simple graph with nonnegative real edge weights is well known in industrial and electrical engineering, systems biology, sociology and finance. As the problem is known to be NP-hard, much research effort has been devoted over the years to attempt to improve a given approximate solution to the problem by using local moves applied to a planar embedding of the solution. It has long been established that any feasible solution to the problem, a maximal planar graph, can be transformed into any other (having the same vertex set) in a finite sequence of local moves of based on: (i) edge substitution and (ii) vertex relocation and it has been conjectured that moves of only type (i) are sufficient. In this note we settle this conjecture in the affirmative. Furthermore, contrary to recent supposition, we demonstrate that any maximal spanning tree of the original graph is not necessarily a part of any optimal solution to the problem. We hope these results will be useful in the design of future approximate methods for the problem.
△ Less
Submitted 15 December, 2017;
originally announced December 2017.
-
Polynomial recognition of cluster algebras of finite type
Authors:
Elisângela Silva Dias,
Diane Castonguay
Abstract:
Cluster algebras are a recent topic of study and have been shown to be a useful tool to characterize structures in several knowledge fields. An important problem is to establish whether or not a given cluster algebra is of finite type. Using the standard definition, the problem is infeasible since it uses mutations that can lead to an infinite process. Barot, Geiss and Zelevinsky (2006) presented…
▽ More
Cluster algebras are a recent topic of study and have been shown to be a useful tool to characterize structures in several knowledge fields. An important problem is to establish whether or not a given cluster algebra is of finite type. Using the standard definition, the problem is infeasible since it uses mutations that can lead to an infinite process. Barot, Geiss and Zelevinsky (2006) presented an easier way to verify if a given algebra is of finite type, by testing that all chordless cycles of the graph related to the algebra are cyclically oriented and that there exists a positive quasi-Cartan companion of the skew-symmetrizable matrix related to the algebra. We develop an algorithm that verifies these conditions and decides whether or not a cluster algebra is of finite type in polynomial time. The second part of the algorithm is used to prove that the more general problem to decide if a matrix has a positive quasi-Cartan companion is in NP.
△ Less
Submitted 14 July, 2015;
originally announced July 2015.
-
Polynomial enumeration of chordless cycles on cyclically orientable graphs
Authors:
Elisângela Silva Dias,
Diane Castonguay
Abstract:
In a finite undirected simple graph, a chordless cycle is an induced subgraph which is a cycle. A graph is called cyclically orientable if it admits an orientation in which every chordless cycle is cyclically oriented. We propose an algorithm to enumerate all chordless cycles of such a graph. Compared to other similar algorithms, the proposed algorithm have the advantage of finding each chordless…
▽ More
In a finite undirected simple graph, a chordless cycle is an induced subgraph which is a cycle. A graph is called cyclically orientable if it admits an orientation in which every chordless cycle is cyclically oriented. We propose an algorithm to enumerate all chordless cycles of such a graph. Compared to other similar algorithms, the proposed algorithm have the advantage of finding each chordless cycle only once in time complexity $\mathcal{O}(n^2)$ in the input size, where $n$ is the number of vertices.
△ Less
Submitted 11 May, 2015;
originally announced May 2015.
-
Algorithms and Properties for Positive Symmetrizable Matrices
Authors:
Elisângela Silva Dias,
Diane Castonguay,
Mitre Costa Dourado
Abstract:
Matrices are the most common representations of graphs. They are also used for the representation of algebras and cluster algebras. This paper shows some properties of matrices in order to facilitate the understanding and locating symmetrizable matrices with specific characteristics, called positive quasi-Cartan companion matrices. Here, symmetrizable matrix are those which are symmetric when mult…
▽ More
Matrices are the most common representations of graphs. They are also used for the representation of algebras and cluster algebras. This paper shows some properties of matrices in order to facilitate the understanding and locating symmetrizable matrices with specific characteristics, called positive quasi-Cartan companion matrices. Here, symmetrizable matrix are those which are symmetric when multiplied by a diagonal matrix with positive entries called symmetrizer matrix. Four algorithms are developed: one to decide whether there is a symmetrizer matrix; second to find such symmetrizer matrix; another to decide whether the matrix is positive or not; and the last to find a positive quasi-Cartan companion matrix, if there exists. The third algorithm is used to prove that the problem to decide if a matrix has a positive quasi-Cartan companion is NP.
△ Less
Submitted 11 March, 2015;
originally announced March 2015.
-
A GPU-based parallel algorithm for enumerating all chordless cycles in graphs
Authors:
Elisângela Silva Dias,
Diane Castonguay,
Humberto Longo,
Walid Abdala Rfaei Jradi,
Hugo A. D. do Nascimento
Abstract:
In a finite undirected simple graph, a chordless cycle is an induced subgraph which is a cycle. We propose a GPU parallel algorithm for enumerating all chordless cycles of such a graph. The algorithm, implemented in OpenCL, is based on a previous sequential algorithm developed by the current authors for the same problem. It uses a more compact data structure for solution representation which is su…
▽ More
In a finite undirected simple graph, a chordless cycle is an induced subgraph which is a cycle. We propose a GPU parallel algorithm for enumerating all chordless cycles of such a graph. The algorithm, implemented in OpenCL, is based on a previous sequential algorithm developed by the current authors for the same problem. It uses a more compact data structure for solution representation which is suitable for the memory-size limitation of a GPU. Moreover, for graphs with a sufficiently large amount of chordless cycles, the algorithm presents a significant improvement in execution time that outperforms the sequential method.
△ Less
Submitted 25 June, 2015; v1 submitted 17 October, 2014;
originally announced October 2014.
-
Efficient Enumeration of Chordless Cycles
Authors:
Elisângela Silva Dias,
Diane Castonguay,
Humberto Longo,
Walid Abdala Rfaei Jradi
Abstract:
In a finite undirected simple graph, a {\it chordless cycle} is an induced subgraph which is a cycle. We propose two algorithms to enumerate all chordless cycles of such a graph. Compared to other similar algorithms, the proposed algorithms have the advantage of finding each chordless cycle only once. To ensure this, we introduced the concepts of vertex labeling and initial valid vertex triplet. T…
▽ More
In a finite undirected simple graph, a {\it chordless cycle} is an induced subgraph which is a cycle. We propose two algorithms to enumerate all chordless cycles of such a graph. Compared to other similar algorithms, the proposed algorithms have the advantage of finding each chordless cycle only once. To ensure this, we introduced the concepts of vertex labeling and initial valid vertex triplet. To guarantee that the expansion of a given chordless path will always lead to a chordless cycle, we use a breadth-first search in a subgraph obtained by the elimination of many of the vertices from the original graph. The resulting algorithm has time complexity $\mathcal{O}(n + m)$ in the output size, where $n$ is the number of vertices and $m$ is the number of edges.
△ Less
Submitted 27 November, 2014; v1 submitted 4 September, 2013;
originally announced September 2013.