Letter graphs and modular decomposition

A graph with a vertex set is said to be a prime graph if there exists a bijective mapping , where denotes the number of vertices in , such that for any two adjacent vertices and in have . Tensor Product graph is a way to combine (compose) two graphs into one larger and more complex graph. The result is a new graph that reflects the connection properties of the two original graphs, but in a very specific and more complex way than other graph operations. Therefore, this research aims to determine whether there is prime labeling in the class of graphs resulting from the Tensor Product of the path graph and the cycle graph . The research employed analytical and exploratory methods with a trial-and-error strategy to determine the labeling that possesses a prime property. The results of this study prove that two classes of the Tensor Product graph for , and graph , for are prime graph. This finding expands the results on classes of graphs that admit prime labeling and provides a basis for further research on graph labeling in other graph operations

Cover-Incomparability graphs (C-I graphs) form an interesting class of graphs from posets. C-I graphs are identified among chordal graphs, distance-hereditary graphs, Ptolemaic graphs, split graphs, threshold graphs, bisplit graphs, block graphs and cographs. Thus only a few classes of graphs are known to be C-I graphs so far. Composition operation and various graph products are usually used to produce more non-trivial graphs in a particular graph class, using the prime graphs in the class. In this paper, we attempt to study the effect of the composition, lexicographic and strong products of C-I graphs. We found that the lexicographic product of two C-I graphs, say G and H is a C-I graph if and only if either G is any C-I graph, and H is a complete graph or vice versa. A similar result holds for the strong product also. It can be observed that the composition operation is more general than lexicographic product and we obtain new classes of C-I graphs from this operation.

We investigate recursive relations for the Grothendieck classes of the affine graph hypersurface complements of melonic graphs. We compute these classes explicitly for several families of melonic graphs, focusing on the case of graphs with valence- 4 internal vertices, relevant to CTKT tensor models. The results hint at a complex and interesting structure in terms of divisibility relations or nontrivial relations between classes of graphs in different families. Using the recursive relations, we prove that the Grothendieck classes of all melonic graphs are positive as polynomials in the class of the moduli space \mathcal M_{0,4} . We also conjecture that the corresponding polynomials are log-concave , on the basis of hundreds of explicit computations.

Let G be a simple graph of order n. Prime labeling is a bijective function f:V(G)→{1,2,…,n} such that gcd⁡(f(u),f(v))=1 for every pair of adjacent vertices u,v in G. A graph G that satisfies the definition of prime labeling is called a prime graph. The Dutch windmill graph D_r^n is a graph obtained by taking n copies of cycle graph C_r with a vertex in common. The double quadrilateral graph DQ is a graph constructed from two copies of C_4 and identifying one edge from each of them. The graph obtained by taking n copies of DQ and identifying one vertex of degree 3 from each of them as a common central vertex is called the double quadrilateral Dutch windmill graph DQ_n, for n≥1. Furthermore, graphs D_r^n and DQ_n becomes the base graph to construct two new graph classes, namely graph P_2 [D_r^n] and flower double quadrilateral graph FDQ_n. Both graph classes, constructed from the Dutch windmill graph, also contain even cycles. From previous research, it is known that graphs P_2 [D_4^n] and flower double quadrilateral graph FDQ_n have odd harmonious labeling. However, the determination of prime labeling on both classes is still an open problem. In this paper, we show that two classes of graphs constructed from Dutch windmill graphs with even cycles, namely graphs P_2 [D_4^n] and flower double quadrilateral graphs FDQ_n for n≥1 have a prime labeling. The result of this research shows that these graphs are prime graphs.

We consider the approximability of the maximum edge-disjoint paths problem (MEDP) in undirected graphs, and in particular, the integrality gap of the natural multicommodity flow based relaxation for it. The integrality gap is known to be \(\Omega(\sqrt{n})\) even for planar graphs [11] due to a simple topological obstruction and a major focus, following earlier work [14], has been understanding the gap if some constant congestion is allowed. In planar graphs the integrality gap is O(1) with congestion 2 [19,5]. In general graphs, recent work has shown the gap to be O(polylog(n)) [8,9] with congestion 2. Moreover, the gap is Ω(logΩ(c) n) in general graphs with congestion c for any constant c ≥ 1 [1].It is natural to ask for which classes of graphs does a constant-factor constant-congestion property hold. It is easy to deduce that for given constant bounds on the approximation and congestion, the class of “nice” graphs is minor-closed. Is the converse true? Does every proper minor-closed family of graphs exhibit a constant-factor constant-congestion bound relative to the LP relaxation? We conjecture that the answer is yes. One stumbling block has been that such bounds were not known for bounded treewidth graphs (or even treewidth 3). In this paper we give a polytime algorithm which takes a fractional routing solution in a graph of bounded treewidth and is able to integrally route a constant fraction of the LP solution’s value. Note that we do not incur any edge congestion. Previously this was not known even for series parallel graphs which have treewidth 2. The algorithm is based on a more general argument that applies to k-sums of graphs in some graph family, as long as the graph family has a constant-factor constant-congestion bound. We then use this to show that such bounds hold for the class of k-sums of bounded genus graphs.KeywordsPlanar GraphTree DecompositionGraph FamilyDisjoint Path ProblemSeries Parallel GraphThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

The metric representation of a vertex v of a graph G is a finite vector representing distances of v with respect to vertices of some ordered subset S⊆V (G). If no suitable subset of S provides separate representations for each vertex of V(G), then the set S is referred to as a minimal resolving set. The metric dimension of G is the cardinality of the smallest (with respect to its cardinality) minimal resolving set. A resolving set S is secure if for any v∈V–S, there exists x∈S such that (S–{x})∪{v} is a resolving set. For various classes of graphs, the value of the secure resolving number is determined and defined. The secure metric dimension of the graph classes is being studied in this work. The results show that different graph families have different metric dimensions.

In the context of a random walk on an undirected graph, Kemeny's constant can measure the average travel time for a random walk between two randomly chosen vertices. We are interested in graphs that behave counter-intuitively in regard to Kemeny's constant: in particular, we examine graphs with a cut-vertex at which at least two branches are paths, regarding whether the insertion of a particular edge into a graph results in an increase of Kemeny's constant. We provide several tools for identifying such an edge in a family of graphs and for analysing asymptotic behaviour of the family regarding the tendency to have that edge; and classes of particular graphs are given as examples. Furthermore, asymptotic behaviours of families of trees are described.

Accordion graphs: Hamiltonicity, matchings and isomorphism with quartic circulants

String graphs of k-bend paths on a grid

A simple undirected regular graph is said to be semisymmetric if it is edge-transitive but not vertex-transitive. For a semisymmetric graph [Formula: see text] of order [Formula: see text], [Formula: see text] a prime, it is well known that [Formula: see text] is bipartite with two biparts having equal size. The complete classification of such graphs has been given for the full automorphism group [Formula: see text] acting unfaithfully on at least one bipart of [Formula: see text], which shows that there is only one infinite family of such graphs with valency [Formula: see text]. The graphs of this kind have been determined when [Formula: see text] acts faithfully and primitively on at least one bipart of [Formula: see text], and thus there is only one remaining case for classifying such graphs of valency [Formula: see text], [Formula: see text] acting faithfully and imprimitively on both biparts of [Formula: see text], which is dealt with in this paper. As a result, there is only one infinite family of semisymmetric graphs of order [Formula: see text] with valency [Formula: see text].

This article studies the circular chromatic number of a class of circular partitionable graphs. We prove that an infinite family of circular partitionable graphs G has $\chi_ c (G) = \chi(G)$. A consequence of this result is that we obtain an infinite family of graphs G with the rare property that the deletion of each vertex decreases its circular chromatic number by exactly 1. © 2006 Wiley Periodicals, Inc. J Graph Theory

This study investigates the existence of discrete and strong discrete labeling for several classes of path and star-related graphs, contributing to the broader field of graph labeling theory. A graph is said to admit a discrete labeling if its vertices can be assigned binary labels (0 and 1), such that each edge receives a label determined by the exclusive OR (XOR) of the labels of its incident vertices, subject to specified constraints. We first establish that the super subdivision of a path <img src=image/13441705_01.gif> by the complete bipartite graph <img src=image/13441705_02.gif> is discrete, demonstrating that replacing each edge of <img src=image/13441705_01.gif> with <img src=image/13441705_02.gif> preserves the discrete labeling property. Additionally, we prove that the square of a path <img src=image/13441705_01.gif>, obtained by connecting vertices at a distance of at most two, also admits a discrete labeling. Further, we examine the shadow graph <img src=image/13441705_04.gif>, constructed by duplicating <img src=image/13441705_01.gif> and connecting each vertex to its copy's neighbors, and show that it is also discrete. Another variant, the graph <img src=image/13441705_03.gif> formed by switching one pendant vertex in <img src=image/13441705_01.gif>, is similarly proven to support discrete labeling. Beyond paths, we explore star-related graphs, confirming that the shadow graph of a star <img src=image/13441705_05.gif> and the shadow graph of a bi-star <img src=image/13441705_06.gif> both permit discrete labeling. Extending the concept, we introduce strong discrete labeling, which imposes the stricter requirement by adding one more constraint to discrete labeling. Under this stronger condition, we prove that the star graph <img src=image/13441705_07.gif> admits a strong discrete labeling if and only if m is even, highlighting a parity-based constraint absent in standard discrete labeling. These findings expand the known families of graphs with discrete and strong discrete labeling, offering new insights into structural properties that facilitate such labeling. Potential applications include coding theory, network design, and algorithm optimization, while open questions remain regarding the extensibility of these results to other graph operations and more complex graph classes.

A graph Ω(Λ, Γ) is considered super edge magic if there exists a bijective function ϕ:Λ(Ω)∪Γ(Ω)→ {1, 2, 3, …,|Λ(Ω)|+|Γ(Ω)|} such that ϕ(τ1)+(τ1τ2)+ ϕ(τ2) is a constant for every edge τ1τ2 ∈ Γ(Ω), and ϕ(Λ(Ω))= {1, 2, 3, …,|Λ(Ω)|}. Furthermore, the super edge magic deficiency of a graph Ω, denoted as μs (Ω), is either the minimum non-negative integer η such that Ω∪ηK1 is a super edge magic graph or +∞ if such an integer η does not exist. In this paper, we investigate the super edge magic deficiency of certain families of graphs.

Constructions of sensitive graphs which are not strongly sensitive

On S-Magic Graphs