graph
35396 papers tagged with this keyword
On Gallai's and Hajós' Conjectures for graphs with treewidth at most 3
Published
• View Publication
• BIB
A path (resp. cycle) decomposition of a graph $G$ is a set of edge-disjoint paths (resp. cycles) of $G$ that covers the edge set of $G$. Gallai (1966) conjectured that every graph on $n$ vertices admits a path decomposition of size at most $\lfloor (n+1)/2\rfloor$, and Hajós (1968) conjectured that every Eulerian graph on $n$ vertices admits a cycle decomposition of size at most $\lfloor (n-1)/2\rfloor$. Gallai's Conjecture was verified for many classes of graphs. In particular, Lovász (1968) verified this conjecture for graphs with at most one vertex of even degree, and Pyber (1996) verified it for graphs in which every cycle contains a vertex of odd degree. Hajós' Conjecture, on the other hand, was verified only for graphs with maximum degree $4$ and for planar graphs. In this paper, we verify Gallai's and Hajós' Conjectures for graphs with treewidth at most $3$. Moreover, we show that the only graphs with treewidth at most $3$ that do not admit a path decomposition of size at most $\lfloor n/2\rfloor$ are isomorphic to $K_3$ or $K_5-e$. Finally, we use the technique developed in this paper to present new proofs for Gallai's and Hajós' Conjectures for graphs with maximum degree at most $4$, and for planar graphs with girth at least $6$.
Revisiting the Hamiltonian Theme in the Square of a Block: The Case of DT-Graphs
Published
• View Publication
• BIB
The square of a graph G, denoted G^2, is the graph obtained from G by joining by an edge any two nonadjacent vertices which have a common neighbor. A graph G is said to have the F_k property if for any set of k distinct vertices {x_1, x_2, ..., x_k} in G, there is a hamiltonian path from x_1 to x_2 in G^2 containing k-2 distinct edges of G of the form x_iz_i, i = 3, ..., k. It was proved many years ago that every 2-connected graph has the F_3 property. In the first part of this work, we extend this result by proving that every 2-connected DT-graph has the F_4 property (Theorem 2) and will show in the second part that this generalization holds for arbitrary 2-connected graphs, and that there exist 2-connected graphs which do not have the F_k property for any natural number k >= 5. Altogether, this answers a problem raised before in the affirmative.
Edge Erasures and Chordal Graphs
Published
• View Publication
• BIB
We prove several results about chordal graphs and weighted chordal graphs by focusing on exposed edges. These are edges that are properly contained in a single maximal complete subgraph. This leads to a characterization of chordal graphs via deletions of a sequence of exposed edges from a complete graph. Most interesting is that in this context the connected components of the edge-induced subgraph of exposed edges are 2-edge connected. We use this latter fact in the weighted case to give a modified version of Kruskal's second algorithm for finding a minimum spanning tree in a weighted chordal graph. This modified algorithm benefits from being local in an important sense.
Graphs with degree complete labeling
In 2006 Qian [J. Qian, Degree complete graphs; Discrete Mathematics 306 (2006), 533--537] introduced the concept of degree complete graphs for labeled graphs. He also gave a characterization of these graphs in terms of two forbidden subgraphs. Furthermore, he mentioned that the property of being degree complete depends on the labeling of the graph. Related to this he stated the problem to find a characterization of those (unlabeled) graphs for which every labeled version is not degree complete. We say that a (unlabeled) graph has a degree complete labeling, if there is a labeled version of the graph that is degree complete. In this paper we give three characterizations of graphs with degree complete labeling. These characterizations give us polynomial-time procedures to recognize these graphs and find a degree complete labeling, if it exists.
A Survey on Monochromatic Connections of Graphs
Published
• View Publication
• BIB
The concept of monochromatic connection of graphs was introduced by Caro and Yuster in 2011. Recently, a lot of results have been published about it. In this survey, we attempt to bring together all the results that dealt with it. We begin with an introduction, and then classify the results into the following categories: monochromatic connection coloring of edge-version, monochromatic connection coloring of vertex-version, monochromatic index, monochromatic connection coloring of total-version.
Optimization over Degree Sequences
Published in SIAM Journal on Discrete Mathematics, 32:2067--2079, 2018
• View Publication
• BIB
We introduce and study the problem of optimizing arbitrary functions over degree sequences of hypergraphs and multihypergraphs. We show that over multihypergraphs the problem can be solved in polynomial time. For hypergraphs, we show that deciding if a given sequence is the degree sequence of a 3-hypergraph is NP-complete, thereby solving a 30 year long open problem. This implies that optimization over hypergraphs is hard already for simple concave functions. In contrast, we show that for graphs, if the functions at vertices are the same, then the problem is polynomial time solvable. We also provide positive results for convex optimization over multihypergraphs and graphs and exploit connections to degree sequence polytopes and threshold graphs. We then elaborate on connections to the emerging theory of shifted combinatorial optimization.
Minimum supports of eigenfunctions of Johnson graphs
We study the weights of eigenvectors of the Johnson graphs $J(n,w)$. For any $i \in \{1,\ldots,w\}$ and sufficiently large $n, n\geq n(i,w)$ we show that an eigenvector of $J(n,w)$ with the eigenvalue $λ_i=(n-w-i)(w-i)-i$ has at least $2^i(^{n-2i}_{w-i})$ nonzeros and obtain a characterization of eigenvectors that attain the bound.
On Gallai's conjecture for series-parallel graphs and planar 3-trees
A path cover is a decomposition of the edges of a graph into edge-disjoint simple paths. Gallai conjectured that every connected $n$-vertex graph has a path cover with at most $\lceil n/2 \rceil$ paths. We prove Gallai's conjecture for series-parallel graphs. For the class of planar 3-trees we show how to construct a path cover with at most $\lfloor 5n/8 \rfloor$ paths, which is an improvement over the best previously known bound of $\lfloor 2n/3 \rfloor$.
Chip-firing on trees of loops
Published
• View Publication
• BIB
Cools, Draisma, Payne, and Robeva proved that generic metric graphs that are "paths of loops" are Brill-Noether general. We show that Brill-Noether generality does not hold for "trees of loops": the only trees of loops that are Brill-Noether general are paths of loops. We study various notions of generality and examine which of these graphs satisfy them.
Turán numbers for Berge-hypergraphs and related extremal problems
Published
• View Publication
• BIB
Let $F$ be a graph. We say that a hypergraph $H$ is a {\it Berge}-$F$ if there is a bijection $f : E(F) \rightarrow E(H )$ such that $e \subseteq f(e)$ for every $e \in E(F)$. Note that Berge-$F$ actually denotes a class of hypergraphs. The maximum number of edges in an $n$-vertex $r$-graph with no subhypergraph isomorphic to any Berge-$F$ is denoted $\ex_r(n,\textrm{Berge-}F)$. In this paper we establish new upper and lower bounds on $\ex_r(n,\textrm{Berge-}F)$ for general graphs $F$, and investigate connections between $\ex_r(n,\textrm{Berge-}F)$ and other recently studied extremal functions for graphs and hypergraphs. One case of specific interest will be when $F = K_{s,t}$. Additionally, we prove a counting result for $r$-graphs of girth five that complements the asymptotic formula $\textup{ex}_3 (n , \textrm{Berge-}\{ C_2 , C_3 , C_4 \} ) = \frac{1}{6} n^{3/2} + o( n^{3/2} )$ of Lazebnik and Verstraëte [{\em Electron.\ J. of Combin}. {\bf 10}, (2003)].
On the benchmark instances for the Bin Packing with Conflicts
Published
• View Publication
• BIB
Many authors, mainly in the context of the Bin Packing Problem with Conflicts, used the random graph generator proposed in "Heuristics and lower bounds for the bin packing problem with conflicts" [M. Gendreau, G. Laporte, and F. Semet, Computers & Operations Research, 31:347-358, 2004]. In this paper we prove that the graphs generated in this way are not arbitrary but threshold ones. Computational results show that instances with threshold conflict graphs are easier to solve w.r.t. instances with arbitrary conflict graphs.
An improved bound in Vizing's conjecture
Published
• View Publication
• BIB
A well-known conjecture of Vizing is that $γ(G \square H) \ge γ(G)γ(H)$ for any pair of graphs $G, H$, where $γ$ is the domination number and $G \square H$ is the Cartesian product of $G$ and $H$. Suen and Tarr, improving a result of Clark and Suen, showed $γ(G \square H) \ge \frac{1}{2}γ(G)γ(H) + \frac{1}{2}\min(γ(G),γ(H))$. We further improve their result by showing $γ(G \square H) \ge \frac{1}{2}γ(G)γ(H) + \frac{1}{2}\max(γ(G),γ(H)).$
Contracting Bipartite Graphs to Paths and Cycles
Published
• View Publication
• BIB
Testing if a given graph $G$ contains the $k$-vertex path $P_k$ as a minor or as an induced minor is trivial for every fixed integer $k\geq 1$. However, the situation changes for the problem of checking if a graph can be modified into $P_k$ by using only edge contractions. In this case the problem is known to be NP-complete even if $k=4$. This led to an intensive investigation for testing contractibility on restricted graph classes. We focus on bipartite graphs. Heggernes, van 't Hof, Lévêque and Paul proved that the problem stays NP-complete for bipartite graphs if $k=6$. We strengthen their result from $k=6$ to $k=5$. We also show that the problem of contracting a bipartite graph to the $6$-vertex cycle $C_6$ is NP-complete. The cyclicity of a graph is the length of the longest cycle the graph can be contracted to. As a consequence of our second result, determining the cyclicity of a bipartite graph is NP-hard.
Shorter signed circuit covers of graphs
Published
• View Publication
• BIB
A signed circuit is a minimal signed graph (with respect to inclusion) that admits a nowhere-zero flow. We show that each flow-admissible signed graph on $m$ edges can be covered by signed circuits of total length at most $(3+2/3)\cdot m$, improving a recent result of Cheng et al. [manuscript, 2015]. To obtain this improvement we prove several results on signed circuit covers of trees of Eulerian graphs, which are connected signed graphs such that removing all bridges results in a collection of Eulerian graphs.
Polynomial Relations Between Matrices of Graphs
Published
• View Publication
• BIB
We derive a correspondence between the eigenvalues of the adjacency matrix $A$ and the signless Laplacian matrix $Q$ of a graph $G$ when $G$ is $(d_1,d_2)$-biregular by using the relation $A^2=(Q-d_1I)(Q-d_2I)$. This motivates asking when it is possible to have $X^r=f(Y)$ for $f$ a polynomial, $r>0$, and $X,\ Y$ matrices associated to a graph $G$. It turns out that, essentially, this can only happen if $G$ is either regular or biregular.
Connectivity of the k-out Hypercube
Published
• View Publication
• BIB
In this paper we study the connectivity properties of the random subgraph of the $n$-cube generated by the $k$-out model and denoted by $Q^n(k)$. Let $k$ be an integer, $1\leq k \leq n-1$. We let $Q^n(k)$ be the graph that is generated by independently including for every $v\in V(Q^n)$ a set of $k$ distinct edges chosen uniformly from all the $\binom{n}{k}$ sets of distinct edges that are incident to $v$. We study connectivity the properties of $Q^n(k)$ as $k$ varies. We show that w.h.p. $Q^n(1)$ does not contain a giant component i.e. a component that spans $Ω(2^n)$ vertices. Thereafter we show that such a component emerges when $k=2$. In addition the giant component spans all but $o(2^n)$ vertices and hence it is unique. We then establish the connectivity threshold found at $k_0= \log_2 n -2\log_2\log_2 n $. The threshold is sharp in the sense that $Q^n(\lfloor k_0\rfloor )$ is disconnected but $Q^n(\lceil k_0\rceil+1)$ is connected w.h.p. Furthermore we show that w.h.p. $Q^n(k)$ is $k$-connected for every $k\geq \lceil k_0\rceil+1$.
Advances on the Conjecture of Erdős-Sós for spiders
- A hamiltonian graph $G$ verifying $e(G)>n(k-1)/2$ %with a vertex of degree greater or equal than $k$ contains any $k$-spider.
- If $G$ is a graph with average degree $\bar{d} > k-1$, then every spider of size $k$ is contained in $G$ for $k\le 10$.
- A $2$-connected graph with average degree $\bar{d} > \ell_2+\ell_3+\ell_4$ contains every spider of $4$ legs $S_{1,\ell_2,\ell_3,\ell_4}$. We claim also that the condition of $2$-connection is not needed, but the proof is very long and it is not included in this document.
A note on the maximum number of triangles in a $C_5$-free graph
Published
• View Publication
• BIB
We prove that the maximum number of triangles in a $C_5$-free graph on $n$ vertices is at most $\frac{1}{2 \sqrt 2} (1 + o(1)) n^{3/2}$, improving an estimate of Alon and Shikhelman.
Whitney's Theorem for 2-Regular Planar Digraphs
Published in Australasian J. Combinatorics 67(2) (2017) 159-165
• Search Publication
A digraph is 2-regular if every vertex has both indegree and outdegree two. We define an embedding of a 2-regular digraph to be a 2-cell embedding of the underlying graph in a closed surface with the added property that for every vertex~$v$, the two edges directed away from $v$ are not consecutive in the local rotation around $v$. In other words, at each vertex the incident edges are oriented in-out-in-out. The goal of this article is to provide an analogue of Whitney's theorem on planar embeddings in the setting of 2-regular digraphs. In the course of doing so, we note that Tutte's Theorem on peripheral cycles also has a natural analogue in this setting.
Sesqui-arrays, a generalisation of triple arrays
Published in Australas. J. Combinatorics 71(3) (2018), 427-451
• Search Publication
A triple array is a rectangular array containing letters, each letter occurring equally often with no repeats in rows or columns, such that the number of letters common to two rows, two columns, or a row and a column are (possibly different) non-zero constants. Deleting the condition on the letters common to a row and a column gives a double array. We propose the term \emph{sesqui-array} for such an array when only the condition on pairs of columns is deleted. Thus all triple arrays are sesqui-arrays.
In this paper we give three constructions for sesqui-arrays. The first gives $(n+1)\times n^2$ arrays on $n(n+1)$ letters for $n\geq 2$. (Such an array for $n=2$ was found by Bagchi.) This construction uses Latin squares. The second uses the \emph{Sylvester graph}, a subgraph of the Hoffman--Singleton graph, to build a good block design for $36$ treatments in $42$ blocks of size~$6$, and then uses this in a $7\times 36$ sesqui-array for $42$ letters.
We also give a construction for $K\times(K-1)(K-2)/2$ sesqui-arrays on $K(K-1)/2$ letters. This construction uses biplanes. It starts with a block of a biplane and produces an array which satisfies the requirements for a sesqui-array except possibly that of having no repeated letters in a row or column. We show that this condition holds if and only if the \emph{Hussain chains} for the selected block contain no $4$-cycles. A sufficient condition for the construction to give a triple array is that each Hussain chain is a union of $3$-cycles; but this condition is not necessary, and we give a few further examples.
We also discuss the question of which of these arrays provide good designs for experiments.