این فایل شامل موارد زیر است: 1- لغات فنی 2- فرضیه 3- قضایای بنیادی 4- OKA برای حل مسئله 5- رویه برچسب زنی ( Labeling procedure) 6- قدم های الگوریتم 7- مثال عددی ...