English
Related papers

Related papers: Polynomial time multiplication and normal forms in…

200 papers

The main result of the paper is the first polynomial-time algorithm for ranking bracelets. The time-complexity of the algorithm is O(k^2 n^4), where k is the size of the alphabet and n is the length of the considered bracelets. The key part…

Combinatorics · Mathematics 2021-04-13 Duncan Adamson , Argyrios Deligkas , Vladimir V. Gusev , Igor Potapov

Many problems are NP-hard and, unless P = NP, do not admit polynomial-time exact algorithms. The fastest known exact algorithms exactly usually take time exponential in the input size. Much research effort has gone into obtaining faster…

Data Structures and Algorithms · Computer Science 2025-01-27 Stefan Kratsch , Pascal Kunz

The computational complexity of the isomorphism problem for regular trees, regular linear orders, and regular words is analyzed. A tree is regular if it is isomorphic to the prefix order on a regular language. In case regular languages are…

Formal Languages and Automata Theory · Computer Science 2011-02-15 Markus Lohrey , Christian Mathissen

We investigate the construction of prefix-free and fix-free codes with specified codeword compositions. We present a polynomial time algorithm which constructs a fix-free code with the same codeword compositions as a given code for a…

Information Theory · Computer Science 2012-02-10 Ali Kakhbod , Morteza Zadimoghaddam

Previous researches have shown that learning multiple representations for polysemous words can improve the performance of word embeddings on many tasks. However, this leads to another problem. Several vectors of a word may actually point to…

Computation and Language · Computer Science 2017-01-09 Haoyue Shi , Caihua Li , Junfeng Hu

Given an integer $k$ and a graph where every edge is colored either red or blue, the goal of the exact matching problem is to find a perfect matching with the property that exactly $k$ of its edges are red. Soon after Papadimitriou and…

Data Structures and Algorithms · Computer Science 2023-10-02 Nicolas {El Maalouly} , Raphael Steiner , Lasse Wulf

The Whitehead Minimization problem is a problem of finding elements of the minimal length in the automorphic orbit of a given element of a free group. The classical algorithm of Whitehead that solves the problem depends exponentially on the…

Group Theory · Mathematics 2007-05-23 A. D. Myasnikov , R. M Haralick

Two finite words $u$ and $v$ are $k$-binomially equivalent if, for each word $x$ of length at most $k$, $x$ appears the same number of times as a subsequence (i.e., as a scattered subword) of both $u$ and $v$. This notion generalizes…

Formal Languages and Automata Theory · Computer Science 2020-02-03 Marie Lejeune , Michel Rigo , Matthieu Rosenfeld

The goal in function property testing is to determine whether a black-box Boolean function has a certain property or is epsilon-far from having that property. The performance of the algorithm is judged by how many calls need to be made to…

Quantum Physics · Physics 2015-05-28 Mark Hillery , Erika Andersson

We consider an algorithm by Tijdeman and Zamboni constructing a word of a given length that has a given set of periods, and the richest possible alphabet. We show that this algorithm can be easily stated and its correctness briefly proved…

Formal Languages and Automata Theory · Computer Science 2013-10-04 Štěpán Holub

We consider the problem of computing a shortest solid cover of an indeterminate string. An indeterminate string may contain non-solid symbols, each of which specifies a subset of the alphabet that could be present at the corresponding…

Data Structures and Algorithms · Computer Science 2014-12-12 Maxime Crochemore , Costas S. Iliopoulos , Tomasz Kociumaka , Jakub Radoszewski , Wojciech Rytter , Tomasz Waleń

We introduce a new approach to LZ77 factorization that uses O(n/d) words of working space and O(dn) time for any d >= 1 (for polylogarithmic alphabet sizes). We also describe carefully engineered implementations of alternative approaches to…

Data Structures and Algorithms · Computer Science 2020-12-11 Juha Kärkkäinen , Dominik Kempa , Simon J. Puglisi

The beam alignment (BA) problem consists in accurately aligning the transmitter and receiver beams to establish a reliable communication link in wireless communication systems. Existing BA methods search the entire beam space to identify…

Information Theory · Computer Science 2022-10-25 Yi Wei , Zixin Zhong , Vincent Y. F. Tan

Palindromes are those reduced words of free products of groups that coincide with their reverse words. We prove that a free product of groups $G$ has infinite palindromic width, provided that $G$ is not the free product of two cyclic groups…

Group Theory · Mathematics 2007-05-23 Valery Bardakov , Vladimir Tolstykh

We present efficient algorithms to decide whether two given counting functions on non-abelian free groups or monoids are at bounded distance from each other and to decide whether two given counting quasimorphisms on non-abelian free groups…

Group Theory · Mathematics 2021-10-01 Tobias Hartnick , Alexey Talambutsa

We study regular expression membership testing: Given a regular expression of size $m$ and a string of size $n$, decide whether the string is in the language described by the regular expression. Its classic $O(nm)$ algorithm is one of the…

Data Structures and Algorithms · Computer Science 2016-11-08 Karl Bringmann , Allan Grønlund , Kasper Green Larsen

We study \emph{multiplicity equivalence} testing of automata over partially commutative monoids (pc monoids) and show efficient algorithms in special cases, exploiting the structure of the underlying non-commutation graph of the monoid.…

Formal Languages and Automata Theory · Computer Science 2020-06-02 V. Arvind , Abhranil Chatterjee , Rajit Datta , Partha Mukhopadhyay

I present a single algorithm which solves the clique problems, "What is the largest size clique?", "What are all the maximal cliques?" and the decision problem, "Does a clique of size k exist?" for any given graph in polynomial time. The…

Data Structures and Algorithms · Computer Science 2015-03-17 Michael LaPlante

No polynomial-time algorithm is known to test whether a sparse polynomial G divides another sparse polynomial $F$. While computing the quotient Q=F quo G can be done in polynomial time with respect to the sparsities of F, G and Q, this is…

Symbolic Computation · Computer Science 2021-07-21 Pascal Giorgi , Bruno Grenet , Armelle Perret du Cray

Spectrum sensing is a fundamental operation in cognitive radio environment. It gives information about spectrum availability by scanning the bands. Usually a fixed amount of time is given to scan individual bands. Most of the times,…

Information Theory · Computer Science 2016-06-10 Garimella Rama Murthy , Rhishi Pratap Singh , Samdarshi Abhijeet , Sachin Chaudhary