English
Related papers

Related papers: A linear time algorithm for the orbit problem over…

200 papers

Motivated by a historical combinatorial problem that resembles the well-known Josephus problem, we investigate circular partition algorithms and formulate problems in deterministic finite automata with practical algorithms. The historical…

Formal Languages and Automata Theory · Computer Science 2026-01-06 Omid Khormali , Ghaya Mtimet , Nuh Aydin

The Whitehead minimization problem consists in finding a minimum size element in the automorphic orbit of a word, a cyclic word or a finitely generated subgroup in a finite rank free group. We give the first fully polynomial algorithm to…

Group Theory · Mathematics 2008-01-06 Abdó Roig , Enric Ventura , Pascal Weil

The Orbit Problem asks whether the orbit of a point under a matrix reaches a given target set. When the target is a single point, the problem was shown to be decidable in polynomial time by Kannan and Lipton. This decidability result was…

Discrete Mathematics · Computer Science 2026-05-18 Piotr Bacik , Anton Varonka

In this paper we show that certain special cases of the hidden subgroup problem can be solved in polynomial time by a quantum algorithm. These special cases involve finding hidden normal subgroups of solvable groups and permutation groups,…

Quantum Physics · Physics 2007-05-23 Gabor Ivanyos , Frederic Magniez , Miklos Santha

We introduce a parallel machine scheduling problem in which the processing times of jobs are not given in advance but are determined by a system of linear constraints. The objective is to minimize the makespan, i.e., the maximum job…

Data Structures and Algorithms · Computer Science 2015-10-30 Kameng Nip , Zhenbo Wang , Zizhuo Wang

We consider the routing flow shop problem with two machines on an asymmetric network. For this problem we discuss properties of an optimal schedule and present a polynomial time algorithm assuming the number of nodes of the network to be…

Discrete Mathematics · Computer Science 2020-05-14 Ilya Chernykh , Alexander Kononov , Sergey Sevastyanov

We settle the equivalence between the problem of hitting a polyhedral set by the orbit of a linear map and the intersection of a regular language and a language of permutations of binary words (the permutation filter realizability problem).…

Formal Languages and Automata Theory · Computer Science 2010-12-07 S. Tarasov , M. Vyalyi

Solution and analysis of mathematical programming problems may be simplified when these problems are symmetric under appropriate linear transformations. In particular, a knowledge of the symmetries may help reduce the problem dimension, cut…

Optimization and Control · Mathematics 2020-10-13 A. V. Eremeev , A. S. Yurkov

In this paper we introduce a polynomial time algorithm that solves both the conjugacy decision and search problems in free abelian-by-infinite cyclic groups where the input is elements in normal form. We do this by adapting the work of…

Group Theory · Mathematics 2014-10-21 Bren Cavallo , Delaram Kahrobaei

We show that the problem to decide whether two (convex) polytopes, given by their vertex-facet incidences, are combinatorially isomorphic is graph isomorphism complete, even for simple or simplicial polytopes. On the other hand, we give a…

Combinatorics · Mathematics 2007-05-23 Volker Kaibel , Alexander Schwartz

Let $G$ be a finite solvable group, given through a refined consistent polycyclic presentation, and $\alpha$ an automorphism of $G$, given through its images of the generators of $G$. In this paper, we discuss algorithms for computing the…

Group Theory · Mathematics 2019-11-11 Alexander Bors

It is known that a graph isomorphism testing algorithm is polynomially equivalent to a detecting of a graph non-trivial automorphism algorithm. The polynomiality of the latter algorithm, is obtained by consideration of symmetry properties…

General Mathematics · Mathematics 2007-05-23 Aleksandr Golubchik

For a given set of intervals on the real line, we consider the problem of ordering the intervals with the goal of minimizing an objective function that depends on the exposed interval pieces (that is, the pieces that are not covered by…

Data Structures and Algorithms · Computer Science 2011-12-05 Christoph Dürr , Maurice Queyranne , Frits C. R. Spieksma , Fabrice Talla Nobibon , Gerhard J. Woeginger

We present an algorithm to solve a system of diagonal polynomial equations over finite fields when the number of variables is greater than some fixed polynomial of the number of equations whose degree depends only on the degree of the…

Computational Complexity · Computer Science 2016-06-09 Gabor Ivanyos , Miklos Santha

Symmetries occur naturally in CSP or SAT problems and are not very difficult to discover, but using them to prune the search space tends to be very challenging. Indeed, this usually requires finding specific elements in a group of…

Artificial Intelligence · Computer Science 2011-07-25 Thierry Boy de la Tour , Mnacho Echenim

We consider quantum algorithms for the unique sink orientation problem on cubes. This problem is widely considered to be of intermediate computational complexity. This is because there no known polynomial algorithm (classical or quantum)…

Quantum Physics · Physics 2017-07-19 Dave Bacon

In this paper, we prove results on the relationship between the complexity of the group and color isomorphism problems. The difficulty of color isomorphism problems is known to be closely linked to the the composition factors of the…

Computational Complexity · Computer Science 2016-09-28 François Le Gall , David J. Rosenbaum

We present a polynomial-time quantum algorithm for the Hidden Subgroup Problem over $\mathbb{D}_{2^n}$. The usual approach to the Hidden Subgroup Problem relies on harmonic analysis in the domain of the problem, and the best known algorithm…

Quantum Physics · Physics 2022-02-24 Matthew Moore , Grace Young

In this paper, an exact algorithm in polynomial time is developed to solve unrestricted binary quadratic programs. The computational complexity is $O\left( n^{\frac{15}{2}}\right) $, although very conservative, it is sufficient to prove…

Data Structures and Algorithms · Computer Science 2021-02-02 Juan Ignacio Mulero-Martínez

It is unknown whether two graphs can be tested for isomorphism in polynomial time. A classical approach to the Graph Isomorphism Problem is the d-dimensional Weisfeiler-Lehman algorithm. The d-dimensional WL-algorithm can distinguish many…

Combinatorics · Mathematics 2010-12-10 Harm Derksen