Accelerating combinatorial filter reduction through constraints
Yulin Zhang Hazhar Rahmani Dylan A. Shell Jason M. O’Kane Yulin Zhang Hazhar Rahmani Dylan A. Shell Jason M. O’Kane
Reduction of combinatorial filters involves compressing state representations that robots use. Such optimization arises in automating the construction of minimalist robots. But exact combinatorial filter reduction is an NP-complete problem and all current techniques are either inexact or formalized with exponentially many constraints. This paper proposes a new formalization needing only a polynomi...