Neighborhood-prime labeling is a variation of prime labeling. A labeling $f:V(G) \to [|V(G)|]$ is a neighborhood-prime labeling if for each vertex $v\in V(G)$ with degree greater than $1$, the greatest common divisor of the set of labels in the neighborhood of $v$ is $1$. In this paper, we introduce techniques for finding neighborhood-prime labelings based on the Hamiltonicity of the graph, by using conditions on possible degrees of vertices, and by examining a neighborhood graph. In particular, classes of graphs shown to be neighborhood-prime include all generalized Petersen graphs, grid graphs of any size, and lobsters given restrictions on the degree of the vertices. In addition, we show that almost all graphs and almost all regular graphs have are neighborhood-prime, and we find all graphs of order $10$ or less that have a neighborhood-prime labeling. We give several conjectures for future work in this area.
A neighborhood-prime labeling of a graph is a variation of a prime labeling in which the vertices are assigned labels from $1$ to $|V(G)|$ such that the $\gcd$ of the labels in the neighborhood of each non-degree $1$ vertex is equal to $1$. In this paper, we examine neighborhood-prime labelings of several classes of graphs such as polygonal snakes and books, with a focus on trees including caterpillars, spiders, and firecrackers.
An odd prime labeling is a variation of a prime labeling in which the vertices of a graph of order~$n$ are labeled with the distinct odd integers $1$ to $2n-1$ so that the labels of adjacent vertices are relatively prime. This paper investigates many different classes of graphs including disjoint unions of cycles, stacked prisms, and particular types of caterpillars, by using various methods to construct odd prime labelings. We also demonstrate progress toward proving a conjecture that all prime graphs have an odd prime labeling.
A simple $n$-vertex graph has a prime vertex labeling if the vertices can be injectively labeled with the integers $1, 2, 3,\ldots, n$ such that adjacent vertices have relatively prime labels. We will present previously unknown prime vertex labelings for new families of graphs, all of which are special cases of Seoud and Youssef's conjecture that all unicyclic graphs have a prime labeling.
A coprime labeling of a simple graph of order $n$ is a labeling in which adjacent vertices are given relatively prime labels, and a graph is prime if the labels used can be taken to be the first $n$ positive integers. In this paper, we consider when ladder graphs are prime and when the corresponding labeling may be done in a cyclic manner around the vertices of the ladder. Furthermore, we discuss coprime labelings for complete bipartite graphs.
We consider graph labelings with an assignment of odd prime numbers to the vertices. Similarly to graceful graphs, a labeling is said to be elegant if the absolute differences between the labels of adjacent vertices describe exactly the first even numbers. The labels of an elegant tree with $n$ vertices are the first $n$ odd prime numbers and we want that the resulting edge labels are exactly the first even numbers up to $2n-2$. We conjecture that each path is elegant and we give the algorithm with which we got elegant paths of $n$ primes for all $n$ up to $n=3500$.
A coprime labeling of a graph of order $n$ is an assignment of distinct positive integer labels in which adjacent vertices have relatively prime labels. Restricting labels to only the set $1$ to $n$ results in a prime labeling. In this paper, we consider families of graphs in which a prime labeling cannot exist with the goal being to minimize the largest value of the labeling set, resulting in a minimum coprime labeling. In particular, prism graphs, generalized Petersen graphs with $k=2$, and stacked prism graphs are investigated for minimum coprime labelings.
A prime labeling of a graph of order $n$ is a labeling of the vertices with the integers $1$ to~$n$ in which adjacent vertices have relatively prime labels. A coprime labeling maintains the same criterion on adjacent vertices using any set of distinct positive integers. In this paper, we consider several families of graphs or products of graphs that have been shown to not have prime labelings and answer the natural question of how to label the vertices while minimizing the largest value in its set of labels.
A prime labeling of a graph with $n$ vertices is a labeling of its vertices with distinct integers from $\{1, 2,\ldots , n\}$ in such a way that the labels of any two adjacent vertices are relatively prime. T. Varkey conjectured that ladder graphs have a prime labeling. We prove this conjecture.
Neighborhood Lights Out is a game played on graphs. Begin with a graph and a vertex labeling of the graph from the set $\{0,1,2,\dots, \ell-1\}$ for $\ell \in \mathbb{N}$. The game is played by toggling vertices: when a vertex is toggled, that vertex and each of its neighbors has its label increased by $1$ (modulo $\ell$). The game is won when every vertex has label 0. For any $n\in\mathbb{N}$ it is clear that one cannot win the game on $K_n$ unless the initial labeling assigns all vertices the same label. Given that the $K_n$ has the maximum number of edges of any simple graph on $n$ vertices…
Four algorithms giving rise to graceful graphs from a known (non)graceful graph are described. Some necessary conditions for a graph to be highly graceful and critical are given. Finally some conjectures are made on graceful, critical and highly graceful graphs. The RingelRosaKotzig Conjecture is generalized to highly graceful graphs. MayedaSeshu Tree Generation Algorithm is modified to generate all possible graceful labelings of trees of order p. An alternative algorithm in terms of integers modulo p is described which includes all possible graceful labelings of trees of order p and some inte…
New Results on Difference Distance Magic Labelings
Ball State University（鲍尔州立大学）；San Francisco State University（旧金山州立大学）；Drake University（德雷克大学）；Southwestern University（西南大学）；Towson University（陶森大学）；DeSales University（迪莱萨大学）；Tarleton State University（塔勒顿州立大学）；University of Scranton（斯克兰顿大学）
The $k$-coprime graph of order $n$ is the graph with vertex set $\{k, k+1, \ldots, k+n-1\}$ in which two vertices are adjacent if and only if they are coprime. We characterize Hamiltonian $k$-coprime graphs. As a particular case, two conjectures by Tout, Dabboucy, Howalla (1982) and by Schroeder (2019) on prime labeling of $2$-regular graphs follow. A prime labeling of a graph with $n$ vertices is a labeling of its vertices with distinct integers from $\{1, 2,\ldots , n\}$ in such a way that the labels of any two adjacent vertices are relatively prime.
Let $G=(V,E)$ be a graph of order $n$. A distance magic labeling of $G$ is a bijection $\ell \colon V\rightarrow {1,...,n}$ for which there exists a positive integer $k$ such that $\sum_{x\in N(v)}\ell (x)=k$ for all $v\in V $, where $N(v)$ is the neighborhood of $v$. We introduce a natural subclass of distance magic graphs. For this class we show that it is closed for the direct product with regular graphs and closed as a second factor for lexicographic product with regular graphs. In addition, we characterize distance magic graphs among direct product of two cycles.
This paper presents a new graph isomorphism invariant, called $\mathfrak{w}$-labeling, that can be used to design a polynomial-time algorithm for solving the graph isomorphism problem for various graph classes. For example, all non-cospectral graph pairs are distinguished by the proposed combinatorial method, furthermore, even non-isomorphic cospectral graphs can be distinguished assuming certain properties of their eigenspaces. We also investigate a refinement of the aforementioned labeling, called $\mathfrak{s}^k$-labeling, which has both theoretical and practical applications. Among others,…
Let $G=(V,E)$ be a graph of order $n$. A closed distance magic labeling of $G$ is a bijection $\ell \colon V(G)\rightarrow \{1,\ldots ,n\}$ for which there exists a positive integer $k$ such that $\sum_{x\in N[v]}\ell (x)=k$ for all $v\in V $, where $N[v]$ is the closed neighborhood of $v$. We consider the closed distance magic graphs in the algebraic context. In particular we analyze the relations between the closed distance magic labelings and the spectra of graphs. These results are then applied to the strong product of graphs with complete graph or cycle and to the circulant graphs. We end…
An assignment of numbers to the vertices of graph G is closed distinguishing if for any two adjacent vertices v and u the sum of labels of the vertices in the closed neighborhood of the vertex v differs from the sum of labels of the vertices in the closed neighborhood of the vertex u unless they have the same closed neighborhood (i.e. N[u]=N[v]). The closed distinguishing number of G, denoted by dis[G], is the smallest integer k such that there is a closed distinguishing labeling for G using integers from the set[k].Also, for each vertex $v \in V(G)$, let L(v) denote a list of natural numbers …
Let $Γ=(V,E)$ be a graph of order $n$. A {\em closed distance magic labeling} of $Γ$ is a bijection $\ell : V \to \{1,2, \ldots, n\}$ for which there exists a positive integer $r$ such that $\sum_{x \in N[u]} \ell(x) = r$ for all vertices $u \in V$, where $N[u]$ is the closed neighborhood of $u$. A graph is said to be {\em closed distance magic} if it admits a closed distance magic labeling. In this paper, we classify all connected closed distance magic circulants with valency at most $5$, that is, Cayley graphs $\operatorname{Cay}(\mathbb{Z}_n;S)$ where $|S| \le 5$ and $S$ generates $\mathbb{…
Let $Γ(\mathbb{Z}_n)$ be the zero divisor graph of the commutative ring $\mathbb{Z}_n$ and $L(Γ(\mathbb{Z}_n))$ be the line graph of $Γ(\mathbb{Z}_n)$. In this paper, we discuss about the neighborhood of a vertex, the neighborhood number and the adjacency matrix of $L(Γ(\mathbb{Z}_n))$. We also study Wiener index and energy of $L(Γ(\mathbb{Z}_n))$, where $n=pq$, $p^2$ respectively for $p$ and $q$ are primes. Moreover, we give MATLAB coding of our calculations.
The Cayley graph construction provides a natural grid structure on a finite vector space over a field of prime or prime square cardinality, where the characteristic is congruent to 3 modulo 4, in addition to the quadratic residue tournament structure on the prime subfield. Distance from the null vector in the grid graph defines a Manhattan norm. The Hermitian inner product on these spaces over finite fields behaves in some respects similarly to the real and complex case. An analogue of the Cauchy-Schwarz inequality is valid with respect to the Manhattan norm. With respect to the non-transitive…
The practical application of graph prime factorization algorithms is limited in practice by unavoidable noise in the data. A first step towards error-tolerant "approximate" prime factorization, is the development of local approaches that cover the graph by factorizable patches and then use this information to derive global factors. We present here a local, quasi-linear al- gorithm for the prime factorization of "locally unrefined" graphs with respect to the strong product. To this end we introduce the backbone B(G) for a given graph G and show that the neighborhoods of the backbone vertices pr…
Let $G$ be a graph with vertex set V and edge set E such that |V| = p and |E| = q. For integers k\geq 0, define an edge labeling f : E \rightarrow \{k,k+1,....,k+q-1\} and define the vertex sum for a vertex $v$ as the sum of the labels of the edges incident to v. If such an edge labeling induces a vertex labeling in which every vertex has a constant vertex sum (mod p), then G is said to be k-edge magic (k-EM). In this paper, we (i) show that all the maximal outerplanar graphs of order p = 4; 5; 7 are k-EM if and only if k\equiv 2 (mod p); (ii) obtain all the maximal outerplanar graphs that are…
Let $G=(V,E)$ be a graph and $Γ$ an Abelian group both of order $n$. A $Γ$-distance magic labeling of $G$ is a bijection $\ell \colon V\rightarrow Γ$ for which there exists $μ\in Γ$ such that $% \sum_{x\in N(v)}\ell (x)=μ$ for all $v\in V$, where $N(v)$ is the neighborhood of $v$. Froncek %(\cite{ref_CicAus}) showed that the Cartesian product $C_m \square C_n$, $m, n\geq3$ is a $\mathbb{Z}_{mn}$-distance magic graph if and only if $mn$ is even. It is also known that if $mn$ is even then $C_m \square C_n$ has $\mathbb{Z}_α\times \mathcal{A}$-magic labeling for any $α\equiv 0 \pmod {{\rm lcm}(m,…
A well-known result of Brylawski constructs an elementary lift of a matroid $M$ from a linear class of circuits of $M$. We generalize this result by showing how to construct a rank-$k$ lift of $M$ from a rank-$k$ matroid on the set of circuits of $M$. We conjecture that every lift of $M$ arises via this construction. We then apply this result to group-labeled graphs, generalizing a construction of Zaslavsky. Given a graph $G$ with edges labeled by a group, Zaslavsky's lift matroid $K$ is an elementary lift of the graphic matroid $M(G)$ that respects the group-labeling; specifically, the cycles…
We define a Johnson graph code as a subspace of labelings of the vertices in a Johnson graph with the property that labelings are uniquely determined by their restriction to vertex neighborhoods specified by the parameters of the code. We give a construction and main properties for the codes and show their role in the concatenation of layered codes that are used in distributed storage systems. A similar class of codes for the Hamming graph is discussed in an appendix. Codes of the latter type are in general different from affine Reed-Muller codes, but for the special case of the hypercube they…
The power graph $Γ_G$ of a finite group $G$ is the graph with the vertex set $G$, where two distinct elements are adjacent if one is a power of the other. An $L(2, 1)$-labeling of a graph $Γ$ is an assignment of labels from nonnegative integers to all vertices of $Γ$ such that vertices at distance two get different labels and adjacent vertices get labels that are at least $2$ apart. The lambda number of $Γ$, denoted by $λ(Γ)$, is the minimum span over all $L(2, 1)$-labelings of $Γ$. In this paper, we obtain bounds for $λ(Γ_G)$, and give necessary and sufficient conditions when the bounds are a…
Given a constant $α>0$, an $n$-vertex graph is called an $α$-expander if every set $X$ of at most $n/2$ vertices in $G$ has an external neighborhood of size at least $α|X|$. Addressing a question posed by Friedman and Krivelevich in [Combinatorica, 41(1), (2021), pp. 53--74], we prove the following result: Let $k>1$ be an integer with smallest prime divisor $p$. Then for $α>\frac{1}{p-1}$ every sufficiently large $α$-expanding graph contains cycles of length congruent to any given residue modulo $k$. This result is almost best possible, in the following sense: There exists an absolute constant…
