On Modelling the Avoidability of Patterns as CSP

06/03/2019
by   Thorsten Ehlers, et al.
0

Solving avoidability problems in the area of string combinatorics often requires, in an initial step, the construction, via a computer program, of a very long word that does not contain any word that matches a given pattern. It is well known that this is a computationally hard task. Despite being rather straightforward that, ultimately, all such tasks can be formalized as constraints satisfaction problems, no unified approach to solving them was proposed so far, and very diverse ad-hoc methods were used. We aim to fill this gap: we show how several relevant avoidability problems can be modelled, and consequently solved, in an uniform way as constraint satisfaction problems, using the framework of MiniZinc. The main advantage of this approach is that one is now required only to formulate the avoidability problem in the MiniZinc language, and then the actual search for a solution does not have to be implemented ad-hoc, being instead carried out by a standard CSP-solver.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/15/2022

Cooperative Marine Operations via Ad Hoc Teams

While research in ad hoc teamwork has great potential for solving real-w...
research
04/19/2023

An Exploratory Study of Ad Hoc Parsers in Python

Background: Ad hoc parsers are pieces of code that use common string fun...
research
02/02/2022

Grammars for Free: Toward Grammar Inference for Ad Hoc Parsers

Ad hoc parsers are everywhere: they appear any time a string is split, l...
research
03/02/2018

Unifacta: Profiling-driven String Pattern Standardization

Data cleaning is critical for effective data analytics on many real-worl...
research
12/13/2018

Minuet: A method to solve Sudoku puzzles by hand

This paper presents a systematic method to solve difficult 9 x 9 Sudoku ...
research
03/28/2023

Dias: Dynamic Rewriting of Pandas Code

In recent years, dataframe libraries, such as pandas have exploded in po...
research
02/11/2020

Rapid Top-Down Synthesis of Large-Scale IoT Networks

Advances in optimization and constraint satisfaction techniques, togethe...

Please sign up or login with your details

Forgot password? Click here to reset