City University of Hong Kong

CityU Institutional Repository >
3_CityU Electronic Theses and Dissertations >
ETD - Dept. of Mathematics  >
MA - Doctor of Philosophy  >

Please use this identifier to cite or link to this item:

Title: Completeness results and syntactic characterizations of complexity classes over arbitrary structures
Other Titles: Completeness results and syntactic characterizations of complexity classes over arbitrary structures
Zai ren yi jie gou shang de fu za xing de wan quan xing jie guo ji yu yi ke hua
Authors: Naurois, Paulin Jacobe de
Department: Dept. of Mathematics
Degree: Doctor of Philosophy
Issue Date: 2005
Publisher: City University of Hong Kong
Subjects: Computational complexity
Computer algorithms
Notes: CityU Call Number: QA267.7.N38 2005
Includes bibliographical references (leaves 123-132)
Thesis (Ph.D.)--City University of Hong Kong, 2005
vii, 132 leaves : ill. ; 30 cm.
Type: Thesis
Abstract: We focus on the BBS model of computation over arbitrary structures. We provide new completeness results for geometrical problems when this structure is the set of real numbers with addition and order. We also provide several machine independent characterizations of complexity classes over arbitrary structures. We extend some results by Gradel, Gurevich and Meer in descriptive complexity, characterizing deterministic and non deterministic pol-nomial time decision problems in terms of logics over metafinite structures. We extend some results by Bellantoni and Cook, characterizing functions computable in sequential deterministic polynomial time, and by Leivant and Marion, characterizing functions computable in provide some characterizations of functions computable within the polynomial hierarchy and in polynomial alternating time. Keywords : BSS model of computation, algebraic complexity, descriptive complexity, implicate complexity, logic algebra of recursive functions.
Online Catalog Link:
Appears in Collections:MA - Doctor of Philosophy

Files in This Item:

File Description SizeFormat
fulltext.html157 BHTMLView/Open
abstract.html157 BHTMLView/Open

Items in CityU IR are protected by copyright, with all rights reserved, unless otherwise indicated.


Valid XHTML 1.0!
DSpace Software © 2013 CityU Library - Send feedback to Library Systems
Privacy Policy · Copyright · Disclaimer