graph
34763 papers tagged with this keyword
A tour problem on a toroidal board
In this paper we study a tour problem that we came cross while studying biembeddings and Heffter arrays, see [D.S. Archdeacon, Heffter arrays and biembedding graphs on surfaces, Electron. J. Combin. 22 (2015) #P1.74]. Let $A$ be an $n\times m$ toroidal array consisting of filled cells and empty cells. Assume that an orientation $R=(r_1,\dots,r_n)$ of each row and $C=(c_1,\dots,c_m)$ of each column of $A$ is fixed. Given an initial filled cell $(i_1,j_1)$ consider the list $ L_{R,C}=((i_1,j_1),(i_2,j_2),\ldots,(i_k,j_k),$ $(i_{k+1},j_{k+1}),\ldots)$ where $j_{k+1}$ is the column index of the filled cell $(i_k,j_{k+1})$ of the row $R_{i_k}$ next to $(i_k,j_k)$ in the orientation $r_{i_k}$, and where $i_{k+1}$ is the row index of the filled cell of the column $C_{j_{k+1}}$ next to $(i_k,j_{k+1})$ in the orientation $c_{j_{k+1}}$. We propose the following "Crazy Knight's Tour Problem": Do there exist $R$ and $C$ such that the list $L_{R,C}$ covers all the filled cells of $A$?
Here we provide a complete solution for the case with no empty cells and we obtain partial results for square arrays where the filled cells follow some specific regular patterns.
On the achromatic number of signed graphs
Published in Theoretical Computer Science, Elsevier, 2019
• Search Publication
In this paper, we generalize the concept of complete coloring and achromatic number to 2-edge-colored graphs and signed graphs. We give some useful relationships between different possible definitions of such achromatic numbers and prove that computing any of them is NP-complete.
Local approximation of the Maximum Cut in regular graphs
Published in Theoretical Computer Science 820 (2020), 45-59
• View Publication
• BIB
This paper is devoted to the distributed complexity of finding an approximation of the maximum cut in graphs. A classical algorithm consists in letting each vertex choose its side of the cut uniformly at random. This does not require any communication and achieves an approximation ratio of at least $\tfrac12$ in average. When the graph is $d$-regular and triangle-free, a slightly better approximation ratio can be achieved with a randomized algorithm running in a single round. Here, we investigate the round complexity of deterministic distributed algorithms for MAXCUT in regular graphs. We first prove that if $G$ is $d$-regular, with $d$ even and fixed, no deterministic algorithm running in a constant number of rounds can achieve a constant approximation ratio. We then give a simple one-round deterministic algorithm achieving an approximation ratio of $\tfrac1{d}$ for $d$-regular graphs with $d$ odd. We show that this is best possible in several ways, and in particular no deterministic algorithm with approximation ratio $\tfrac1{d}+ε$ (with $ε>0$) can run in a constant number of rounds. We also prove results of a similar flavour for the MAXDICUT problem in regular oriented graphs, where we want to maximize the number of arcs oriented from the left part to the right part of the cut.
Unique ergodicity of the automorphism group of the semigeneric directed graph
We prove that the automorphism group of the semigeneric directed graph (in the sense of Cherlin's classification) is uniquely ergodic.
Sufficient conditions for a digraph to admit a $(1,\leq\ell)$-identifying code
A $(1,\le \ell)$-identifying code in a digraph $D$ is a subset $C$ of vertices of $D$ such that all distinct subsets of vertices of cardinality at most $\ell$ have different closed in-neighborhoods within $C$. In this paper, we give some sufficient conditions for a digraph of minimum in-degree $δ^-\ge 1$ to admit a $(1,\le \ell)$-identifying code for $\ell=δ^-, δ^-+1$. As a corollary, we obtain the result by Laihonen that states that a graph of minimum degree $δ\ge 2$ and girth at least 7 admits a $(1,\le δ)$-identifying code. Moreover, we prove that every $1$-in-regular digraph has a $(1,\le 2)$-identifying code if and only if the girth of the digraph is at least 5. We also characterize all the 2-in-regular digraphs admitting a $(1,\le \ell)$-identifying code for $\ell=2,3$.
Covering graphs by monochromatic trees and Helly-type results for hypergraphs
How many monochromatic paths, cycles or general trees does one need to cover all vertices of a given $r$-edge-coloured graph $G$? These problems were introduced in the 1960s and were intensively studied by various researchers over the last 50 years. In this paper, we establish a connection between this problem and the following natural Helly-type question in hypergraphs. Roughly speaking, this question asks for the maximum number of vertices needed to cover all the edges of a hypergraph $H$ if it is known that any collection of a few edges of $H$ has a small cover. We obtain quite accurate bounds for the hypergraph problem and use them to give some unexpected answers to several questions about covering graphs by monochromatic trees raised and studied by Bal and DeBiasio, Kohayakawa, Mota and Schacht, Lang and Lo, and Girão, Letzter and Sahasrabudhe.
Graver Bases via Quantum Annealing with Application to Non-Linear Integer Programs
We propose a novel hybrid quantum-classical approach to calculate Graver bases, which have the potential to solve a variety of hard linear and non-linear integer programs, as they form a test set (optimality certificate) with very appealing properties. The calculation of Graver bases is exponentially hard (in general) on classical computers, so they not used for solving practical problems on commercial solvers. With a quantum annealer, however, it may be a viable approach to use them. We test two hybrid quantum-classical algorithms (on D-Wave)--one for computing Graver basis and a second for optimizing non-linear integer programs that utilize Graver bases--to understand the strengths and limitations of the practical quantum annealers available today. Our experiments suggest that with a modest increase in coupler precision--along with near-term improvements in the number of qubits and connectivity (density of hardware graph) that are expected--the ability to outperform classical best-in-class algorithms is within reach, with respect to non-linear integer optimization.
List edge coloring of outer-1-planar graphs
A graph is outer-1-planar if it can be drawn in the plane so that all vertices are on the outer face and each edge is crossed at most once. It is known that the list edge chromatic number $χ'_l(G)$ of any outer-1-planar graph $G$ with maximum degree $Δ(G)\geq 5$ is exactly its maximum degree. In this paper, we prove $χ'_l(G)=Δ(G)$ for outer-1-planar graphs $G$ with $Δ(G)=4$ and with the crossing distance being at least 3.
Optimal BIBD-extended designs
Balanced incomplete block designs (BIBDs) are a class of designs with v treatments and b blocks of size k that are optimal with regards to a wide range of optimality criteria, but it is not clear which designs to choose for combinations of v, b and k when BIBDs do not exist.
In 1992, Cheng showed that for sufficiently large b, the designs which are optimal with respect to commonly used criteria (including the A- and D- criteria) must be found among (M.S)-optimal designs. In particular, this result confirmed the conjecture of John and Mitchell in 1977 on the optimality of regular graph designs (RGDs) in the case of large numbers of blocks.
We investigate the effect of extending known optimal binary designs by repeatedly adding the blocks of a BIBD and find boundaries for the number of block so that these BIBD-extended designs are optimal. In particular, we will study the designs for k=2 and b=v-1 and b=v: in these cases the A- and D-optimal designs are not the same but we show that this changes after adding blocks of a BIBD and the same design becomes A- and D-optimal amongst the collection of extended designs. Finally, we characterise those RGDs that give rise to A- and D-optimal extended designs and extend a result on the D-optimality of the a group-divisible design to A- and D-optimality amongst BIBD-extended designs.
A hierarchy of dismantlings in Graphs
Given a finite undirected graph $X$, a vertex is $0$-dismantlable if its open neighbourhood is a cone and $X$ is $0$-dismantlable if it is reducible to a single vertex by successive deletions of $0$-dismantlable vertices. By an iterative process, a vertex is $(k+1)$-dismantlable if its open neighbourhood is $k$-dismantlable and a graph is $k$-dismantlable if it is reducible to a single vertex by successive deletions of $k$-dismantlable vertices. We introduce a graph family, the cubion graphs, in order to prove that $k$-dismantlabilities give a strict hierarchy in the class of graphs whose clique complex is non-evasive. We point out how these higher dismantlabilities are related to the derivability of graphs defined by Mazurkievicz and we get a new characterization of the class of closed graphs he defined. By generalising the notion of vertex transitivity, we consider the issue of higher dismantlabilities in link with the evasiveness conjecture.
Flexibility of planar graphs of girth at least six
Published in Journal of Graph Theory 95(3), 457-466 (2020)
• View Publication
• BIB
Let G be a planar graph with a list assignment L. Suppose a preferred color is given for some of the vertices. We prove that if G has girth at least six and all lists have size at least three, then there exists an L-coloring respecting at least a constant fraction of the preferences.
Weighted prime geodesic theorems
Prime geodesic theorems for weighted infinite graphs and weighted building quotients are given. The growth rates are expressed in terms of the spectral data of suitable translation operators inspired by a paper of Bass.
Limit theory of isolated and extreme points in hyperbolic random geometric graphs
Published in Electron. J. Probab., Volume 25 (2020), paper no. 141
• View Publication
• BIB
Given $α\in (0, \infty)$ and $r \in (0, \infty)$, let ${\cal D}_{r, α}$ be the disc of radius $r$ in the hyperbolic plane having curvature $-α^2$. Consider the Poisson point process having uniform intensity density on ${\cal D}_{R, α}$, with $R = 2 \log(n/ ν),$ $n \in \mathbb{N}$, and $ν< n$ a fixed constant. The points are projected onto ${\cal D}_{R, 1}$, preserving polar coordinates, yielding a Poisson point process ${\cal P}_{α, n}$ on ${\cal D}_{R, 1}$. The hyperbolic geometric graph ${\cal G}_{α, n}$ on ${\cal P}_{α, n}$ puts an edge between pairs of points of ${\cal P}_{α, n}$ which are distant at most $R$. This model has been used to express fundamental features of complex networks in terms of an underlying hyperbolic geometry.
For $α\in (1/2, \infty)$ we establish expectation and variance asymptotics as well as asymptotic normality for the number of isolated and extreme points in ${\cal G}_{α, n}$ as $n \to \infty$. The limit theory and renormalization for the number of isolated points are highly sensitive on the curvature parameter. In particular, for $α\in (1/2, 1)$, the variance is super-linear, for $α= 1$ the variance is linear with a logarithmic correction, whereas for $α\in (1, \infty)$ the variance is linear. The central limit theorem fails for $α\in (1/2, 1)$ but it holds for $α\in (1, \infty)$.
On the number of pancake stacks requiring four flips to be sorted
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 21 no. 2, Permutation Patters 2018 (November 4, 2019) dmtcs:5214
• View Publication
• BIB
Using existing classification results for the 7- and 8-cycles in the pancake graph, we determine the number of permutations that require 4 pancake flips (prefix reversals) to be sorted. A similar characterization of the 8-cycles in the burnt pancake graph, due to the authors, is used to derive a formula for the number of signed permutations requiring 4 (burnt) pancake flips to be sorted. We furthermore provide an analogous characterization of the 9-cycles in the burnt pancake graph. Finally we present numerical evidence that polynomial formulae exist giving the number of signed permutations that require $k$ flips to be sorted, with $5\leq k\leq9$.
Expected capture time and throttling number for cop versus gambler
We bound expected capture time and throttling number for the cop versus gambler game on a connected graph with $n$ vertices, a variant of the cop versus robber game that is played in darkness, where the adversary hops between vertices using a fixed probability distribution. The paper that originally defined the cop versus gambler game focused on two versions, a known gambler whose distribution the cop knows, and an unknown gambler whose distribution is secret. We define a new version of the gambler where the cop makes a fixed number of observations before the lights go out and the game begins. We show that the strategy that gives the best possible expected capture time of $n$ for the known gambler can also be used to achieve nearly the same expected capture time against the observed gambler when the cop makes a sufficiently large number of observations. We also show that even with only a single observation, the cop is able to achieve an expected capture time of approximately $1.5n$, which is much lower than the expected capture time of the best known strategy against the unknown gambler (approximately $1.95n$).
Logical complexity of induced subgraph isomorphism for certain graph families
We prove that, for every $\ell\geq 4$, there exists an $\ell$-vertex graph and a first order sentence having a quantifier depth at most $\ell-1$ defining the property of having an induced subgraph isomorphic to the given one. We prove that a first order sentence defining the property of containing an induced subgraph on $\ell$ vertices isomorphic to a given disjoint union of isomorphic complete multipartite graphs has a quantifier depth at least $\ell$. Finally, we prove that, for every graph on $\ell\leq 5$ vertices a sentence defining the property of containing an induced subgraph isomorphic to the given one has a quantifier depth at least $\ell-1$.
Embedding onto Wheel-like Networks
One of the important features of an interconnection network is its ability to efficiently simulate programs or parallel algorithms written for other architectures. Such a simulation problem can be mathematically formulated as a graph embedding problem. In this paper we compute the lower bound for dilation and congestion of embedding onto wheel-like networks. Further, we compute the exact dilation of embedding wheel-like networks into hypertrees, proving that the lower bound obtained is sharp. Again, we compute the exact congestion of embedding windmill graphs into circulant graphs, proving that the lower bound obtained is sharp. Further, we compute the exact wirelength of embedding wheels and fans into 1,2-fault hamiltonian graphs. Using this we estimate the exact wirelength of embedding wheels and fans into circulant graphs, generalized Petersen graphs, augmented cubes, crossed cubes, Möbius cubes, twisted cubes, twisted $n$-cubes, locally twisted cubes, generalized twisted cubes, odd-dimensional cube connected cycle, hierarchical cubic networks, alternating group graphs, arrangement graphs, 3-regular planer hamiltonian graphs, star graphs, generalised matching networks, fully connected cubic networks, tori and 1-fault traceable graphs.
On the weight of Berge-$F$-free hypergraphs
For a graph $F$, we say a hypergraph is a Berge-$F$ if it can be obtained from $F$ by replacing each edge of $F$ with a hyperedge containing it. A hypergraph is Berge-$F$-free if it does not contain a subhypergraph that is a Berge-$F$. The weight of a non-uniform hypergraph $\mathcal{H}$ is the quantity $\sum_{h \in E(\mathcal{H})} |h|$.
Suppose $\mathcal{H}$ is a Berge-$F$-free hypergraph on $n$ vertices. In this short note, we prove that as long as every edge of $\mathcal{H}$ has size at least the Ramsey number of $F$ and at most $o(n)$, the weight of $\mathcal{H}$ is $o(n^2)$. This result is best possible in some sense. Along the way, we study other weight functions, and strengthen results of Gerbner and Palmer; and Grósz, Methuku and Tompkins.
On expander Cayley graphs from Galois rings
In this paper, we study new Cayley graphs over the additive group of Galois rings. First we prove that they are expander graphs by using a Weil-Carlitz-Uchiyama type estimation of character sums for Galois rings. We also show that Cayley graphs from Galois rings of characteristic 4 form a new infinite family of Ramanujan graphs by an elementary eigenvalue estimation. Moreover some other spectral properties of our graphs are also discussed.
A combinatorial identity with applications to forest graphs
We give an elementary proof of an interesting combinatorial identity which is of particular interest in graph theory and its applications. Two applications to enumeration of forests with closed-form expressions are given.