graph
34961 papers tagged with this keyword
The inapproximability for the (0,1)-additive number
Published in Discrete Mathematics and Theoretical Computer Science, Vol 17, No 3 (2016)
• View Publication
• BIB
An
{\it additive labeling} of a graph $G$ is a function $ \ell :V(G) \rightarrow\mathbb{N}$, such that for every two adjacent vertices $ v $ and $ u$ of $ G $, $ \sum_{w \sim v}\ell(w)\neq \sum_{w \sim u}\ell(w) $ ($ x \sim y $ means that $ x $ is joined to $y$). The {\it additive number} of $ G $, denoted by $η(G)$, is the minimum number $k $ such that $ G $ has a additive labeling $ \ell :V(G) \rightarrow \mathbb{N}_k$. The {\it additive choosability} of a graph $G$, denoted by $η_{\ell}(G) $, is the smallest number $k$ such that $G$ has an additive labeling for any assignment of lists of size $k$ to the vertices of $G$, such that the label of each vertex belongs to its own list.
Seamone (2012) \cite{a80} conjectured that for every graph $G$, $η(G)= η_{\ell}(G)$. We give a negative answer to this conjecture and we show that for every $k$ there is a graph $G$ such that $ η_{\ell}(G)- η(G) \geq k$.
A {\it $(0,1)$-additive labeling} of a graph $G$ is a function $ \ell :V(G) \rightarrow\{0,1\}$, such that for every two adjacent vertices $ v $ and $ u$ of $ G $, $ \sum_{w \sim v}\ell(w)\neq \sum_{w \sim u}\ell(w) $.
A graph may lack any $(0,1)$-additive labeling. We show that it is $ \mathbf{NP} $-complete to decide whether a $(0,1)$-additive labeling exists for some families of graphs such as perfect graphs and planar triangle-free graphs. For a graph $G$ with some $(0,1)$-additive labelings, the $(0,1)$-additive number of $G$ is defined as $ σ_{1} (G) = \min_{\ell \in Γ}\sum_{v\in V(G)}\ell(v) $ where $Γ$ is the set of $(0,1)$-additive labelings of $G$. We prove that given a planar graph that admits a $(0,1)$-additive labeling, for all $ \varepsilon >0 $, approximating the $(0,1)$-additive number within $ n^{1-\varepsilon} $ is $ \mathbf{NP} $-hard.
On a conjecture for the signless Laplacian eigenvalues
Published
• View Publication
• BIB
Let $G$ be a simple graph with $n$ vertices and $e(G)$ edges, and $q_1(G)\geq q_2(G)\geq\cdots\geq q_n(G)\geq0$ be the signless Laplacian eigenvalues of $G.$ Let $S_k^+(G)=\sum_{i=1}^{k}q_i(G),$ where $k=1, 2, \ldots, n.$ F. Ashraf et al. conjectured that $S_k^+(G)\leq e(G)+\binom{k+1}{2}$ for $k=1, 2, \ldots, n.$ In this paper, we give various upper bounds for $S_k^+(G),$ and prove that this conjecture is true for the following cases: connected graph with sufficiently large $k,$ unicyclic graphs and bicyclic graphs for all $k,$ and tricyclic graphs when $k\neq 3.$
Evasiveness of Graph Properties and Topological Fixed-Point Theorems
Published in Foundations and Trends in Theoretical Computer Science, vol. 7, no. 4, pp. 337-415, 2011
• View Publication
• BIB
Many graph properties (e.g., connectedness, containing a complete subgraph) are known to be difficult to check. In a decision-tree model, the cost of an algorithm is measured by the number of edges in the graph that it queries. R. Karp conjectured in the early 1970s that all monotone graph properties are evasive -- that is, any algorithm which computes a monotone graph property must check all edges in the worst case. This conjecture is unproven, but a lot of progress has been made. Starting with the work of Kahn, Saks, and Sturtevant in 1984, topological methods have been applied to prove partial results on the Karp conjecture. This text is a tutorial on these topological methods. I give a fully self-contained account of the central proofs from the paper of Kahn, Saks, and Sturtevant, with no prior knowledge of topology assumed. I also briefly survey some of the more recent results on evasiveness.
Nested colourings of graphs
A proper vertex colouring of a graph is \emph{nested} if the vertices of each of its colour classes can be ordered by inclusion of their open neighbourhoods. Through a relation to partially ordered sets, we show that the nested chromatic number can be computed in polynomial time.
Clearly, the nested chromatic number is an upper bound for the chromatic number of a graph. We develop multiple distinct bounds on the nested chromatic number using common properties of graphs. We also determine the behaviour of the nested chromatic number under several graph operations, including the direct, Cartesian, strong, and lexicographic product. Moreover, we classify precisely the possible nested chromatic numbers of graphs on a fixed number of vertices with a fixed chromatic number.
Skew-spectra and skew energy of various products of graphs
Given a graph $G$, let $G^σ$ be an oriented graph of $G$ with the orientation $σ$ and skew-adjacency matrix $S(G^σ)$. Then the spectrum of $S(G^σ)$ consisting of all the eigenvalues of $S(G^σ)$ is called the skew-spectrum of $G^σ$, denoted by $Sp(G^σ)$. The skew energy of the oriented graph $G^σ$, denoted by $\mathcal{E}_S(G^σ)$, is defined as the sum of the norms of all the eigenvalues of $S(G^σ)$. In this paper, we give orientations of the Kronecker product $H\otimes G$ and the strong product $H\ast G$ of $H$ and $G$ where $H$ is a bipartite graph and $G$ is an arbitrary graph. Then we determine the skew-spectra of the resultant oriented graphs. As applications, we construct new families of oriented graphs with maximum skew energy. Moreover, we consider the skew energy of the orientation of the lexicographic product $H[G]$ of a bipartite graph $H$ and a graph $G$.
Handelman's hierarchy for the maximum stable set problem
Published
• View Publication
• BIB
The maximum stable set problem is a well-known NP-hard problem in combinatorial optimization, which can be formulated as the maximization of a quadratic square-free polynomial over the (Boolean) hypercube. We investigate a hierarchy of linear programming relaxations for this problem, based on a result of Handelman showing that a positive polynomial over a polytope with non-empty interior can be represented as conic combination of products of the linear constraints defining the polytope. We relate the rank of Handelman's hierarchy with structural properties of graphs. In particular we show a relation to fractional clique covers which we use to upper bound the Handelman rank for perfect graphs and determine its exact value in the vertex-transitive case. Moreover we show two upper bounds on the Handelman rank in terms of the (fractional) stability number of the graph and compute the Handelman rank for several classes of graphs including odd cycles and wheels and their complements. We also point out links to several other linear and semidefinite programming hierarchies.
Polynomial Gap Extensions of the Erdős-Pósa Theorem
Published
• View Publication
• BIB
Given a graph $H$, we denote by ${\cal M}(H)$ all graphs that can be contracted to $H$. The following extension of the Erdős-Pósa Theorem holds: for every $h$-vertex planar graph $H$, there exists a function $f_{H}$ such that every graph $G$, either contains $k$ disjoint copies of graphs in ${\cal M}(H)$, or contains a set of $f_{H}(k)$ vertices meeting every subgraph of $G$ that belongs in ${\cal M}(H)$. In this paper we prove that this is the case for every graph $H$ of pathwidth at most 2 and, in particular, that $f_{H}(k) = 2^{O(h^2)}\cdot k^{2}\cdot \log k$. As a main ingredient of the proof of our result, we show that for every graph $H$ on $h$ vertices and pathwidth at most 2, either $G$ contains $k$ disjoint copies of $H$ as a minor or the treewidth of $G$ is upper-bounded by $2^{O(h^2)}\cdot k^{2}\cdot \log k$. We finally prove that the exponential dependence on $h$ in these bounds can be avoided if $H=K_{2,r}$. In particular, we show that $f_{K_{2,r}}=O(r^2\cdot k^2)$
Relations between the local chromatic number and its directed version
Published
• View Publication
• BIB
The local chromatic number is a coloring parameter defined as the minimum number of colors that should appear in the most colorful closed neighborhood of a vertex under any proper coloring of the graph. Its directed version is the same when we consider only outneighborhoods in a directed graph. For digraphs with all arcs being present in both directions the two values are obviously equal. Here we consider oriented graphs. We show the existence of a graph where the directed local chromatic number of all oriented versions of the graph is strictly less than the local chromatic number of the underlying undirected graph. We show that for fractional versions the analogous problem has a different answer: there always exists an orientation for which the directed and undirected values coincide. We also determine the supremum of the possible ratios of these fractional parameters, which turns out to be e, the basis of the natural logarithm.
Studying new classes of graph metrics
Published in F. Nielsen and F. Barbaresco (eds.), Proceedings of the SEE Conference "Geometric Science of Information" (GSI 2013). Lecture Notes in Computer Science, LNCS 8085. Springer, Berlin, 2013. P. 207-214
• View Publication
• BIB
In data analysis, there is a strong demand for graph metrics that differ from the classical shortest path and resistance distances. Recently, several new classes of graph metrics have been proposed. This paper presents some of them featuring the cutpoint additive distances. These include the path distances, the reliability distance, the walk distances, and the logarithmic forest distances among others. We discuss a number of connections between these and other distances.
Firefighting on square, hexagonal, and triangular grids
In this paper, we consider the \emph{firefighter problem} on a graph $G=(V,E)$ that is either finite or infinite. Suppose that a fire breaks out at a given vertex $v \in V$. In each subsequent time unit, a firefighter protects one vertex which is not yet on fire, and then the fire spreads to all unprotected neighbors of the vertices on fire. The objective of the firefighter is to save as many vertices as possible (if $G$ is finite) or to stop the fire from spreading (for an infinite case).
The surviving rate $ρ(G)$ of a finite graph $G$ is defined as the expected percentage of vertices that can be saved when a fire breaks out at a vertex of $G$ that is selected uniformly random. For a finite square grid $P_n \square P_n$, we show that $5/8 + o(1) \le ρ(P_n \square P_n) \le 67243/105300 + o(1)$ (leaving the gap smaller than 0.014) and conjecture that the surviving rate is asymptotic to 5/8.
We define the surviving rate for infinite graphs and prove it to be 1/4 for the infinite square grid, even in the case of finitely many initial fires. For the infinite hexagonal grid we provide a winning strategy if two additional vertices can be protected at any point of the process, and we conjecture that the firefighter has no strategy to stop the fire without additional help. We also show how the speed of the spreading fire can be reduced by a constant factor.
Maximal Chains of Isomorphic Subgraphs of Countable Ultrahomogeneous Graphs
Published in Adv. Math., 264 (2014) 762--775
• Search Publication
For a countable ultrahomogeneous graph G let P(G) denote the collection of domains of subgraphs of G isomorphic to G. The order types of maximal chains in the set P(G) U ø ordered by the inclusion are characterized as:
(I) the order types of compact sets of reals having the minimum non-isolated, if G is the Rado graph or the Henson graph H_n, for some n>2;
(II) the order types of compact nowhere dense sets of reals having the minimum non-isolated, if G is the union of μdisjoint complete graphs of size ν, where μν=ω.
Low Polynomial Exclusion of Planar Graph Patterns
Published
• View Publication
• BIB
The celebrated grid exclusion theorem states that for every $h$-vertex planar graph $H$, there is a constant $c_{h}$ such that if a graph $G$ does not contain $H$ as a minor then $G$ has treewidth at most $c_{h}$. We are looking for patterns of $H$ where this bound can become a low degree polynomial. We provide such bounds for the following parameterized graphs: the wheel ($c_{h}=O(h)$), the double wheel ($c_{h}=O(h^2\cdot \log^{2} h)$), any graph of pathwidth at most 2 ($c_{h}=O(h^{2})$), and the yurt graph ($c_{h}=O(h^{4})$).
Domino Tatami Covering is NP-complete
Published
• View Publication
• BIB
A covering with dominoes of a rectilinear region is called \emph{tatami} if no four dominoes meet at any point. We describe a reduction from planar 3SAT to Domino Tatami Covering. As a consequence it is NP-complete to decide whether there is a perfect matching of a graph that meets every 4-cycle, even if the graph is restricted to be an induced subgraph of the grid-graph. The gadgets used in the reduction were discovered with the help of a SAT-solver.
Ramanujan graphings and correlation decay in local algorithms
Published in Random Structures & Algorithms Volume 47, Issue 3, 424-435, 2015
• View Publication
• BIB
Let $G$ be a large-girth $d$-regular graph and $μ$ be a random process on the vertices of $G$ produced by a randomized local algorithm. We prove the upper bound $(k+1-2k/d)\Bigl(\frac{1}{\sqrt{d-1}}\Bigr)^k$ for the (absolute value of the) correlation of values on pairs of vertices of distance $k$ and show that this bound is optimal. The same results hold automatically for factor of i.i.d processes on the $d$-regular tree. In that case we give an explicit description for the (closure) of all possible correlation sequences. Our proof is based on the fact that the Bernoulli graphing of the infinite $d$-regular tree has spectral radius $2\sqrt{d-1}$. Graphings with this spectral gap are infinite analogues of finite Ramanujan graphs and they are interesting on their own right.
Quantum walk in symmetric Cayley graph over $\Z_2^n$
We show that the hitting time of the discrete quantum walk on a symmetric Cayley graph over $\Z_2^n $ from a vertex to its antipodal is polynomial in degree of the graph. We prove that returning time of quantum walk on a symmetric Cayley graph over $\Z_2^n $ is polynomial and the probability to hit is almost one. To prove it, we give a new estimation of Kravchuk coefficients. We give an example of a probabilistic polynomial algorithm that finds an antipodal vertex in symmetric Cayley graphs.
Examples of cyclically-interval non-colorable bipartite graphs
For an undirected, simple, finite, connected graph $G$, we denote by $V(G)$ and $E(G)$ the sets of its vertices and edges, respectively. A function $\varphi:E(G)\rightarrow\{1,2,\ldots,t\}$ is called a proper edge $t$-coloring of a graph $G$ if adjacent edges are colored differently and each of $t$ colors is used. An arbitrary nonempty subset of consecutive integers is called an interval. If $\varphi$ is a proper edge $t$-coloring of a graph $G$ and $x\in V(G)$, then $S_G(x,\varphi)$ denotes the set of colors of edges of $G$ which are incident with $x$. A proper edge $t$-coloring $\varphi$ of a graph $G$ is called a cyclically-interval $t$-coloring if for any $x\in V(G)$ at least one of the following two conditions holds: a) $S_G(x,\varphi)$ is an interval, b) $\{1,2,\ldots,t\}\setminus S_G(x,\varphi)$ is an interval. For any $t\in \mathbb{N}$, let $\mathfrak{M}_t$ be the set of graphs for which there exists a cyclically-interval $t$-coloring, and let $$\mathfrak{M}\equiv\bigcup_{t\geq1}\mathfrak{M}_t.$$ Examples of bipartite graphs that do not belong to the class $\mathfrak{M}$ are constructed.
Infinite Turán problems for bipartite graphs
Published
• View Publication
• BIB
We consider an infinite version of the bipartite Turán problem. Let $G$ be an infinite graph with $V(G) = \mathbb{N}$ and let $G_n$ be the $n$-vertex subgraph of $G$ induced by the vertices $\{1,2, \dots, n \}$. We show that if $G$ is $K_{2,t+1}$-free then for infinitely many $n$, $e(G_n) \leq 0.471 \sqrt{t} n^{3/2}$. Using the $K_{2,t+1}$-free graphs constructed by Füredi, we construct an infinite $K_{2,t+1}$-free graph with $e(G_n) \geq 0.23 \sqrt{t}n^{3/2}$ for all $n \geq n_0$.
Global communication algorithms for Cayley graphs
We discuss several combinatorial problems that arise when one looks at computational algorithms for highly symmetric networks of processors. More specifically, we are interested in minimal times associated with four communication tasks (defined more precisely below): universal broadcast, every processor has a vector that it wishes to broadcast to all the others; universal accumulation, every processor wishes to receive the sum of all the vectors being sent to it by all the other processors; universal exchange, every processor wishes to exchange a vector with each other processor; and global summation, every processor wants the sum of the vectors in all the processors
The Complexity of the Proper Orientation Number
Published
• View Publication
• BIB
Graph orientation is a well-studied area of graph theory. A proper orientation of a graph $G = (V,E)$ is an orientation $D$ of $E(G)$ such that for every two adjacent vertices $ v $ and $ u $, $ d^{-}_{D}(v) \neq d^{-}_{D}(u)$ where $d_{D}^{-}(v)$ is the number of edges with head $v$ in $D$. The proper orientation number of $G$ is defined as $ \overrightarrowχ (G) =\displaystyle \min_{D\in Γ} \displaystyle\max_{v\in V(G)} d^{-}_{D}(v) $ where $Γ$ is the set of proper orientations of $G$. We have $ χ(G)-1 \leq \overrightarrowχ (G)\leq Δ(G) $. We show that, it is $ \mathbf{NP} $-complete to decide whether $\overrightarrowχ(G)=2$, for a given planar graph $G$. Also, we prove that there is a polynomial time algorithm for determining the proper orientation number of 3-regular graphs. In sharp contrast, we will prove that this problem is $ \mathbf{NP} $-hard for 4-regular graphs.
About the Discriminant Power of the Subgraph Centrality and Other Centrality Measures About the Discriminant Power of the Subgraph Centrality and Other Centrality Measures(Working paper)
The discriminant power of centrality indices for the degree, eigenvector, closeness, betweenness and subgraph centrality is analyzed. It is defined by the number of graphs for which the standard deviation of the centrality of its nodes is zero. On the basis of empirical analysis it is concluded that the subgraph centrality displays better discriminant power than the rest of centralities. We also propose some new conjectures about the types of graphs for which the subgraph centrality does not discriminate among nonequivalent nodes.