In this paper, we consider special class of trees called uniform k-distant trees, which have many interesting properties. We show that they have an edge-magic total labeling, a super edge-magic total labeling, a (a, d)-edge-antimagic vertex labeling, an (a, d)-edgeantimagic total labeling, a super (a, d)edge-antimagic total labeling. Also we introduce a new labeling called edge bi-magic vertex ...

For any h ∈ IN , a graph G = (V, E) is said to be h-magic if there exists a labeling l : E(G) → ZZ h − {0} such that the induced vertex set labeling l : V (G) → ZZ h defined by l(v) = ∑ uv∈E(G) l(uv) is a constant map. When this constant is 0 we call G a zero-sum h-magic graph. The null set of G is the set of all natural numbers h ∈ IN for which G admits a zero-sum h-magic labeling. In this pap...

For any h ∈ N, a graph G = (V, E) is said to be h-magic if there exists a labeling l : E(G) → Zh−{0} such that the induced vertex labeling l+ : V (G) → Zh defined by l(v) = ∑ uv∈E(G) l(uv) is a constant map. When this constant is 0 we call G a zero-sum h-magic graph. The null set of G is the set of all natural numbers h ∈ N for which G admits a zero-sum h-magic labeling. A graph G is said to be...

This work presents a Boolean satisfiability (SAT) encoding for a special problem from combinatorial optimization. In the last years much progress has been made in the optimization of practical SAT solvers (see the SAT competition [5]). This has made SAT encodings for combinatorial problems highly attractive. In this work we propose an encoding for the combinatorial problem Magic Labeling which ...

A (p, q)-graph G is called super edge-magic if there exists a bijective function f : V (G) ∪ E(G) → {1, 2, . . . , p + q} such that f(u)+f(v)+f(uv) is a constant for each uv ∈ E(G) and f(V (G)) = {1, 2, . . . , p}. In this paper, we introduce the concept of strong super edgemagic labeling as a particular class of super edge-magic labelings ∗Supported by Slovak VEGA Grant 1/4005/07. †Supported i...

A graph G is said to have a totally magic cordial labeling with constant C if there exists a mapping f : V (G) ∪ E(G) → {0, 1} such that f(a) + f(b) + f(ab) ≡ C (mod 2) for all ab ∈ E(G) and |nf (0) − nf (1)| ≤ 1, where nf (i) (i = 0, 1) is the sum of the number of vertices and edges with label i. In this paper, we give a necessary condition for an odd graph to be not totally magic cordial and ...

Given an abelian group A, a graph G = (V, E) is said to have a distance two magic labeling in A if there exists a labeling l : E(G) → A − {0} such that the induced vertex labeling l∗ : V (G) → A defined by l∗(v) = ∑ e∈E(v) l(e) is a constant map, where E(v) = {e ∈ E(G) : d(v, e) < 2}. The set of all h ∈ Z+ for which G has a distance two magic labeling in Zh is called the distance two magic spec...

For any h ∈ N, a graph G = (V, E) is said to be h-magic if there exists a labeling l : E(G) → Zh − {0} such that the induced vertex labeling l : V (G) → Zh defined by l(v) = ∑ uv∈E(G) l(uv) is a constant map. When this constant is 0 we call G a zero-sum h-magic graph. The null set of G is the set of all natural numbers h ∈ N for which G admits a zero-sum h-magic labeling. A graph G is said to b...

For any h ∈ Z, a graph G = (V, E) is said to be h-magic if there exists a labeling l : E(G) → Zh−{0} such that the induced vertex set labeling l : V (G) → Zh defined by l(v) = ∑ uv∈E(G) l(uv) is a constant map. For a given graph G, the set of all h ∈ Z+ for which G is h-magic is called the integermagic spectrum of G and is denoted by IM (G). In this paper, we will determine the integer-magic sp...

a graph g is said to have a totally magic cordial labeling with constant c if there exists a mapping f : v (g) ∪ e(g) → {0, 1} such that f(a) + f(b) + f(ab) ≡ c (mod 2) for all ab ∈ e(g) and |nf (0) − nf (1)| ≤ 1, where nf (i) (i = 0, 1) is the sum of the number of vertices and edges with label i. in this paper, we give a necessary condition for an odd graph to be not totally magic cordial and ...