-
Ramsey theory and strength of graphs
Authors:
Rikio Ichishima,
Francesc A Muntaner-Batle,
Yukio Takahashi
Abstract:
A numbering $f$ of a graph $G$ of order $n$ is a labeling that assigns distinct elements of the set $\left\{ 1,2,\ldots ,n\right\} $ to the vertices of $G$, where each $uv\in E\left( G\right) $ is labeled $f\left( u\right) +f\left( v\right) $. The strength $\mathrm{str}\left( G\right) $ of $G$ is defined by…
▽ More
A numbering $f$ of a graph $G$ of order $n$ is a labeling that assigns distinct elements of the set $\left\{ 1,2,\ldots ,n\right\} $ to the vertices of $G$, where each $uv\in E\left( G\right) $ is labeled $f\left( u\right) +f\left( v\right) $. The strength $\mathrm{str}\left( G\right) $ of $G$ is defined by $\mathrm{str}\left( G\right) =\min \left\{ \mathrm{str}_{f}\left( G\right) \left\vert f\text{ is a numbering of }G\right. \right\}$, where $\mathrm{str}_{f}\left( G\right) =\max \left\{ f\left( u\right) +f\left( v\right) \left\vert uv\in E\left( G\right) \right. \right\} $. Let $f\left( n\right) $ denote the maximum of $\mathrm{str}\left( G\right) +% \mathrm{str}\left( \overline{G}\right) $ over nonempty graphs $G$ and $% \overline{G}$ of order $n$, where $\overline{G}$ represents the complement of $G$. In this paper, we establish a lower bound for the Ramsey numbers related to the concept of strength of a graph and show a sharp lower bound for $f\left( n\right) $. In addition to these results, we provide another lower bound and remark some exact values for $f\left( n\right) $. Furthermore, we extend existing necessary and sufficient conditions involving the strength of a graph. Finally, we investigate bounds for $\mathrm{str}\left( G\right) +\mathrm{str}\left( \overline{G}\right) $ whenever $G$ and $\overline{G}$ are nonempty graphs of order $n$. Throughout this paper, we propose some open problems arising from our study.
△ Less
Submitted 12 September, 2024; v1 submitted 2 August, 2024;
originally announced August 2024.
-
A method to compute the strength using bounds
Authors:
Rikio Ichishima,
Francesc A. Muntaner-Batle,
Yukio Takahashi
Abstract:
A numbering $f$ of a graph $G$ of order $n$ is a labeling that assigns distinct elements of the set $\{1,2, \ldots, n \}$ to the vertices of $G$. The strength $\mathrm{str}\left(G\right) $ of $G$ is defined by $\mathrm{str}\left( G\right) =\min \left\{ \mathrm{str}_{f}\left( G\right)\left\vert f\text{ is a numbering of }G\right. \right\}$, where…
▽ More
A numbering $f$ of a graph $G$ of order $n$ is a labeling that assigns distinct elements of the set $\{1,2, \ldots, n \}$ to the vertices of $G$. The strength $\mathrm{str}\left(G\right) $ of $G$ is defined by $\mathrm{str}\left( G\right) =\min \left\{ \mathrm{str}_{f}\left( G\right)\left\vert f\text{ is a numbering of }G\right. \right\}$, where $\mathrm{str}_{f}\left( G\right) =\max \left\{ f\left( u\right) +f\left( v\right) \left\vert uv\in E\left( G\right) \right. \right\} $. A few lower and upper bounds for the strength are known and, although it is in general hard to compute the exact value for the strength, a reasonable approach to this problem is to study for which graphs a lower bound and an upper bound for the strength coincide. In this paper, we study general conditions for graphs that allow us to determine which graphs have the property that lower and upper bounds for the strength coincide and other graphs for which this approach is useless.
△ Less
Submitted 24 November, 2023;
originally announced November 2023.
-
On the super edge-magicness of graphs with a specific degree sequence
Authors:
Rikio Ichishima,
Francesc A. Muntaner-Batle
Abstract:
A graph $G$ is said to be super edge-magic if there exists a bijective function $f:V\left(G\right) \cup E\left(G\right)\rightarrow \left\{1, 2, \ldots , \left\vert V\left( G\right) \right\vert +\left\vert E\left( G\right) \right\vert \right\}$ such that $f\left(V \left(G\right)\right) =\left\{1, 2, \ldots , \left\vert V\left( G\right) \right\vert \right\}$ and…
▽ More
A graph $G$ is said to be super edge-magic if there exists a bijective function $f:V\left(G\right) \cup E\left(G\right)\rightarrow \left\{1, 2, \ldots , \left\vert V\left( G\right) \right\vert +\left\vert E\left( G\right) \right\vert \right\}$ such that $f\left(V \left(G\right)\right) =\left\{1, 2, \ldots , \left\vert V\left( G\right) \right\vert \right\}$ and $f\left(u\right) + f\left(v\right) + f\left(uv\right)$ is a constant for each $uv\in E\left( G\right) $. In this paper, we study the super edge-magicness of graphs of order $n$ with degree sequence $s:4, 2, 2, \ldots, 2$. We also investigate the super edge-magic properties of certain families of graphs. This leads us to propose some open problems.
△ Less
Submitted 21 August, 2023;
originally announced August 2023.
-
Some results concerning the valences of (super) edge-magic graphs
Authors:
Yukio Takahashi,
Francesc A. Muntaner-Batle,
Rikio Ichishima
Abstract:
A graph $G$ is called edge-magic if there exists a bijective function $f:V\left(G\right) \cup E\left(G\right)\rightarrow \left\{1, 2, \ldots , \left\vert V\left( G\right) \right\vert +\left\vert E\left( G\right) \right\vert \right\}$ such that $f\left(u\right) + f\left(v\right) + f\left(uv\right)$ is a constant (called the valence of $f$) for each $uv\in E\left( G\right) $. If…
▽ More
A graph $G$ is called edge-magic if there exists a bijective function $f:V\left(G\right) \cup E\left(G\right)\rightarrow \left\{1, 2, \ldots , \left\vert V\left( G\right) \right\vert +\left\vert E\left( G\right) \right\vert \right\}$ such that $f\left(u\right) + f\left(v\right) + f\left(uv\right)$ is a constant (called the valence of $f$) for each $uv\in E\left( G\right) $. If $f\left(V \left(G\right)\right) =\left\{1, 2, \ldots , \left\vert V\left( G\right) \right\vert \right\}$, then $G$ is called a super edge-magic graph. A stronger version of edge-magic and super edge-magic graphs appeared when the concepts of perfect edge-magic and perfect super edge-magic graphs were introduced. The super edge-magic deficiency $ μ_{s}\left(G\right)$ of a graph $G$ is defined to be either the smallest nonnegative integer $n$ with the property that $G \cup nK_{1}$ is super edge-magic or $+ \infty$ if there exists no such integer $n$. On the other hand, the edge-magic deficiency $ μ\left(G\right)$ of a graph $G$ is the smallest nonnegative integer $n$ for which $G\cup nK_{1}$ is edge-magic, being $ μ\left(G\right)$ always finite. In this paper, the concepts of (super) edge-magic deficiency are generalized using the concepts of perfect (super) edge-magic graphs. This naturally leads to the study of the valences of edge-magic and super edge-magic labelings. We present some general results in this direction and study the perfect (super) edge-magic deficiency of the star $K_{1,n}$.
△ Less
Submitted 28 June, 2023;
originally announced June 2023.
-
On the strength and domination number of graphs
Authors:
Yukio Takahashi,
Rikio Ichishima,
Francesc A. Muntaner-Batle
Abstract:
A numbering $f$ of a graph $G$ of order $n$ is a labeling that assigns distinct elements of the set $\left\{ 1,2,\ldots ,n\right\} $ to the vertices of $G$. The strength $\textrm{str}_{f}\left( G\right)$ of a numbering $f:V\left( G\right) \rightarrow \left\{ 1,2,\ldots ,n\right\} $ of $G$ is defined by% \begin{equation*} \mathrm{str}_{f}\left( G\right) =\max \left\{ f\left( u\right) +f\left( v\rig…
▽ More
A numbering $f$ of a graph $G$ of order $n$ is a labeling that assigns distinct elements of the set $\left\{ 1,2,\ldots ,n\right\} $ to the vertices of $G$. The strength $\textrm{str}_{f}\left( G\right)$ of a numbering $f:V\left( G\right) \rightarrow \left\{ 1,2,\ldots ,n\right\} $ of $G$ is defined by% \begin{equation*} \mathrm{str}_{f}\left( G\right) =\max \left\{ f\left( u\right) +f\left( v\right) \left| uv\in E\left( G\right) \right. \right\} \text{,} \end{equation*}% that is, $\mathrm{str}_{f}\left( G\right) $ is the maximum edge label of $G$ and the strength\ \textrm{str}$\left( G\right) $ of a graph $G$ itself is \begin{equation*} \mathrm{str}\left( G\right) =\min \left\{ \mathrm{str}_{f}\left( G\right) \left| f\text{ is a numbering of }G\right. \right\} \text{.} \end{equation*} In this paper, we present a sharp lower bound for the strength of a graph in terms of its domination number as well as its (edge) covering and (edge) independence number. We also provide a necessary and sufficient condition for the strength of a graph to attain the earlier bound in terms of their subgraph structure. In addition, we establish a sharp lower bound for the domination number of a graph under certain conditions.
△ Less
Submitted 3 April, 2023;
originally announced April 2023.
-
Non-isomorphic graphs with common degree sequences
Authors:
Rikio Ichishima,
Francesc A. Muntaner-Batle
Abstract:
For all positive even integers $n$, graphs of order $n$ with degree sequence \begin{equation*} S_{n}:1,2,\dots,n/2,n/2,n/2+1,n/2+2,\dots,n-1 \end{equation*} naturally arose in the study of a labeling problem in \cite{IMO}. This fact motivated the authors of the aforementioned paper to study these sequences and as a result of this study they proved that there is a unique graph of order $n$ realizin…
▽ More
For all positive even integers $n$, graphs of order $n$ with degree sequence \begin{equation*} S_{n}:1,2,\dots,n/2,n/2,n/2+1,n/2+2,\dots,n-1 \end{equation*} naturally arose in the study of a labeling problem in \cite{IMO}. This fact motivated the authors of the aforementioned paper to study these sequences and as a result of this study they proved that there is a unique graph of order $n$ realizing $S_{n}$ for every even integer $n$. The main goal of this paper is to generalize this result.
△ Less
Submitted 14 March, 2023;
originally announced March 2023.
-
Recent studies on the super edge-magic deficiency of graphs
Authors:
Rikio Ichishima,
S. C. López,
Francesc A. Muntaner-Batle,
Yukio Takahashi
Abstract:
A graph $G$ is called edge-magic if there exists a bijective function $f:V\left(G\right) \cup E\left(G\right)\rightarrow \left\{1, 2, \ldots , \left\vert V\left( G\right) \right\vert +\left\vert E\left( G\right) \right\vert \right\}$ such that $f\left(u\right) + f\left(v\right) + f\left(uv\right)$ is a constant for each $uv\in E\left( G\right) $. Also, $G$ is said to be super edge-magic if…
▽ More
A graph $G$ is called edge-magic if there exists a bijective function $f:V\left(G\right) \cup E\left(G\right)\rightarrow \left\{1, 2, \ldots , \left\vert V\left( G\right) \right\vert +\left\vert E\left( G\right) \right\vert \right\}$ such that $f\left(u\right) + f\left(v\right) + f\left(uv\right)$ is a constant for each $uv\in E\left( G\right) $. Also, $G$ is said to be super edge-magic if $f\left(V \left(G\right)\right) =\left\{1, 2, \ldots , \left\vert V\left( G\right) \right\vert \right\}$. Furthermore, the super edge-magic deficiency $ μ_{s}\left(G\right)$ of a graph $G$ is defined to be either the smallest nonnegative integer $n$ with the property that $G \cup nK_{1}$ is super edge-magic or $+ \infty$ if there exists no such integer $n$. In this paper, we introduce the parameter $l\left(n\right)$ as the minimum size of a graph $G$ of order $n$ for which all graphs of order $n$ and size at least $l\left(n\right)$ have $μ_{s} \left( G \right)=+\infty $, and provide lower and upper bounds for $l\left(G\right)$. Imran, Baig, and Feunovucíková established that for integers $n$ with $n\equiv 0\pmod{4}$, $ μ_{s}\left(D_{n}\right) \leq 3n/2-1$, where $D_{n}$ is the cartesian product of the cycle $C_{n}$ of order $n$ and the complete graph $K_{2}$ of order $2$. We improve this bound by showing that $ μ_{s}\left(D_{n}\right) \leq n+1$ when $n \geq 4$ is even. Enomoto, Lladó, Nakamigawa, and Ringel posed the conjecture that every nontrivial tree is super edge-magic. We propose a new approach to attak this conjecture. This approach may also help to resolve another labeling conjecture on trees by Graham and Sloane.
△ Less
Submitted 8 November, 2022;
originally announced November 2022.
