English
Related papers

Related papers: Quantum Algorithms for Tree Isomorphism and State …

200 papers

Phylogenetic trees canonically arise as embeddings of phylogenetic networks. We recently showed that the problem of deciding if two phylogenetic networks embed the same sets of phylogenetic trees is computationally hard, \blue{in…

Combinatorics · Mathematics 2021-04-13 Janosch Doecker , Simone Linz , Charles Semple

We show that the number of $k$-matching in a given undirected graph $G$ is equal to the number of perfect matching of the corresponding graph $G_k$ on an even number of vertices divided by a suitable factor. If $G$ is bipartite then one can…

Computational Complexity · Computer Science 2016-08-31 Shmuel Friedland , Daniel Levy

One of the important features of an interconnection network is its ability to efficiently simulate programs or parallel algorithms written for other architectures. Such a simulation problem can be mathematically formulated as a graph…

Combinatorics · Mathematics 2019-11-19 A. Arul Shantrinal , R. Sundara Rajan , A. Ramesh Babu , S. Anil , Mohammed Ali Ahmed

The Aho, Hopcroft and Ullman (AHU) algorithm has been the state of the art since the 1970s for determining in linear time whether two unordered rooted trees are isomorphic or not. However, it has been criticized (by Campbell and Radford)…

Data Structures and Algorithms · Computer Science 2024-02-13 Florian Ingels

In a graph, a perfect matching cut is an edge cut that is a perfect matching. Perfect Matching Cut (PMC) is the problem of deciding whether a given graph has a perfect matching cut, and is known to be NP-complete. We revisit the problem and…

Discrete Mathematics · Computer Science 2021-07-15 Van Bang Le , Jan Arne Telle

I introduce a new type of continuous-time quantum walk on graphs called the quantum snake walk, the basis states of which are fixed-length paths (snakes) in the underlying graph. First I analyze the quantum snake walk on the line, and I…

Quantum Physics · Physics 2013-05-29 Ansis Rosmanis

It's important to design polynomial time algorithms to test if two graphs are isomorphic at least for some special classes of graphs. An approach to this was presented by Eugene M. Luks(1981) in the work \textit{Isomorphism of Graphs of…

Discrete Mathematics · Computer Science 2012-09-06 Adria Alcala Mena

The computational cost of exact methods for quantum simulation using classical computers grows exponentially with system size. As a consequence, these techniques can only be applied to small systems. By contrast, we demonstrate that quantum…

Quantum Physics · Physics 2008-12-17 Ivan Kassal , Stephen P. Jordan , Peter J. Love , Masoud Mohseni , Alán Aspuru-Guzik

The complexity class NP of decision problems that can be solved nondeterministically in polynomial time is of great theoretical and practical importance where the notion of polynomial-time reductions between NP-problems is a key concept for…

Computational Complexity · Computer Science 2022-12-23 Hans-Jörg Kreowski , Sabine Kuske , Aaron Lye , Aljoscha Windhorst

Graph coloring is a computationally difficult problem, and currently the best known classical algorithm for $k$-coloring of graphs on $n$ vertices has runtimes $\Omega(2^n)$ for $k\ge 5$. The list coloring problem asks the following more…

Quantum Physics · Physics 2022-03-04 Sayan Mukherjee

We introduce the Hidden Polynomial Function Graph Problem as a natural generalization of an abelian Hidden Subgroup Problem (HSP) where the subgroups and their cosets correspond to graphs of linear functions over the finite field F_p. For…

Quantum Physics · Physics 2007-05-23 Thomas Decker , Pawel Wocjan

The design of a good algorithm to solve NP-hard combinatorial approximation problems requires specific domain knowledge about the problems and often needs a trial-and-error problem solving approach. Graph coloring is one of the essential…

A graph $G$ is a $k$-leaf power if there exists a tree $T$ whose leaf set is $V(G)$, and such that $uv \in E(G)$ if and only if the distance between $u$ and $v$ in $T$ is at most $k$. The graph classes of $k$-leaf powers have several…

Data Structures and Algorithms · Computer Science 2021-11-01 Manuel Lafond

Consider the problem of determining whether there exists a spanning hypertree in a given k-uniform hypergraph. This problem is trivially in P for k=2, and is NP-complete for k>= 4, whereas for k=3, there exists a polynomial-time algorithm…

Computational Complexity · Computer Science 2008-12-19 Sergio Caracciolo , Gregor Masbaum , Alan D. Sokal , Andrea Sportiello

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

Traditional tree search algorithms supply a blueprint for modeling problem solving behaviour. A diverse spectrum of problems can be formulated in terms of tree search. Quantum computation, in particular Grover's algorithm, has aroused a…

Data Structures and Algorithms · Computer Science 2015-02-09 Luís Tarrataca , Andreas Wichert

Whenever graphs admit equitable partitions, their quotient graphs highlight the structure evidenced by the partition. It is therefore very natural to ask what can be said about two graphs that have the same quotient according to certain…

Combinatorics · Mathematics 2024-11-15 Frederico Cançado , Gabriel Coutinho

The Quantum Approximate Optimization Algorithm can be applied to search problems on graphs with a cost function that is a sum of terms corresponding to the edges. When conjugating an edge term, the QAOA unitary at depth p produces an…

Quantum Physics · Physics 2020-05-19 Edward Farhi , David Gamarnik , Sam Gutmann

We study homomorphism polynomials, which are polynomials that enumerate all homomorphisms from a pattern graph $H$ to $n$-vertex graphs. These polynomials have received a lot of attention recently for their crucial role in several new…

Computational Complexity · Computer Science 2020-11-17 Balagopal Komarath , Anurag Pandey , C. S. Rahul

We investigate the power of quantum computers when they are required to return an answer that is guaranteed correct after a time that is upper-bounded by a polynomial in the worst case. In an oracle setting, it is shown that such machines…

Quantum Physics · Physics 2007-05-23 Gilles Brassard , Peter Hoyer
‹ Prev 1 8 9 10 Next ›