Salam2012

سلام
از زمان ارسال این تاپیک تاکنون تغیراتی در الگریتم ایجاد شده و الگریتم به الگریتم های دیگری ساده سازی شد. در واقع آخرین شباهت های ضعیف خدش با شبکه های عصبی را از دست داد و از فضای پیوسته به فضای گسسته منتقل شد. در حال حاضر این الگریتم یک الگریتم جستجوی محلی برای مسئله ی Boolean Satisfibility هست و من هنوز راضی نیستم و فکر می کنم که می توان پیچیدگی الگریتم را باز هم کاهش داد و می خام اون رو به یک جستجوی محلی بر روی نوع خاصی از Maximum Clique که حاصل ساده سازی یا Reduction مسئله ی Boolean Satisfibility یا 3-Sat یا مسائل دیگر هست تبدیل کنم.
آیا کسی هست که در زمینه ی اثبات ریاضی الگریتم های LS تخصص داشته باشه؟؟؟؟؟؟