যা গাণিতিকভাবে কিছু সমস্যার শর্তের অনুরূপ অবস্থার সেট আপ করে এবং তারপরে সমস্ত ক্রিয়াকলাপ চলতে দেয় যখন এটি একটি গ্রাফ আঁকে-একটি পূর্বাভাস-যে প্রকৃত অবস্থার ফলাফল কেমন হবে।
এটি গাণিতিকভাবে শর্ত স্থাপন করে, তারপর অপারেশন চালায়।