線性規劃python

❶ 用線性規劃解數獨（Sudoku）：Python+PuLP

數獨（Sudoku）是一個9*9的表格，由9個3*3的小方格組成。解題者需將剩下的格子填滿，同時確保每個格子填入1-9的一個數字，且每行、每列及每個3*3小方格的數字不重復。線性規劃解數獨需對變數進行編碼，創建729個二值變數，每個變數表示數字填入對應位置的情況。約束條件包括每個格子填入唯一數字、每行、每列和每個3*3小方格數字不重復。數獨的目標函數為常數0，表示所有可行解地位相同。使用Python的PuLP庫進行線性規劃求解，輸出所有可能的解法。若尋找所有解，需在每次循環中添加當前解作為約束條件，防止重復解出現。