Log In Sign Up

Accelerating combinatorial filter reduction through constraints

by   Yulin Zhang, et al.

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 polynomial number of constraints, and characterizes these constraints in three different forms: nonlinear, linear, and conjunctive normal form. Empirical results show that constraints in conjunctive normal form capture the problem most effectively, leading to a method that outperforms the others. Further examination indicates that a substantial proportion of constraints remain inactive during iterative filter reduction. To leverage this observation, we introduce just-in-time generation of such constraints, which yields improvements in efficiency and has the potential to minimize large filters.


Cover Combinatorial Filters and their Minimization Problem

A recent research theme has been the development of automatic methods to...

Cover Combinatorial Filters and their Minimization Problem (Extended Version)

Recent research has examined algorithms to minimize robots' resource foo...

On nondeterminism in combinatorial filters

The problem of combinatorial filter reduction arises from questions of r...

A general class of combinatorial filters that can be minimized efficiently

State minimization of combinatorial filters is a fundamental problem tha...

Nondeterminism subject to output commitment in combinatorial filters

We study a class of filters – discrete finite-state transition systems e...

Generalized Gapped-kmer Filters for Robust Frequency Estimation

In this paper, we study the generalized gapped k-mer filters and derive ...

Gröbner Bases with Reduction Machines

In this paper, we make a contribution to the computation of Gröbner base...