graph
34585 papers tagged with this keyword
Assisted Shortest Path Planning for a Convoy through a Repairable Network
Published
• View Publication
• BIB
In this article, we consider a multi-agent path planning problem in a partially impeded environment. The impeded environment is represented by a graph with select road segments (edges) in disrepair impeding vehicular movement in the road network. A convoy wishes to travel from a starting location to a destination while minimizing some accumulated cost. The convoy may traverse an impeded edge for an additional cost (associated with repairing the edge) than if it were unimpeded. A second vehicle, referred to as a service vehicle, is simultaneously deployed with the convoy. The service vehicle assists the convoy by repairing an edge, reducing the cost for the convoy to traverse that edge. The convoy is permitted to wait at any vertex to allow the service vehicle to complete repairing an edge. The service vehicle is permitted to terminate its path at any vertex. The goal is then to find a pair of paths so the convoy reaches its destination while minimizing the total time (cost) the two vehicles are active, including any time the convoy waits. We refer to this problem as the Assisted Shortest Path Problem (ASPP). We present a generalized permanent labeling algorithm to find an optimal solution for the ASPP. We also introduce additional modifications to the labeling algorithm to significantly improve the computation time and refer to the modified labeling algorithm as $GPLA^*$. Computational results are presented to illustrate the effectiveness of $GPLA^*$ in solving the ASPP. We then give concluding remarks and briefly discuss potential variants of the ASPP for future work.
Twin-width VIII: delineation and win-wins
We introduce the notion of delineation. A graph class $\mathcal C$ is said delineated if for every hereditary closure $\mathcal D$ of a subclass of $\mathcal C$, it holds that $\mathcal D$ has bounded twin-width if and only if $\mathcal D$ is monadically dependent. An effective strengthening of delineation for a class $\mathcal C$ implies that tractable FO model checking on $\mathcal C$ is perfectly understood: On hereditary closures $\mathcal D$ of subclasses of $\mathcal C$, FO model checking is fixed-parameter tractable (FPT) exactly when $\mathcal D$ has bounded twin-width. Ordered graphs [BGOdMSTT, STOC '22] and permutation graphs [BKTW, JACM '22] are effectively delineated, while subcubic graphs are not. On the one hand, we prove that interval graphs, and even, rooted directed path graphs are delineated. On the other hand, we show that segment graphs, directed path graphs, and visibility graphs of simple polygons are not delineated. In an effort to draw the delineation frontier between interval graphs (that are delineated) and axis-parallel two-lengthed segment graphs (that are not), we investigate the twin-width of restricted segment intersection classes. It was known that (triangle-free) pure axis-parallel unit segment graphs have unbounded twin-width [BGKTW, SODA '21]. We show that $K_{t,t}$-free segment graphs, and axis-parallel $H_t$-free unit segment graphs have bounded twin-width, where $H_t$ is the half-graph or ladder of height $t$. In contrast, axis-parallel $H_4$-free two-lengthed segment graphs have unbounded twin-width. Our new results, combined with the known FPT algorithm for FO model checking on graphs given with $O(1)$-sequences, lead to win-win arguments. For instance, we derive FPT algorithms for $k$-Ladder on visibility graphs of 1.5D terrains, and $k$-Independent Set on visibility graphs of simple polygons.
Minimum Roman Dominating Distance Energy of a Graph
In this correspondence, we introduced the concept of minimum roman dominating distance energy $E_{RDd}(G)$ of a graph $G$ and computed minimum roman dominating distance energy of some standard graphs. Also, we discussed the properties of eigenvalues of a minimum roman dominating distance matrix $A_{RDd}(G).$ Finally, we derived the Upper and lower bounds for $E_{RDd}(G).$
On Reconfiguration Graphs of Independent Sets under Token Sliding
Published in Graphs and Combinatorics: Vol. 39: Iss. 3, Article 59 (2023)
• View Publication
• BIB
An independent set of a graph $G$ is a vertex subset $I$ such that there is no edge joining any two vertices in $I$. Imagine that a token is placed on each vertex of an independent set of $G$. The $\mathsf{TS}$- ($\mathsf{TS}_k$-) reconfiguration graph of $G$ takes all non-empty independent sets (of size $k$) as its nodes, where $k$ is some given positive integer. Two nodes are adjacent if one can be obtained from the other by sliding a token on some vertex to one of its unoccupied neighbors. This paper focuses on the structure and realizability of these reconfiguration graphs. More precisely, we study two main questions for a given graph $G$: (1) Whether the $\mathsf{TS}_k$-reconfiguration graph of $G$ belongs to some graph class $\mathcal{G}$ (including complete graphs, paths, cycles, complete bipartite graphs, connected split graphs, maximal outerplanar graphs, and complete graphs minus one edge) and (2) If $G$ satisfies some property $\mathcal{P}$ (including $s$-partitedness, planarity, Eulerianity, girth, and the clique's size), whether the corresponding $\mathsf{TS}$- ($\mathsf{TS}_k$-) reconfiguration graph of $G$ also satisfies $\mathcal{P}$, and vice versa. Additionally, we give a decomposition result for splitting a $\mathsf{TS}_k$-reconfiguration graph into smaller pieces.
Transducing paths in graph classes with unbounded shrubdepth
Published
• View Publication
• BIB
Transductions are a general formalism for expressing transformations of graphs (and more generally, of relational structures) in logic. We prove that a graph class $\mathscr{C}$ can be $\mathsf{FO}$-transduced from a class of bounded-height trees (that is, has bounded shrubdepth) if, and only if, from $\mathscr{C}$ one cannot $\mathsf{FO}$-transduce the class of all paths. This establishes one of the three remaining open questions posed by Blumensath and Courcelle about the $\mathsf{MSO}$-transduction quasi-order, even in the stronger form that concerns $\mathsf{FO}$-transductions instead of $\mathsf{MSO}$-transductions.
The backbone of our proof is a graph-theoretic statement that says the following: If a graph $G$ excludes a path, the bipartite complement of a path, and a half-graph as semi-induced subgraphs, then the vertex set of $G$ can be partitioned into a bounded number of parts so that every part induces a cograph of bounded height, and every pair of parts semi-induce a bi-cograph of bounded height. This statement may be of independent interest; for instance, it implies that the graphs in question form a class that is linearly $χ$-bounded.
Weakly toll convexity and proper interval graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 26:2, Graph Theory (April 18, 2024) dmtcs:9837
• View Publication
• BIB
A walk $u_0u_1 \ldots u_{k-1}u_k$ is a \textit{weakly toll walk} if $u_0u_i \in E(G)$ implies $u_i = u_1$ and $u_ju_k\in E(G)$ implies $u_j=u_{k-1}$. A set $S$ of vertices of $G$ is {\it weakly toll convex} if for any two non-adjacent vertices $x,y \in S$ any vertex in a weakly toll walk between $x$ and $y$ is also in $S$. The {\em weakly toll convexity} is the graph convexity space defined over weakly toll convex sets. Many studies are devoted to determine if a graph equipped with a convexity space is a {\em convex geometry}. An \emph{extreme vertex} is an element $x$ of a convex set $S$ such that the set $S\backslash\{x\}$ is also convex. A graph convexity space is said to be a convex geometry if it satisfies the Minkowski-Krein-Milman property, which states that every convex set is the convex hull of its extreme vertices. It is known that chordal, Ptolemaic, weakly polarizable, and interval graphs can be characterized as convex geometries with respect to the monophonic, geodesic, $m^3$, and toll convexities, respectively. Other important classes of graphs can also be characterized in this way. In this paper, we prove that a graph is a convex geometry with respect to the weakly toll convexity if and only if it is a proper interval graph. Furthermore, some well-known graph invariants are studied with respect to the weakly toll convexity.
$h^*$-vectors of graph polytopes using activities of dissecting spanning trees
Published in Algebraic Combinatorics, Volume 6 (2023) no. 6, pp. 1637-1651
• View Publication
• BIB
Symmetric edge polytopes of graphs and root polytopes of semi-balanced digraphs are two classes of lattice polytopes whose $h^*$-polynomials have interesting properties and generalize important graph polynomials. For both classes of polytopes there are large, natural classes of dissections into unimodular simplices. These are such that the simplices correspond to certain spanning trees.
We show that for any ``spanning tree dissection'' of the symmetric edge polytope of a graph, or the root polytope of a semi-balanced digraph, the $h^*$-polynomial of the polytope can be computed as a generating function of certain activities of the corresponding spanning trees. Apart from giving simple and flexible algorithms for computing these polynomials, our results also reveal that all dissections in question are surprisingly similar to each other: It turns out that the distributions of many statistics of spanning tree dissections are in fact independent of the actual dissection.
Random cubic planar graphs converge to the Brownian sphere
Published in Electron. J. Probab. 28, 1-54, (2023)
• View Publication
• BIB
In this paper, the scaling limit of random connected cubic planar graphs (respectively multigraphs) is shown to be the Brownian sphere.
The proof consists in essentially two main steps. First, thanks to the known decomposition of cubic planar graphs into their 3-connected components, the metric structure of a random cubic planar graph is shown to be well approximated by its unique 3-connected component of linear size, with modified distances.
Then, Whitney's theorem ensures that a 3-connected cubic planar graph is the dual of a simple triangulation, for which it is known that the scaling limit is the Brownian sphere. Curien and Le Gall have recently developed a framework to study the modification of distances in general triangulations and in their dual. By extending this framework to simple triangulations, it is shown that 3-connected cubic planar graphs with modified distances converge jointly with their dual triangulation to the Brownian sphere.
On eigenfunctions and maximal cliques of generalised Paley graphs of square order
Published in Finite Fields Appl. 87 (2023), Paper No. 102150, 36 pp
• View Publication
• BIB
Let GP$(q^2,m)$ be the $m$-Paley graph defined on the finite field with order $q^2$. We study eigenfunctions and maximal cliques in generalised Paley graphs GP$(q^2,m)$, where $m \mid (q+1)$. In particular, we explicitly construct maximal cliques of size $\frac{q+1}{m}$ or $\frac{q+1}{m}+1$ in GP$(q^2,m)$, and show the weight-distribution bound on the cardinality of the support of an eigenfunction is tight for the smallest eigenvalue $-\frac{q+1}{m}$ of GP$(q^2,m)$. These new results extend the work of Baker et. al and Goryainov et al. on Paley graphs of square order. We also study the stability of the Erdős-Ko-Rado theorem for GP$(q^2,m)$ (first proved by Sziklai).
Generic Laplace eigenfunctions on metric graphs
Published
• View Publication
• BIB
It is known that up to certain pathologies, a compact metric graph with standard vertex conditions has a Baire-generic set of choices of edge lengths such that all Laplacian eigenvalues are simple and have eigenfunctions that do not vanish at the vertices. We provide a new notion of strong genericity, using subanalytic sets, that implies both Baire genericity and full Lebesgue measure. We show that the previous genericity results for metric graphs are strongly generic. In addition, we show that generically the derivative of an eigenfunction does not vanish at the vertices either. In fact, we show that generically an eigenfunction fails to satisfy any additional vertex condition. Finally, we show that any two different metric graphs with the same edge lengths do not share any non-zero eigenvalue, for a generic choice of lengths, except for a few explicit cases where the graphs have a common edge-reflection symmetry. The paper concludes by addressing three open conjectures for metric graphs that can benefit from the tools introduced in this paper.
On the eccentricity matrices of trees: Inertia and spectral symmetry
Published
• View Publication
• BIB
The \textit{eccentricity matrix} $\mathcal{E}(G)$ of a connected graph $G$ is obtained from the distance matrix of $G$ by keeping the largest non-zero entries in each row and each column, and leaving zeros in the remaining ones. The eigenvalues of $\mathcal{E}(G)$ are the \textit{$\mathcal{E}$-eigenvalues} of $G$. In this article, we find the inertia of the eccentricity matrices of trees. Interestingly, any tree on more than $4$ vertices with odd diameter has two positive and two negative $\mathcal{E}$-eigenvalues (irrespective of the structure of the tree). A tree with even diameter has the same number of positive and negative $\mathcal{E}$-eigenvalues, which is equal to the number of 'diametrically distinguished' vertices (see Definition 3.1). Besides we prove that the spectrum of the eccentricity matrix of a tree is symmetric with respect to the origin if and only if the tree has odd diameter. As an application, we characterize the trees with three distinct $\mathcal{E}$-eigenvalues.
The Alon-Tarsi number of planar graphs -- a simple proof
Published
• View Publication
• BIB
This paper gives a simple proof of the result that every planar graph $G$ has Alon-Tarsi number at most 5, and has a matching $M$ such that $G-M$ has Alon-Tarsi number at most 4.
List $4$-colouring of planar graphs
Published
• View Publication
• BIB
This paper proves the following result: If $G$ is a planar graph and $L$ is a $4$-list assignment of $G$ such that $|L(x) \cap L(y)| \le 2$ for every edge $xy$, then $G$ is $L$-colourable. This answers a question asked by Kratochvíl, Tuza and Voigt in [Journal of Graph Theory, 27(1):43--49, 1998].
On local antimagic chromatic number of lexicographic product graphs
Published
• View Publication
• BIB
Let $G = (V,E)$ be a connected simple graph of order $p$ and size $q$. A graph $G$ is called local antimagic if $G$ admits a local antimagic labeling. A bijection $f : E \to \{1,2,\ldots,q\}$ is called a local antimagic labeling of $G$ if for any two adjacent vertices $u$ and $v$, we have $f^+(u) \ne f^+(v)$, where $f^+(u) = \sum_{e\in E(u)} f(e)$, and $E(u)$ is the set of edges incident to $u$. Thus, any local antimagic labeling induces a proper vertex coloring of $G$ if vertex $v$ is assigned the color $f^+(v)$. The local antimagic chromatic number, denoted $χ_{la}(G)$, is the minimum number of induced colors taken over local antimagic labeling of $G$. Let $G$ and $H$ be two vertex disjoint graphs. The {\it lexicographic product} of $G$ and $H$, denoted $G[H]$, is the graph with vertex set $V(G) \times V(H)$, and $(u,u')$ is adjacent to $(v,v')$ in $G[H]$ if $(u,v)\in E(G)$ or if $u=v$ and $u'v'\in E(H)$. In this paper, we obtained sharp upper bound of $χ_{la}(G[O_n])$ where $O_n$ is a null graph of order $n\ge 1$. Sufficient conditions for even regular bipartite and tripartite graphs $G$ to have $χ_{la}(G)=3$ are also obtained. Consequently, we successfully determined the local antimagic chromatic number of infinitely many (connected and disconnected) regular graphs that partially support the existence of $r$-regular graph $G$ of order $p$ such that (i) $χ_{la}(G)=χ(G)=k$, and (ii) $χ_{la}(G)=χ(G)+1=k$ for each possible $r,p,k$.
Proper conflict-free coloring of sparse graphs
Published
• View Publication
• BIB
A {\it proper conflict-free $c$-coloring} of a graph is a proper $c$-coloring such that each non-isolated vertex has a color appearing exactly once on its neighborhood. This notion was formally introduced by Fabrici et al., who proved that planar graphs have a proper conflict-free 8-coloring and constructed a planar graph with no proper conflict-free 5-coloring. Caro, Petruševski, and Škrekovski investigated this coloring concept further, and in particular studied upper bounds on the maximum average degree that guarantees a proper conflict-free $c$-coloring for $c\in\{4,5,6\}$.
Along these lines, we completely determine the threshold on the maximum average degree of a graph $G$, denoted $mad(G)$, that guarantees a proper conflict-free $c$-coloring for all $c$ and also provide tightness examples. Namely, for $c\geq 5$ we prove that a graph $G$ with $mad(G)\leq \frac{4c}{c+2}$ has a proper conflict-free $c$-coloring, unless $G$ contains a $1$-subdivision of the complete graph on $c+1$ vertices. When $c=4$, we show that a graph $G$ with $mad(G)<\frac{12}{5}$ has a proper conflict-free $4$-coloring, unless $G$ contains an induced $5$-cycle. In addition, we show that a planar graph with girth at least 5 has a proper conflict-free $7$-coloring.
Independence complexes of $(n \times 4)$ and $(n \times 5)$-grid graphs
Published
• View Publication
• BIB
We determine the homotopy types of the independence complexes of $(n \times 4)$ and $(n \times 5)$-square grid graphs. In fact, they are homotopy equivalent to wedges of spheres.
Hook formulae from Segre-MacPherson classes
Published
• View Publication
• BIB
Nakada's colored hook formula is a vast generalization of many important formulae in combinatorics, such as the classical hook length formula and the Peterson's formula for the number of reduced expressions of minuscule Weyl group elements. In this paper, we utilize cohomological properties of Segre-MacPherson classes of Schubert cells and varieties to prove a generalization of a cohomological version of Nakada's formula, in terms of smoothness properties of Schubert varieties. A key ingredient in the proof is the study of a decorated version of the Bruhat graph. Summing over weighted paths of this graph give the terms in the generalized Nakada's formula, and also provide algorithms to calculate structure constants of multiplications of Segre-MacPherson classes of Schubert cells. For simply laced Weyl groups, we also show the equality of `skew' and `straight' Nakada's formulae. This utilizes a criterion for smoothness in terms of excited diagrams of heaps of minuscule elements, which might be of independent interest.
Locally s-arc-transitive graphs arising from product action
Published
• View Publication
• BIB
We study locally $s$-arc-transitive graphs arising from the quasiprimitive product action (PA). We prove that, for any locally $(G,2)$-arc-transitive graph with $G$ acting quasiprimitively with type PA on both $G$-orbits of vertices, the group $G$ does not act primitively on either orbit. Moreover, we construct the first examples of locally $s$-arc-transitive graphs of PA type that are not standard double covers of $s$-arc-transitive graphs of PA type, answering the existence question for these graphs.
The Gonality of Rook Graphs
Two dimensional rook graphs are the Cartesian product of two complete graphs. In this paper we prove that the gonality of these graphs is the expected value of $(n-1)m$ where $n$ is the size of the smaller complete graph and $m$ is the size of the larger. furthermore we compute the 2 and 3 gonalities of these graphs. We also explore the scramble number of these graphs, which is a new graph invariant and a lower bound on the gonality.
Fans and polytopes in tilting theory I: Foundations
For a finite dimensional algebra $A$ over a field $k$, the 2-term silting complexes of $A$ gives a simplicial complex $Δ(A)$ called the $g$-simplicial complex. We give tilting theoretic interpretations of the $h$-vectors and Dehn-Sommerville equations of $Δ(A)$. Using $g$-vectors of 2-term silting complexes, $Δ(A)$ gives a nonsingular fan $Σ(A)$ in the real Grothendieck group $K_0(\mathsf{proj} A)_{\mathbb{R}}$ called the $g$-fan. We give several basic properties of $Σ(A)$ including sign-coherence, sign decomposition, idempotent reductions, Jasso reductions, pairwise positivity and a connection with Newton polytopes of $A$-modules. Moreover, $Σ(A)$ gives a (possibly infinite and non-convex) polytope $P(A)$ in $K_0(\mathsf{proj} A)_{\mathbb{R}}$ called the $g$-polytope of $A$. We call $A$ $g$-convex if $P(A)$ is convex. In this case, we show that it is a reflexive polytope, and that the dual polytope is given by the 2-term simple minded collections of $A$. There are precisely 7 convex $g$-polyogons up to isomorphism. We give a classification of algebras whose $g$-polytopes are smooth Fano.
We study $g$-fans and $g$-polytopes of two important classes of algebras. We show that the $g$-fan of a classical or generalized preprojective algebra is given by the Coxeter fan. It is $g$-convex if and only if it is of type $A$ or $B$, and in this case, its $g$-polytope is the dual polytope of the short root polytope. Moreover we classify Brauer graph algebras which are $g$-convex, and describe their $g$-polytopes as the root polytopes of type $A$ or $C$.