Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

Generalized Model-Checking over Locally Tree-Decomposable Classes

Markus FrickContact Information

(6)  Laboratory for Foundations of Computer Science Division of Informatics, University of Edinburgh, Edinburgh
Abstract
It has been proved in [12]that properties of graphs or other relational structures that are definable in first-order logic can be decided in linear time when the input structures are restricted to come from a locally tree-decomposable class of structures. Examples of such classes are the class of planar graphs or classes of graphs of bounded degree. In this paper, we consider more general computational problems than decision problems. We prove that construction, listing, and counting problems definable in first-order logic can be solved in linear time on locally tree-decomposable classes of structures.

Contact Information Markus Frick
Email: mfrick@dcs.ed.ac.uk
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.109 • Server: mpweb01
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)