-
The niche graphs of multipartite tournaments
Authors:
Soogang Eoh,
Myungho Choi,
Suh-Ryung Kim
Abstract:
The niche graph of a digraph $D$ has $V(D)$ as the vertex set and an edge $uv$ if and only if $(u,w) \in A(D)$ and $(v,w) \in A(D)$, or $(w,u) \in A(D)$ and $(w,v) \in A(D)$ for some $w \in V(D)$. The notion of niche graph was introduced by Cable et al. (1989) as a variant of competition graph. If a graph is the niche graph of a digraph $D$, it is said to be niche-realizable through $D$. If a grap…
▽ More
The niche graph of a digraph $D$ has $V(D)$ as the vertex set and an edge $uv$ if and only if $(u,w) \in A(D)$ and $(v,w) \in A(D)$, or $(w,u) \in A(D)$ and $(w,v) \in A(D)$ for some $w \in V(D)$. The notion of niche graph was introduced by Cable et al. (1989) as a variant of competition graph. If a graph is the niche graph of a digraph $D$, it is said to be niche-realizable through $D$. If a graph $G$ is niche-realizable through a $k$-partite tournament for an integer $k \ge 2$, then we say that the pair $(G, k)$ is niche-realizable. Bowser et al. (1999) studied the graphs that are niche-realizable through a tournament and Eoh et al. (2018) studied niche-realizable pairs $(G, k)$ for $k=2$. In this paper, we study niche-realizable pairs $(G, k)$ when $G$ is a graph and $k$ is an integer at least $3$ to extend their work. We show that the niche graph of a $k$-partite tournament has at most three components if $k \ge 3$ and is connected if $k \ge 4$. Then we find all the niche-realizable pairs $(G, k)$ when $G$ is a disconnected graph, when $G$ is a complete graph, and when $G$ is a connected triangle-free graph.
△ Less
Submitted 11 November, 2019;
originally announced November 2019.
-
Using $p$-row graphs to study $p$-competition graphs
Authors:
Soogang Eoh,
Taehee Hong,
Suh-Ryung Kim,
Seung Chul Lee
Abstract:
For a positive integer $p$, the $p$-competition graph of a digraph $D$ is a graph which has the same vertex set as $D$ and an edge between distinct vertices $x$ and $y$ if and only if $x$ and $y$ have at least $p$ common out-neighbors in $D$. A graph is said to be a $p$-competition graph if it is the $p$-competition graph of a digraph. Given a graph $G$, we call the set of positive integers $p$ su…
▽ More
For a positive integer $p$, the $p$-competition graph of a digraph $D$ is a graph which has the same vertex set as $D$ and an edge between distinct vertices $x$ and $y$ if and only if $x$ and $y$ have at least $p$ common out-neighbors in $D$. A graph is said to be a $p$-competition graph if it is the $p$-competition graph of a digraph. Given a graph $G$, we call the set of positive integers $p$ such that $G$ is a $p$-competition the competition-realizer of a graph $G$. In this paper, we introduce the notion of $p$-row graph of a matrix which generalizes the existing notion of row graph. We call the graph obtained from a graph $G$ by identifying each pair of adjacent vertices which share the same closed neighborhood the condensation of $G$. Using the notions of $p$-row graph and condensation of a graph, we study competition-realizers for various graphs to extend results given by Kim {\it et al.}~[$p$-competition graphs, {\it Linear Algebra Appl.} {\bf 217} (1995) 167--178]. Especially, we find all the elements in the competition-realizer for each caterpillar.
△ Less
Submitted 27 May, 2019;
originally announced May 2019.
-
The phylogeny number in the aspect of triangles and diamonds of a graph
Authors:
Soogang Eoh,
Suh-Ryung Kim,
Hojun Lee
Abstract:
Given an acyclic digraph $D$, the competition graph of $D$, denoted by $C(D)$, is the simple graph having vertex set $V(D)$ and edge set $\{uv \mid (u, w), (v, w) \in A(D) \text{ for some } w \in V(D) \}$. The phylogeny graph of an acyclic digraph $D$, denoted by $P(D)$, is the graph with the vertex set $V(D)$ and the edge set $E(U(D)) \cup E(C(D))$ where $U(D)$ denotes the underlying graph of…
▽ More
Given an acyclic digraph $D$, the competition graph of $D$, denoted by $C(D)$, is the simple graph having vertex set $V(D)$ and edge set $\{uv \mid (u, w), (v, w) \in A(D) \text{ for some } w \in V(D) \}$. The phylogeny graph of an acyclic digraph $D$, denoted by $P(D)$, is the graph with the vertex set $V(D)$ and the edge set $E(U(D)) \cup E(C(D))$ where $U(D)$ denotes the underlying graph of $D$. The notion of phylogeny graphs was introduced by Roberts and Sheng~\cite{roberts1997phylogeny} as a variant of competition graph. Moral graphs having arisen from studying Bayesian networks are the same as phylogeny graphs. In this paper, we integrate the existing theorems computing phylogeny numbers of connected graph with a small number of triangles into one proposition: for a graph $G$ containing at most two triangle, $ |E(G)|-|V(G)|-2t(G)+d(G)+1 \le p(G) \le |E(G)|-|V(G)|-t(G)+1 $ where $t(G)$ and $d(G)$ denote the number of triangles and the number of diamond in $G$, respectively. Then we show that these inequalities hold for graphs with many triangles. In the process of showing it, we derive a useful theorem which plays a key role in deducing various meaningful results including a theorem that answers a question given by Wu~{\it et al.}~\cite{Wu2019}.
△ Less
Submitted 20 April, 2019; v1 submitted 15 April, 2019;
originally announced April 2019.
-
On weak majority dimensions of digraphs
Authors:
Soogang Eoh,
Suh-Ryung Kim
Abstract:
In this paper, we introduce the notion of the weak majority dimension of a digraph which is well-defined for any digraph. We first study properties shared by the weak dimension of a digraph and show that a weak majority dimension of a digraph can be arbitrarily large. Then we present a complete characterization of digraphs of weak majority dimension $0$ and $1$, respectively, and show that every d…
▽ More
In this paper, we introduce the notion of the weak majority dimension of a digraph which is well-defined for any digraph. We first study properties shared by the weak dimension of a digraph and show that a weak majority dimension of a digraph can be arbitrarily large. Then we present a complete characterization of digraphs of weak majority dimension $0$ and $1$, respectively, and show that every digraph with weak majority dimension at most two is transitive. Finally, we compute the weak majority dimensions of directed paths and directed cycles and pose open problems.
△ Less
Submitted 24 March, 2019;
originally announced March 2019.
-
On $m$-step competition graphs of bipartite tournaments
Authors:
Soogang Eoh,
Suh-Ryung Kim,
Hyesun Yoon
Abstract:
In this paper, we completely characterize the $m$-step competition graph of a bipartite tournament for any integer $m \ge 2$. In addition, we compute the competition index and the competition period of a bipartite tournament.
In this paper, we completely characterize the $m$-step competition graph of a bipartite tournament for any integer $m \ge 2$. In addition, we compute the competition index and the competition period of a bipartite tournament.
△ Less
Submitted 13 March, 2019;
originally announced March 2019.
-
On chordal phylogeny graphs
Authors:
Soogang Eoh,
Suh-Ryung Kim
Abstract:
An acyclic digraph each vertex of which has indegree at most $i$ and outdegree at most $j$ is called an $(i, j)$ digraph for some positive integers $i$ and $j$. Lee {\it et al.} (2017) studied the phylogeny graphs of $(2, 2)$ digraphs and gave sufficient conditions and necessary conditions for $(2, 2)$ digraphs having chordal phylogeny graphs. Their work was motivated by problems related to eviden…
▽ More
An acyclic digraph each vertex of which has indegree at most $i$ and outdegree at most $j$ is called an $(i, j)$ digraph for some positive integers $i$ and $j$. Lee {\it et al.} (2017) studied the phylogeny graphs of $(2, 2)$ digraphs and gave sufficient conditions and necessary conditions for $(2, 2)$ digraphs having chordal phylogeny graphs. Their work was motivated by problems related to evidence propagation in a Bayesian network for which it is useful to know which acyclic digraphs have their moral graphs being chordal (phylogeny graphs are called moral graphs in Bayesian network theory).
In this paper, we extend their work. We completely characterize phylogeny graphs of $(1, i)$ digraphs and $(i,1)$ digraphs, respectively, for a positive integer $i$. Then, we study phylogeny graphs of a $(2,j)$ digraphs, which is worthwhile in the context that a child has two biological parents in most species, to show that the phylogeny graph of a $(2,j)$ digraph $D$ is chordal if the underlying graph of $D$ is chordal for any positive integer $j$. Especially, we show that as long as the underlying graph of a $(2,2)$ digraph is chordal, its phylogeny graph is not only chordal but also planar.
△ Less
Submitted 29 October, 2018;
originally announced October 2018.
-
A new minimal chordal completion
Authors:
Jihoon Choi,
Soogang Eoh,
Suh-Ryung Kim
Abstract:
In this paper, we present a minimal chordal completion $G^*$ of a graph $G$ satisfying the inequality $ω(G^*) - ω(G) \le i(G)$ for the non-chordality index $i(G)$ of $G$. In terms of our chordal completions, we partially settle the Hadwiger conjecture and the Erdős-Faber-Lovász Conjecture, and extend the known $χ$-bounded class by adding to it the family of graphs with bounded non-chordality indic…
▽ More
In this paper, we present a minimal chordal completion $G^*$ of a graph $G$ satisfying the inequality $ω(G^*) - ω(G) \le i(G)$ for the non-chordality index $i(G)$ of $G$. In terms of our chordal completions, we partially settle the Hadwiger conjecture and the Erdős-Faber-Lovász Conjecture, and extend the known $χ$-bounded class by adding to it the family of graphs with bounded non-chordality indices.
△ Less
Submitted 11 October, 2018;
originally announced October 2018.
-
The niche graphs of bipartite tournaments
Authors:
Soogang Eoh,
Jihoon Choi,
Suh-Ryung Kim,
Miok Oh
Abstract:
In this paper, we completely characterize the niche graphs of bipartite tournaments and find their interesting properties.
In this paper, we completely characterize the niche graphs of bipartite tournaments and find their interesting properties.
△ Less
Submitted 11 October, 2018;
originally announced October 2018.
-
A graph with the partial order competition dimension greater than five
Authors:
Jihoon Choi,
Soogang Eoh,
Suh-Ryung Kim
Abstract:
In this paper, we use the Erdös-Szekeres lemma to show that there exists a graph with partial order competition dimension greater than five.
In this paper, we use the Erdös-Szekeres lemma to show that there exists a graph with partial order competition dimension greater than five.
△ Less
Submitted 11 October, 2018;
originally announced October 2018.
-
The graph grabbing game on $\{0,1\}$-weighted graphs
Authors:
Soogang Eoh,
Jihoon Choi
Abstract:
The \emph{graph grabbing game} is a two-player game on a weighted connected graph in which two players, Alice and Bob, alternatively remove non-cut vertices one by one to gain the weights on them. Alice wins the game if she gains at least half of the total weights. In this paper, we show that on every connected even graph which does contain a fully spiked cycle as an induced subgraph, Alice always…
▽ More
The \emph{graph grabbing game} is a two-player game on a weighted connected graph in which two players, Alice and Bob, alternatively remove non-cut vertices one by one to gain the weights on them. Alice wins the game if she gains at least half of the total weights. In this paper, we show that on every connected even graph which does contain a fully spiked cycle as an induced subgraph, Alice always has a winning strategy with an arbitrary weight function whose codomain is $\{0,1\}$. In addition, we give a list of forbidden subgraph for the family of graphs on which Alice has a winning strategy with an arbitrary weight function whose codomain is $\{0,1\}$.
△ Less
Submitted 7 October, 2018;
originally announced October 2018.
-
On $(1,2)$-step competition graphs of bipartite tournaments
Authors:
Jihoon Choi,
Soogang Eoh,
Suh-Ryung Kim,
So Jung Lee
Abstract:
In this paper, we study $(1,2)$-step competition graphs of bipartite tournaments. A bipartite tournament means an orientation of a complete bipartite graph. We show that the $(1,2)$-step competition graph of a bipartite tournament has at most one non-trivial component or consists of exactly two complete components of size at least three and, especially in the former, the diameter of the nontrivial…
▽ More
In this paper, we study $(1,2)$-step competition graphs of bipartite tournaments. A bipartite tournament means an orientation of a complete bipartite graph. We show that the $(1,2)$-step competition graph of a bipartite tournament has at most one non-trivial component or consists of exactly two complete components of size at least three and, especially in the former, the diameter of the nontrivial component is at most three if it exists. Based on this result, we show that, among the connected non-complete graphs which are triangle-free or the cycles of which are edge-disjoint, $K_{1,4}$ is the only graph that can be represented as the $(1,2)$-step competition graph of a bipartite tournament. We also completely characterize a complete graph and the disjoint union of two complete graphs, respectively, which can be represented as the $(1,2)$-step competition graph of a bipartite tournament. Finally we present the maximum number of edges and the minimum number of edges which the $(1,2)$-step competition graph of a bipartite tournament might have.
△ Less
Submitted 9 November, 2016; v1 submitted 7 November, 2016;
originally announced November 2016.
-
Competition numbers of planar graphs
Authors:
Jihoon Choi,
Soogang Eoh,
Suh-Ryung Kim
Abstract:
In this paper, we relate the competition number of a graph to its edge clique cover number by presenting a tight inequality $k(G) \ge θ_e(G)-|V(G)|+\widetilde{k}(G)$ where $θ_e(G)$, $k(G)$, and $\widetilde{k}(G)$ are the edge clique cover number, the competition number, and the co-competition number of a graph $G$, respectively. By utilizing this inequality and a notion of competition-effective ed…
▽ More
In this paper, we relate the competition number of a graph to its edge clique cover number by presenting a tight inequality $k(G) \ge θ_e(G)-|V(G)|+\widetilde{k}(G)$ where $θ_e(G)$, $k(G)$, and $\widetilde{k}(G)$ are the edge clique cover number, the competition number, and the co-competition number of a graph $G$, respectively. By utilizing this inequality and a notion of competition-effective edge clique cover, we obtain some meaningful results on competition numbers of planar graphs.
△ Less
Submitted 11 October, 2018; v1 submitted 15 February, 2016;
originally announced February 2016.