预览片段。 获取完整访问权限
计算机程序设计艺术，第4卷，第7分册：约束满足