摘要：1.quicksum好像不支持嵌套 最好还是尽可能多的使用一些中间变量来表达。 另外，quicksum()返回的是表达式而不是var，像addGenConstrMax(resvar, [var, var, var, ...])这样的函数中，quicksum也不能直接传给var， 对此只能再创建中间变 阅读全文

摘要：做容器放置实验时，需要计算下载N个Images的总size(Image之间可能会有可以共享的size)。 一开始想到的是Images两两之间求交集，然后慢慢推到了容斥原理。。。时间复杂度大概就是O(NN)，这显然是不可接受的。 之后想到容器有层(Layers)的概念，而层的数量是有限的，假设现所有的 阅读全文