DeepAI
Log In Sign Up

Accelerating combinatorial filter reduction through constraints

11/06/2020
by   Yulin Zhang, et al.
0

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.

READ FULL TEXT
02/15/2020

Cover Combinatorial Filters and their Minimization Problem

A recent research theme has been the development of automatic methods to...
02/15/2020

Cover Combinatorial Filters and their Minimization Problem (Extended Version)

Recent research has examined algorithms to minimize robots' resource foo...
07/15/2021

On nondeterminism in combinatorial filters

The problem of combinatorial filter reduction arises from questions of r...
09/10/2022

A general class of combinatorial filters that can be minimized efficiently

State minimization of combinatorial filters is a fundamental problem tha...
04/01/2022

Nondeterminism subject to output commitment in combinatorial filters

We study a class of filters – discrete finite-state transition systems e...
02/21/2021

Generalized Gapped-kmer Filters for Robust Frequency Estimation

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

Gröbner Bases with Reduction Machines

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