The inapproximability for the (0,1)-additive number

An {\it additive labeling} of a graph $G$ is a function $\ell :V(G) \rightarrow\mathbb{N}$, such that for every two adjacent vertices $v$ and $u$ of $G$, $\sum_{w \sim v}\ell(w)\neq \sum_{w \sim u}\ell(w)$ ($x \sim y$ means that $x$ is joined to $y$). The {\it additive number} of $G$, denoted by $\eta(G)$, is the minimum number $k$ such that $G$ has a additive labeling $\ell :V(G) \rightarrow \mathbb{N}_k$. The {\it additive choosability} of a graph $G$, denoted by $\eta_{\ell}(G)$, is the smallest number $k$ such that $G$ has an additive labeling for any assignment of lists of size $k$ to the vertices of $G$, such that the label of each vertex belongs to its own list. Seamone (2012) \cite{a80} conjectured that for every graph $G$, $\eta(G)= \eta_{\ell}(G)$. We give a negative answer to this conjecture and we show that for every $k$ there is a graph $G$ such that $\eta_{\ell}(G)- \eta(G) \geq k$. A {\it $(0,1)$-additive labeling} of a graph $G$ is a function $\ell :V(G) \rightarrow\{0,1\}$, such that for every two adjacent vertices $v$ and $u$ of $G$, $\sum_{w \sim v}\ell(w)\neq \sum_{w \sim u}\ell(w)$. A graph may lack any $(0,1)$-additive labeling. We show that it is $\mathbf{NP}$-complete to decide whether a $(0,1)$-additive labeling exists for some families of graphs such as perfect graphs and planar triangle-free graphs. For a graph $G$ with some $(0,1)$-additive labelings, the $(0,1)$-additive number of $G$ is defined as $\sigma_{1} (G) = \min_{\ell \in \Gamma}\sum_{v\in V(G)}\ell(v)$ where $\Gamma$ is the set of $(0,1)$-additive labelings of $G$. We prove that given a planar graph that admits a $(0,1)$-additive labeling, for all $\varepsilon >0$, approximating the $(0,1)$-additive number within $n^{1-\varepsilon}$ is $\mathbf{NP}$-hard.Comment: 14 pages, 3 figures, Discrete Mathematics & Theoretical Computer Scienc

Sigma Partitioning: Complexity and Random Graphs

A $\textit{sigma partitioning}$ of a graph $G$ is a partition of the vertices into sets $P_1, \ldots, P_k$ such that for every two adjacent vertices $u$ and $v$ there is an index $i$ such that $u$ and $v$ have different numbers of neighbors in $P_i$. The $\textit{ sigma number}$ of a graph $G$, denoted by $\sigma(G)$, is the minimum number $k$ such that $G$ has a sigma partitioning $P_1, \ldots, P_k$. Also, a $\textit{ lucky labeling}$ of a graph $G$ is a function $\ell :V(G) \rightarrow \mathbb{N}$, such that for every two adjacent vertices $v$ and $u$ of $G$, $\sum_{w \sim v}\ell(w)\neq \sum_{w \sim u}\ell(w)$ ($x \sim y$ means that $x$ and $y$ are adjacent). The $\textit{ lucky number}$ of $G$, denoted by $\eta(G)$, is the minimum number $k$ such that $G$ has a lucky labeling $\ell :V(G) \rightarrow \mathbb{N}_k$. It was conjectured in [Inform. Process. Lett., 112(4):109--112, 2012] that it is $\mathbf{NP}$-complete to decide whether $\eta(G)=2$ for a given 3-regular graph $G$. In this work, we prove this conjecture. Among other results, we give an upper bound of five for the sigma number of a uniformly random graph

1-2-3 Conjecture in Digraphs: More Results and Directions

Horňak, Przybyło and Woźniak recently proved that almost every digraph can be 4-arc-weighted so that, for every arc u->v, the sum of weights incoming to u is different from the sum of weights outgoing from v. They conjectured a stronger result, namely that the same statement with 3 instead of 4 should also be true. We verify this conjecture in this work. This work takes place in a recent "quest" towards a directed version of the 1-2-3 Conjecture, the variant above being one of the last introduced ones. We take the occasion of this work to establish a summary of all results known in this field, covering known upper bounds, complexity aspects, and choosability. On the way we prove additional results which were missing in the whole picture. We also mention the aspects that remain open

A characterization on orientations of graphs avoiding given lists on out-degrees

Let $G$ be a graph and $F:V(G)\to2^N$ be a set function. The graph $G$ is said to be \emph{F-avoiding} if there exists an orientation $O$ of $G$ such that $d^+_O(v)\notin F(v)$ for every $v\in V(G)$, where $d^+_O(v)$ denotes the out-degree of $v$ in the directed graph $G$ with respect to $O$. In this paper, we give a Tutte-type good characterization to decide the $F$-avoiding problem when for every $v\in V(G)$, $|F(v)|\leq \frac{1}{2}(d_G(v)+1)$ and $F(v)$ contains no two consecutive integers. Our proof also gives a simple polynomial algorithm to find a desired orientation. As a corollary, we prove the following result: if for every $v\in V(G)$, $|F(v)|\leq \frac{1}{2}(d_G(v)+1)$ and $F(v)$ contains no two consecutive integers, then $G$ is $F$-avoiding. This partly answers a problem proposed by Akbari et. al.(2020