scholarly journals Quantum and Classical Strong Direct Product Theorems and Optimal Time‐Space Tradeoffs

2007 ◽  
Vol 36 (5) ◽  
pp. 1472-1493 ◽  
Author(s):  
Hartmut Klauck ◽  
Robert Špalek ◽  
Ronald de Wolf
Algorithmica ◽  
2007 ◽  
Vol 55 (3) ◽  
pp. 422-461 ◽  
Author(s):  
Andris Ambainis ◽  
Robert Špalek ◽  
Ronald de Wolf

Author(s):  
Russell Impagliazzo ◽  
Ragesh Jaiswal ◽  
Valentine Kabanets

1998 ◽  
Vol 5 (10) ◽  
Author(s):  
Jakob Pagter ◽  
Theis Rauhe

We study the fundamental problem of sorting in a sequential model of computation and in particular consider the time-space trade-off (product of time and space) for this problem.<br />Beame has shown a lower bound of  Omega(n^2) for this product leaving a gap of a logarithmic factor up to the previously best known upper bound of O(n^2 log n) due to Frederickson. Since then, no progress has been made towards tightening this gap.<br />The main contribution of this paper is a comparison based sorting algorithm which closes this gap by meeting the lower bound of Beame. The time-space product O(n^2) upper bound holds for the full range of space bounds between log n and n/log n. Hence in this range our algorithm is optimal for comparison based models as well as for the very powerful general models considered by Beame.


Geophysics ◽  
2015 ◽  
Vol 80 (1) ◽  
pp. T17-T40 ◽  
Author(s):  
Zhiming Ren ◽  
Yang Liu

Staggered-grid finite-difference (SFD) methods are widely used in modeling seismic-wave propagation, and the coefficients of finite-difference (FD) operators can be estimated by minimizing dispersion errors using Taylor-series expansion (TE) or optimization. We developed novel optimal time-space-domain SFD schemes for acoustic- and elastic-wave-equation modeling. In our schemes, a fourth-order multiextreme value objective function with respect to FD coefficients was involved. To yield the globally optimal solution with low computational cost, we first used variable substitution to turn our optimization problem into a quadratic convex one and then used least-squares (LS) to derive the optimal SFD coefficients by minimizing the relative error of time-space-domain dispersion relations over a given frequency range. To ensure the robustness of our schemes, a constraint condition was imposed that the dispersion error at each frequency point did not exceed a given threshold. Moreover, the hybrid absorbing boundary condition was applied to remove artificial boundary reflections. We compared our optimal SFD with the conventional, TE-based time-space-domain, and LS-based SFD schemes. Dispersion analysis and numerical simulation results suggested that the new SFD schemes had a smaller numerical dispersion than the other three schemes when the same operator lengths were adopted. In addition, our LS-based time-space-domain SFD can obtain the same modeling accuracy with shorter spatial operator lengths. We also derived the stability condition of our schemes. The experiment results revealed that our new LS-based SFD schemes needed a slightly stricter stability condition.


1994 ◽  
Vol 23 (5) ◽  
pp. 966-975 ◽  
Author(s):  
Andrew Chi-Chih Yao
Keyword(s):  

2008 ◽  
Vol 22 (1) ◽  
pp. 75-92 ◽  
Author(s):  
Russell Impagliazzo ◽  
Ragesh Jaiswal ◽  
Valentine Kabanets

Sign in / Sign up

Export Citation Format

Share Document