digilib@itb.ac.id +62 812 2508 8800

Penelitian ini mengkaji keberadaan graceful labeling (GL), graceful antimagic labeling (GAL), dan graceful distance–antimagic labeling (GDAL) pada graf sederhana tak berarah berorde kecil hingga orde n ? 9 menggunakan pendekatan komputasional berbasis backtracking teroptimasi. Hasil komputasi menunjukkan bahwa GL memiliki persentase eksistensi tertinggi, diikuti GAL, lalu GDAL. Selain itu, diperoleh bahwa GL tidak menjamin keberadaan GAL maupun GDAL, serta GAL dan GDAL tidak saling mengimplikasikan. Pada graf pohon, hasil komputasi menunjukkan bahwa meskipun setiap graf pohon diduga memiliki GL dan setiap graf terhubung selain K2 diduga memiliki pelabelan antimagic, keberadaan kedua sifat tersebut tidak secara langsung menjamin keberadaan GAL. Secara khusus, ditemukan beberapa graf pohon berorde kecil yang tidak memenuhi GAL, sehingga penentuan syarat perlu dan syarat cukup bagi graf pohon untuk memiliki GAL masih menjadi masalah terbuka. Selain itu, hasil komputasi menunjukkan bahwa graf pohon dengan orde 4 ? n ? 9 yang tidak memiliki dua simpul dengan himpunan tetangga yang sama memiliki GDAL. Oleh karena itu, terdapat dugaan bahwa setiap graf pohon yang tidak memiliki dua simpul dengan himpunan tetangga yang sama memiliki solusi GDAL. Algoritma teroptimasi yang dikembangkan juga terbukti lebih efisien dibandingkan pendekatan brute-force tanpa mengubah hasil pencarian pelabelan.