Abstrakt. I interaktiva grafiska applikationer kräver vi ofta att objekt inte överlappar varandra. Sådana icke-överlappande begränsningar kan modelleras som diskonteringar av aritmetiska ojämlikheter. Tyvärr är diskrepanser normalt inte hanteras av restriktionslösare som stöder direkt manipulation, delvis eftersom lösa sådana problem är NP-hård. Vi visar här att det faktiskt är möjligt att (åter)lösa system av diskonterande begränsningar som representerar icke-överlappande begränsningar tillräckligt snabbt för att stödja direkt manipulation i interaktiva grafiska applikationer. Den viktigaste insikten bakom våra algoritmer är att skillnaderna i en icke-överlappande begränsning inte är osammanhängande: under direkt manipulation behöver vi bara röra oss mellan diskonteringar som är intilliggande i den meningen att de delar den nuvarande lösningen. Vi ger både en generisk algoritm, och en version specialiserad på linjära aritmetiska begränsningar som använder Cassowary begränsningslösning algoritm.
Å andra sidan, Marriott et al. föreslog en generisk algoritm för linjära aritmetiska begränsningar som utnyttjar Cassowary restriktion lösning algoritm REF ).
Solving disjunctive constraints for interactive graphical applications
{'venue': 'In 7th Intl. Conf. on Principles and Practice of Constraint Programming - CP2001, number 2239 in LNCS', 'journal': None, 'mag_field_of_study': ['Computer Science']}