Squaring the Square with Integer Linear Programming

用整数线性规划求平方

萨沙·库尔兹

作者信息

期刊免费访问

2012第20卷第3版第680-685页

细节

摘要

我们考虑所谓的“正方形平方”难题，即给定的正方形（或矩形）应该被分割成更小的正方形。对于此类问题的一个具体实例，我们证明了数学上严格的解决方案可能非常复杂。作为使用定制算法的穷举枚举的替代方法，我们描述了将问题表述为整数线性程序的一般方法。