scholarly journals Amortized analysis of smooth quadtrees in all dimensions

2017 ◽  
Vol 63 ◽  
pp. 20-39 ◽  
Author(s):  
Huck Bennett ◽  
Chee Yap
Keyword(s):  
1992 ◽  
Vol 32 (4) ◽  
pp. 546-558 ◽  
Author(s):  
Tung-Shou Chen ◽  
Wei-Pang Yang ◽  
R. C. T. Lee

10.29007/d7t4 ◽  
2018 ◽  
Author(s):  
Sabine Bauer ◽  
Martin Hofmann

We present new results on a constraint satisfaction problem arising from the inference of resource types in automatic amortized analysis for object-oriented programs by Rodriguez and Hofmann.These constraints are essentially linear inequalities between infinite lists of nonnegative rational numbers which are added and compared pointwise. We study the question of satisfiability of a system of such constraints in two variants with significantly different complexity. We show that in its general form (which is the original formulation presented by Hofmann and Rodriguez at LPAR 2012) this satisfiability problem is hard for the famous Skolem-Mahler-Lech problem whose decidability status is still open but which is at least NP-hard. We then identify a subcase of the problem that still covers all instances arising from type inference in the aforementioned amortized analysis and show decidability of satisfiability in polynomial time by a reduction to linear programming. We further give a classification of the growth rates of satisfiable systems in this format and are now able to draw conclusions about resource bounds for programs that involve lists and also arbitrary data structures if we make the additional restriction that their resource annotations are generated by an infinite list (rather than an infinite tree as in the most general case). Decidability of the tree case which was also part of the original formulation by Hofmann and Rodriguez still remains an open problem.


2015 ◽  
Vol 15 (11&12) ◽  
pp. 962-986
Author(s):  
Matthew B. Hastings ◽  
A. Geller

We propose two distinct methods of improving quantum computing protocols based on surface codes. First, we analyze the use of dislocations instead of holes to produce logical qubits, potentially reducing spacetime volume required. Dislocations\cite{dis2,dis} induce defects which, in many respects, behave like Majorana quasi-particles. We construct circuits to implement these codes and present fault-tolerant measurement methods for these and other defects which may reduce spatial overhead. One advantage of these codes is that Hadamard gates take exactly $0$ time to implement. We numerically study the performance of these codes using a minimum weight and a greedy decoder using finite-size scaling. Second, we consider state injection of arbitrary ancillas to produce arbitrary rotations. This avoids the logarithmic (in precision) overhead in online cost required if $T$ gates are used to synthesize arbitrary rotations. While this has been considered before\cite{ancilla}, we consider also the parallel performance of this protocol. Arbitrary ancilla injection leads to a probabilistic protocol in which there is a constant chance of success on each round; we use an amortized analysis to show that even in a parallel setting this leads to only a constant factor slowdown as opposed to the logarithmic slowdown that might be expected naively.


2000 ◽  
Vol 31 (3) ◽  
pp. 86-95 ◽  
Author(s):  
Gregory C. Harfst ◽  
Edward M. Reingold

1986 ◽  
Vol 15 (1) ◽  
pp. 22-33 ◽  
Author(s):  
Kurt Mehlhorn ◽  
Athanasios Tsakalidis
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document