graph
34828 papers tagged with this keyword
An algorithm for finding Hamiltonian Cycles in Cubic Planar Graphs
We first prove a one-to-one correspondence between finding Hamiltonian cycles in a cubic planar graphs and finding trees with specific properties in dual graphs. Using this information, we construct an exact algorithm for finding Hamiltonian cycles in cubic planar graphs. The worst case time complexity of our algorithm is O$(2^n)$.
On the Rectilinear Crossing Number of Complete Uniform Hypergraphs
Published
• View Publication
• BIB
In this paper, we consider a generalized version of the rectilinear crossing number problem of drawing complete graphs on a plane. The minimum number of crossing pairs of hyperedges in the $d$-dimensional rectilinear drawing of a $d$-uniform hypergraph is known as the $d$-dimensional rectilinear crossing number of the hypergraph. The currently best-known lower bound on the $d$-dimensional rectilinear crossing number of a complete $d$-uniform hypergraph with $n$ vertices in general position in $\mathbb{R}^d$ is $Ω(\frac{2^d}{\sqrt{d}} \log d) {n \choose 2d}$. In this paper, we improve this lower bound to $Ω(2^d) {n \choose 2d}$. We also consider the special case when all the vertices of a $d$-uniform hypergraph are placed on the $d$-dimensional moment curve. For such complete $d$-uniform hypergraphs with $n$ vertices, we show that the number of pairwise crossing hyperedges is $Θ(\frac{4^d}{\sqrt{d}}) {n \choose 2d}$.
On the possible values of the entropy of undirected graphs
Published
• View Publication
• BIB
The entropy of a digraph is a fundamental measure which relates network coding, information theory, and fixed points of finite dynamical systems. In this paper, we focus on the entropy of undirected graphs. We prove that for any integer $k$ the number of possible values of the entropy of an undirected graph up to $k$ is finite. We also determine all the possible values for the entropy of an undirected graph up to the value of four.
On connected simple graphs and their degree sequences
This note describes necessary and sufficient conditions for a sequence of positive integers to be the degree sequence of a connected simple graph. Conditions are also given under which a sequence is necessarily connected i.e. the sequence can only be realised as a connected graph. A matrix is introduced whose non-empty entries partition the set of connected graphs. The note concludes with a result relating the number of edges in a simple graph to the connectedness of the graph.
The category of matroids
Published in Applied Categorical Structures 26(2):205-237, 2017
• View Publication
• BIB
The structure of the category of matroids and strong maps is investigated: it has coproducts and equalizers, but not products or coequalizers; there are functors from the categories of graphs and vector spaces, the latter being faithful; there is a functor to the category of geometric lattices, that is nearly full; there are various adjunctions and free constructions on subcategories, inducing a simplification monad; there are two orthogonal factorization systems; some, but not many, combinatorial constructions from matroid theory are functorial.
Maximum Rank and Asymptotic Rank of Finite Dynamical Systems
Published
• View Publication
• BIB
A finite dynamical system is a system of multivariate functions over a finite alphabet used to model a network of interacting entities. The main feature of a finite dynamical system is its interaction graph, which indicates which local functions depend on which variables; the interaction graph is a qualitative representation of the interactions amongst entities on the network. The rank of a finite dynamical system is the cardinality of its image; the periodic rank is the number of its periodic points. In this paper, we determine the maximum rank and the maximum periodic rank of a finite dynamical system with a given interaction graph over any non-Boolean alphabet. We also obtain a similar result for Boolean finite dynamical systems (also known as Boolean networks) whose interaction graphs are contained in a given digraph. We then prove that the average rank is relatively close (as the size of the alphabet is large) to the maximum. The results mentioned above only deal with the parallel update schedule. We finally determine the maximum rank over all block-sequential update schedules and the supremum periodic rank over all complete update schedules.
Game Distinguishing Numbers of Cartesian Products of Graphs
Published
• View Publication
• BIB
The distinguishing number of a graph $H$ is a symmetry related graph invariant whose study started two decades ago. The distinguishing number $D(H)$ is the least integer $d$ such that $H$ has a $d$-distinguishing coloring. A $d$-distinguishing coloring is a coloring $c:V(H)\rightarrow\{1,\dots,d\}$ invariant only under the trivial automorphism. In this paper, we continue the study of a game variant of this parameter, recently introduced. The distinguishing game is a game with two players, Gentle and Rascal, with antagonist goals. This game is played on a graph $H$ with a fixed set of $d\in\mathbb N^*$ colors. Alternately, the two players choose a vertex of $H$ and color it with one of the $d$ colors. The game ends when all the vertices have been colored. Then Gentle wins if the coloring is $d$-distinguishing and Rascal wins otherwise. This game defines two new invariants, which are the minimum numbers of colors needed to ensure that Gentle has a winning strategy, depending who starts the game. The invariant could eventually be infinite. In this paper, we focus on cartesian product, a graph operation well studied in the classical case. We give sufficient conditions on the order of two connected factors $H$ and $F$ relatively prime, which ensure that one of the game distinguishing numbers of the cartesian product $H\square F$ is finite. If $H$ is a so-called involutive graph, we give an upper bound of order $D^2(H)$ for one of the game distinguishing numbers of $H\square F$. Finally, using in part the previous result, we compute the exact value of these invariants for cartesian products of relatively prime cycles. It turns out that the value is either infinite or equal to $2$, depending on the parity of the product order.
Matroid invariants and counting graph homomorphisms
Published
• View Publication
• BIB
The number of homomorphisms from a finite graph $F$ to the complete graph $K_n$ is the evaluation of the chromatic polynomial of $F$ at $n$. Suitably scaled, this is the Tutte polynomial evaluation $T(F;1-n,0)$ and an invariant of the cycle matroid of $F$. De la Harpe and Jaeger \cite{dlHJ95} asked more generally when is it the case that a graph parameter obtained from counting homomorphisms from $F$ to a fixed graph $G$ depends only on the cycle matroid of $F$. They showed that this is true when $G$ has a generously transitive automorphism group (examples include Cayley graphs on an abelian group, and Kneser graphs).
Using tools from multilinear algebra, we prove the converse statement, thus characterizing finite graphs $G$ for which counting homomorphisms to $G$ yields a matroid invariant. We also extend this result to finite weighted graphs $G$ (where to count homomorphisms from $F$ to $G$ includes such problems as counting nowhere-zero flows of $F$ and evaluating the partition function of an interaction model on $F$).
Relating $2$-Rainbow Domination to Roman domination
Published
• View Publication
• BIB
For a graph $G$, let $γ_R(G)$ and $γ_{r2}(G)$ denote the Roman domination number of $G$ and the $2$-rainbow domination number of $G$, respectively. It is known that $γ_{r2}(G)\leq γ_R(G)\leq \frac{3}{2}γ_{r2}(G)$. Fujita and Furuya (Difference between 2-rainbow domination and Roman domination in graphs, Discrete Applied Mathematics 161 (2013) 806-812) present some kind of characterization of the graphs $G$ for which $γ_R(G)-γ_{r2}(G)=k$ for some integer $k$. Unfortunately, their result does not lead to an algorithm that allows to recognize these graphs efficiently.
We show that for every fixed non-negative integer $k$, the recognition of the connected $K_4$-free graphs $G$ with $γ_R(G)-γ_{r2}(G)=k$ is NP-hard, which implies that there is most likely no good characterization of these graphs. We characterize the graphs $G$ such that $γ_{r2}(H)=γ_R(H)$ for every induced subgraph $H$ of $G$, and collect several properties of the graphs $G$ with $γ_R(G)=\frac{3}{2}γ_{r2}(G)$.
A class of graphs approaching Vizing's conjecture
Published
• View Publication
• BIB
For any graph $G=(V,E)$, a subset $S\subseteq V$ \emph{dominates} $G$ if all vertices are contained in the closed neighborhood of $S$, that is $N[S]=V$. The minimum cardinality over all such $S$ is called the domination number, written $γ(G)$. In 1963, V.G. Vizing conjectured that $γ(G \square H) \geq γ(G)γ(H)$ where $\square$ stands for the Cartesian product of graphs. In this note, we define classes of graphs $\mathcal{A}_n$, for $n\geq 0$, so that every graph belongs to some such class, and $\mathcal{A}_0$ corresponds to class $A$ of Bartsalkin and German. We prove that for any graph $G$ in class $\mathcal{A}_1$, $γ(G\square H)\geq \left(γ(G)-\sqrt{γ(G)}\right)γ(H)$.
On the Medianwidth of Graphs
A median graph is a connected graph, such that for any three vertices $u,v,w$ there is exactly one vertex $x$ that lies simultaneously on a shortest $(u,v)$-path, a shortest $(v,w)$-path and a shortest $(w,u)$-path. Examples of median graphs are trees and hypercubes.
We introduce and study a generalisation of tree decompositions, to be called median decompositions, where instead of decomposing a graph $G$ in a treelike fashion, we use general median graphs as the underlying graph of the decomposition. We show that the corresponding width parameter $\text{mw}(G)$, the medianwidth of $G$, is equal to the clique number of the graph, while a suitable variation of it is equal to the chromatic number of $G$.
We study in detail the $i$-medianwidth $\text{mw}_i(G)$ of a graph, for which we restrict the underlying median graph of a decomposition to be isometrically embeddable to the Cartesian product of $i$ trees. For $i\geq 1$, the parameters $\text{mw}_i$ constitute a hierarchy starting from treewidth and converging to the clique number. We characterize the $i$-medianwidth of a graph to be, roughly said, the largest "intersection" of the best choice of $i$ many tree decompositions of the graph.
Lastly, we extend the concept of tree and median decompositions and propose a general framework of how to decompose a graph $G$ in any fixed graphlike fashion.
Codegree thresholds for covering 3-uniform hypergraphs
Published
• View Publication
• BIB
Given two 3-uniform hypergraphs F and G, we say that G has an F-covering if we can cover V(G) by copies of F. The minimum codegree of G is the largest integer d such that every pair of vertices from V(G) is contained in at least d triples from E(G). Define c_2(n,F) to be the largest minimum codegree among all n-vertex 3-graphs G that contain no F-covering. This is a natural problem intermediate (but distinct) from the well-studied Turán problems and tiling problems.
In this paper, we determine c_2(n, K_4) (for n>98) and the associated extremal configurations (for n>998), where K_4 denotes the complete 3-graph on 4 vertices. We also obtain bounds on c_2(n,F) which are apart by at most 2 in the cases where F is K_4^- (K_4 with one edge removed), K_5^-, and the tight cycle C_5 on 5 vertices.
Negatively Curved Graphs
Many applications in network science have recently been discovered for the "curvature" of a network, but there is no consensus on the definition for this term. A common approach in these applications is to derive from the curvature either a "logical center" of the network or a tree representation of the network (these would only exist when the curvature is negative), but that such structures can be extracted using curvature alone remains largely conjectural. A connection between one type of curvature -- Gromov's hyperbolicity -- and a tree representation has been known for decades, and recently it has also been connected for unweighted graphs to a logical center. We extend the connection between Gromov's hyperbolicity and a logical center to weighted graphs, and we construct counterexamples showing that no other proposed definition for curvature implies the existence of a logical center. We also consider the leading methods to construct a tree representation of the network and the leading methods to measure the quality of the representation, and show that, despite wildly different descriptions, they are asymptotically equivalent.
These results resolve several conjectures, including a conjecture of Dourisboure and Gavoille on a $2$-approximation method for calculating tree-length and all of the conjectures from Jonckheere, Lou, Bonahon, and Baryshnikov relating congestion to rotational symmetry.
Total proper connection of graphs
Published
• View Publication
• BIB
A graph is said to be {\it total-colored} if all the edges and the vertices of the graph is colored. A path in a total-colored graph is a {\it total proper path} if $(i)$ any two adjacent edges on the path differ in color, $(ii)$ any two internal adjacent vertices on the path differ in color, and $(iii)$ any internal vertex of the path differs in color from its incident edges on the path. A total-colored graph is called {\it total-proper connected} if any two vertices of the graph are connected by a total proper path of the graph. For a connected graph $G$, the {\it total proper connection number} of $G$, denoted by $tpc(G)$, is defined as the smallest number of colors required to make $G$ total-proper connected. These concepts are inspired by the concepts of proper connection number $pc(G)$, proper vertex connection number $pvc(G)$ and total rainbow connection number $trc(G)$ of a connected graph $G$. In this paper, we first determine the value of the total proper connection number $tpc(G)$ for some special graphs $G$. Secondly, we obtain that $tpc(G)\leq 4$ for any $2$-connected graph $G$ and give examples to show that the upper bound $4$ is sharp. For general graphs, we also obtain an upper bound for $tpc(G)$. Furthermore, we prove that $tpc(G)\leq \frac{3n}{δ+1}+1$ for a connected graph $G$ with order $n$ and minimum degree $δ$. Finally, we compare $tpc(G)$ with $pvc(G)$ and $pc(G)$, respectively, and obtain that $tpc(G)>pvc(G)$ for any nontrivial connected graph $G$, and that $tpc(G)$ and $pc(G)$ can differ by $t$ for $0\leq t\leq 2$.
On Color Preserving Automorphisms of Cayley Graphs of Odd Square-free Order
Published
• View Publication
• BIB
An automorphism $α$ of a Cayley graph $Cay(G,S)$ of a group $G$ with connection set $S$ is color-preserving if $α(g,gs) = (h,hs)$ or $(h,hs^{-1})$ for every edge $(g,gs)\in E(Cay(G,S))$. If every color-preserving automorphism of $Cay(G,S)$ is also affine, then $Cay(G,S)$ is a CCA (Cayley color automorphism) graph. If every Cayley graph $Cay(G,S)$ is a CCA graph, then $G$ is a CCA group. Hujdurović, Kutnar, D.W. Morris, and J. Morris have shown that every non-CCA group $G$ contains a section isomorphic to the nonabelian group $F_{21}$ of order $21$. We first show that there is a unique non-CCA Cayley graph $Γ$ of $F_{21}$. We then show that if $Cay(G,S)$ is a non-CCA graph of a group $G$ of odd square-free order, then $G = H\times F_{21}$ for some CCA group $H$, and $Cay(G,S) = Cay(G,T)\BoxΓ$.
Symmetric colorings of polypolyhedra
Published in Origami6: Proceedings of the 6th International Meeting of Origami in Science, Mathematics, and Education, The American Mathematical Society, 2015, pp. 21-31
• View Publication
• BIB
Polypolyhedra (after R. Lang) are compounds of edge-transitive 1-skeleta. There are 54 topologically different polypolyhedra, and each has icosidodecahedral, cuboctahedral, or tetrahedral symmetry, all are realizable as modular origami models with one module per skeleton edge. Consider a coloring in which each edge of a given component receives a different color, and where the coloring (up to global color permutation) is invariant under the polypolyhedron's symmetry group. On the Five Intersecting Tetrahedra, the edges of each color form visual bands on the model, and correspond to matchings on the dodecahedron graph. We count the number of such colorings and give three proofs. For each of the non-polygon-component polypolyhedra, there is a corresponding matching coloring, and we count the number of these matching colorings. For some of the non-polygon-component polypolyhedra, there is a corresponding visual-band coloring, and we count the number of these band colorings.
T-partition systems and travel groupoids on a graph
Published
• View Publication
• BIB
The notion of travel groupoids was introduced by L. Nebeský in 2006 in connection with a study on geodetic graphs. A travel groupoid is a pair of a set $V$ and a binary operation $*$ on $V$ satisfying two axioms. For a travel groupoid, we can associate a graph. We say that a graph $G$ has a travel groupoid if the graph associated with the travel groupoid is equal to $G$. Nebeský gave a characterization for finite graphs to have a travel groupoid. In this paper, we introduce the notion of T-partition systems on a graph and give a characterization of travel groupoids on a graph in terms of T-partition systems.
A new interpretation of Catalan numbers
Published
• View Publication
• BIB
Towards the study of the Kashiwara B(infinity) crystal, sets H^t of functions were introduced given by equivalence classes of unordered partitions satisfying certain boundary conditions. Here it is shown that H^t is a Catalan set of order t, that is to say the cardinality of H^t is the t-th Catalan number C(t). This is a new description of a Catalan set and moreover admits some remarkable features. Thus to H^t there is an associated labelled graph G_t which is shown to have a canonical decomposition into (t-1)! subgraphs each with 2^{t-1} vertices. These subgraphs, called S-graphs, have some tight properties which are needed for the study of B(infinity). They are described as labelled hypercubes whose edges connecting vertices with equal labels are missing. It is shown that the number of distinct hypercubes so obtained is again a Catalan number, namely C(t-1). They define functions which depend on a coefficient set of non-negative integers. When the latter are non-zero and pairwise distinct, the vertices of the S-graphs describe distinct functions. Moreover this property is retained if certain edges are deleted and certain vertices identified. In particular when these coefficients are all equal and non-zero, it is shown that every hypercube degenerates to a simplex, resulting in exactly t distinct functions, which for example are exactly those needed in the description of B(infinity) in type A.
Decomposing almost complete graphs by random trees
An old conjecture of Ringel states that every tree with $m$ edges decomposes the complete graph $K_{2m+1}$. The best known lower bound for the order of a complete graph which admits a decomposition by every given tree with $m$ edges is $O(m^3)$. We show that asymptotically almost surely a random tree with $m$ edges and $p=2m+1$ a prime decomposes $K_{2m+1}(r)$ for every $r\ge 2$, the graph obtained from the complete graph $K_{2m+1}$ by replacing each vertex by a coclique of order $r$. Based on this result we show, among other results, that a random tree with $m+1$ edges a.a.s. decomposes the compete graph $K_{6m+5}$ minus one edge.
$F$-WORM colorings: Results for 2-connected graphs
Given two graphs $F$ and $G$, an $F$-WORM coloring of $G$ is an assignment of colors to its vertices in such a way that no $F$-subgraph of $G$ is monochromatic or rainbow. If $G$ has at least one such coloring, then it is called $F$-WORM colorable and $W^-(G,F)$ denotes the minimum possible number of colors. Here, we consider $F$-WORM colorings with a fixed 2-connected graph $F$ and prove the following three main results: (1) For every natural number $k$, there exists a graph $G$ which is $F$-WORM colorable and $W^-(G,F)=k$; (2) It is NP-complete to decide whether a graph is $F$-WORM colorable; (3) For each $k \ge |V(F)|-1$, it is NP-complete to decide whether a graph $G$ satisfies $W^-(G,F) \le k$. This remains valid on the class of $F$-WORM colorable graphs of bounded maximum degree. For complete graphs $F=K_n$ with $n \ge 3$ we also prove: (4) For each $n \ge 3$ there exists a graph $G$ and integers $r$ and $s$ such that $s \ge r+2$, $G$ has $K_n$-WORM colorings with exactly $r$ and also with $s$ colors, but it admits no $K_n$-WORM colorings with exactly $r+1, \dots, s-1$ colors. Moreover, the difference $s-r$ can be arbitrarily large.