Abstract
在這篇論文中，我們探討是否可用諸如Cray-XMP，Cyber 205 等的向量計算機（vector computer ）來解一些組合類（combinatiorial）而非數值類（numerical ）的問題，我們成功地設計了兩個向量化的計算方法（vectorized algorithms ）解決了部分集合的合（sum of subset ）的問題；以及一個向量化的計算方法來執行滿足問題（atisfiability problem ）中常用的解法：Davis and putnam的方法。