یه سوال دیگه ۸۴:در مورد مساله ارضای محدودیت (CSP)
۱-بین jوk همه ی متغیرها تعیین بشه
۲-فقط وابسته به k تعیین بشه
۳-حفظ همه ی متغیرهای بین jوk
۴-فقط وابسته به j تعیین بشه
به نظر شما کدوووووووووووووووم گزینه جواب مسئله بود!!!!
(۲۶ بهمن ۱۳۹۲ ۱۲:۰۰ ق.ظ)bahar_engineer نوشته شده توسط: (25 بهمن ۱۳۹۲ ۱۱:۴۷ ب.ظ)hmd1st نوشته شده توسط: از اونجایی که این معیار ها با هم در تضاد نیستند فکر کنم هدف گرا درست تر از سودمند باشه
این سوال دیگه کجا بود؟؟؟؟ من نداشتمش 
تو دفترچه هم چک کردم الان نبود!!
سوال ۸۷
دوستان کسی سوال ۸۴ جواب داده...؟!!!
سوال تپه نوردی کدوم گزینه صحیح بود!!!!!!...
سه تا از گزینه ها می باید صحیح می بود نظر طراح جمله غلط بود...
سوال ۸۶ یه نیگا بندازین و دلیل درستی گزینه ها رو لطف کنین بگین.
مساله ارضای محدودیت، مساله ای است که یک انتساب مقدار سازگار از متغیرهای x1,x2,…,xn را می یابد و متغیرها این مقادیر را از دامنه های متناهی و گسستهء D1,D2,…,Dn می گیرند.
محدودیتها توسط گزاره ها تعیین می شود. محدودیتی مانند Pk(xk1,xk2,…,xkj) روی ضرب کارتزین Dk1*Dk2*…*Dkj تعریف می شود. این گزاره صحیح است اگر و فقط اگر مقادیر منتسب به متغیرها ، این محدودیت را ارضا کند. حل مساله CSP معادل یافتن انتساب متغیرهایی است که همه محدودیتها را ارضا کنند. از آنجا که ارضای محدودیت در حالت کلی NP-complete است یک جستجوی آزمون و خطا در روشهای ممکن اجتناب ناپذیر است.
اگر کلیه محدودیتها باینری باشند (یعنی متغیرها تنها بتوانند دو مقدار بگیرند)، CSPمی¬تواند توسط گرافی نمایش داده شود که در هر گره یک متغیر را نشان می دهد و اتصال بین دو گره محدودیت بین متغیرهای متناظر را نشان می دهد. شکل ۱ یک مثال از مساله CSP را نشان می دهد که دارای سه متغیر x1,x2,x3 و محدودیتهای x1<>x3 و x2<>x3 است.
فرض کنیم حل یک CSP که در آن چندین عامل درگیرند می تواند به صورت یک توافق بین عاملها در نظر گرفته شود و متغیرهای CSP بین عاملها توزیع شده باشند. ۳ دسته مساله کاربردی درDAI که می توانند به صورت CSP توزیع شده فرمول شوند، به شرح زیر است:
مسائل تفسیری : این مسئله می تواند به صورت مساله یافتن مجموعه سازگاری از فرضیه ها که متناظر با تفاسیر ممکن از داده های ورودی اند مطرح شود. نگاشت این مسئله به یک CSP توزیع شده به صورت درنظرگرفتن تفاسیر ممکن به عنوان مقادیر متغیری ممکن است.
مسائل انتسابی : اگر مسئله، تخصیص وظایف یا منابع به چند عامل باشد و محدودیتهای بین عاملی وجود داشته باشد، این مسئله می تواند با در نظر گرفتن هر وظیفه یا منبع به صورت یک متغیر و انتسابهای ممکن به صورت مقادیر، فرمول شود.
وظایف نگهداری صحت چند عاملی : با در نظر گرفتن هر آیتم از داده های غیرقطعی به صورت یک متغیر که مقدارش می تواند IN یا OUT باشد، مسئله به صورت یک CSP توزیع شده در می آید.
ما الگوریتمهای جستجوی آسنکرون را به این صورت توصیف می¬کنیم که هر فرآیند با یک متغیر متناظر است و فرآیندها برای حل CSP به روش آسنکرون عمل می کنند.
در ادامه الگوریتم های جستجوی آسنکرون که در آنها هر فرایند متناظر با یک متغیر است و این فرایند ها برای حل CSP به صورت آسنکرون عمل می کنند، توصیف می شوند. مدل ارتباطی زیر را درنظر می گیریم :
• پردازه ها از طریق ارسال پیغام با هم ارتباط برقرار می کنند.
• تاخیر دریافت پیغام، متناهی است.
• بین هر جفت پردازه پیغامها به ترتیب ارسال، دریافت می شوند.
به علاوه پردازه هایی که دارای اتصالاتی به xi هستند، همسایهء xi نامیده می شوند. فرض می کنیم که هر متغیر همسایگانش را می شناسد.
؟؟؟!!!
