English
Related papers

Related papers: Constructing Depth-Optimum Circuits for Adders and…

200 papers

We give an algorithm that computes exact maximum flows and minimum-cost flows on directed graphs with $m$ edges and polynomially bounded integral demands, costs, and capacities in $m^{1+o(1)}$ time. Our algorithm builds the flow through a…

Data Structures and Algorithms · Computer Science 2022-04-26 Li Chen , Rasmus Kyng , Yang P. Liu , Richard Peng , Maximilian Probst Gutenberg , Sushant Sachdeva

We study the 2-Disjoint Shortest Paths (2-DSP) problem: given a directed weighted graph and two terminal pairs $(s_1,t_1)$ and $(s_2,t_2)$, decide whether there exist vertex-disjoint shortest paths between each pair. Building on recent…

Data Structures and Algorithms · Computer Science 2025-10-09 Keerti Choudhary , Amit Kumar , Lakshay Saggi

We consider the ``minimum degree spanning tree'' problem. As input, we receive an undirected, connected graph $G=(V, E)$ with $n$ nodes and $m$ edges, and our task is to find a spanning tree $T$ of $G$ that minimizes $\max_{u \in V}…

Data Structures and Algorithms · Computer Science 2026-03-02 Sayan Bhattacharya , Ermiya Farokhnejad , Haoze Wang

In millimeter-wave channels, most of the received energy is carried by a few paths. Traditional precoders sweep the angle-of-departure (AoD) and angle-of-arrival (AoA) space with directional precoders to identify directions with largest…

Information Theory · Computer Science 2018-11-14 Nil Garcia , Henk Wymeersch , Dirk Slock

We optimize the area and latency of Shor's factoring while simultaneously improving fault tolerance through: (1) balancing the use of ancilla generators, (2) aggressive optimization of error correction, and (3) tuning the core adder…

Quantum Physics · Physics 2009-09-14 Mark G. Whitney , Nemanja Isailovic , Yatish Patel , John Kubiatowicz

We show that Inner Product in $2n$ variables, $\mathbf{IP}_n(x, y) = x_1y_1 \oplus \ldots \oplus x_ny_n$, can be computed by depth-3 bottom fan-in 2 circuits of size $\mathsf{poly}(n)\cdot (9/5)^n$, matching the lower bound of G\"o\"os,…

Computational Complexity · Computer Science 2026-02-13 Mohit Gurumukhani , Daniel Kleber , Ramamohan Paturi , Christopher Rosin , Navid Talebanfard

Finding a maximum or minimum is a fundamental building block in many mathematical models. Compared with classical algorithms, Durr, Hoyer's quantum algorithm (DHA) achieves quadratic speed. However, its key step, the quantum exponential…

Quantum Physics · Physics 2019-08-22 Yanhu Chen , Shijie Wei , Xiong Gao , Cen Wang , Jian Wu , Hongxiang Guo

This paper proposes earliest and latest path algorithms based on binary weight allocation, assigning weights of 2(i-1) and 2(m-i) to the i-th arc in a network. While traditional shortest path algorithms optimize only distance, our approach…

Combinatorics · Mathematics 2025-04-08 Wei-Chang Yeh

We study how the complexity of modular circuits computing AND depends on the depth of the circuits and the prime factorization of the modulus they use. In particular our construction of subexponential circuits of depth 2 for AND helps us to…

Computational Complexity · Computer Science 2021-06-08 Paweł M. Idziak , Piotr Kawałek , Jacek Krzaczkowski

We consider the problem of augmenting an n-vertex graph embedded in a metric space, by inserting one additional edge in order to minimize the diameter of the resulting graph. We present exact algorithms for the cases when (i) the input…

Computational Geometry · Computer Science 2016-07-20 Ulrike Große , Joachim Gudmundsson , Christian Knauer , Michiel Smid , Fabian Stehn

We revisit the problem of privately releasing the all-pairs shortest path distances of a weighted undirected graph up to low additive error, which was first studied by Sealfon [Sea16]. In this paper, we improve significantly on Sealfon's…

Data Structures and Algorithms · Computer Science 2022-04-06 Justin Y. Chen , Shyam Narayanan , Yinzhan Xu

We improve the number of T gates needed to perform an n-bit adder from 8n + O(1) to 4n + O(1). We do so via a "temporary logical-AND" construction which uses four T gates to store the logical-AND of two qubits into an ancilla and zero T…

Quantum Physics · Physics 2018-06-21 Craig Gidney

We present a novel and efficient in terms of circuit depth design for Shor's quantum factorization algorithm. The circuit effectively utilizes a diverse set of adders based on the quantum Fourier transform (QFT) Draper's adders to build…

Quantum Physics · Physics 2013-11-05 Archimedes Pavlidis , Dimitris Gizopoulos

We design two incremental algorithms for computing an inclusion-minimal completion of an arbitrary graph into a cograph. The first one is able to do so while providing an additional property which is crucial in practice to obtain…

Data Structures and Algorithms · Computer Science 2020-01-23 Christophe Crespelle , Daniel Lokshtanov , Thi Ha Duong Phan , Eric Thierry

We design efficient deterministic algorithms for finding short edge-disjoint paths in expanders. Specifically, given an $n$-vertex $m$-edge expander $G$ of conductance $\phi$ and minimum degree $\delta$, and a set of pairs $\{(s_i,t_i)\}_i$…

Data Structures and Algorithms · Computer Science 2025-11-05 Matija Bucić , Zhongtian He , Shang-En Huang , Thatchaphol Saranurak

In Carry Propagate Adders, carry propagation is the critical delay. For the 1-digit adders that they use, the most efficient scheme is to generate two intermediate carries: C$_{out0}$ ($C_{in}$=0) and $C_{out1}$($C_{in}$=1). Then multiplex…

Hardware Architecture · Computer Science 2022-07-05 Daniel Etiemble

In the pairwise weighted spanner problem, the input consists of an $n$-vertex-directed graph, where each edge is assigned a cost and a length. Given $k$ vertex pairs and a distance constraint for each pair, the goal is to find a…

Data Structures and Algorithms · Computer Science 2023-07-10 Elena Grigorescu , Nithish Kumar , Young-San Lin

We present an $\tilde{O}\left(m^{\frac{10}{7}}U^{\frac{1}{7}}\right)$-time algorithm for the maximum $s$-$t$ flow problem and the minimum $s$-$t$ cut problem in directed graphs with $m$ arcs and largest integer capacity $U$. This matches…

Data Structures and Algorithms · Computer Science 2016-08-23 Aleksander Madry

Computing shortest paths is one of the central problems in the theory of distributed computing. For the last few years, substantial progress has been made on the approximate single source shortest paths problem, culminating in an algorithm…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-04-13 Mohsen Ghaffari , Jason Li

We present two on-line algorithms for maintaining a topological order of a directed $n$-vertex acyclic graph as arcs are added, and detecting a cycle when one is created. Our first algorithm handles $m$ arc additions in $O(m^{3/2})$ time.…

Data Structures and Algorithms · Computer Science 2011-05-13 Bernhard Haeupler , Telikepalli Kavitha , Rogers Mathew , Siddhartha Sen , Robert Endre Tarjan