Source author record

Hortensia Galeana-Sánchez

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

5works
2topics
4close collaborators

Published work

5 publications

preprint2016arXiv

A dichotomy for the kernel by HH-walks problem in digraphs

Let H=(VH,AH)H = (V_H, A_H) be a digraph which may contain loops, and let D=(VD,AD)D = (V_D, A_D) be a loopless digraph with a coloring of its arcs c:AD→VHc: A_D \to V_H. An HH-walk of DD is a walk (v0,…,vn)(v_0, \dots, v_n) of DD such that (c(vi−1,vi),c(vi,vi+1))(c(v_{i-1}, v_i), c(v_i, v_{i+1})) is an arc of HH, for every 1≤i≤n−11 \le i \le n-1. For u,v∈VDu, v \in V_D, we say that uu reaches vv by HH-walks if there exists an HH-walk from uu to vv in DD. A subset S⊆VDS \subseteq V_D is a kernel by HH-walks of DD if every vertex in VD∖SV_D \setminus S reaches by HH-walks some vertex in SS, and no vertex in SS can reach another vertex in SS by HH-walks. A panchromatic pattern is a digraph HH such that every arc-colored digraph DD has a kernel by HH-walks. In this work, we prove that every digraph HH is either a panchromatic pattern, or the problem of determining whether an arc-colored digraph DD has a kernel by HH-walks is NPNP-complete.

preprint2016arXiv

About (k,l)(k,l)-kernels, semikernels and Grundy functions in partial line digraphs

Let D=(V,A)D=(V,A) be a digraph and consider an arc subset A′⊆AA'\subseteq A and an exhaustive mapping ϕ:A→A′ϕ: A\to A' such that (i)(i) the set of heads of A′A' is H(A′)=VH(A')=V; (ii)(ii) the map fixes the elements of A′A', that is, ϕ∣A′=Idϕ|A'=Id, and for every vertex j∈Vj\in V, ϕ(ω−(j))⊂ω−(j)∩A′ϕ(ω^-(j))\subset ω^-(j)\cap A'. Then, {\it the partial line digraph} of DD, denoted by L(A′,ϕ)D\mathcal{L}_{(A',ϕ)}D (for short LD\mathcal{L}D if the pair (A′,ϕ)(A', ϕ) is clear from the context), is the digraph with vertex set V(LD)=A′V (\mathcal{L}D)=A' and set of arcs A(LD)={(ij,ϕ(j,k)):(j,k)∈A}.A(\mathcal{L}D) = \{(ij, ϕ(j,k)) : (j,k)\in A\}. In this paper we prove the following results: Let k,lk,l be two natural numbers such that 1≤l≤k1\le l \le k, and DD a digraph with minimum in-degree at least 1. Then the number of (k,l)(k,l)-kernels of DD is less than or equal to the number of (k,l)(k,l)-kernels of LD\mathcal{L} D. Moreover, if l<kl<k and the girth of DD is at least l+1l+1, then these two numbers are equal. The number of semikernels of DD is equal to the number of semikernels of LD\mathcal{L} D. Also we introduce the concept of (k,l)(k,l)-Grundy function as a generalization of the concept of Grundy function and we prove that the number of (k,l)(k,l)-Grundy functions of DD is equal to the number of (k,l)(k,l)-Grundy functions of any partial line digraph LD\mathcal{L} D.

preprint2012arXiv

kk-colored kernels in semicomplete multipartite digraphs

An mm-colored digraph DD has kk-colored kernel if there exists a subset KK of its vertices such that for every vertex v∉Kv\notin K there exists an at most kk-colored directed path from vv to a vertex of KK and for every % u,v\in K there does not exist an at most kk-colored directed path between them. In this paper we prove that an mm-colored semicomplete rr-partite digraph DD has a kk-colored kernel provided that r≥3r\geq 3 and {enumerate} [(i)] k≥4,k\geq 4, [(ii)] k=3k=3 and every C→4\overrightarrow{C}_{4} contained in DD is at most 2-colored and, either every C→5\overrightarrow{C}_{5} contained in DD is at most 3-colored or every C→3↑C→3\overrightarrow{C}_{3}\uparrow \overrightarrow{C}_{3} contained in DD is at most 2-colored, [(iii)] k=2k=2 and every C→3\overrightarrow{C}_{3} and C→\overrightarrow{C}%_{4} contained in DD is monochromatic. {enumerate} If DD is an mm-colored semicomplete bipartite digraph and k=2k=2 (resp. k=3k=3 ) and every C→4⇈C→4\overrightarrow{C}_{4}\upuparrows \overrightarrow{C}_{4} contained in DD is at most 2-colored (resp. 3-colored), then DD has a % 2-colored (resp. 3-colored) kernel. Using these and previous results, we obtain conditions for the existence of kk-colored kernels in mm-colored semicomplete rr-partite digraphs for every k≥2k\geq 2 and r≥2r\geq 2.

preprint2012arXiv

k-colored kernels

We study kk-colored kernels in mm-colored digraphs. An mm-colored digraph DD has kk-colored kernel if there exists a subset KK of its vertices such that (i) from every vertex v∉Kv\notin K there exists an at most kk-colored directed path from vv to a vertex of KK and (ii) for every u,v∈Ku,v\in K there does not exist an at most kk-colored directed path between them. In this paper, we prove that for every integer k≥2k\geq 2 there exists a % (k+1)-colored digraph DD without kk-colored kernel and if every directed cycle of an mm-colored digraph is monochromatic, then it has a kk-colored kernel for every positive integer k.k. We obtain the following results for some generalizations of tournaments: (i) mm-colored quasi-transitive and 3-quasi-transitive digraphs have a kk% -colored kernel for every k≥3k\geq 3 and k≥4,k\geq 4, respectively (we conjecture that every mm-colored ll-quasi-transitive digraph has a kk% -colored kernel for every k≥l+1)k\geq l+1), and (ii) mm-colored locally in-tournament (out-tournament, respectively) digraphs have a kk-colored kernel provided that every arc belongs to a directed cycle and every directed cycle is at most kk-colored.

preprint2012arXiv

On the existence and number of (k+1)(k+1)-kings in kk-quasi-transitive digraphs

Let D=(V(D),A(D))D=(V(D), A(D)) be a digraph and k≥2k \ge 2 an integer. We say that DD is kk-quasi-transitive if for every directed path (v0,v1,...,vk)(v_0, v_1,..., v_k) in DD, then (v0,vk)∈A(D)(v_0, v_k) \in A(D) or (vk,v0)∈A(D)(v_k, v_0) \in A(D). Clearly, a 2-quasi-transitive digraph is a quasi-transitive digraph in the usual sense. Bang-Jensen and Gutin proved that a quasi-transitive digraph DD has a 3-king if and only if DD has a unique initial strong component and, if DD has a 3-king and the unique initial strong component of DD has at least three vertices, then DD has at least three 3-kings. In this paper we prove the following generalization: A kk-quasi-transitive digraph DD has a (k+1)(k+1)-king if and only if DD has a unique initial strong component, and if DD has a (k+1)(k+1)-king then, either all the vertices of the unique initial strong components are (k+1)(k+1)-kings or the number of (k+1)(k+1)-kings in DD is at least (k+2)(k+2).

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.