تبلیغات
برنامه نویسی - مسئله تصدیق پذیری (ٍSAT) -سورس موجود
 
برنامه نویسی
یک برنامه نویس خوب شعار نمیده کد می نویسه
درباره وبلاگ


این وبلاگ را برای ارتباط و تعامل بیشتر با دانشجویان طراحی کردم. در این وبلاگ نمونه کارهایی رو که انجام داده ام قرار می دهم. و همچنین یک سری source code که به دوستان برنامه نویس کمک کنه. امیدوارم بتونه مفید واقع بشه. سوالی بود درخدمت دوستان هستم.
پذیرش پروژه در
c c++
python
Linux(bash)
latex
visual basic
شماره همراه : ۰۹۲۲۷۹۶۷۲۴۳
elahe shaie shahraie

مدیر وبلاگ : الهه شائی شهرائی
صفحات جانبی
آمار وبلاگ
  • کل بازدید :
  • بازدید امروز :
  • بازدید دیروز :
  • بازدید این ماه :
  • بازدید ماه قبل :
  • تعداد نویسندگان :
  • تعداد کل پست ها :
  • آخرین بازدید :
  • آخرین بروز رسانی :

فرض کنید برای یک مهمونی بخواهید برنامه ریزی کنید کی کجا بشینه. بعضیا با هم دوستن (friend) بعضی ها دشمن که اصلا دوست ندارن کنار هم بشینن (enemy) بقیه هم براشون فرقی نمیکنه کنار هم بشینن یا نه (indifferent). چطور برای این مهمونی برنامه ریزی می کنید؟

 راه حل : این مسئله و شرایط اون رو به صورت یک فرمول cnf در میاریم و به دنبال انتسابی می گردیم که این جمله را true کند. جزئیات بیشتر مسئله و توضیح راه حل و شرایط و ورودی و خروجی برنامه رو میتونید در فایلهای ضمیمه ببینید. source برنامه هم با زبان python هست.

sat problem description ,input and outputscnf from formula example

اینم سورس برنامه:

formula , sat_solver





نوع مطلب : هوش مصنوعی، 
برچسب ها : تصدیق پذیری، sat problem، DPLL، الگوریتم dpll،
لینک های مرتبط :

       نظرات
یکشنبه 15 اسفند 1395
الهه شائی شهرائی
سه شنبه 15 اسفند 1396 08:37 ب.ظ
اگر بخواهید از این پست زیاد بدست بیاورید
باید این تکنیک ها را به وبلاگ شما برساند.
الهه شائی شهرائیمتوجه منظورتون نشدم؟
دوشنبه 30 بهمن 1396 09:06 ب.ظ
پست بسیار زیبا من فقط بر وبلاگ شما تکان دادم و آرزو داشتم بگویم که واقعا از مرور وبلاگهای خود لذت بردم.

در هر صورت من به فید شما مشترک می شوم
و امیدوارم دوباره به زودی بنویسید!
الهه شائی شهرائیthank you very much
شنبه 28 بهمن 1396 08:21 ب.ظ
من این صفحه وب را از خدمت خود دریافت کردم که در مورد این وبسایت به من گفت و اکنون این بار مرور می کنم
این صفحه وب و خواندن محتوای بسیار آموزنده در این زمان.
الهه شائی شهرائیthank you so much
جمعه 27 بهمن 1396 05:26 ب.ظ
سلام! من فقط می خواهم به شما یک شگفت انگیز بزرگ برای اطلاعات عالی شما را در اینجا در این پست به من بدهید.
من به زودی به وبسایت شما میرسم
الهه شائی شهرائیthank you very much
سه شنبه 17 بهمن 1396 09:12 ق.ظ
وو که غیر معمول بود من فقط یک نظر بسیار طولانی نوشتم اما پس از کلیک روی ارسال
نظر من نشان نداد Grrrr... خوب من این همه چیز را دوباره نوشتن نمی کنم. به هر حال، فقط می خواستم بگم وبلاگ فوق العاده!
الهه شائی شهرائیخیلی ممنونم. نظر لطف شماست
 
لبخندناراحتچشمک
نیشخندبغلسوال
قلبخجالتزبان
ماچتعجبعصبانی
عینکشیطانگریه
خندهقهقههخداحافظ
سبزقهرهورا
دستگلتفکر