论文标题
大约超模型调度受矩阵约束的约束
Approximately Supermodular Scheduling Subject to Matroid Constraints
论文作者
论文摘要
控制调度是指在特定时间分配代理或执行器在动态系统上作用的问题,以最大程度地减少二次控制成本,例如线性界面 - 高斯高斯(LQG)的目标或线性二次调节器(LQR)。当预算或操作限制在时间表上施加时,此问题通常是NP-HARD,因此即使对于中等尺寸的系统,也只能近似其解决方案。这种近似的质量取决于约束和目标的结构。这项工作表明,贪婪的调度几乎是最佳的,当约束表示为矩形的交集,编码要求的代数结构,例如对每个时间段部署的代理数量,执行器的总数限制,执行器用途的总数和占空比周期限制的限制。为此,它证明了LQG成本函数是alpha-supermemular,并提供了新的alpha/(alpha + p) - 最佳性证书,用于在p Matroids的相互作用上对此类功能的贪婪最小化。这些证书被证明可以在相关设置中接近1/(1+p)超模型功能的保证。这些结果支持在非纤维化二次控制问题中使用贪婪的算法,而不是典型的启发式方法,例如凸松弛和功绩的替代图,例如,Gramian的可控性logdet。
Control scheduling refers to the problem of assigning agents or actuators to act upon a dynamical system at specific times so as to minimize a quadratic control cost, such as the objective of the Linear-quadratic-Gaussian (LQG) or the Linear Quadratic Regulator (LQR). When budget or operational constraints are imposed on the schedule, this problem is in general NP-hard and its solution can therefore only be approximated even for moderately sized systems. The quality of this approximation depends on the structure of both the constraints and the objective. This work shows that greedy scheduling is near-optimal when the constraints can be represented as an intersection of matroids, algebraic structures that encode requirements such as limits on the number of agents deployed per time slot, total number of actuator uses, and duty cycle restrictions. To do so, it proves that the LQG cost function is alpha-supermodular and provides a new alpha/(alpha + P)-optimality certificates for the greedy minimization of such functions over an intersections of P matroids. These certificates are shown to approach the 1/(1+P) guarantee of supermodular functions in relevant settings. These results support the use of greedy algorithms in non-supermodular quadratic control problems as opposed to typical heuristics such as convex relaxations and surrogate figures of merit, e.g., the logdet of the controllability Gramian.