Misalkan G = (V (G),E(G)) merupakan suatu graf berhingga, sederhana, dan tak
berarah dengan n menyatakan orde dari G. Untuk suatu titik u ? V (G), himpunan
ND(u) = {v ? V (G) : d(u, v) ? D} disebut himpunan ketetanggaan berjarak D
dari u. Sebuah fungsi bijeksi f : V (G) ? {1, 2, ..., n} disebut sebagai pelabelan
D-ajaib dari G jika terdapat sebuah k sehingga
P
v?ND(u) f(v) = k untuk setiap
u ? V (G).
Hal utama yang akan diteliti pada tugas akhir ini adalah pelabelan D-ajaib pada graf
pohon, terutama pada graf lintasan, caterpillar, lobster, dan pohon biner sempurna.