如何在Python中判别二维下料问题（2D Cutting Stock Problem）解的有效性

我用OR-tools实现了一个求解二维下料问题的Python算法，核心包含三个模块：

• StockCutter：调用OR-tools执行线性规划求解
• getSingleSolution：返回每个零件的放置坐标（规则：前两个数为矩形左下角坐标，后两个数为右上角坐标）
• drawRectsFromCoords：将解可视化

正确解示例 #

坐标输出：

[[0, 0, 15, 15], [0, 15, 15, 30], [0, 30, 15, 45], [0, 45, 15, 60], [0, 60, 15, 75], [0, 75, 15, 90], [0, 90, 15, 105], [0, 105, 15, 120], [0, 120, 15, 135], [0, 135, 15, 150], [15, 0, 30, 15], [15, 15, 30, 30], [15, 30, 30, 45], [15, 45, 30, 60], [15, 60, 30, 75], [30, 0, 45, 15]]

正确解可视化：

错误解示例 #

坐标输出：

[[21, 7, 36, 22], [8, 22, 23, 37], [23, 37, 38, 52], [7, 51, 22, 66], [8, 67, 23, 82], [7, 83, 22, 98], [17, 98, 32, 113], [7, 113, 22, 128], [23, 135, 38, 150], [39, 64, 54, 79], [47, 135, 62, 150], [40, 91, 55, 106], [22, 52, 37, 67], [23, 113, 38, 128], [1, 98, 16, 113], [1, 0, 16, 15]]

错误解可视化：

请问如何在Python中判断该算法输出的解是否有效？

内容的提问来源于stack exchange，提问作者0x Empyrean