|
凸多面体的性质,例如它们的不同表示,已经得到了很好的研究[38]。精确计算它们的体积可以通过解决顶点枚举问题来实现,这是#P-困难的。现有的实现,如Avis等人的lrs,允许在n- m等于或小于10。在线性规划和运筹学中,精确计算方法被用来解决经典的约束满足问题,如地图着色问题,并在现实生活中有应用,例如在资源分配问题中。放松硬约束可以得到更多的解。研究代谢网络和代谢稳态流空间的研究人员提出了确定溶液空间的近似方法。这些方法允许对解空间进行采样,估计其体积,并近似解的概率特性,如边缘密度[14,2,39,40,41,42]。它们可以用来评估解空间对新约束的敏感性。流量平衡分析(FBA)问题的一个限制在于最大化某些目标约束,这将解决方案空间减少到有限的点集[15,41]或超平面。与之类似的还有随机约束满足问题(rCSP),它位于理论计算机科学和统计物理之间的接口,研究布尔空间中大量随机约束的解集。许多重要的结果,比如沥青质转变[43]。虽然我们主要关注的是连续域,但我们可以利用这个理论。1.5. 稳态解空间的蒙特卡罗抽样在第1.4节中,我们提到了使用顶点计数精确计算稳态解空间的体积,当n- m很小。
|