1,692 research outputs found
A comprehensive introduction to the theory of word-representable graphs
Letters x and y alternate in a word w if after deleting in w all letters but the copies of x and y we either obtain a word xyxy⋯ (of even or odd length) or a word yxyx⋯ (of even or odd length). A graph G=(V,E) is word-representable if and only if there exists a word w over the alphabet V such that letters x and y alternate in w if and only if xy ∈ E. Word-representable graphs generalize several important classes of graphs such as circle graphs, 3-colorable graphs and comparability graphs. This paper offers a comprehensive introduction to the theory of word-representable graphs including the most recent developments in the area
Polygon-circle and word-representable graphs
We describe work on the relationship between the independently-studied polygon-circle graphs and word-representable graphs. A graph G = (V, E) is word-representable if there exists a word w over the alpha-bet V such that letters x and y form a subword of the form xyxy ⋯ or yxyx ⋯ iff xy is an edge in E. Word-representable graphs generalise several well-known and well-studied classes of graphs [S. Kitaev, A Comprehensive Introduction to the Theory of Word-Representable Graphs, Lecture Notes in Computer Science 10396 (2017) 36–67; S. Kitaev, V. Lozin, “Words and Graphs” Springer, 2015]. It is known that any word-representable graph is k-word-representable, that is, can be represented by a word having exactly k copies of each letter for some k dependent on the graph. Recognising whether a graph is word-representable is NP-complete ([S. Kitaev, V. Lozin, “Words and Graphs” Springer, 2015, Theorem 4.2.15]). A polygon-circle graph (also known as a spider graph) is the intersection graph of a set of polygons inscribed in a circle [M. Koebe, On a new class of intersection graphs, Ann. Discrete Math. (1992) 141–143]. That is, two vertices of a graph are adjacent if their respective polygons have a non-empty intersection, and the set of polygons that correspond to vertices in this way are said to represent the graph. Recognising whether an input graph is a polygon-circle graph is NP-complete [M. Pergel, Recognition of polygon-circle graphs and graphs of interval filaments is NP-complete, Graph-Theoretic Concepts in Computer Science: 33rd Int. Workshop, Lecture Notes in Computer Science, 4769 (2007) 238–247]. We show that neither of these two classes is included in the other one by showing that the word-representable Petersen graph and crown graphs are not polygon-circle, while the non-word-representable wheel graph W 5 is polygon-circle. We also provide a more refined result showing that for any k ≥ 3, there are k-word-representable graphs which are neither (k −1)-word-representable nor polygon-circle
On graphs with representation number 3
A graph is word-representable if there exists a word over the
alphabet such that letters and alternate in if and only if
is an edge in . A graph is word-representable if and only if it is
-word-representable for some , that is, if there exists a word containing
copies of each letter that represents the graph. Also, being
-word-representable implies being -word-representable. The minimum
such that a word-representable graph is -word-representable, is called
graph's representation number.
Graphs with representation number 1 are complete graphs, while graphs with
representation number 2 are circle graphs. The only fact known before this
paper on the class of graphs with representation number 3, denoted by
, is that the Petersen graph and triangular prism belong to this
class. In this paper, we show that any prism belongs to , and
that two particular operations of extending graphs preserve the property of
being in . Further, we show that is not included
in a class of -colorable graphs for a constant . To this end, we extend
three known results related to operations on graphs.
We also show that ladder graphs used in the study of prisms are
-word-representable, and thus each ladder graph is a circle graph. Finally,
we discuss -word-representing comparability graphs via consideration of
crown graphs, where we state some problems for further research
On word-representability of polyomino triangulations
A graph is word-representable if there exists a word over the
alphabet such that letters and alternate in if and only if
is an edge in . Some graphs are word-representable, others are not.
It is known that a graph is word-representable if and only if it accepts a
so-called semi-transitive orientation.
The main result of this paper is showing that a triangulation of any convex
polyomino is word-representable if and only if it is 3-colorable. We
demonstrate that this statement is not true for an arbitrary polyomino. We also
show that the graph obtained by replacing each -cycle in a polyomino by the
complete graph is word-representable. We employ semi-transitive
orientations to obtain our results
On semi-transitive orientability of Kneser graphs and their complements
An orientation of a graph is semi-transitive if it is acyclic, and for any
directed path either
there is no edge between and , or is an edge
for all . An undirected graph is semi-transitive if it admits
a semi-transitive orientation. Semi-transitive graphs include several important
classes of graphs such as 3-colorable graphs, comparability graphs, and circle
graphs, and they are precisely the class of word-representable graphs studied
extensively in the literature.
In this paper, we study semi-transitive orientability of the celebrated
Kneser graph , which is the graph whose vertices correspond to the
-element subsets of a set of elements, and where two vertices are
adjacent if and only if the two corresponding sets are disjoint. We show that
for , is not semi-transitive, while for , is semi-transitive. Also, we show computationally that a
subgraph on 16 vertices and 36 edges of , and thus itself
on 56 vertices and 280 edges, is non-semi-transitive. and are the
first explicit examples of triangle-free non-semi-transitive graphs, whose
existence was established via Erd\H{o}s' theorem by Halld\'{o}rsson et al. in
2011. Moreover, we show that the complement graph of
is semi-transitive if and only if
- …