دانلود رایگان مقاله انگلیسی الگوریتم SAT برای یافتن جاذب هایی در شبکه های بولی سنکرون
دانلود رایگان مقاله انگلیسی الگوریتم SAT برای یافتن جاذب هایی در شبکه های بولی سنکرون
جهت دانلود ترجمه این مقاله اینجا کلیک نمایید
--------------------------------------------------------------------------------------------------------------------------------
توجه : متن قسمت پایین به صورت کامپیوتری ترجمه شده جهت مشاهده نمونه متن فارسی ویرایش شده و اصلی .
اینجا کلیک نمایید
الگوریتم در گروه اول معمولا برای جذب با انتخاب یک دولت از مجموعه ای از 2 نفر حالات ممکن و شبیه سازی یک شبکه تا زمانی که هر مجذوب، و یا محدودیتی در حداکثر تعداد مراحل رسیده است را جستجو کنید. اگر هیچ جاذب پس از محاکمات عدد داده شده در بر داشت، الگوریتم. چنین رویکردی در بسیاری از مطالعات، از جمله [25]، [26]، [27]، [28] استفاده می شود. می توان آن را به شبکه های بزرگ استفاده می شود، اما نمی تواند تضمین پیدا کردن هر مجذوب. واضح است که بخشی از فضای حالت، که می تواند با شبیه سازی از پوشش، سرعت کاهش می یابد به عنوان تعدادی از گره ها در یک شبکه رشد می کند. در گروه دوم، الگوریتم های بسیاری برای پیدا کردن جذب طول 1 ارائه شده است، از جمله [29]، [30]، [31]، [32]، [10]. ثابت شده است که مشکل پیدا کردن مجذوب طول 1 در یک شبکه بولی NP-hard است [29] است. در [30]، یک الگوریتم با O D 1: 757 N امین پیچیدگی برای حل این مشکل، ارائه شد که در آن n تعداد گره ها در شبکه است. اگر حداکثر درجه ورودی از گره به 2 محدود شده است، پس از آن پیچیدگی بدترین حالت را می توان به O D 1 کاهش می یابد: 317 نفر هفتم [31]. در [32]، مشکل پیدا کردن جذب طول 1 است در زمینه تجزیه و تحلیل منطقی تعمیم [18]، [33] خطاب. مدل تجزیه و تحلیل منطقی تعمیم مفهومی که از شبکه های بولی نزدیک است، اما آن را به طور کلی تر است. در [32]، معادلات منطقی توصیف شبکه های نظارتی توسط نمودارها تصمیم نشان (یا دودویی (BDD) و یا چند ارزش). جذب طول 1 موثر با دستکاری این نمودار تصمیم محاسبه می شود.
