Abstract
在這篇論文中，我們提出一個排序問題新模型。在這個模型中，我們不但考慮傳統上排序的問題，并且引入了模組的選擇。一般高階合成中主要的工作有排序，配置與控制單元的產生。事實上運算器選擇都假設是事先給定的。在我們新建立的模型中我們提供了高階合成器對各種不同的運算器選擇的能力。有了這個模型之後，我們并且以整數線性規劃的方法來求得問題的最佳解。使排序演算法有選擇運算器功能，一方面可以使積體電路成品降降。另外一方面則能使其執行的速度提升。由於解一組整個線性的方程式的時間是呈指數成長的，對於較大的排序問題，求解的時間則不切實際，為了要降低程式執行的時間，我們也提出了另一程啟發式演算法(heristic Algorithm)，在這個演算法中，我們將整數線性規劃中整數的限制去除，而改以實數求解。雖然求得的實數解不是一個合理的排序，但根據這個實數解為指標，我們可以機率的觀點來決定各個運算較可能的排放位置。其次，我們并不以一次實數解來決定所有運算的排放位置。因為這樣做會使實數解與整數解的差距拉大，而無法達到預期的效果。比較好的方法是將排序分成幾個階段，每個階段分別以實數的方式求解。實驗結果顯示這種方法所求得的排序解非常接近最佳解。