系统np的推导
Top