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...
