机制设计:线性编程方法 | Synapse