目录 题目 输入 输出 样例输入 样例输出 代码 后记 题目 Many areas of Computer Science use simple, abstract domains for both analytical and empirical studies. For example, an early AI study of planning and robotics (STRIPS) used a block world in which a robot arm performed tasks involving the manipu...