291 research outputs found
The Complexity of Change
Many combinatorial problems can be formulated as "Can I transform
configuration 1 into configuration 2, if certain transformations only are
allowed?". An example of such a question is: given two k-colourings of a graph,
can I transform the first k-colouring into the second one, by recolouring one
vertex at a time, and always maintaining a proper k-colouring? Another example
is: given two solutions of a SAT-instance, can I transform the first solution
into the second one, by changing the truth value one variable at a time, and
always maintaining a solution of the SAT-instance? Other examples can be found
in many classical puzzles, such as the 15-Puzzle and Rubik's Cube.
In this survey we shall give an overview of some older and more recent work
on this type of problem. The emphasis will be on the computational complexity
of the problems: how hard is it to decide if a certain transformation is
possible or not?Comment: 28 pages, 6 figure
Defective and Clustered Graph Colouring
Consider the following two ways to colour the vertices of a graph where the
requirement that adjacent vertices get distinct colours is relaxed. A colouring
has "defect" if each monochromatic component has maximum degree at most
. A colouring has "clustering" if each monochromatic component has at
most vertices. This paper surveys research on these types of colourings,
where the first priority is to minimise the number of colours, with small
defect or small clustering as a secondary goal. List colouring variants are
also considered. The following graph classes are studied: outerplanar graphs,
planar graphs, graphs embeddable in surfaces, graphs with given maximum degree,
graphs with given maximum average degree, graphs excluding a given subgraph,
graphs with linear crossing number, linklessly or knotlessly embeddable graphs,
graphs with given Colin de Verdi\`ere parameter, graphs with given
circumference, graphs excluding a fixed graph as an immersion, graphs with
given thickness, graphs with given stack- or queue-number, graphs excluding
as a minor, graphs excluding as a minor, and graphs excluding
an arbitrary graph as a minor. Several open problems are discussed.Comment: This is a preliminary version of a dynamic survey to be published in
the Electronic Journal of Combinatoric
Defective and Clustered Choosability of Sparse Graphs
An (improper) graph colouring has "defect" if each monochromatic subgraph
has maximum degree at most , and has "clustering" if each monochromatic
component has at most vertices. This paper studies defective and clustered
list-colourings for graphs with given maximum average degree. We prove that
every graph with maximum average degree less than is
-choosable with defect . This improves upon a similar result by Havet and
Sereni [J. Graph Theory, 2006]. For clustered choosability of graphs with
maximum average degree , no bound on the number of colours
was previously known. The above result with solves this problem. It
implies that every graph with maximum average degree is
-choosable with clustering 2. This extends a
result of Kopreski and Yu [Discrete Math., 2017] to the setting of
choosability. We then prove two results about clustered choosability that
explore the trade-off between the number of colours and the clustering. In
particular, we prove that every graph with maximum average degree is
-choosable with clustering , and is
-choosable with clustering . As an
example, the later result implies that every biplanar graph is 8-choosable with
bounded clustering. This is the best known result for the clustered version of
the earth-moon problem. The results extend to the setting where we only
consider the maximum average degree of subgraphs with at least some number of
vertices. Several applications are presented
Colourings of cubic graphs inducing isomorphic monochromatic subgraphs
A -bisection of a bridgeless cubic graph is a -colouring of its
vertex set such that the colour classes have the same cardinality and all
connected components in the two subgraphs induced by the colour classes
(monochromatic components in what follows) have order at most . Ban and
Linial conjectured that every bridgeless cubic graph admits a -bisection
except for the Petersen graph. A similar problem for the edge set of cubic
graphs has been studied: Wormald conjectured that every cubic graph with
has a -edge colouring such that the two
monochromatic subgraphs are isomorphic linear forests (i.e. a forest whose
components are paths). Finally, Ando conjectured that every cubic graph admits
a bisection such that the two induced monochromatic subgraphs are isomorphic.
In this paper, we give a detailed insight into the conjectures of Ban-Linial
and Wormald and provide evidence of a strong relation of both of them with
Ando's conjecture. Furthermore, we also give computational and theoretical
evidence in their support. As a result, we pose some open problems stronger
than the above mentioned conjectures. Moreover, we prove Ban-Linial's
conjecture for cubic cycle permutation graphs.
As a by-product of studying -edge colourings of cubic graphs having linear
forests as monochromatic components, we also give a negative answer to a
problem posed by Jackson and Wormald about certain decompositions of cubic
graphs into linear forests.Comment: 33 pages; submitted for publicatio
On graph norms for complex-valued functions
For any given graph , one may define a natural corresponding functional
for real-valued functions by using homomorphism density. One may also
extend this to complex-valued functions, once is paired with a
-edge-colouring to assign conjugates. We say that is
real-norming (resp. complex-norming) if (resp. for
some ) is a norm on the vector space of real-valued (resp.
complex-valued) functions. These generalise the Gowers octahedral norms, a
widely used tool in extremal combinatorics to quantify quasirandomness. We
unify these two seemingly different notions of graph norms in real- and
complex-valued settings. Namely, we prove that is complex-norming if and
only if it is real-norming and simply call the property norming. Our proof does
not explicitly construct a suitable -edge-colouring but obtains its
existence and uniqueness, which may be of independent interest. As an
application, we give various example graphs that are not norming. In
particular, we show that hypercubes are not norming, which resolves the last
outstanding problem posed in Hatami's pioneering work on graph norms.Comment: 33 page
List homomorphism problems for signed graphs
We consider homomorphisms of signed graphs from a computational perspective.
In particular, we study the list homomorphism problem seeking a homomorphism of
an input signed graph , equipped with lists , of allowed images, to a fixed target signed graph . The
complexity of the similar homomorphism problem without lists (corresponding to
all lists being ) has been previously classified by Brewster and
Siggers, but the list version remains open and appears difficult. We illustrate
this difficulty by classifying the complexity of the problem when is a tree
(with possible loops). The tools we develop will be useful for classifications
of other classes of signed graphs, and we illustrate this by classifying the
complexity of irreflexive signed graphs in which the unicoloured edges form
some simple structures, namely paths or cycles. The structure of the signed
graphs in the polynomial cases is interesting, suggesting they may constitute a
nice class of signed graphs analogous to the so-called bi-arc graphs (which
characterize the polynomial cases of list homomorphisms to unsigned graphs).Comment: various changes + rewritten section on path- and cycle-separable
graphs based on a new conference submission (split possible in future
- …