Một đồ thị G* có hàm mục tiêu (r1) tối thiểu, độ tin cậy tối đa và thỏa các ràng buộc từ (r2) đến (r12) là một mạng tối ưu.
(r8)
(r9)
(r10)
(r11)
(r12)