Utilizing cardinality and variety information in multiset variables in constraint programming.
在約束滿足問題中使用集合變量時，一般會利用集合範團相容算法結合基數推理來進行求解。對比單獨運用集合範團相容算法產生更多的剪枝。多重集合變量是集合變量的推廣，同一個元素可以在一個多重集合中出現多次。在本論文中，我們先把基數推理運用到多重集合變量上。男外，我們提出在建模時把多重集合的品種(即不同元素的數量)一同考慮，使模型能更具體地把問題表達出來，以加強約束傳播能力。為此，我們推論出一系列有關多重集合的品種推理規則。我們還演示了如何在一些常見的約束上運用品種推理。在子集範圍的表示方法中，一些如變量的長度因素(基數)和字典序的位置的重要訊息一概都被忽略，而這些訊息往往在求解的過程中能增加約束傳播能力...
| Other Authors: | |
|---|---|
| Format: | Others |
| Language: | English Chinese |
| Published: |
2013
|
| Subjects: | |
| Online Access: | http://library.cuhk.edu.hk/record=b5549828 http://repository.lib.cuhk.edu.hk/en/item/cuhk-327990 |