Global Optimization and Constraint Satisfaction: Second International Workshop, COCOS 2003, Lausanne, Switzerland, November 18-21, 2003, Revised Selected Papers

فرمول بندی بسیاری از مشکلات عملی به طور طبیعی شامل محدودیت هایی برای متغیرهایی است که وارد مدل ریاضی یک موقعیت واقعی زندگی می شوند که باید تجزیه و تحلیل شوند. بسیار جالب است که سناریوهای ممکنی که همه محدودیت‌ها را برآورده می‌کنند، و اگر بسیاری از آنها وجود داشته باشد، یا بهترین راه‌حل، یا به دست آوردن نمایش فشرده و صریح از کل مجموعه امکان‌پذیر است. کارگاه دوم در مورد بهینه سازی محدود جهانی و SISfaction محدودیت، COCOS 2003، که در 18 تا 21 نوامبر 2003 در L-sanne، سوئیس برگزار شد، به پیشرفت های نظری، الگوریتمی و کاربردی در پاسخ به این سؤالات اختصاص داشت. در اینجا بهینه‌سازی جهانی به «نقطه‌ی مطلقاً امکان‌پذیر» اشاره دارد، در حالی که رضایت از محدودیت‌ها به «تمام نقاط امکان‌پذیر ممکن» اشاره دارد. AsinCOCOS2002، کارگاه آموزشی (به مجموعه مقالات [1] مراجعه کنید)، تأکید بر تکنیک‌های حل کامل برای مسائل مربوط به متغیرهای پیوسته بود که همه متغیرهای پیوسته را ارائه می‌دهند. راه‌حل‌هایی با دقت کامل، و در برنامه‌هایی که، با این حال، اجازه داشتند استانداردهای سخت‌گیری را داشته باشند. شرکت‌کنندگان از این فرصت برای ملاقات با کارشناسان بهینه‌سازی جهانی، برنامه‌ریزی ریاضی، برنامه‌نویسی محدودیت‌ها و برنامه‌های کاربردی، و ارائه و بحث در مورد کارهای جاری و جهت‌گیری‌های جدید در منطقه استفاده کردند. چهار سخنرانی دعوت شده و 20 سخنرانی مشارکتی در کارگاه ارائه شد. سخنرانی‌های دعوت‌شده توسط جان هوکر (روش‌های مبتنی بر منطق برای بهینه‌سازی جهانی)، ژان پیر مرلت (کاربردهای معمول و غیرمعمول تحلیل بازه‌ای)، هرمان شیکل (محیط بهینه‌سازی نارگیل)، و خورخه مور (محاسبات بهینه‌سازی جهانی) ارائه شد. سرورها). این جلد شامل متن سخنرانی دعوت شده هوکر و 12 سخنرانی ارائه شده است. کپی اسلایدهای اکثر ارائه ها را می توان در [2] یافت. مشکلات رضایت از محدودیت. جنبه های سه گانه الگوریتمی تمرکز بر مشکلات رضایت از محدودیت.

Theformulationofmanypracticalproblemsnaturallyinvolvesconstraintsonthe variables entering the mathematical model of a real-life situation to be analyzed. It is of great interest to ?nd the possible scenarios satisfying all constraints, and, iftherearemanyofthem,eitherto?ndthebestsolution,ortoobtainacompact, explicit representation of the whole feasible set. The 2nd Workshop on Global Constrained Optimization and Constraint S- isfaction, COCOS 2003, which took place during November 18–21, 2003 in L- sanne, Switzerland, was dedicated to theoretical, algorithmic, and application oriented advances in answering these questions. Here global optimization refers to ?nding the absolutely best feasible point, while constraint satisfaction refers to?ndingallpossiblefeasiblepoints.AsinCOCOS2002,the?rstsuchworkshop (see the proceeedings [1]), the emphasis was on complete solving techniques for problems involving continuous variables that provide all solutions with full rigor, and on applications which, however, were allowed to have relaxed standards of rigor. The participants used the opportunity to meet experts from global optimi- tion, mathematical programming, constraint programming, and applications, and to present and discuss ongoing work and new directions in the ?eld. Four invited lectures and 20 contributed talks were presented at the workshop. The invited lectures were given by John Hooker (Logic-Based Methods for Global Optimization), Jean-Pierre Merlet (Usual and Unusual Applications of Interval Analysis), Hermann Schichl (The COCONUT Optimization Environment), and Jorge Mor´ e (Global Optimization Computational Servers). This volume contains the text of Hooker’s invited lecture and of 12 c- tributed talks. Copies of the slides for most presentations can be found at [2]. Constraintsatisfactionproblems.Threepapersfocusonalgorithmicaspects of constraint satisfaction problems.