آموزش مدل‌سازی پایه برای بهینه‌سازی گسسته - آخرین آپدیت

مقدمه‌ای بر MiniZinc MiniZinc introduction

• خوش‌آمدگویی به دوره مدل‌سازی پایه برای بهینه‌سازی گسسته Welcome to Basic Modeling for Discrete Optimization

• 1.1.1 گام‌های نخست 1.1.1 First Steps

• 1.1.2 مدل دوم 1.1.2 Second Model

• 1.1.3 مدل سوم 1.1.3 Third Model

• 1.1.4 مدل‌ها و نمونه‌ها 1.1.4 Models and Instances

• 1.1.5 مدل‌سازی اشیاء 1.1.5 Modeling Objects

• 1.1.6 آرایه‌ها و درک جملات (Comprehensions) 1.1.6 Arrays and Comprehensions

• 1.1.7 محدودیت‌های سراسری 1.1.7 Global Constraints

• 1.1.8 خلاصه فصل ۱ 1.1.8 Module 1 Summary

• حل کارگاه ۰ Workshop 0 Solution

• حل کارگاه ۱ Workshop 1 Solution

• ارسال تمرین در IDE Assignment Submission - IDE

• مرجع ۱: ویژگی‌های پایه Reference 1: Basic Features

• مرجع ۲: عبارت‌های بولی Reference 2: Booleans Expressions

• مرجع ۳: مجموعه‌ها، آرایه‌ها و Comprehensions Reference 3: Sets, Arrays, Comprehensions

• مرجع ۴: انواع شمارشی Reference 4: Enumerated Types

• مرجع ۵: رشته‌ها و خروجی Reference 5: Strings and Output

• مرجع ۶: انواع اختیاری (Option Types) Reference 6: Option Types

• مرجع ۷: رابط خط فرمان Reference 7: Command Line Interface

مدل‌سازی با مجموعه‌ها Modeling with Sets

• 1.2.1 انتخاب یک مجموعه 1.2.1 Selecting a Set

• 1.2.2 انتخاب نمایش مجموعه 1.2.2 Choosing a Set Representation

• 1.2.3 انتخاب یک مجموعه با تعداد ثابت 1.2.3 Choosing a Fixed Cardinality Set

• 1.2.4 مجموعه‌های با تعداد محدود 1.2.4 Sets with Bounded Cardinality

• 1.2.5 خلاصه فصل ۲ 1.2.5 Module 2 Summary

• حل کارگاه ۲ Workshop 2 Solution

مدل‌سازی با توابع Modeling with Functions

• 1.3.1 مدل‌سازی توابع 1.3.1 Modeling Functions

• 1.3.2 مثال دیگری از مسئله تخصیص 1.3.2 Another Assignment Problem Example

• 1.3.3 مدل‌سازی افرازها 1.3.3 Modeling Partitions

• 1.3.4 محدودیت تعداد سراسری 1.3.4 Global Cardinality Constraint

• 1.3.5 افراز خالص 1.3.5 Pure Partitioning

• 1.3.6 خلاصه فصل ۳ 1.3.6 Module 3 Summary

• حل کارگاه ۳ Workshop 3 Solution

مدل‌سازی چندگانه Multiple Modeling

• 1.4.1 مدل‌سازی چندگانه 1.4.1 Multiple Modeling

• 1.4.2 جایگشت 1.4.2 Permutation

• 1.4.3 مسئله جایگشت بیشتر 1.4.3 More Permutation Problem

• 1.4.4 مدل‌های چندگانه بیشتر 1.4.4 More Multiple Models

• 1.4.5 خلاصه فصل ۴ 1.4.5 Module 4 Summary

• حل کارگاه ۴ Workshop 4 Solution