English
Related papers

Related papers: Parameterized String Equations

200 papers

A pattern p (i.e., a string of variables and terminals) matches a word w, if w can be obtained by uniformly replacing the variables of p by terminal words. The respective matching problem, i.e., deciding whether or not a given pattern…

Data Structures and Algorithms · Computer Science 2019-07-30 Florin Manea , Markus L. Schmid

Nowadays sparse systems of equations occur frequently in science and engineering. In this contribution we deal with sparse systems common in cryptanalysis. Given a cipher system, one converts it into a system of sparse equations, and then…

Combinatorics · Mathematics 2015-12-04 Peter Horak , Igor Semaev , Zsolt Tuza

We consider the well-studied problem of finding a spanning tree with minimum average distance between vertex pairs (called a MAD tree). This is a classic network design problem which is known to be NP-hard. While approximation algorithms…

Data Structures and Algorithms · Computer Science 2026-04-01 Tom-Lukas Breitkopf , Vincent Froese , Anton Herrmann , André Nichterlein , Camille Richer

We present a framework for computing with input data specified by intervals, representing uncertainty in the values of the input parameters. To compute a solution, the algorithm can query the input parameters that yield more refined…

Data Structures and Algorithms · Computer Science 2015-03-19 Manoj Gupta , Yogish Sabharwal , Sandeep Sen

Clustering with most objective functions is NP-Hard, even to approximate well in the worst case. Recently, there has been work on exploring different notions of stability which lend structure to the problem. The notion of stability,…

Data Structures and Algorithms · Computer Science 2017-02-14 Ainesh Bakshi , Nadiia Chepurko

Evaluating blocked randomized experiments from a potential outcomes perspective has two primary branches of work. The first focuses on larger blocks, with multiple treatment and control units in each block. The second focuses on matched…

Methodology · Statistics 2024-05-31 Nicole E. Pashley , Luke W. Miratrix

Algorithms for learning decision trees often include heuristic local-search operations such as (1) adjusting the threshold of a cut or (2) also exchanging the feature of that cut. We study minimizing the number of classification errors by…

Machine Learning · Computer Science 2025-10-15 Juha Harviainen , Frank Sommer , Manuel Sorge

In this paper we present an algorithmic framework for solving a class of combinatorial optimization problems on graphs with bounded pathwidth. The problems are NP-hard in general, but solvable in linear time on this type of graphs. The…

Data Structures and Algorithms · Computer Science 2012-12-18 Mugurel Ionut Andreica

The purpose of this note is to survey a methodology to solve systems of polynomial equations and inequalities. The techniques we discuss use the algebra of multivariate polynomials with coefficients over a field to create large-scale linear…

Optimization and Control · Mathematics 2011-12-08 Jesus A. De Loera , Peter N. Malkin , Pablo A. Parrilo

We consider the following multi-component sparse PCA problem: given a set of data points, we seek to extract a small number of sparse components with disjoint supports that jointly capture the maximum possible variance. These components can…

We study the parameterized complexity of algorithmic problems whose input is an integer set $A$ in terms of the doubling constant $C := |A + A|/|A|$, a fundamental measure of additive structure. We present evidence that this new…

Data Structures and Algorithms · Computer Science 2024-07-26 Tim Randolph , Karol Węgrzycki

A shuffle of two strings is formed by interleaving the characters into a new string, keeping the characters of each string in order. A string is a square if it is a shuffle of two identical strings. There is a known polynomial time dynamic…

Computational Complexity · Computer Science 2012-12-03 Sam Buss , Michael Soltys

In two-sided matching markets, the agents are partitioned into two sets. Each agent wishes to be matched to an agent in the other set and has a strict preference over these potential matches. A matching is stable if there are no blocking…

Computer Science and Game Theory · Computer Science 2013-02-26 Georgios Askalidis , Nicole Immorlica , Emmanouil Pountourakis

We develop an analytical framework for Boolean Promise Constraint Satisfaction Problems (PCSPs) that studies polymorphisms through the notion of influence from Fourier analysis of Boolean functions. Extending the work of Brakensiek,…

Computational Complexity · Computer Science 2026-04-27 Demian Banakh , Katzper Michno

In the Minimum Common String Partition Problem (MCSP), we are given two strings on input, and we want to partition both into the same collection of substrings, minimizing the number of the substrings in the partition. This combinatorial…

Data Structures and Algorithms · Computer Science 2021-10-12 Miloš Chromý , Markus Sinnl

We study two classic variants of block-structured integer programming. Two-stage stochastic programs are integer programs of the form $\{A_i \mathbf{x} + D_i \mathbf{y}_i = \mathbf{b}_i\textrm{ for all }i=1,\ldots,n\}$, where $A_i$ and…

Data Structures and Algorithms · Computer Science 2025-07-23 Jana Cslovjecsek , Martin Koutecký , Alexandra Lassota , Michał Pilipczuk , Adam Polak

In combinatorial optimization, partial variable assignments are called persistent if they agree with some optimal solution. We propose persistency criteria for the multicut and max-cut problem as well as fast combinatorial routines to…

Optimization and Control · Mathematics 2018-12-05 Jan-Hendrik Lange , Bjoern Andres , Paul Swoboda

We study algorithms for solving three problems on strings. The first one is the Most Frequently String Search Problem. The problem is the following. Assume that we have a sequence of $n$ strings of length $k$. The problem is finding the…

Quantum Physics · Physics 2020-01-08 Kamil Khadiev , Artem Ilikaev

We present three new complexity results for classes of planning problems with simple causal graphs. First, we describe a polynomial-time algorithm that uses macros to generate plans for the class 3S of planning problems with binary state…

Artificial Intelligence · Computer Science 2011-11-02 Omer Giménez , Anders Jonsson

We consider the problem of binary string reconstruction from the multiset of its substring compositions, i.e., referred to as the substring composition multiset, first introduced and studied by Acharya et al. We introduce a new algorithm…

Information Theory · Computer Science 2023-06-05 Utkarsh Gupta , Hessam Mahdavifar