جامهبرنامه ها صحح محدودت محدودت | |
انون بارر ن |
جامه رتبه بند و خلاصه
تبلغات
جامه برسب ها
- عدد صحح حل ننده اروب حل لست محدودت محدودت شرونت محدودت محدودت زمن توصف عدد صحح مبدل Integer دنباله اعداد صحح تابخانه Integer عدد صحح حساب شته عدد صحح FIFO برنامه نوس محدودت تابخانه محدودت عدد صحح محاسبه عدد صحح عدد صحح را وراش ند عدد صحح جهان تبدل عدد صحح به متن بردار عدد صحح زبان محدودت زبان حل ننده محدودت خالق عدد صحح حل ننده برنامه نوس عدد صحح اروب برنامه نوس عدد صحح عدد صحح محدودت برنامه نوس صحح برنامه نوس خط عدد صحح خط عدد صحح دقت صحح عدد صحح دقت دلخواه IP به عدد صحح عدد صحح به IP ماشن حساب عدد صحح دسته بدون علامت عدد صحح بدون علامت عدد صحح اراتر به عدد صحح نرم افزار مدرت محدودت
جامه شرح
SCIP در حال حاضر از سرع ترن و غر تجار عدد صحح مختلط حل ها برنامه نوس. ان نز اروب برا برنامه نوس محدودت صحح و شاخه برش و قمت م باشد. ان اجازه م دهد نترل امل فراند حل مسئله و دسترس به اطلاعات دقق به جرات از حل ننده. به SCIP را امتحان ند تا ببند ه ونه آن را به شما در حل مسائل برنامه رز عدد صحح م خواهد رد. و ها اصل: ان اروب برا انشعاب، برش، قمت ذار، و انتشار است. : آن را از طرق بسار از لان ها ممن برا اربران بسار انعطاف ذر است رداننده محدودت برا اجرا محدودت ها خودسرانه، pricers متغر به صورت وا متغرها مشل اجاد، مبلغان دامنه به درخواست تبلغات مستقل محدودت در حوزه متغرها '، جدا برش به برش از سطوح در آرامش ناب، relaxators به ارائه تسهلات و نشب دو علاوه بر آرامش ناب، اتشاف اوله به جستجو برا راه حل ها عمل با شتبان خاص برا اوش و غواص، انتخابرها ره برا هدات جستجو، شاخه قوانن به تقسم مسئله به مسئله ها presolvers برا ساده ردن مشل حل شود، خوانندان فال به تجزه فرمت ها مختلف فال ها ورود، رداننده روداد به وقاع خاص، به عنوان مثال، مطلع شود، س از ره حل شد، متغر خاص را تغر مرزها خود، و ا راه حل اوله جدد افت، رداننده صفحه نماش برا اجاد ستون ها اضاف در خروج حل ننده است. رداننده محاوره ا به سترش وسته فرمان نجانده شده است. هر واحد موجود به عنوان لان اجرا، منجر به اندازه اف انعطاف ذر رابط برا ددار با نازها بسار از سوند اضاف اربر. مدرت استخر برش وا نجانده شده است. اربر ممن است مخلوط متغرها مشل فعال ش ردازش و در عبارت: آنها به طور خودار به مربوط به متغرها مشل فعال تبدل خودسرانه بسار از ودان در هر ره م تواند اجاد، و ودان مختلف م توان به دلخواه تعرف شده است. دارا شتبان LP حل باز است. در حال حاضر شتبان: CPLEX Gurobi XPRESS-MP Mosek SoPlex QSopt CLP. ان آلبوم ناز به آرامش نست ه باد در هر ره تنها حل (آن را حت م تواند تبدل شود به طور امل، mimicing حل برنامه نوس محدودت خالص). تسهلات اضاف (به عنوان مثال، تسهلات semidefinite ا تسهلات لاران) م تواند شامل، به صورت مواز ار و ا متداخل باشند. تجزه و تحلل تعارض را م توان به از زر مسئله نشدن اد برند. مدرت حافظه وا را اهش م دهد از تعداد تماس ها سستم عامل با تشخص نشت حافظه خودار در حالت اشال زدا.
جامه نرم افزارها مرتبط