859 research outputs found
Grundy Coloring & Friends, Half-Graphs, Bicliques
The first-fit coloring is a heuristic that assigns to each vertex, arriving in a specified order ?, the smallest available color. The problem Grundy Coloring asks how many colors are needed for the most adversarial vertex ordering ?, i.e., the maximum number of colors that the first-fit coloring requires over all possible vertex orderings. Since its inception by Grundy in 1939, Grundy Coloring has been examined for its structural and algorithmic aspects. A brute-force f(k)n^{2^{k-1}}-time algorithm for Grundy Coloring on general graphs is not difficult to obtain, where k is the number of colors required by the most adversarial vertex ordering. It was asked several times whether the dependency on k in the exponent of n can be avoided or reduced, and its answer seemed elusive until now. We prove that Grundy Coloring is W[1]-hard and the brute-force algorithm is essentially optimal under the Exponential Time Hypothesis, thus settling this question by the negative.
The key ingredient in our W[1]-hardness proof is to use so-called half-graphs as a building block to transmit a color from one vertex to another. Leveraging the half-graphs, we also prove that b-Chromatic Core is W[1]-hard, whose parameterized complexity was posed as an open question by Panolan et al. [JCSS \u2717]. A natural follow-up question is, how the parameterized complexity changes in the absence of (large) half-graphs. We establish fixed-parameter tractability on K_{t,t}-free graphs for b-Chromatic Core and Partial Grundy Coloring, making a step toward answering this question. The key combinatorial lemma underlying the tractability result might be of independent interest
A generalization of heterochromatic graphs
In 2006, Suzuki, and Akbari & Alipour independently presented a necessary and
sufficient condition for edge-colored graphs to have a heterochromatic spanning
tree, where a heterochromatic spanning tree is a spanning tree whose edges have
distinct colors. In this paper, we propose -chromatic graphs as a
generalization of heterochromatic graphs. An edge-colored graph is
-chromatic if each color appears on at most edges. We also
present a necessary and sufficient condition for edge-colored graphs to have an
-chromatic spanning forest with exactly components. Moreover, using this
criterion, we show that a -chromatic graph of order with
has an -chromatic spanning forest with exactly
() components if for any
color .Comment: 14 pages, 4 figure
Complexity of Token Swapping and its Variants
In the Token Swapping problem we are given a graph with a token placed on
each vertex. Each token has exactly one destination vertex, and we try to move
all the tokens to their destinations, using the minimum number of swaps, i.e.,
operations of exchanging the tokens on two adjacent vertices. As the main
result of this paper, we show that Token Swapping is -hard parameterized
by the length of a shortest sequence of swaps. In fact, we prove that, for
any computable function , it cannot be solved in time where is the number of vertices of the input graph, unless the ETH
fails. This lower bound almost matches the trivial -time algorithm.
We also consider two generalizations of the Token Swapping, namely Colored
Token Swapping (where the tokens have different colors and tokens of the same
color are indistinguishable), and Subset Token Swapping (where each token has a
set of possible destinations). To complement the hardness result, we prove that
even the most general variant, Subset Token Swapping, is FPT in nowhere-dense
graph classes.
Finally, we consider the complexities of all three problems in very
restricted classes of graphs: graphs of bounded treewidth and diameter, stars,
cliques, and paths, trying to identify the borderlines between polynomial and
NP-hard cases.Comment: 23 pages, 7 Figure
Double Scaling in Tensor Models with a Quartic Interaction
In this paper we identify and analyze in detail the subleading contributions
in the 1/N expansion of random tensors, in the simple case of a quartically
interacting model. The leading order for this 1/N expansion is made of graphs,
called melons, which are dual to particular triangulations of the D-dimensional
sphere, closely related to the "stacked" triangulations. For D<6 the subleading
behavior is governed by a larger family of graphs, hereafter called cherry
trees, which are also dual to the D-dimensional sphere. They can be resummed
explicitly through a double scaling limit. In sharp contrast with random matrix
models, this double scaling limit is stable. Apart from its unexpected upper
critical dimension 6, it displays a singularity at fixed distance from the
origin and is clearly the first step in a richer set of yet to be discovered
multi-scaling limits
- …