金·万豪酒店；彼得·莫尔德；彼得·斯图基（Peter J.Stuckey）。；艾伦·博宁 求解交互式图形应用程序的析取约束。 （英语） Zbl 1067.68652号 Walsh，Toby（编辑），约束编程的原理和实践-CP 2001。第七届国际会议，2001年11月26日至12月1日，塞浦路斯帕福斯。诉讼程序。柏林：施普林格出版社（ISBN 3-540-42863-1）。莱克特。注释计算。科学。2239, 361-376 (2001). 摘要：在交互式图形应用程序中，我们通常要求对象不重叠。这种非重叠约束可以建模为算术不等式的析取。不幸的是，析取通常不由支持直接操作的约束解算器处理，部分原因是解决此类问题是NP-hard。我们在这里显示，实际上可以（重新）快速求解表示非重叠约束的析取约束系统，以支持交互式图形应用程序中的直接操作。我们算法背后的关键见解是，非重叠约束中的析取不是不相交的：在直接操作过程中，我们只需要在相邻的析取之间移动，因为它们共享当前的解决方案。我们给出了一个通用算法和一个专门用于线性算术约束的版本，该版本使用了Cassowary约束求解算法。关于整个系列，请参见[Zbl 0984.00059号]. 引用于三文件 MSC公司： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 68单位05 计算机图形；计算几何（数字和算法方面） 软件：QOCA公司 PDF格式BibTeX公司 XML格式引用 \textit{K.Marriott}等人，Lect。注释计算。科学。2239361--376（2001年；Zbl 1067.68652） 全文： 链接