|
Nyíregyházi Egyetem Tudományos Elektronikus Adattár >
Természettudományi és Informatikai Kar >
Matematika és Informatika Intézet >
Matematika Intézet - Konferenciacikkek >
Ezzel az azonosítóval hivatkozhat erre a dokumentumra forrásmegjelölésben vagy hiperhivatkozás esetén:
https://tea.nye.hu/handle/123456789/63
|
| Besorolás: | Paper of lecture or poster |
| Jelleg: | Scientific |
| Szerzők: | Vályi, Sándor
Nagy, Benedek |
| Cím: | Solving a PSPACE-problem by a linear interval-valued computation |
| Utolsó oldal : | 225 |
| A könyv szerkesztője: | Beckmann, Arnold
Berger, Ulrich
Löwe, Benedikt
Tucker, John V. |
| Könyv címe: | Logical Approaches to Computational Barriers |
| Könyv alcíme: | Report # CSR 7-2006 |
| Kiadó : | University of Wales Swansea |
| Kiadás helye: | Swansea |
| Megjelenés éve /(ideje): | 2006 |
| Oldalszám: | 10 |
| ISBN: | 0-86076-189-4 |
| Konferencia címe: | Second Conference on Computability in Europe, 2006 |
| Ország: | Great Britain |
| Város: | Swansea |
| Konferencia típusa: | International |
| Konferencia kezdete: | 30-jún-2006 |
| Konferencia vége: | 5-júl-2006 |
| Nyelv: | en |
| URI : | http://hdl.handle.net/123456789/63 |
| Kulcsszavak: | massively parallel computing
interval-valued computing |
| Absztrakt: | We continue investigation of interval-valued computing based on
\cite{NB1} where computation is executed on interval-valued bytes
which are bits indexed by the interval [0,1] rather than by a
finite set. This device was presented there as a new possible
model of analogue computers. Also the question was posed in
\cite{NB1}, which complexity is needed to solve PSPACE-complete
problems in this paradigm. We answer this question. Namely, we
show that the problem of validity of quantified propositional
formulae is decidable by a linear interval-valued computation. |
| Ebben a gyűjteményben: | Matematika Intézet - Konferenciacikkek
|
Minden dokumentum, ami a TEA rendszerben szerepel, szerzői jogokkal védett. Minden jog fenntartva!
|
