Results 1 
7 of
7
Towards applying computational complexity to foundations of physics
 Notes of Mathematical Seminars of St. Petersburg Department of Steklov Institute of Mathematics
, 2004
"... In one of his early papers, D. Grigoriev analyzed the decidability and computational complexity of different physical theories. This analysis was motivated by the hope that this analysis would help physicists. In this paper, we survey several similar ideas that may be of help to physicists. We hope ..."
Abstract

Cited by 17 (16 self)
 Add to MetaCart
In one of his early papers, D. Grigoriev analyzed the decidability and computational complexity of different physical theories. This analysis was motivated by the hope that this analysis would help physicists. In this paper, we survey several similar ideas that may be of help to physicists. We hope that further research may lead to useful physical applications. 1
In Some Curved Spaces, One Can Solve NPHard Problems in Polynomial Time
"... In the late 1970s and the early 1980s, Yuri Matiyasevich actively used his knowledge of engineering and physical phenomena to come up with parallelized schemes for solving NPhard problems in polynomial time. In this paper, we describe one such scheme in which we use parallel computation in curved s ..."
Abstract

Cited by 6 (6 self)
 Add to MetaCart
In the late 1970s and the early 1980s, Yuri Matiyasevich actively used his knowledge of engineering and physical phenomena to come up with parallelized schemes for solving NPhard problems in polynomial time. In this paper, we describe one such scheme in which we use parallel computation in curved spaces. 1 Introduction and Formulation of the Problem Many practical problems are NPhard. It is well known that many important practical problems are NPhard; see, e.g., [11, 14, 27]. Under the usual hypothesis that P̸=NP, NPhardness has the following intuitive meaning: every algorithm which solves all instances of the corresponding problem requires, for
Fast Quantum Algorithms for Handling Probabilistic and Interval Uncertainty
, 2003
"... this paper, we show how the use of quantum computing can speed up some computations related to interval and probabilistic uncertainty. We end the paper with speculations on whether (and how) "hypothetic" physical devices can compute NPhard problems faster than in exponential time ..."
Abstract

Cited by 6 (6 self)
 Add to MetaCart
this paper, we show how the use of quantum computing can speed up some computations related to interval and probabilistic uncertainty. We end the paper with speculations on whether (and how) "hypothetic" physical devices can compute NPhard problems faster than in exponential time
The Tiling of the Hyperbolic 4D Space by the 120cell is Combinatoric
 Journal of Universal Computer Science
"... Abstract: The splitting method was defined by the author in [Margenstern 2002a, Margenstern 2002d]. It is at the basis of the notion of combinatoric tilings. As a consequence of this notion, there is a recurrence sequence which allows us to compute the number of tiles which are at a fixed distance f ..."
Abstract

Cited by 5 (5 self)
 Add to MetaCart
Abstract: The splitting method was defined by the author in [Margenstern 2002a, Margenstern 2002d]. It is at the basis of the notion of combinatoric tilings. As a consequence of this notion, there is a recurrence sequence which allows us to compute the number of tiles which are at a fixed distance from a given tile. A polynomial is attached to the sequence as well as a language which can be used for implementing cellular automata on the tiling. The goal of this paper is to prove that the tiling of hyperbolic 4D space is combinatoric. We give here the corresponding polynomial and, as the first consequence, the language of the splitting is not regular, as it is the case in the tiling of hyperbolic 3D space by rectangular dodecahedra which is also combinatoric. 1 Key Words: cellular automata, hyperbolic plane
In Some Curved Spaces, We Can Solve NPHard Problems in Polynomial Time: Towards Matiyasevich’s Dream
"... In late 1970s and early 1980s, Yuri Matiyasevich actively used his knowledge of engineering and physical phenomena to come up with parallelized schemes for solving NPhard problems in polynomial time. In this paper, we describe one such scheme in which we use parallel computation in curved spaces. 1 ..."
Abstract
 Add to MetaCart
In late 1970s and early 1980s, Yuri Matiyasevich actively used his knowledge of engineering and physical phenomena to come up with parallelized schemes for solving NPhard problems in polynomial time. In this paper, we describe one such scheme in which we use parallel computation in curved spaces. 1 Introduction and Formulation of the Problem Many practical problems are NPhard. It is well known that many important practical problems are NPhard; see, e.g., [7, 9, 22]. Under the usual hypothesis that P̸=NP, NPhardness has the following intuitive meaning: every algorithm which solves all the instances of the corresponding problem requires,
Internal Examiner: Dr. James Power
"... My supervisor Damien Woods deserves a special thank you. His help and guidance went far beyond the role of supervisor. He was always enthusiastic, and generous with his time. This work would not have happened without him. I would also like to thank my supervisor Paul Gibson for his advice and suppor ..."
Abstract
 Add to MetaCart
My supervisor Damien Woods deserves a special thank you. His help and guidance went far beyond the role of supervisor. He was always enthusiastic, and generous with his time. This work would not have happened without him. I would also like to thank my supervisor Paul Gibson for his advice and support. Thanks to the staff and postgraduates in the computer science department at NUI Maynooth for their support and friendship over the last few years. In particular, I would like to mention Niall Murphy he has always been ready to help whenever he could and would often lighten the mood in dark times with some rousing Gilbert and Sullivan. I thank the following people for their interesting discussions and/or advice:
A weakly universal cellular automaton in the hyperbolic 3D space with three states
"... In this paper, we significantly improve a previous result by the same author showing the existence of a weakly universal cellular automaton with five states living in the hyperbolic 3Dspace. Here, we get such a cellular automaton with three states only. ..."
Abstract
 Add to MetaCart
In this paper, we significantly improve a previous result by the same author showing the existence of a weakly universal cellular automaton with five states living in the hyperbolic 3Dspace. Here, we get such a cellular automaton with three states only.