graph
34665 papers tagged with this keyword
Deficiency in Signed Graphs
We introduce the concept of deficiency in signed graphs. The deficiency of a coloration is the number of unused colors. We classify the deficiency of 2-chromatic graphs. There are four decision problems about the minimum and maximum deficiency of a 3-chromatic signed graph. We answer two of them with a polynomial-time algorithm for deciding the maximum deficiency of a 3-chromatic signed graph.
The Chromatic Number of Joins of Signed Graphs
Published
• View Publication
• BIB
We introduce joins of signed graphs and explore the chromatic number of the all-positive and all-negative joins. We prove an analogue to the theorem that the chromatic number of the join of two graphs equals the sum of their chromatic numbers. Given two signed graphs, the chromatic number of the all-positive and all-negative join is usually less than the sum of their chromatic numbers, by an amount that depends on the new concept of deficiency of a signed-graph coloration.
Counting graph orientations with no directed triangles
Alon and Yuster proved that the number of orientations of any $n$-vertex graph in which every $K_3$ is transitively oriented is at most $2^{\lfloor n^2/4\rfloor}$ for $n \geq 10^4$ and conjectured that the precise lower bound on $n$ should be $n \geq 8$. We confirm their conjecture and, additionally, characterize the extremal families by showing that the balanced complete bipartite graph with $n$ vertices is the only $n$-vertex graph for which there are exactly $2^{\lfloor n^2/4\rfloor}$ such orientations.
Maker-Breaker resolving game
Published
• View Publication
• BIB
A set of vertices $W$ of a graph $G$ is a resolving set if every vertex of $G$ is uniquely determined by its vector of distances to $W$. In this paper, the Maker-Breaker resolving game is introduced. The game is played on a graph $G$ by Resolver and Spoiler who alternately select a vertex of $G$ not yet chosen. Resolver wins if at some point the vertices chosen by him form a resolving set of $G$, whereas Spoiler wins if the Resolver cannot form a resolving set of $G$. The outcome of the game is denoted by $o(G)$ and $R_{\rm MB}(G)$ (resp. $S_{\rm MB}(G)$) denotes the minimum number of moves of Resolver (resp. Spoiler) to win when Resolver has the first move. The corresponding invariants for the game when Spoiler has the first move are denoted by $R'_{\rm MB}(G)$ and $S'_{\rm MB}(G)$. Invariants $R_{\rm MB}(G)$, $R'_{\rm MB}(G)$, $S_{\rm MB}(G)$, and $S'_{\rm MB}(G)$ are compared among themselves and with the metric dimension ${\rm dim}(G)$. A large class of graphs $G$ is constructed for which $R_{\rm MB}(G) > {\rm dim}(G)$ holds. The effect of twin equivalence classes and pairing resolving sets on the Maker-Breaker resolving game is described. As an application $o(G)$, as well as $R_{\rm MB}(G)$ and $R'_{\rm MB}(G)$ (or $S_{\rm MB}(G)$ and $S'_{\rm MB}(G)$), are determined for several graph classes, including trees, complete multi-partite graphs, grid graphs, and torus grid graphs.
Generalised dual Seidel switching and Deza graphs with strongly regular children
Published in Discrete Mathematics, Volume 344, Issue 3, March 2021
• View Publication
• BIB
A Deza graph G with parameters (n,k,b,a) is a k-regular graph with n vertices such that any two distinct vertices have b or a common neighbours, where b >= a. The children G_A and G_B of a Deza graph G are defined on the vertex set of G such that every two distinct vertices are adjacent in G_A or G_B if and only if they have a or b common neighbours, respectively. In this paper we present a general approach to dual Seidel switching and investigate Deza graphs whose children are strongly regular graphs.
Daisy Hamming graphs
Daisy graphs of a rooted graph $G$ with the root $r$ were recently introduced as a generalization of daisy cubes, a class of isometric subgraphs of hypercubes. In this paper we first solve the problem posed in \cite{Taranenko2020} and characterize rooted graphs $G$ with the root $r$ for which all daisy graphs of $G$ with respect to $r$ are isometric in $G$. We continue the investigation of daisy graphs $G$ (generated by $X$) of a Hamming graph $H$ and characterize those daisy graphs generated by $X$ of cardinality 2 that are isometric in $H$. Finally, we give a characterization of isometric daisy graphs of a Hamming graph $K_{k_1}\Box \ldots \Box K_{k_n}$ with respect to $0^n$ in terms of an expansion procedure.
Discrete homotopy of token configurations
This paper studies graphical analogs of symmetric products and unordered configuration spaces in topology. We do so from the perspective of the discrete homotopy theory introduced by Barcelo et al. Our first result is a combinatorial version of a theorem of P. A. Smith, which says that the fundamental group of any nontrivial symmetric product of $X$ is isomorphic to $H_1(X)$. Our second result gives conditions under which the n-strand braid group of a graph is isomorphic to its discrete analog.
Group-Graph Reciprocal Pairs
In a 2018 paper, Cameron and Semeraro posed the problem of finding all group-graph reciprocal pairs. In this paper, we make a significant contribution to finding all such pairs. A group and graph form a reciprocal pair if they satisfy the relation $$P_{Γ,G}(x)=(-1)^nF_G(-x)$$ where $P_{Γ,G}(x)$ is the orbital chromatic polynomial of a graph $Γ$ and $F_G(x)$ is the cycle polynomial of a finite permutation group. We define a set of graphs to be \textit{$k$-stars} and prove that they satisfy a reciprocality relation with some group depending on $k$. These graphs are comprised of a complete graph with $k$ vertices and a further $α$ `points' which are only connected to each vertex in the centre. This group is a subgroup of $S_k\times S_α$, which is the automorphism group of a \textit{$k$-star} and $α$ is the number of points on the star. We conjecture a list of group-graph reciprocal pairs.
Dominating the direct product of two graphs through total Roman strategies
Given a graph $G$ without isolated vertices, a total Roman dominating function for $G$ is a function $f : V(G)\rightarrow \{0,1,2\}$ such that every vertex with label 0 is adjacent to a vertex with label 2, and the set of vertices with positive labels induces a graph of minimum degree at least one. The total Roman domination number $γ_{tR}(G)$ of $G$ is the smallest possible value of $\sum_{v\in V(G)}f(v)$ among all total Roman dominating functions $f$. The total Roman domination number of the direct product $G\times H$ of the graphs $G$ and $H$ is studied in this work. Specifically, several relationships, in the shape of upper and lower bounds, between $γ_{tR}(G\times H)$ and some classical domination parameters for the factors are given. Characterizations of the direct product graphs $G\times H$ achieving small values ($\le 7$) for $γ_{tR}(G\times H)$ are presented, and exact values for $γ_{tR}(G\times H)$ are deduced, while considering various specific direct product classes.
Scale-free spanning trees: complexity, bounds and algorithms
Published
• View Publication
• BIB
We introduce and study the general problem of finding a most "scale-free-like" spanning tree of a connected graph. It is motivated by a particular problem in epidemiology, and may be useful in studies of various dynamical processes in networks. We employ two possible objective functions for this problem and introduce the corresponding algorithmic problems termed $m$-SF and $s$-SF Spanning Tree problems. We prove that those problems are APX- and NP-hard, respectively, even in the classes of cubic, bipartite and split graphs. We study the relations between scale-free spanning tree problems and the max-leaf spanning tree problem, which is the classical algorithmic problem closest to ours. For split graphs, we explicitly describe the structure of optimal spanning trees and graphs with extremal solutions. Finally, we propose two Integer Linear Programming formulations and two fast heuristics for the $s$-SF Spanning Tree problem, and experimentally assess their performance using simulated and real data.
Poset Hopf Monoids
We initiate the study of a large class of species monoids and comonoids which come equipped with a poset structure that is compatible with the multiplication and comultiplication maps. We show that if a monoid and a comonoid are related through a Galois connection, then they are dual to each other. This duality is best understood by introducing a new basis constructed through Möbius inversion. We use this new basis to give uniform proofs for cofreeness and calculations of primitives for the Hopf monoids of set partitions, graphs, hypergraphs, and simplicial complexes.
Further, we show that the monoid and comonoid of a Hopf monoid are related through a Galois connection if and only if the Hopf monoid is linearized, commutative, and cocommutative. In these cases, we give a grouping-free formula for the antipode in terms of an evaluation of the characteristic polynomial of a related poset. This gives new proofs for the antipodes of the Hopf monoids of graphs, hypergraphs, set partitions, and simplicial complexes.
Topological Drawings meet Classical Theorems from Convex Geometry
Published
• View Publication
• BIB
In this article we discuss classical theorems from Convex Geometry in the context of topological drawings and beyond. In a simple topological drawing of the complete graph $K_n$, any two edges share at most one point: either a common vertex or a point where they cross. Triangles of simple topological drawings can be viewed as convex sets. This gives a link to convex geometry.
As our main result, we present a generalization of Kirchberger's Theorem that is of purely combinatorial nature. It turned out that this classical theorem also applies to "generalized signotopes" - a combinatorial generalization of simple topological drawings, which we introduce and investigate in the course of this article. As indicated by the name they are a generalization of signotopes, a structure studied in the context of encodings for arrangements of pseudolines.
We also present a family of simple topological drawings with arbitrarily large Helly number, and a new proof of a topological generalization of Carathéodory's Theorem in the plane and discuss further classical theorems from Convex Geometry in the context of simple topological drawings.
On the number of forests and connected spanning subgraphs
Let $F(G)$ be the number of forests of a graph $G$. Similarly let $C(G)$ be the number of connected spanning subgraphs of a connected graph $G$. We bound $F(G)$ and $C(G)$ for regular graphs and for graphs with fixed average degree. Among many other things we study $f_d=\sup_{G\in \mathcal{G}_d}F(G)^{1/v(G)}$, where $\mathcal{G}_d$ is the family of $d$--regular graphs, and $v(G)$ denotes the number of vertices of a graph $G$. We show that $f_3=2^{3/2}$, and if $(G_n)_n$ is a sequence of $3$--regular graphs with length of the shortest cycle tending to infinity, then $\lim_{n\to \infty}F(G_n)^{1/v(G_n)}=2^{3/2}$. We also improve on the previous best bounds on $f_d$ for $4\leq d\leq 9$.
The localization number of designs
Published
• View Publication
• BIB
We study the localization number of incidence graphs of designs. In the localization game played on a graph, the cops attempt to determine the location of an invisible robber via distance probes. The localization number of a graph $G$, written $ζ(G)$, is the minimum number of cops needed to ensure the robber's capture. We present bounds on the localization number of incidence graphs of balanced incomplete block designs. Exact values of the localization number are given for the incidence graphs of projective and affine planes. Bounds are given for Steiner systems and for transversal designs.
INFLUENCE: a partizan scoring game on graphs
We introduce the game INFLUENCE, a scoring combinatorial game, played on a directed graph where each vertex is either colored black or white. The two players, Black and White play alternately by taking a vertex of their color and all its successors (for Black) or all its predecessors (for White). The score of each player is the number of vertices he has taken.
We prove that INFLUENCE is a nonzugzwang game, meaning that no player has interest to pass at any step of the game, and thus belongs to Milnor's universe. We study this game in the particular class of paths where black and white are alternated. We give an almost tight strategy for both players when there is one path. More precisely, we prove that the first player always gets a strictly better score than the second one, but that the difference between the score is bounded by 5. Finally, we exhibit some graphs for which the initial proportion of vertices of the color of a player is as small as possible but where this player can get almost all the vertices.
Finding an induced path that is not a shortest path
Published
• View Publication
• BIB
We give a polynomial-time algorithm that, with input a graph $G$ and two vertices $u,v$ of $G$, decides whether there is an induced $uv$-path that is longer than the shortest $uv$-path.
Proportional Choosability of Complete Bipartite Graphs
Published
• View Publication
• BIB
Proportional choosability is a list analogue of equitable coloring that was introduced in 2019. The smallest $k$ for which a graph $G$ is proportionally $k$-choosable is the proportional choice number of $G$, and it is denoted $χ_{pc}(G)$. In the first ever paper on proportional choosability, it was shown that when $2 \leq n \leq m$, $ \max\{ n + 1, 1 + \lceil m / 2 \rceil\} \leq χ_{pc}(K_{n,m}) \leq n + m - 1$. In this note we improve on this result by showing that $ \max\{ n + 1, \lceil n / 2 \rceil + \lceil m / 2 \rceil\} \leq χ_{pc}(K_{n,m}) \leq n + m -1- \lfloor m/3 \rfloor$. In the process, we prove some new lower bounds on the proportional choice number of complete multipartite graphs. We also present several interesting open questions.
Compaction for two models of logarithmic-depth trees: Analysis and Experiments
Published
• View Publication
• BIB
We are interested in the quantitative analysis of the compaction ratio for two classical families of trees: recursive trees and plane binary increasing trees. These families are typical representatives of tree models with a small depth. Once a tree of size $n$ is compacted by keeping only one occurrence of all fringe subtrees appearing in the tree the resulting graph contains only $O(n / \ln n)$ nodes. This result must be compared to classical results of compaction in the families of simply generated trees, where the analogous result states that the compacted structure is of size of order $n / \sqrt{\ln n}$. The result about the plane binary increasing trees has already been proved, but we propose a new and generic approach to get the result. Finally, an experimental study is presented, based on a prototype implementation of compacted binary search trees that are modeled by plane binary increasing trees.
On fixity of arc-transitive graphs
Published
• View Publication
• BIB
The relative fixity of a permutation group is the maximum proportion of the points fixed by a non-trivial element of the group and the relative fixity of a graph is the relative fixity of its automorphism group, viewed as a permutation group on the vertex-set of the graph. We prove in this paper that the relative fixity of connected $2$-arc-transitive graphs of a fixed valence tends to $0$ as the number of vertices grows to infinity. We prove the same result for the class of arc-transitive graphs of a fixed prime valence, and more generally, for any class of arc-transitive locally-$L$ graphs, where $L$ is a fixed quasiprimitive graph-restrictive permutation group.
More two-distance counterexamples to Borsuk's conjecture from strongly regular graphs
In 2013 Andriy V. Bondarenko showed how to construct a two-distance counterexample to Borsuk's conjecture from any strongly regular graph whose vertex set is not the union of at most $f+1$ cliques (sets of pairwise adjacent vertices) where $f$ is the multiplicity of the second-largest eigenvalue of its adjacency matrix.
He applied that construction to those two graphs that he had been able to prove to fulfill the condition: From the $G_2(4)$ graph (on 416 vertices) he got a 65-dimensional two-distance counterexample. From the $Fi_{23}$ graph (on 31671 vertices) he got a 782-dimensional one and, by considering certain induced subgraphs, counterexamples in dimensions 781, 780 and 779.
This article presents two other strongly regular graphs fulfilling the condition, on 28431 and on 2401, resp., vertices. It gives dedicated counterexamples in dimensions from 781 down to 764 derived from the bigger graph (that turned out to be an induced subgraph of the $Fi_{23}$ graph) and a 240-dimensional counterexample derived from the smaller graph.
Several contained propositions rely on the results of (often extensive) computations, mainly within the computer algebra system GAP. The source package contains (almost) all used source files.