Source author record

Ana Silva

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

13works
5topics
4close collaborators

Published work

13 publications

preprint2022arXiv

Mengerian graphs: characterization and recognition

A temporal graph G{\cal G} is a graph that changes with time. More specifically, it is a pair (G,λ)(G, λ) where GG is a graph and λλ is a function on the edges of GG that describes when each edge e∈E(G)e\in E(G) is active. Given vertices s,t∈V(G)s,t\in V(G), a temporal s,ts,t-path is a path in GG that traverses edges in non-decreasing time; and if s,ts,t are non-adjacent, then a temporal s,ts,t-cut is a subset S⊆V(G)∖{s,t}S\subseteq V(G)\setminus\{s,t\} whose removal destroys all temporal s,ts,t-paths. It is known that Menger's Theorem does not hold on this context, i.e., that the maximum number of internally vertex disjoint temporal s,ts,t-paths is not necessarily equal to the minimum size of a temporal s,ts,t-cut. In a seminal paper, Kempe, Kleinberg and Kumar (STOC'2000) defined a graph GG to be Mengerian if equality holds on (G,λ)(G,λ) for every function λλ. They then proved that, if each edge is allowed to be active only once in (G,λ)(G,λ), then GG is Mengerian if and only if GG has no gem as topological minor. In this paper, we generalize their result by allowing edges to be active more than once, giving a characterization also in terms of forbidden structures. We additionally provide a polynomial time recognition algorithm.

preprint2020arXiv

A Unifying Model for Locally Constrained Spanning Tree Problems

Given a graph GG and a digraph DD whose vertices are the edges of GG, we investigate the problem of finding a spanning tree of GG that satisfies the constraints imposed by DD. The restrictions to add an edge in the tree depend on its neighborhood in DD. Here, we generalize previously investigated problems by also considering as input functions ℓ\ell and uu on E(G)E(G) that give a lower and an upper bound, respectively, on the number of constraints that must be satisfied by each edge. The produced feasibility problem is denoted by \texttt{G-DCST}, while the optimization problem is denoted by \texttt{G-DCMST}. We show that \texttt{G-DCST} is NP-complete even under strong assumptions on the structures of GG and DD, as well as on functions ℓ\ell and uu. On the positive side, we prove two polynomial results, one for \texttt{G-DCST} and another for \texttt{G-DCMST}, and also give a simple exponential-time algorithm along with a proof that it is asymptotically optimal under the Ð. Finally, we prove that other previously studied constrained spanning tree (\textsc{CST}) problems can be modeled within our framework, namely, the \textsc{Conflict CST}, the \textsc{Forcing CS, the \textsc{At Least One/All Dependency CST}, the \textsc{Maximum Degree CST}, the \textsc{Minimum Degree CST}, and the \textsc{Fixed-Leaves Minimum Degree CST}.

preprint2020arXiv

Edge-Disjoint Branchings in Temporal Graphs

A temporal digraph G{\cal G} is a triple (G,γ,λ)(G, γ, λ) where GG is a digraph, γγ is a function on V(G)V(G) that tells us the timestamps when a vertex is active, and λλ is a function on E(G)E(G) that tells for each uv∈E(G)uv \in E(G) when uu and vv are linked. Given a static digraph GG, and a subset R⊆V(G)R\subseteq V(G), a spanning branching with root RR is a subdigraph of GG that has exactly one path from RR to each v∈V(G)v\in V(G). In this paper, we consider the temporal version of Edmonds' classical result about the problem of finding kk edge-disjoint spanning branchings respectively rooted at given R1,⋯ ,RkR_1,\cdots,R_k. We introduce and investigate different definitions of spanning branchings, and of edge-disjointness in the context of temporal graphs. A branching B{\cal B} is vertex-spanning if the root is able to reach each vertex vv of GG at some time where vv is active, while it is temporal-spanning if vv can be reached from the root at every time where vv is active. On the other hand, two branchings B1{\cal B}_1 and B2{\cal B}_2 are edge-disjoint if they do not use the same edge of GG, and are temporal-edge-disjoint if they can use the same edge of GG but at different times. This lead us to four definitions of disjoint spanning branchings and we prove that, unlike the static case, only one of these can be computed in polynomial time, namely the temporal-edge-disjoint temporal-spanning branchings problem, while the other versions are NP\mathsf{NP}-complete, even under very strict assumptions.

preprint2016arXiv

Circular Backbone Colorings: on matching and tree backbones of planar graphs

Given a graph GG, and a spanning subgraph HH of GG, a circular qq-backbone kk-coloring of (G,H)(G,H) is a proper kk-coloring cc of GG such that q≤∣c(u)−c(v)∣≤k−qq\le \lvert c(u)-c(v)\rvert \le k-q, for every edge uv∈E(H)uv\in E(H). The circular qq-backbone chromatic number of (G,H)(G,H), denoted by CBCq(G,H)CBC_q(G,H), is the minimum integer kk for which there exists a circular qq-backbone kk-coloring of (G,H)(G,H). The Four Color Theorem implies that whenever GG is planar, we have CBC2(G,H)≤8CBC_2(G,H)\le 8. It is conjectured that this upper bound can be improved to 7 when HH is a tree, and to 6 when HH is a matching. In this work, we show that: 1) if GG is planar and has no C4C_4 as subgraph, and HH is a linear spanning forest of GG, then CBC2(G,H)≤7CBC_2(G,H)\leq 7; 2) if GG is a plane graph having no two 3-faces sharing an edge, and HH is a matching of GG, then CBC2(G,H)≤6CBC_2(G,H)\leq 6; and 3) if GG is planar and has no C4C_4 nor C5C_5 as subgraph, and HH is a mathing of GG, then CBC2(G,H)≤5CBC_2(G,H)\leq 5. These results partially answer questions posed by Broersma, Fujisawa and Yoshimoto (2003), and by Broersma, Fomin and Golovach (2007). It also points towards a positive answer for the Steinberg's Conjecture.

preprint2016arXiv

Fall-colorings and b-colorings of graph products

Given a proper coloring ff of a graph GG, a b-vertex in ff is a vertex that is adjacent to every color class but its own. It is a b-coloring if every color class contains at least one b-vertex, and it is a fall-coloring if every vertex is a b-vertex. The b-chromatic number of GG is the maximum integer b(G)b(G) for which GG has a b-coloring with b(G)b(G) colors, while the fall-chromatic number and the fall-acromatic number of GG are, respectively, the minimum and maximum integers f1(G),f2(G)f_1(G),f_2(G) for which GG has a fall-coloring. In this article, we explore the concepts of b-homomorphisms and Type II homomorphisms, which generalize the concepts of b-colorings and fall-colorings, and present some meta-theorems concerning products of graphs. As a result, we derive some previously known facts about these metrics on graph products. We also give a negative answer to a question posed by Kaul and Mitillos about fall-colorings of perfect graphs.

preprint2016arXiv

On the b-continuity of the lexicographic product of graphs

A b-coloring of the vertices of a graph is a proper coloring where each color class contains a vertex which is adjacent to each other color class. The b-chromatic number of GG is the maximum integer χb(G)χ_b(G) for which GG has a b-coloring with χb(G)χ_b(G) colors. A graph GG is b-continuous if GG has a b-coloring with kk colors, for every integer kk in the interval [χ(G),χb(G)][χ(G),χ_b(G)]. It is known that not all graphs are b-continuous. Here, we investigate whether the lexicographic product G[H]G[H] of b-continuous graphs GG and HH is also b-continuous. Using homomorphisms, we provide a new lower bound for χb(G[H])χ_b(G[H]), namely χb(G[Kt])χ_b(G[K_t]), where t=χb(H)t=χ_b(H), and prove that if G[Kℓ]G[K_\ell] is b-continuous for every positive integer ℓ\ell, then G[H]G[H] admits a b-coloring with kk colors, for every kk in the interval [χ(G[H]),χb(G[Kt])][χ(G[H]),χ_b(G[K_t])]. We also prove that G[Kℓ]G[K_\ell] is b-continuous, for every positive integer ℓ\ell, whenever GG is a P4P_4-sparse graph, and we give further results on the b-spectrum of G[Kℓ]G[K_\ell], when GG is chordal.

preprint2016arXiv

The b-continuity of graphs with large girth

A b-coloring of the vertices of a graph is a proper coloring where each color class contains a vertex which is adjacent to each other color class. The b-chromatic number of GG is the maximum integer b(G)b(G) for which GG has a b-coloring with b(G)b(G) colors. A graph GG is b-continuous if GG has a b-coloring with kk colors, for every integer kk in the interval [χ(G),b(G)][χ(G),b(G)]. It is known that not all graphs are b-continuous. In this article, we show that if GG has girth at least 10, then GG is b-continuous.

preprint2015arXiv

Edge-b-coloring Trees

A b-coloring of the vertices of a graph is a proper coloring where each color class contains a vertex which is adjacent to at least one vertex in each other color class. The b-chromatic number of GG is the maximum integer b(G)b(G) for which GG has a b-coloring with b(G)b(G) colors. This problem was introduced by Irving and Manlove in 1999, where they showed that computing b(G)b(G) is NP\mathcal{NP}-hard in general and polynomial-time solvable for trees. Since then, a number of complexity results were shown, including NP-hardness results for chordal graphs (Havet et. al., 2011) and line graphs (Campos et. al., 2015). In this article, we present a polynomial time algorithm that solves the problem restricted to claw-free block graphs, an important subclass of chordal graphs and line graphs. This is equivalent to solving the edge coloring version of the problem restricted to trees.

preprint2015arXiv

On the Existence of Tree Backbones that Realize the Chromatic Number on a Backbone Coloring

A proper kk-coloring of a graph G=(V,E)G=(V,E) is a function c:V(G)→{1,…,k}c: V(G)\to \{1,\ldots,k\} such that c(u)≠c(v)c(u)\neq c(v), for every uv∈E(G)uv\in E(G). The chromatic number χ(G)χ(G) is the minimum kk such that there exists a proper kk-coloring of GG. Given a spanning subgraph HH of GG, a qq-backbone kk-coloring of (G,H)(G,H) is a proper kk-coloring cc of V(G)V(G) such that ∣c(u)−c(v)∣≥q\lvert c(u)-c(v)\rvert \ge q, for every edge uv∈E(H)uv\in E(H). The qq-backbone chromatic number BBCq(G,H)BBC_q(G,H) is the smallest kk for which there exists a qq-backbone kk-coloring of (G,H)(G,H). In this work, we show that every connected graph GG has a generating tree TT such that BBCq(G,T)=max⁡{χ(G),⌈χ(G)2⌉+q}BBC_q(G,T) = \max\{χ(G),\left\lceil\frac{χ(G)}{2}\right\rceil+q\}, and that this value is the best possible. As a direct consequence, we get that every connected graph GG has a spanning tree TT for which BBC2(G,T)=χ(G)BBC_2(G,T)=χ(G), if χ(G)≥4χ(G)\ge 4, or BBC2(G,T)=χ(G)+1BBC_2(G,T)=χ(G)+1, otherwise. Thus, by applying the Four Color Theorem, we have that every connected nonbipartite planar graph GG has a spanning tree TT such that BBC2(G,T)=4BBC_2(G,T)=4. This settles a question by Wang, Bu, Montassier and Raspaud (2012), and generalizes a number of previous partial results to their question.

preprint2015arXiv

Trees with small b-chromatic index

In a recent article [5], the authors claim that the distance between the b-chromatic index of a tree and a known upper bound is at most 1. At the same time, in [7] the authors claim to be able to construct a tree where this difference is bigger than 1. However, the given example was disconnected, i.e., actually consisted of a forest. Here, we slightly modify their construction in order to produce trees, thus getting that indeed the difference between the b-chromatic index of trees and the known upper bound can be arbitrarily large. We also point out the mistake made in [5].

preprint2013arXiv

Cliques and colorings in generalized Paley graphs and an approach to synchronization

Given a finite field, one can form a directed graph using the field elements as vertices and connecting two vertices if their difference lies in a fixed subgroup of the multiplicative group. If -1 is contained in this fixed subgroup, then we obtain an undirected graph that is referred to as a generalized Paley graph. In this paper we study generalized Paley graphs whose clique and chromatic numbers coincide and link this theory to the study of the synchronization property in 1-dimensional primitive affine permutation groups.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.