（　）是美国运筹学家萨蒂提出的。