Programação de Horários em Instituições Educacionais ... - Decom

p d h ′′ − h ′ + 1
h ′′
h=h ′ ˜ppdh = h ′′ − h ′ + 1 {h ′ , . . . , h ′′ − 1} ⊆ Gpd
h ′′ −1
yptdh ≤ vpd
|{h ′ , . . . , h ′′ }|
t∈T h=h ′
t
d h ′ , . . . , h ′′
p∈P h∈ b Gpd∩{h ′ ,...,h ′′ −1}
yptdh ≤
2
{h ′ , . . . , h ′′ }
2
p d t
h
h1∈ b Gpd\{h,h−1}
yptdh1 + xptdh ≤ vpd
d∈D
vpd ≥ max
t∈T ˜rpt
|H|
˜rpt
, max
t∈T ˜mpt
P
∀p ∈ P
t∈T rpt
|H|
d
p d
h∈H ˜ppdh < |H| ˙ppk
k p
k k
k=1 ˙ppk ≥
t∈T ˜rpt
|
k
˙ppk ≥
k=1
t∈T
vpd ≥ k ∀p ∈ P, k ∈ D
d∈D
k−1
˜rpt ∧ (k − 1 = 0 ∨
k=1
˙ppk <
t∈T
˜rpt)
XXXIX SBPO [2868]