Дүрэм сулруулалтын хүснэгт
Дүрмийг нэг нэгээр нь сулруулж алгоритмуудыг ажиллуулаад хуваарилалт болон үр дүнтэй оноог харьцуулна.
| Эрэмбэ | Алгоритм | Сулруулсан дүрэм | Хуваарилалт | Үр дүнтэй | Чанар | Хуваарьлаагүй | Багтаамж хэтэрсэн | Багшийн ачаалал | Төлөв | Ажиллуулах |
|---|---|---|---|---|---|---|---|---|---|---|
| - | CP-SAT Бүх хатуу дүрмийг барьсан суурь хувилбар. | байхгүй | - | - | - | - | - | - | хоосон | |
| - | GNN + CP-SAT GNN өрөөний эрэмбийг CP-SAT-аас өмнө өөрчилнө. | нэр дэвшигч хайлт | - | - | - | - | - | - | хоосон | |
| - | Secretary Bird Metaheuristic бүрхүүл нэр дэвшигч болон зөөлөн жинг тааруулна. | нэр дэвшигч хайлтзөөлөн жин | - | - | - | - | - | - | хоосон | |
| - | Swarm Swarm төрлийн бүрхүүл нэр дэвшигч болон зөөлөн жинг тааруулна. | нэр дэвшигч хайлтзөөлөн жин | - | - | - | - | - | - | хоосон |
CP-SAT
Бүх хатуу дүрмийг барьсан суурь хувилбар.
| Дүрэм | Төлөв | Юуг зөвшөөрөх вэ | Одоогийн үр дүн | Шийдвэр |
|---|---|---|---|---|
| Өрөөний багтаамж | хатуу | Оюутны тоо өрөөний багтаамжаас их бол тухайн пар 2/3+ бүлэг болж жигд хуваагдаад, бүлэг бүр багтах өрөөнд орно. | - | Багтаамжийн overflow байхгүй. |
| Компонентийн дараалал | хатуу | Лекц -> семинар -> лаборатори -> практик дарааллыг барина. | Зөрчил илрээгүй | Hard хэвээр үлдээх. |
| Өрөө/багшийн давхцал | хатуу | Нэг цагт нэг өрөө эсвэл нэг багш давхар хуваарилагдахгүй. | Зөрчил илрээгүй | Hard хэвээр үлдээх. |
| Өрөө сонгох хайлт | хатуу | Стандарт heuristic өрөөний эрэмбийг ашиглана. | CP-SAT | Оноо сайжирвал ашиглаж болно; hard дүрэм зөрчих ёсгүй. |
| Зөөлөн онооны жин | стандарт | Тогтсон objective жинг ашиглана. | - | Зөвхөн score-д нөлөөлнө; hard дүрмийг сулруулахгүй. |