sat问题可多项式归结到msp问题

针对文献巨1]中提出的msp问题(定义见正文)，从sai'问题出发，给出sa}r问题到msp问题的多项式归结，进而给出msp问题np完全性质的另一种证明。