دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logic-based 0-1 Constraint Programming
دانلود کتاب برنامه نویسی محدودیت 0-1 مبتنی بر منطق
مشخصات کتاب
Logic-based 0-1 Constraint Programming
ویرایش:
نویسندگان: Peter Barth
سری:
ISBN (شابک) : 9781461313151
ناشر: Kluwer
سال نشر: 1996
تعداد صفحات: 260
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 6 مگابایت
قیمت کتاب (تومان) : 57,000
در صورت تبدیل فایل کتاب Logic-based 0-1 Constraint Programming به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب برنامه نویسی محدودیت 0-1 مبتنی بر منطق نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب برنامه نویسی محدودیت 0-1 مبتنی بر منطق
نمایی منطقی از مسائل برنامه‌نویسی عدد صحیح 0-1، بینش جدیدی در مورد ساختار مسائل ارائه می‌دهد که می‌تواند محقق را به تکنیک‌های راه‌حل مؤثرتر بسته به کلاس مسئله هدایت کند. تکنیک های تحقیق در عملیات در یک محیط برنامه نویسی منطقی ادغام شده اند. اولین درمان تک نگاری که شروع به یکی کردن این دو رویکرد روش شناختی می کند. روش‌های مبتنی بر منطق برای مدل‌سازی و حل مسائل ترکیبی اخیراً نقش مهمی را هم در تئوری و هم در عمل بازی می‌کنند. کاربرد منطق در مسائل ترکیبی جنبه دوگانه دارد. از یک طرف، برنامه‌نویسی منطق محدودیت به شخص اجازه می‌دهد تا به صورت اعلامی مسائل ترکیبی را روی یک دامنه محدودیت مناسب مدل‌سازی کند، سپس مسائل توسط یک حل‌کننده محدودیت مربوطه حل شوند. زبان برنامه نویسی منطقی علاوه بر اینکه یک رابط اعلامی سطح بالا برای حل کننده محدودیت است، به فرد اجازه می دهد تا آن دسته از مسائل فرعی را نیز پیاده سازی کند که به طور طبیعی با محدودیت ها قابل بیان نیستند. از سوی دیگر، روش‌های مبتنی بر منطق را می‌توان به عنوان یک تکنیک حل محدودیت در حل‌کننده محدودیت برای مسائل ترکیبی مدل‌سازی شده به عنوان برنامه‌های عدد صحیح 0-1 استفاده کرد.
توضیحاتی درمورد کتاب به خارجی
A logic view of 0-1 integer programming problems, providing new insights into the structure of problems that can lead the researcher to more effective solution techniques depending on the problem class. Operations research techniques are integrated into a logic programming environment. The first monographic treatment that begins to unify these two methodological approaches. Logic-based methods for modelling and solving combinatorial problems have recently started to play a significant role in both theory and practice. The application of logic to combinatorial problems has a dual aspect. On one hand, constraint logic programming allows one to declaratively model combinatorial problems over an appropriate constraint domain, the problems then being solved by a corresponding constraint solver. Besides being a high-level declarative interface to the constraint solver, the logic programming language allows one also to implement those subproblems that cannot be naturally expressed with constraints. On the other hand, logic-based methods can be used as a constraint solving technique within a constraint solver for combinatorial problems modelled as 0-1 integer programs.
فهرست مطالب
Contents......Page 3
Foreword......Page 7
Preface......Page 9
CLP & COMBINATORIAL OPTIMIZATION......Page 13
LOGIC-based PSEUDO-BOOLEAN CONSTRAINT SOLVING......Page 16
2 Constraint Logic Programming......Page 21
CLP by EXAMPLE......Page 22
SEMANTICS......Page 26
CONSTRAINT SOLVING......Page 29
LOCAL CONSISTENCY & CLP......Page 31
LOGIC PROGRAMMING with PSEUDO-BOOLEAN CONSTRAINTS......Page 38
EXISTING CLP-SYSTEMS for COMBINATORIAL OPTIMIZATION......Page 46
PRELIMINARIES......Page 57
PREVIOUS WORK......Page 67
GENERALIZED RESOLUTION......Page 78
SOLVED FORM......Page 86
REACHING the SOLVED FORM......Page 87
5 Pseudo-Boolean Unit Resolution......Page 91
CLASSICAL DAVIS-PUTNAM PROCEDURE......Page 92
DAVIS-PUTNAM for LINEAR PSEUDO-BOOLEAN INEQUALITIES......Page 95
OPTIMIZING with PSEUDO-BOOLEAN DAVIS-PUTNAM......Page 98
IMPLEMENTATION......Page 100
HEURISTICS......Page 102
COMPUTATIONAL RESULTS......Page 103
PSEUDO-BOOLEAN DAVIS-PUTNAM for CLP......Page 106
VALID EXTENDED CLAUSES by ENUMERATION......Page 108
ENTAILMENT & LOGIC CUTS......Page 113
7 Linear Pseudo-Boolean Inequalities & Extended Clauses......Page 117
GENERATING VALID EXTENDED CLAUSES......Page 118
IDENTIFYING REDUNDANT EXTENDED CLAUSES......Page 124
IMPLEMENTATION......Page 132
SYMMETRIES......Page 136
DETECTION of FIXED LITERALS......Page 140
CONSTRAINED SIMPLIFICATION......Page 143
CUT GENERATION for 0-1 INTEGER PROGRAMMING......Page 158
IMPLEMENTING RESOLUTION......Page 167
8 Simplification......Page 171
ORDER for EXTENDED CLAUSES......Page 172
SIMPLIFYING DIAGONAL SUMS......Page 173
SIMPLIFYING RESOLVENTS......Page 187
EQUATIONS btw LITERALS......Page 208
PREVIOUS WORK......Page 213
LINEARIZATION METHOD......Page 214
DERIVING LOWER BOUNDS......Page 219
FURTHER IMPROVEMENTS......Page 224
10 Projection......Page 227
PROJECTION for PRIME EXTENDED CLAUSES......Page 228
PROJECTION for EXTENDED CLAUSES......Page 229
IMPROVEMENTS......Page 234
11 Conclusion......Page 236
SUMMARY of RESULTS......Page 237
RELATED & FUTURE RESEARCH......Page 238
Refs......Page 240
Index......Page 257
نظرات کاربران
کتاب های تصادفی
دانلود کتاب The Role of International Law in Rebuilding Societies after Conflict: Great Expectations
دانلود کتاب Urban Structure Matters (The Rtpi Library Series)
دانلود کتاب Complete Mountain Bike Maintenance
