In this work we investigate the min-max-min robust optimization problem applied to combinatorial problems with uncertain cost-vectors which are contained in a convex uncertainty set. The idea of the approach is to calculate a set of k feasible solutions which are worst-case optimal if in each possible scenario the best of the k solutions would be implemented. It is known that the min-max-min robust problem can be solved efficiently if k is at least the dimension of the problem, while it is theoretically and computationally hard if k is small. While both cases are well studied in the literature nothing is known about the intermediate case, namely if k is smaller than but close to the dimension of the problem. We approach this open question and show that for a selection of combinatorial problems the min-max-min problem can be solved exactly and approximately in polynomial time if some problem specific values are fixed. Furthermore we approach a second open question and present the first implementable algorithm with pseudopolynomial runtime for the case that k is at least the dimension of the problem. The algorithm is based on a projected subgradient method where the projection problem is solved by the classical Frank-Wolfe algorithm. Additionally we derive a branch & bound method to solve the min-max-min problem for arbitrary values of k and perform tests on knapsack and shortest path instances. The experiments show that despite its theoretical impact the projected subgradient method cannot compete with an already existing method. On the other hand the performance of the branch & bound method scales very well with the number of solutions. Thus we are able to solve instances where k is above some small threshold very efficiently.
翻译:在这项工作中,我们调查了用于对具有不确定成本-矢量的组合问题(其成本-矢量的不确定性包含在康韦克斯的不确定因素中)的细微最大优化问题。 方法的构想是计算一套最坏的k可行的解决方案, 如果在每种可能的假设中,最优的 k 解决方案将会得到实施。 众所周知, 如果 k 至少是问题的层面, 最小最大- 最小优化问题可以有效解决, 而如果 k 小, 则在理论上和计算上很难解决。 虽然这两个案例在文献中都对中间案例一无所知, 即 k 是否小于问题的范围, 但接近问题的范围。 我们处理这一开放式问题, 并表明对于组合问题的选择问题, 最小- 最小- 最小- 最小- 最强的问题, 如果某些问题特定值固定, 最小- 最小- 最强的问题, 则第一个可执行的算法, k 是问题的一个层面。 算法基于一个预测的子级( k) 方法, 最短的直径( 直径) 直径) 直径( 直径) 直方) k- 直径( 解) 直径) 解( 直径) 算法( 解) 解) 解) 方法, 解( 直径) 解( 解) (直径) (直径) (直径) 解) (直径) 解) (直径) (直径) (直路算法) (直径) (直径) (直) (直) (直径) 解) (直径) (直径) (直译) (直) (直径) (直) (直) (直) (直) (直) (直) (直) (直) (直) (直) (直) (直) (直) (直) (直) (直) (直) (直) (直) (直) (直) (直) (直译) (K) (直) (直) (直) (直) (直) (直) (直) (直) (直) (直) (直) (直) (直) (直) (直) (直) (直) (直) (直) (直) (直) (直