Proglem gniazdowy J||C
maxMariusz Makuchowski
14 maja 2019
Opis problemu J||C
maxDane:
dany jest zbiór maszyn M = {1, ..., m}
zadany jest zbiór zadań J = {1, ..., n}
każde zadanie i ∈ J składa ciągu ri operacji {Ji ,1, ..., Ji ,ri} operacja Ji ,k wykonywana jest na maszynie µi ,k
czas wykonywania operacji Ji ,k to pi ,k
Spostrzeżenia:
każde zadanie może składać się z innej liczby operacj każde zadanie może mieć inną marszrutę technologiczną zadanie może wielkorotnie odwiedzać tę samą maszynę liczba operacji w zadaniu może być większa niż liczba maszyn
Kryterium optymalizacji C
maxCi ,k(π) - moment zakończenia operacji Ji ,k dla uszeregowania π.
Cmax(π) - długość uszeregowania π.
Problem polega na wyznaczniu uszeregowania o najmniejszej długości
π∗ ∈ arg min
π∈ΠCmax(π)
Przykład:
Dane: n = 4, m = 3 J1 = ((1, 4), (3, 2), (2, 5)) J2 = ((2, 2), (3, 2)) J3 = ((1, 4), (2, 2))
J4 = ((3, 2), (1, 2), (2, 5), (3, 2)) harmonogram:
m1 J1,1 J4,2 J3,1
m2 J2,1 J4,3 J3,2 J1,3
m3 J4,1 J2,2 J1,2 J4,4
Cmax= 18
Kodowanie rozwiązania
harmonogram:
m1 J1,1 J4,2 J3,1
m2 J2,1 J4,3 J3,2 J1,3
m3 J4,1 J2,2 J1,2 J4,4 Momenty C zakończeń operacji:
C1,1 = 4, C1,2 = 6, C1,3= 18, C2,1 = 2, C2,2 = 4,
C3,1 = 10, C3,1 = 13,
C4,1 = 2, C4,2 = 6, C4,3= 11, C4,4 = 13 Momenty S rozpoczęcia opareaci ...
Kodowanie rozwiązania
harmonogram:
m1 J1,1 J4,2 J3,1
m2 J2,1 J4,3 J3,2 J1,3
m3 J4,1 J2,2 J1,2 J4,4 kolejność π operacji na maszynach:
πm1= (J1,1, J4,2, J3,1), πm2= (J2,1, J4,3, J3,2, J1,3), πm3= (J4,1, J2,2, J1,2, J4,4) kolejność zadań na maszynach:
(J1, J4, J3), (J2, J4, J3, J1), (J4, J2, J1, J4)
Kodowanie rozwiązania π
Czy dana kolejność π jest realizowalna ? Jaka jest długość uszeregowania ?
Model permutacyjno grafowy
Dla kolejności π buduje się graf G (π)
π = ((J1,1, J4,2, J3,1), (J2,1, J4,3, J3,2, J1,3), (J4,1, J2,2, J1,2, J4,4))
J1,1 J4,2 J3,1
J2,1 J4,3 J3,2 J1,3
J4,1 J2,2 J1,2 J4,4
J1,1 J4,2 J3,1
J2,1 J4,3 J3,2 J1,3
J4,1 J2,2 J1,2 J4,4
Model permutacyjno grafowy
Dla kolejności π buduje się graf G (π)
π = ((J1,1, J4,2, J3,1), (J2,1, J4,3, J3,2, J1,3), (J4,1, J2,2, J1,2, J4,4))
4 2 4
2 5 2 5
2 2 2 2
J1,1 J4,2 J3,1
J2,1 J4,3 J3,2 J1,3
J4,1 J2,2 J1,2 J4,4
Model permutacyjno grafowy
Czy dana kolejność π jest realizowalna ? tak - jeśli graf G (π) jest acykliczny nie - jeśli jest cykliczny
Jaka jest długość uszeregowania ?
taka sama jak długość najdłuższej ścieżki w grafie G (π)
Obliczenie najdłuższej ścieżki w grafie
4 2 4
2 5 2 5
2 2 2 2
4
2
2
6
11
4
10
13
6
18
13
J1,1 J4,2 J3,1
J2,1 J4,3 J3,2 J1,3
J4,1 J2,2 J1,2 J4,4
Ścieżka krytyczna
4 2 4
2 5 2 5
2 2 2 2
4
2
2
6
11
4
10
13
6
18
13
J1,1 J4,2 J3,1
J2,1 J4,3 J3,2 J1,3
J4,1 J2,2 J1,2 J4,4
Własności ścieżki krytycznej
Zmiana kolejności operacji poza ścieżką krytyczną ? Zmiana kolejności operacji na ścieżce krytycznej ? Jakie ruchy są bezpieczne ?
Praca opisująca algorytm efektywnie wykorzystujący własności blokowe ścieżki krytycznej dla problemu gniazdowego.
Cytowana tysiące razy przez badaczy z całego świata.
A Fast Taboo Search Algorithm for the Job Shop Problem Eugeniusz Nowicki and Czeslaw Smutnicki, Management Science Vol. 42, No. 6 (Jun., 1996), pp. 797-813