Parallel complexity theory
Optical computing: a survey for computer scientists
Optical computing: a survey for computer scientists
Optical computer architectures: the application of optical concepts to next generation computers
Optical computer architectures: the application of optical concepts to next generation computers
Machine models and simulations
Handbook of theoretical computer science (vol. A)
Optical signal processing
Limits to parallel computation: P-completeness theory
Limits to parallel computation: P-completeness theory
A universal interconnection pattern for parallel computers
Journal of the ACM (JACM)
Computable analysis: an introduction
Computable analysis: an introduction
Design Issues in Optical Processing
Design Issues in Optical Processing
Introduction to Optical Computing
Introduction to Optical Computing
On the Computational Power of a Continuous-Space Optical Model of Computation
MCU '01 Proceedings of the Third International Conference on Machines, Computations, and Universality
A characterization of the power of vector machines
STOC '74 Proceedings of the sixth annual ACM symposium on Theory of computing
Synchronous parallel computation.
Synchronous parallel computation.
An optical model of computation
Theoretical Computer Science
SFCS '76 Proceedings of the 17th Annual Symposium on Foundations of Computer Science
A characterization of the power of vector machines
Journal of Computer and System Sciences
Lower bounds on the computational power of an optical model of computation
UC'05 Proceedings of the 4th international conference on Unconventional Computation
Upper bounds on the computational power of an optical model of computation
ISAAC'05 Proceedings of the 16th international conference on Algorithms and Computation
Complexity of continuous space machine operations
CiE'05 Proceedings of the First international conference on Computability in Europe: new Computational Paradigms
Parallel and Sequential Optical Computing
OSC '08 Proceedings of the 1st international workshop on Optical SuperComputing
Optical Designs for Non-deterministic Turing Machines
OSC '09 Proceedings of the 2nd International Workshop on Optical SuperComputing
Nanotechnology based optical solution for NP-hard problems
OSC'10 Proceedings of the Third international conference on Optical supercomputing
Hi-index | 0.00 |
This work concerns the computational complexity of a model of computation that is inspired by optical computers. The model is called the continuous space machine and operates in discrete timesteps over a number of two-dimensional images of fixed size and arbitrary spatial resolution. The (constant time) operations on images include Fourier transformation, multiplication, addition, thresholding, copying and scaling. We survey some of the work to date on the continuous space machine. This includes a characterisation of the power of an important discrete restriction of the model. Parallel time corresponds, within a polynomial, to sequential space on Turing machines, thus satisfying the parallel computation thesis. A characterisation of the complexity class NC in terms of the model is also given. Thus the model has computational power that is (polynomially) equivalent to that of many well-known parallel models. Such characterisations give a method to translate parallel algorithms to optical algorithms and facilitate the application of the complexity theory toolbox to optical computers. In the present work we improve on these results. Specifically we tighten a lower bound and present some new resource trade-offs.