derajat kesamaan ( , ) dengan adalah panjang terpendek fuzzy dan
adalah panjang lintasan yang mungkin. Sedangkan untuk algoritma Floyd,
urutan awal ( ), kemudian memeriksa elemen - elemennya. Jika pada matriks
elemen + < maka diubah menjadi , + .
, dimana adalah dua buah konstanta
Sebuah pelabelan total Edge Bimagic dikatakan pelabelan terurut titik-a total
Edge Bimagic jika terdapat pemetaan bijektif
dan dimana . Kemudian graf
dikatakan graf total Edge Bimagic jika terdapat pelabelan terutur titik-a total Edge
, graf Bistar