Relativistic Computers and Non-Uniform Complexity Theory.

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F02%3A06020158" target="_blank" >RIV/67985807:_____/02:06020158 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
Relativistic Computers and Non-Uniform Complexity Theory.
Popis výsledku v původním jazyce
Recent research in theoretical physics on 'Malament-Hogarth space-times' indicates that so-called relativistic computers can be conceived that can carry out certain classically undecidable queries in finite time. We observe that the relativistic Turing machines which model these computations recognize precisely the delta_2 sets of the Arithmetical Hierarchy. We also show further results concerning the complexity - theoretical analysis of relativistic computations.
Název v anglickém jazyce
Relativistic Computers and Non-Uniform Complexity Theory.
Popis výsledku anglicky
Recent research in theoretical physics on 'Malament-Hogarth space-times' indicates that so-called relativistic computers can be conceived that can carry out certain classically undecidable queries in finite time. We observe that the relativistic Turing machines which model these computations recognize precisely the delta_2 sets of the Arithmetical Hierarchy. We also show further results concerning the complexity - theoretical analysis of relativistic computations.

Projekt
<a href="/cs/project/GA201%2F02%2F1456" target="_blank" >GA201/02/1456: Specializované výpočetní modely v současné informatice</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění
2002
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Podobné výsledky(10)