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

..... Salah satu masalah yang dihadapi pada pelabelan graf adalah penentuan apakah suatu graf dapat dilabeli atau tidak. Saat ini banyak pendekatan untuk melakukan pelabelan graf, salah satu metode yang sering digunakan adalah metode komputasi. Integer linear programming merupakan salah satu dari metode komputasi tersebut. Tujuan dari tesis ini adalah menemukan pelabelan total titik ajaib untuk suatu graf dengan menggunakan metode integer linear programming dengan menggunakan teknik analisis zero one programming.