Applying practice to theory
R Williams - ACM SIGACT News, 2008 - dl.acm.org
How can complexity theory and algorithms benefit from practical advances in computing?
We give an overview of some prior work using practical computing to attack problems in …
We give an overview of some prior work using practical computing to attack problems in …
Formal language characterizations of P, NP, and PSPACE
B Borchert - Journal of Automata, Languages and Combinatorics, 2008 - dl.acm.org
Based on the notions of locality and recognizability for n-dimensional languages n-
dimensionally colourable 1-dimensional languages are introduced. It is shown: A language …
dimensionally colourable 1-dimensional languages are introduced. It is shown: A language …
[PDF][PDF] Space hierarchy results for randomized models
J Kinne, D Van Melkebeek - 25th International Symposium on …, 2008 - drops.dagstuhl.de
We prove space hierarchy and separation results for randomized and other semantic
models of computation with advice. Previous works on hierarchy and separation theorems …
models of computation with advice. Previous works on hierarchy and separation theorems …
A recursive padding technique on nondeterministic cellular automata
We present a tight time-hierarchy theorem for nondeterministic cellular automata by using a
recursive padding argument. It is shown that, if t 2 (n) is a time-constructible function and t 2 …
recursive padding argument. It is shown that, if t 2 (n) is a time-constructible function and t 2 …
Иерархии по времени для алгоритмов с одним битом подсказки
КВ Первышев - Вестник Санкт-Петербургского университета …, 2008 - cyberleninka.ru
Иерархии по времени для алгоритмов с одним битом подсказки – тема научной статьи
по математике читайте бесплатно текст научно-исследовательской работы в …
по математике читайте бесплатно текст научно-исследовательской работы в …
Иерархии по времени с неравномерной подсказкой для криптографического обращения функций
ЭА Гирш, ДЮ Григорьев, КВ Первышев - Записки научных семинаров …, 2008 - mathnet.ru
Один из наиболее важных вопросов криптографии-сложность обращения функций:
цифровые подписи и криптосистемы (даже с секретным ключом) имеют право на …
цифровые подписи и криптосистемы (даже с секретным ключом) имеют право на …
[引用][C] Expressibility of higher-order logics on relational databases: proper hierarchies: a dissertation presented in partial fulfillment of the requirements for the degree …
FA Ferrarotti - 2008 - Massey University