线性规划python

❶ 用线性规划解数独（Sudoku）：Python+PuLP

数独（Sudoku）是一个9*9的表格，由9个3*3的小方格组成。解题者需将剩下的格子填满，同时确保每个格子填入1-9的一个数字，且每行、每列及每个3*3小方格的数字不重复。线性规划解数独需对变量进行编码，创建729个二值变量，每个变量表示数字填入对应位置的情况。约束条件包括每个格子填入唯一数字、每行、每列和每个3*3小方格数字不重复。数独的目标函数为常数0，表示所有可行解地位相同。使用Python的PuLP库进行线性规划求解，输出所有可能的解法。若寻找所有解，需在每次循环中添加当前解作为约束条件，防止重复解出现。