linear-programming相关知识