graph
34516 papers tagged with this keyword
Fixed Parameter Multi-Objective Evolutionary Algorithms for the W-Separator Problem
Parameterized analysis provides powerful mechanisms for obtaining fine-grained insights into different types of algorithms. In this work, we combine this field with evolutionary algorithms and provide parameterized complexity analysis of evolutionary multi-objective algorithms for the $W$-separator problem, which is a natural generalization of the vertex cover problem. The goal is to remove the minimum number of vertices such that each connected component in the resulting graph has at most $W$ vertices. We provide different multi-objective formulations involving two or three objectives that provably lead to fixed-parameter evolutionary algorithms with respect to the value of an optimal solution $OPT$ and $W$. Of particular interest are kernelizations and the reducible structures used for them. We show that in expectation the algorithms make incremental progress in finding such structures and beyond. The current best known kernelization of the $W$-separator uses linear programming methods and requires a non-trivial post-process to extract the reducible structures. We provide additional structural features to show that evolutionary algorithms with appropriate objectives are also capable of extracting them. Our results show that evolutionary algorithms with different objectives guide the search and admit fixed parameterized runtimes to solve or approximate (even arbitrarily close) the $W$-separator problem.
Selected topics on Wiener index
The Wiener index is defined as the sum of distances between all unordered pairs of vertices in a graph. It is one of the most recognized and well-researched topological indices, which is on the other hand still a very active area of research. This work presents a natural continuation of the paper Mathematical aspects of Wiener index (Ars Math. Contemp., 2016) in which several interesting open questions on the topic were outlined. Here we collect answers gathered so far, give further insights on the topic of extremal values of Wiener index in different settings, and present further intriguing problems and conjectures.
On interval edge-colorings of planar graphs
An edge-coloring of a graph $G$ with colors $1,\ldots,t$ is called an \emph{interval $t$-coloring} if all colors are used and the colors of edges incident to each vertex of $G$ are distinct and form an interval of integers. In 1990, Kamalian proved that if a graph $G$ with at least one edge has an interval $t$-coloring, then $t\leq 2|V(G)|-3$. In 2002, Axenovich improved this upper bound for planar graphs: if a planar graph $G$ admits an interval $t$-coloring, then $t\leq \frac{11}{6}|V(G)|$. In the same paper Axenovich suggested a conjecture that if a planar graph $G$ has an interval $t$-coloring, then $t\leq \frac{3}{2}|V(G)|$. In this paper we confirm the conjecture by showing that if a planar graph $G$ admits an interval $t$-coloring, then $t\leq \frac{3|V(G)|-4}{2}$. We also prove that if an outerplanar graph $G$ has an interval $t$-coloring, then $t\leq |V(G)|-1$. Moreover, all these upper bounds are sharp.
Proof of a conjecture on distribution of Laplacian eigenvalues and diameter, and beyond
Ahanjideh, Akbari, Fakharan and Trevisan proposed a conjecture in [Linear Algebra Appl. 632 (2022) 1--14] on the distribution of the Laplacian eigenvalues of graphs: for any connected graph of order $n$ with diameter $d\ge 2$ that is not a path, the number of Laplacian eigenvalues in the interval $[n-d+2,n]$ is at most $n-d$. We show that the conjecture is true, and give a complete characterization of graphs for which the conjectured bound is attained. This establishes an interesting relation between the spectral and classical parameters.
Counting Circuit Double Covers
We study a counting version of Cycle Double Cover Conjecture. We discuss why it is more interesting to count circuits (i.e., graphs isomorphic to $C_k$ for some $k$) instead of cycles (graphs with all degrees even). We give an almost-exponential lower-bound for graphs with a surface embedding of representativity at least 4. We also prove an exponential lower-bound for planar graphs. We conjecture that any bridgeless cubic graph has at least $2^{n/2-1}$ circuit double covers and we show an infinite class of graphs for which this bound is tight.
Intersecting diametral balls induced by a geometric graph II
Published in Discrete Mathematics, 347(1) 2024, 113694
• View Publication
• BIB
For a graph whose vertices are points in $\mathbb R^d$, consider the closed balls with diameters induced by its edges. The graph is called a Tverberg graph if these closed balls intersect. A max-sum tree of a finite point set $X \subset \mathbb R^d$ is a tree with vertex set $X$ that maximizes the sum of Euclidean distances of its edges among all trees with vertex set $X$. Similarly, a max-sum matching of an even set $X \subset \mathbb R^d$ is a perfect matching of $X$ maximizing the sum of Euclidean distances between the matched points among all perfect matchings of $X$. We prove that a max-sum tree of any finite point set in $\mathbb R^d$ is a Tverberg graph, which generalizes a recent result of Abu-Affash et al., who established this claim in the plane. Additionally, we provide a new proof of a theorem by Bereg et al., which states that a max-sum matching of any even point set in the plane is a Tverberg graph. Moreover, we proved a slightly stronger version of this theorem.
How connectivity affects the extremal number of trees
Published
• View Publication
• BIB
The Erdős-Sós conjecture states that the maximum number of edges in an $n$-vertex graph without a given $k$-vertex tree is at most $\frac {n(k-2)}{2}$. Despite significant interest, the conjecture remains unsolved. Recently, Caro, Patkós, and Tuza considered this problem for host graphs that are connected. Settling a problem posed by them, for a $k$-vertex tree $T$, we construct $n$-vertex connected graphs that are $T$-free with at least $(1/4-o_k(1))nk$ edges, showing that the additional connectivity condition can reduce the maximum size by at most a factor of 2. Furthermore, we show that this is optimal: there is a family of $k$-vertex brooms $T$ such that the maximum size of an $n$-vertex connected $T$-free graph is at most $(1/4+o_k(1))nk$.
Finding Non-Distance Magic Graphs using neighbourhood chains
Let $G$ be a graph of order $n$ and $N = \{N(u_{i})\}^k_{i=1}$ be a sequence of neighbourhood(nbh)s in $G$ where $N(u)$ = $\{v\in V(G):$ $uv\in E(G)\}$. \emph{Nbh sequence graph $H$ of} $N$ in $G$ is defined as the union of all induced subgraphs of closed nbh $N[u_{i}]$ in $G$, $1 \leq i \leq k$, $k\in\mathbb{N}$. A labeling $f: V(G) \rightarrow \left\{1,2,\ldots,n\right\} $ is called a \emph{Distance Magic Labeling (DML)} of $G$ if ~ ${\sum_{v \in N(u)}} f(v) $ is a constant for every $u\in V(G)$. $G$ is called a \emph{Distance Magic graph (DMG)} if it has a DML, otherwise it is called a \emph{Non-Distance Magic (NDM)} graph. In this paper, we define nbh walk, nbh trial, nbh path or nbh chain, nbh cycle, nbh sequence graph and nbh chains of Type-1 (NC-T1) and Type-2 (NC-T2). NC-T2 is formed on two NC-T1 of same length. We prove that (i) for $k \geq 2$ and $n \geq 3$, cylindrical grid graph $P_{k} \Box C_{n}$ contains NC-T2, $k,n \in \mathbb{N}$; (ii) graph containing NC-T1 of even length is NDM and (iii) partially settle a conjecture that graphs $P_m \Box C_n$ are NDM when $n$ is even, $m \geq 2$, $n \geq 3$ and $m,n\in\mathbb{N}$.
Cylindrical Grid Graphs $P_m \Box C_n$ are Non-Distance Magic
A bijective mapping $f: V(G) \rightarrow \left\{1,2,\ldots,n\right\}$ is called a \emph{Distance Magic Labeling (DML) of $G$} if ~ ${\sum_{v \in N(u)}} f(v) $ is a constant for all $u\in V(G)$ where $G$ is a simple graph of order $n$ and $N(u)$ = $\{v\in V(G):$ $uv\in E(G)\}$. Graph $G$ is called a \emph{Distance Magic Graph (DMG)} if it has a DML, otherwise it is called a \emph{Non-Distance Magic (NDM) graph}. In 1996, Vilfred proposed a conjecture that cylindrical grid graphs $P_m \Box C_n$ are NDM for $m \geq 2$, $n \geq 3$ and $m,n\in\mathbb{N}$. Recently, the authors could prove the conjecture for the case when $m$ is even by introducing neighbourhood chains of Type-1 (NC-T1) and Type-2 (NC-T2). In this paper, they introduce neighbourhood chains of Type-3 (NC-T3) and using them completely settle the conjecture and also identify families of NDM graphs.
Subdivision and Graph Eigenvalues
This paper investigates the asymptotic nature of graph spectra when some edges of a graph are subdivided sufficiently many times. In the special case where all edges of a graph are subdivided, we find the exact limits of the $k$-th largest and $k$-th smallest eigenvalues for any fixed $k$. It is expected that after subdivision, most eigenvalues of the new graph will lie in the interval $[-2,2]$. We examine the eigenvalues of the new graph outside this interval, and we prove several results that might be of independent interest.
New results about the Inverse Eigenvalue Problem of a Graph
All graphs considered are simple and undirected. The Inverse Eigenvalue Problem of a Graph $G$ (IEP-G) aims to find all possible spectra for matrices whose $(i,j)-$entry, for $i\neq j$, is nonzero precisely when $i$ is adjacent to $j$. A cluster in a graph $G$ is a pair of vertex subsets $(C, S)$, where $C$ is a maximal set of cardinality $\vert C\vert\geq 2$ of independent vertices sharing the same set $S$ of $\vert S\vert$ neighbors. Let $G$ be a connected graph on $n$ vertices with a cluster $(C, S)$ and $H$ be a graph of order $\vert C\vert$. Let $G(H)$ be the connected graph obtained from $G$ and $H$ when the edges of $H$ are added to the edges of $G$ by identifying the vertices of $H$ with the vertices in $C$. In this paper, we construct a symmetric matrix with associated complete graph, which satisfies some interesting properties. This result is applied to obtain new sufficient conditions on the IEP-G, when $G$ is a graph of order $n$ having a clique of order $k$ and a cluster $(C,S)$, where $\vert C\vert=n-k$ and $\vert S\vert=r\leq k$, as well as, for the graph $G(K_{n-k})$, being $G$ as before. In particular, when $G$ is a graph obtained from $K_{n}$ by deleting a single edge $e_{k}\in E(K_{n})$, we establish a necessary and sufficient condition on the IEP-G. Several illustrative example are given. The constructive nature of our results generate algorithmic procedures that always allow one to compute a solution matrix.
Hamiltonicity of $1$-tough $(P_2\cup kP_1)$-free graphs
Given a graph $H$, a graph $G$ is $H$-free if $G$ does not contain $H$ as an induced subgraph. For a positive real number $t$, a non-complete graph $G$ is said to be $t$-tough if for every vertex cut $S$ of $G$, the ratio of $|S|$ to the number of components of $G-S$ is at least $t$. A complete graph is said to be $t$-tough for any $t>0$. Chvátal's toughness conjecture, stating that there exists a constant $t_0$ such that every $t_0$-tough graph with at least three vertices is Hamiltonian, is still open in general. Chvátal and Erdös \cite{CE} proved that, for any integer $k\ge 1$, every $\max\{2,k\}$-connected $(k+1)P_1$-free graph on at least three vertices is Hamiltonian. Along the Chvátal-Erdös theorem, Shi and Shan \cite{SS} proved that, for any integer $k\ge 4$, every $4$-tough $2k$-connected $(P_2\cup kP_1)$-free graph with at least three vertices is Hamiltonian, and furthermore, they proposed a conjecture that for any integer $k\ge 1$, any $1$-tough $2k$-connected $(P_2\cup kP_1)$-free graph is Hamiltonian. In this paper, we confirm the conjecture, and furthermore, we show that if $k\ge 3$, then the condition `$2k$-connected' may be weakened to be `$2(k-1)$-connected'. As an immediate consequence, for any integer $k\ge 3$, every $(k-1)$-tough $(P_2\cup kP_1)$-free graph is Hamiltonian. This improves the result of Hatfield and Grimm \cite{HG}, stating that every $3$-tough $(P_2\cup 3P_1)$-free graph is Hamiltonian.
A proof of a conjecture on the distance spectral radius
A cactus is a connected graph in which any two cycles have at most one common vertex. We determine the unique graph that maximizes the distance spectral radius over all cacti with fixed numbers of vertices and cycles, and thus prove a conjecture on the distance spectral radius of cacti in [S.S. Bose, M. Nath, S. Paul, On the distance spectral radius of cacti, Linear Algebra Appl. 437 (2012) 2128--2141]. We prove the result in the context of hypertrees.
Hypercubes and Isometric Words based on Swap and Mismatch Distance
The hypercube of dimension n is the graph whose vertices are the 2^n binary words of length n, and there is an edge between two of them if they have Hamming distance 1. We consider an edit distance based on swaps and mismatches, to which we refer as tilde-distance, and define the tilde-hypercube with edges linking words at tilde-distance 1. Then, we introduce and study some isometric subgraphs of the tilde-hypercube obtained by using special words called tilde-isometric words. The subgraphs keep only the vertices that avoid a given tilde-isometric word as a factor. In the case of word 11, the subgraph is called tilde-Fibonacci cube, as a generalization of the classical Fibonacci cube. The tilde-hypercube and the tilde-Fibonacci cube can be recursively defined; the same holds for the number of their edges. This allows an asymptotic estimation of the number of edges in the tilde-Fibonacci cube, in comparison to the total number in the tilde-hypercube.
A Comparison of Dijkstra's Algorithm Using Fibonacci Heaps, Binary Heaps, and Self-Balancing Binary Trees
This paper describes the shortest path problem in weighted graphs and examines the differences in efficiency that occur when using Dijkstra's algorithm with a Fibonacci heap, binary heap, and self-balancing binary tree. Using C++ implementations of these algorithm variants, we find that the fastest method is not always the one that has the lowest asymptotic complexity. Reasons for this are discussed and backed with empirical evidence.
Perfect t-embeddings of uniformly weighted Aztec diamonds and tower graphs
In this work we study a sequence of perfect t-embeddings of uniformly weighted Aztec diamonds. We show that these perfect t-embeddings can be used to prove convergence of gradients of height fluctuations to those of the Gaussian free field. In particular we provide a first proof of the existence of a model satisfying all conditions of the main theorem of arXiv:2109.06272. This confirms the prediction of arXiv:2002.07540. An important part of our proof is to exhibit exact integral formulas for perfect t-embeddings of uniformly weighted Aztec diamonds.
In addition, we construct and analyze perfect t-embeddings of another sequence of uniformly weighted finite graphs called tower graphs. Although we do not check all technical assumptions of the mentioned theorem for these graphs, we use perfect t-embeddings to derive a simple transformation which identifies height fluctuations on the tower graph with those of the Aztec diamond.
Scaling limits and universality: Critical percolation on weighted graphs converging to an $L^3$ graphon
We develop a general universality technique for establishing metric scaling limits of critical random discrete structures exhibiting mean-field behavior that requires four ingredients: (i) from the barely subcritical regime to the critical window, components merge approximately like the multiplicative coalescent, (ii) asymptotics of the susceptibility functions are the same as that of the Erdos-Renyi random graph, (iii) asymptotic negligibility of the maximal component size and the diameter in the barely subcritical regime, and (iv) macroscopic averaging of distances between vertices in the barely subcritical regime.
As an application of the general universality theorem, we establish, under some regularity conditions, the critical percolation scaling limit of graphs that converge, in a suitable topology, to an $L^3$ graphon. In particular, we define a notion of the critical window in this setting. The $L^3$ assumption ensures that the model is in the Erdos-Renyi universality class and that the scaling limit is Brownian. Our results do not assume any specific functional form for the graphon. As a consequence of our results on graphons, we obtain the metric scaling limit for Aldous-Pittel's RGIV model [9] inside the critical window.
Our universality principle has applications in a number of other problems including in the study of noise sensitivity of critical random graphs [52]. In [10], we use our universality theorem to establish the metric scaling limit of critical bounded size rules. Our method should yield the critical metric scaling limit of Rucinski and Wormald's random graph process with degree restrictions [56] provided an additional technical condition about the barely subcritical behavior of this model can be proved.
Stack and Queue Numbers of Graphs Revisited
A long-standing question of the mutual relation between the stack and queue numbers of a graph, explicitly emphasized by Dujmović and Wood in 2005, was "half-answered" by Dujmović, Eppstein, Hickingbotham, Morin and Wood in 2022; they proved the existence of a graph family with the queue number at most 4 but unbounded stack number. We give an alternative very short, and still elementary, proof of the same fact.
A lower bound for the complex flow number of a graph: a geometric approach
Let $r \geq 2$ be a real number. A complex nowhere-zero $r$-flow on a graph $G$ is an orientation of $G$ together with an assignment $\varphi\colon E(G)\to \mathbb{C}$ such that, for all $e \in E(G)$, the modulus of the complex number $\varphi(e)$ lies in the interval $[1,r-1]$ and, for every vertex, the incoming flow is equal to the outgoing flow. The complex flow number of a bridgeless graph $G$, denoted by $φ_{\mathbb{C}}(G)$, is the minimum of the real numbers $r$ such that $G$ admits a complex nowhere-zero $r$-flow. The exact computation of $φ_{\mathbb{C}}$ seems to be a hard task even for very small and symmetric graphs. In particular, the exact value of $φ_{\mathbb{C}}$ is known only for families of graphs where a lower bound can be trivially proved. Here, we use geometric and combinatorial arguments to give a non trivial lower bound for $φ_{\mathbb{C}}(G)$ in terms of the odd-girth of a cubic graph $G$ (i.e. the length of a shortest odd cycle) and we show that such lower bounds are tight. Our main result, Theorem 2, relies on the exact computation of the complex flow number of the wheel graph $W_n$ (see Theorem 1). In particular, we show that for every odd $n$, the value of $φ_{\mathbb{C}}(W_n)$ arises from one of three suitable configurations of points in the complex plane according to the congruence of $n$ modulo $6$.
Encoding and Enumerating Acyclic Orientations of Graphs
In this work we study the acyclic orientations of graphs. We obtain an encoding of the acyclic orientations of the complete $p$-partite graph with size of its parts $n_1,n_2,\ldots,n_p$ via a vector with $p$ symbols and length $n=n_1+n_2+\ldots+n_p$ when the parts are fixed but not the vertices in each part. We also give a recursive way to construct all acyclic orientations of a complete multipartite graph, this construction can be done by computer easily in order $\mathcal{O}(n)$. Furthermore, we obtain a closed formula for non-isomorphic acyclic orientations of both the complete multipartite graphs and the complete multipartite graphs with a directed spanning tree. Moreover, we obtain a closed formula for the number of acyclic orientations of a complete multipartite graph $K_{n_1,\ldots,n_p}$ with labelled vertices. Finally, we obtain a way encode all acyclic orientations of an arbitrary graph as a permutation code. Using the codification mentioned above we obtain sharp upper and lower bounds of the number of acyclic orientations of a graph.