graph
34905 papers tagged with this keyword
A Non-Degenerate Perturbation of the Assignment Polytope and its Application to Graph Matching
We consider maximizing a continuous convex function over the assignment polytope. Such problems arise in Graph Matching (the optimization version of Graph Isomorphism) and Quadratic Assignment problems. In the typical case of maximizing a convex function over a polytope the problem can be solved by using a simplicial algorithm such as Tuy's method or the Falk-Hoffman method, but these algorithms require that the underlying polytope be non-degenerate, which is not the case for the assignment polytope. In this note we show how a simple perturbation scheme can be used to create a "surrogate problem" that is both non-degenerate and combinatorially equivalent to the original problem. We further provide an explicit construction of a surrogate problem that is non-degenerate and combinatorially equivalent to the Graph Matching problem, when the latter is posed as a convex maximization problem. By constructing a surrogate problem that is known a priori to be non-degenerate and combinatorially equivalent to Graph Matching we resolve an "open issue" of solving Graph Matching via convex maximization first raised by Maciel.
An explicit Ramsey graph
Explicit construction of Ramsey graphs has remained a challenging open problem for a long time. Frankl--Wilson \cite{FW}, Alon \cite{A} and Grolmusz \cite{G2} gave the best explicit constructions of graphs on $m$ vertices with no clique or independent set of size $m^{(1+o(1))\frac{1}{4}\frac{\log m}{\log \log m}}$.
We describe here an explicit construction which produces for every integer $m>1$ a graph on at least $m^{(1+o(1))\frac{1}{3}\frac{\log m}{\log \log m}}$ vertices containing neither a clique of size $m$ nor an independent set of size $m$. In the proof we use the polynomial subspace method and some character theory of the complete symmmetric group.
On the complexity of the vector connectivity problem
Published
• View Publication
• BIB
We study a relaxation of the Vector Domination problem called Vector Connectivity (VecCon). Given a graph $G$ with a requirement $r(v)$ for each vertex $v$, VecCon asks for a minimum cardinality set $S$ of vertices such that every vertex $v\in V\setminus S$ is connected to $S$ via $r(v)$ disjoint paths. In the paper introducing the problem, Boros et al. [Networks, 2014] gave polynomial-time solutions for VecCon in trees, cographs, and split graphs, and showed that the problem can be approximated in polynomial time on $n$-vertex graphs to within a factor of $\log n+2$, leaving open the question of whether the problem is NP-hard on general graphs. We show that VecCon is APX-hard in general graphs, and NP-hard in planar bipartite graphs and in planar line graphs. We also generalize the polynomial result for trees by solving the problem for block graphs.
On commutative algebra associated to $t$-labeled subforests of a graph
For a given graph $G$, we construct an associated commutative algebra, whose dimension is equal to the number of $t$-labeled forests of $G$.
We show that the dimension of the $k$-th graded component of this algebra also has a combinatorial meaning and that its Hilbert polynomial can be expressed through the Tutte polynomial of $G$.
Strong edge-coloring of $(3, Δ)$-bipartite graphs
A strong edge-coloring of a graph $G$ is an assignment of colors to edges such that every color class induces a matching. We here focus on bipartite graphs whose one part is of maximum degree at most $3$ and the other part is of maximum degree $Δ$. For every such graph, we prove that a strong $4Δ$-edge-coloring can always be obtained. Together with a result of Steger and Yu, this result confirms a conjecture of Faudree, Gyárfás, Schelp and Tuza for this class of graphs.
Minimum degree condition for spanning generalized Halin graphs
A spanning tree with no vertices of degree 2 is called a Homeomorphically irreducible spanning tree\,(HIST). Based on a HIST embedded in the plane, a Halin graph is formed by connecting the leaves of the tree into a cycle following the cyclic order determined by the embedding. Both of the determination problems of whether a graph contains a HIST or whether a graph contains a spanning Halin graph are shown to be NP-complete. It was conjectured by Albertson, Berman, Hutchinson, and Thomassen in 1990 that a {\it every surface triangulation of at least four vertices contains a HIST}\,(confirmed). And it was conjectured by Lovász and Plummer that {\it every 4-connected plane triangulation contains a spanning Halin graph}\,(disproved). Balancing the above two facts, in this paper, we consider generalized Halin graphs, a family of graph structures which are "stronger" than HISTs but "weaker" than Halin graphs in the sense of their construction constraints. To be exact, a generalized Halin graph is formed from a HIST by connecting its leaves into a cycle. Since a generalized Halin graph needs not to be planar, we investigate the minimum degree condition for a graph to contain it as a spanning subgraph. We show that there exists a positive integer $n_0$ such that any 3-connected graph with $n\ge n_0$ vertices and minimum degree at least $(2n+3)/5$ contains a spanning generalized Halin graph. As an application, the result implies that under the same condition, the graph $G$ contains a wheel-minor of order at least $n/2$. The minimum degree condition in the result is best possible.
Locating-dominating sets in twin-free graphs
Published in Discrete Applied Mathematics 200:52-58, 2016
• View Publication
• BIB
A locating-dominating set of a graph $G$ is a dominating set $D$ of $G$ with the additional property that every two distinct vertices outside $D$ have distinct neighbors in $D$; that is, for distinct vertices $u$ and $v$ outside $D$, $N(u) \cap D \ne N(v) \cap D$ where $N(u)$ denotes the open neighborhood of $u$. A graph is twin-free if every two distinct vertices have distinct open and closed neighborhoods. The location-domination number of $G$, denoted $γ_L(G)$, is the minimum cardinality of a locating-dominating set in $G$. It is conjectured [D. Garijo, A. González and A. Márquez. The difference between the metric dimension and the determining number of a graph. Applied Mathematics and Computation 249 (2014), 487--501] that if $G$ is a twin-free graph of order $n$ without isolated vertices, then $γ_L(G)\le \frac{n}{2}$. We prove the general bound $γ_L(G)\le \frac{2n}{3}$, slightly improving over the $\lfloor\frac{2n}{3}\rfloor+1$ bound of Garijo et al. We then provide constructions of graphs reaching the $\frac{n}{2}$ bound, showing that if the conjecture is true, the family of extremal graphs is a very rich one. Moreover, we characterize the trees $G$ that are extremal for this bound. We finally prove the conjecture for split graphs and co-bipartite graphs.
The Signless Laplacian Estrada Index of Unicyclic Graphs
Published in Mathematics Interdisciplinary Research, 2(2) (2017) 155-167
• View Publication
• BIB
For a graph $G$, the signless Laplacian Estrada index is defined as $SLEE(G)=\sum^{n}_{i=1}e^{q^{}_i}$,where $q_1, q_2, \dots, q_n$are the eigenvalues of the signless Laplacian matrix of $G$. In this paper, we first characterize the unicyclic graphs with the first two largest and smallest $SLEE$ and then determine the unique unicyclic graph with maximum $SLEE$ among the unicyclic graphs on $n$ vertices with given diameter.
The signless Laplacian Estrada index of tricyclic graphs
Published in Australasian Journal of Combinatorics Volume 69(1) (2017), Pages 259-270
• Search Publication
The signless Laplacian Estrada index of a graph $G$ is defined as $SLEE(G)=\sum^{n}_{i=1}e^{q_i}$ where $q_1, q_2, \ldots, q_n$ are the eigenvalues of the signless Laplacian matrix of $G$. In this paper, we show that there are exactly two tricyclic graphs with the maximal signless Laplacian Estrada index.
Game Brush Number
Published
• View Publication
• BIB
We study a two-person game based on the well-studied brushing process on graphs. Players Min and Max alternately place brushes on the vertices of a graph. When a vertex accumulates at least as many brushes as its degree, it sends one brush to each neighbor and is removed from the graph; this may in turn induce the removal of other vertices. The game ends once all vertices have been removed. Min seeks to minimize the number of brushes played during the game, while Max seeks to maximize it. When both players play optimally, the length of the game is the game brush number of the graph $G$, denoted $b_g(G)$.
By considering strategies for both players and modelling the evolution of the game with differential equations, we provide an asymptotic value for the game brush number of the complete graph; namely, we show that $b_g(K_n) = (1+o(1))n^2/e$. Using a fractional version of the game, we couple the game brush numbers of complete graphs and the binomial random graph $\mathcal{G}(n,p)$. It is shown that for $pn \gg \ln n$ asymptotically almost surely $b_g(\mathcal{G}(n,p)) = (1 + o(1))p b_g(K_n) = (1 + o(1))pn^2/e$. Finally, we study the relationship between the game brush number and the (original) brush number.
A general notion of activity for the Tutte polynomial
In the literature can be found several descriptions of the Tutte polynomial of graphs. Tutte defined it thanks to a notion of activity based on an ordering of the edges. Thereafter, Bernardi gave a non-equivalent notion of the activity where the graph is embedded in a surface. In this paper, we see that other notions of activity can thus be imagined and they can all be embodied in a same notion, the $Δ$-activity. We develop a short theory which sheds light on the connections between the different expressions of the Tutte polynomial.
An Axiomatic Duality Framework for the Theta Body and Related Convex Corners
Published
• View Publication
• BIB
Lovasz theta function and the related theta body of graphs have been in the center of the intersection of four research areas: combinatorial optimization, graph theory, information theory, and semidefinite optimization. In this paper, utilizing a modern convex optimization viewpoint, we provide a set of minimal conditions (axioms) under which certain key, desired properties are generalized, including the main equivalent characterizations of the theta function, the theta body of graphs, and the corresponding antiblocking duality relations. Our framework describes several semidefinite and polyhedral relaxations of the stable set polytope of a graph as generalized theta bodies. As a by-product of our approach, we introduce the notion of "Schur Lifting" of cones which is dual to PSD Lifting (more commonly used in SDP relaxations of combinatorial optimization problems) in our axiomatic generalization. We also generalize the notion of complements of graphs to diagonally scaling-invariant polyhedral cones. Finally, we provide a weighted generalization of the copositive formulation of the fractional chromatic number by Dukanovic and Rendl.
New Geometric Representations and Domination Problems on Tolerance and Multitolerance Graphs
Published
• View Publication
• BIB
Tolerance graphs model interval relations in such a way that intervals can tolerate a certain amount of overlap without being in conflict. In one of the most natural generalizations of tolerance graphs with direct applications in the comparison of DNA sequences from different organisms, namely multitolerance graphs, two tolerances are allowed for each interval - one from the left and one from the right side. Several efficient algorithms for optimization problems that are NP-hard in general graphs have been designed for tolerance and multitolerance graphs. In spite of this progress, the complexity status of some fundamental algorithmic problems on tolerance and multitolerance graphs, such as the dominating set problem, remained unresolved until now, three decades after the introduction of tolerance graphs. In this article we introduce two new geometric representations for tolerance and multitolerance graphs, given by points and line segments in the plane. Apart from being important on their own, these new representations prove to be a powerful tool for deriving both hardness results and polynomial time algorithms. Using them, we surprisingly prove that the dominating set problem can be solved in polynomial time on tolerance graphs and that it is APX-hard on multitolerance graphs, solving thus a longstanding open problem. This problem is the first one that has been discovered with a different complexity status in these two graph classes.
Efficient algorithms to decide tightness
Published in 32nd International Symposium on Computational Geometry (SoCG 2016), Leibniz International Proceedings in Informatics (LIPICS), vol. 51, 12:1-12:15, 2016
• View Publication
• BIB
Tightness is a generalisation of the notion of convexity: a space is tight if and only if it is "as convex as possible", given its topological constraints. For a simplicial complex, deciding tightness has a straightforward exponential time algorithm, but efficient methods to decide tightness are only known in the trivial setting of triangulated surfaces.
In this article, we present a new polynomial time procedure to decide tightness for triangulations of $3$-manifolds -- a problem which previously was thought to be hard. Furthermore, we describe an algorithm to decide general tightness in the case of $4$-dimensional combinatorial manifolds which is fixed parameter tractable in the treewidth of the $1$-skeletons of their vertex links, and we present an algorithm to decide $\mathbb{F}_2$-tightness for weak pseudomanifolds $M$ of arbitrary but fixed dimension which is fixed parameter tractable in the treewidth of the dual graph of $M$.
On Low Tree-Depth Decompositions
Published in Graphs and Combinatorics November 2015, Volume 31, Issue 6, pp 1941-1963
• View Publication
• BIB
The theory of sparse structures usually uses tree like structures as building blocks. In the context of sparse/dense dichotomy this role is played by graphs with bounded tree depth. In this paper we survey results related to this concept and particularly explain how these graphs are used to decompose and construct more complex graphs and structures. In more technical terms we survey some of the properties and applications of low tree depth decomposition of graphs.
A degree sequence Hajnal--Szemerédi theorem
Published
• View Publication
• BIB
We say that a graph $G$ has a perfect $H$-packing if there exists a set of vertex-disjoint copies of $H$ which cover all the vertices in $G$. The seminal Hajnal--Szemerédi theorem characterises the minimum degree that ensures a graph $G$ contains a perfect $K_r$-packing. Balogh, Kostochka and Treglown proposed a degree sequence version of the Hajnal--Szemerédi theorem which, if true, gives a strengthening of the Hajnal--Szemerédi theorem. In this paper we prove this conjecture asymptotically. Another fundamental result in the area is the Alon--Yuster theorem which gives a minimum degree condition that ensures a graph contains a perfect $H$-packing for an \emph{arbitrary} graph $H$. We give a wide-reaching generalisation of this result by answering another conjecture of Balogh, Kostochka and Treglown on the degree sequence of a graph that forces a perfect $H$-packing. We also prove a degree sequence result concerning perfect transitive tournament packings in directed graphs. The proofs blend together the regularity and absorbing methods.
Beyond the Euler characteristic: Approximating the genus of general graphs
Published
• View Publication
• BIB
Computing the Euler genus of a graph is a fundamental problem in graph theory and topology. It has been shown to be NP-hard by [Thomassen '89] and a linear-time fixed-parameter algorithm has been obtained by [Mohar '99]. Despite extensive study, the approximability of the Euler genus remains wide open. While the existence of an $O(1)$-approximation is not ruled out, the currently best-known upper bound is a trivial $O(n/g)$-approximation that follows from bounds on the Euler characteristic.
In this paper, we give the first non-trivial approximation algorithm for this problem. Specifically, we present a polynomial-time algorithm which given a graph $G$ of Euler genus $g$ outputs an embedding of $G$ into a surface of Euler genus $g^{O(1)}$. Combined with the above $O(n/g)$-approximation, our result also implies a $O(n^{1-α})$-approximation, for some universal constant $α>0$.
Our approximation algorithm also has implications for the design of algorithms on graphs of small genus. Several of these algorithms require that an embedding of the graph into a surface of small genus is given as part of the input. Our result implies that many of these algorithms can be implemented even when the embedding of the input graph is unknown.
VC-dimension and Erdős-Pósa property
Published
• View Publication
• BIB
Let $G=(V,E)$ be a graph. A $k$-neighborhood in $G$ is a set of vertices consisting of all the vertices at distance at most $k$ from some vertex of $G$. The hypergraph on vertex set $V$ which edge set consists of all the $k$-neighborhoods of $G$ for all $k$ is the neighborhood hypergraph of $G$. Our goal in this paper is to investigate the complexity of a graph in terms of its neighborhoods. Precisely, we define the distance VC-dimension of a graph $G$ as the maximum taken over all induced subgraphs $G'$ of $G$ of the VC-dimension of the neighborhood hypergraph of $G'$. For a class of graphs, having bounded distance VC-dimension both generalizes minor closed classes and graphs with bounded clique-width.
Our motivation is a result of Chepoi, Estellon and Vaxès asserting that every planar graph of diameter $2\ell$ can be covered by a bounded number of balls of radius $\ell$. In fact, they obtained the existence of a function $f$ such that every set $\cal F$ of balls of radius $\ell$ in a planar graph admits a hitting set of size $f(ν)$ where $ν$ is the maximum number of pairwise disjoint elements of $\cal F$.
Our goal is to generalize the proof of Chepoi, Estellon and Vaxès with the unique assumption of bounded distance VC-dimension of neighborhoods. In other words, the set of balls of fixed radius in a graph with bounded distance VC-dimension has the Erdős-Pósa property.
A note on a problem of Erdos and Rothschild
A set of $q$ triangles sharing a common edge is a called a book of size $q$. Letting $bk(G)$ denote the size of the largest book in a graph $G$, Erdős and Rothschild \cite{erdostwo} asked what the minimal value of $bk(G)$ is for graphs $G$ with $n$ vertices and a set number of edges where every edge is contained in at least one triangle. In this paper, we show that for any graph $G$ with $n$ vertices and $\frac{n^2}{4} - nf(n)$ edges where every edge is contained in at least one triangle, $bk(G) \geq Ω\left(\min{\{\frac{n}{\sqrt{f(n)}}, \frac{n^2}{f(n)^2}\}}\right)$.
$G$-strongly positive scripts and critical configurations of chip firing games on digraphs
Published
• View Publication
• BIB
We show a collection of scripts, called $G$-strongly positive scripts, which is used to recognize critical configurations of a chip firing game (CFG) on a multi-digraph with a global sink. To decrease the time of the process of recognition caused by the stabilization we present an algorithm to find the minimum G-strongly positive script. From that we prove the non-stability of configurations obtained from a critical configuration by firing inversely any non-empty multi-subset of vertices. This result is a generalization of a very recent one by Aval \emph{et.al} which is applied for CFG on undirected graphs. Last, we give a combinatorial proof for the duality between critical and super-stable configurations.