مسئله ای که در آنالیز اتوماتیک برنامه ها مکررا بوجود می آید
دوشنبه, ۱۴ بهمن ۱۳۹۲، ۰۲:۴۷ ب.ظ
مسئله ای که در آنالیز اتوماتیک برنامه ها مکررا بوجود می آید آنستکه تعدادی متغیر داریم. تعدادی قید(شرط) تساوی به فرمxi=xj و تعدادی قید نامساوی داده شده است. می خواهیم بدانیم که آیا امکان پذیر است که همه آنها برقرار باشند یا خیر؟ الگوریتم کارآمدی بنویسید که به عنوان ورودی m قید از n متغیر را دریافت کند و تصمیم بگیرد که آیا می توانند برقرار باشند یا خیر؟
دریافت
توضیحات: کد
دریافت
توضیحات: توضیح کد
۹۲/۱۱/۱۴