作業調度中複雜關係圖問題 不僅僅偏序關係

在車間作業調度問題（JSSP）中，正常情況下只存在兩種情況，要麼兩個工序之間存在關係，要麼不存在關係。而存在關係的時候，就僅僅是屬於偏序關係，要麼工序A先於工序B，要麼反之。不存在其他關係。而對於特定情境下，需要存在工序與工序之間的另外兩種關係，如A與B同時開始，A與B同時結束。在引入這兩種關係的情境之下，如果建立一個合理的工序邏輯圖，才能描述出這些關係。

正常的工序流程圖都是用拓撲圖來描述，並通過拓撲排序來判別邏輯是否正確。但是，拓撲圖中僅存在偏序關係，對於另外的兩種關係並不支援。因此傳統的有向圖並不能很好的描述這種工序集關係。

個人分析，拓撲圖中存在的關係是偏序關係，是順序邏輯關係，而同時開始於同時結束是一個具體的時間關係。他們並不是一個粒度層面上的東西，因此要想在圖上描述著兩個層面的關係，就必須要引入額外的關聯類型，就不能是簡單的-->就可以表述了的。在這種複雜的關係圖中，我們並不能在順序邏輯判斷的時候就能夠判斷出是否是一個合理的工藝流程。同時開始和同時結束的約束關係，需要在具體計算工序的開始結束時間的時候，才能知道是否合理。因此，這兩種判斷也是不同粒度層面的操作。

因此，這三種關係不應該同屬一個層面，因此，在添加同時開始和同時結束關係的時候，需要具體計算之後，才能判斷是否是一個合理的關係。因此這種判斷就不是高層次的順序邏輯判斷，由拓撲排序就可以解決的，而是需要更進一步的計算，計算出每一個工藝的開始時間和結束時間，之後才能確定新添加的這種同時開始和同時結束關係是夠正確和裡。