Graph minors. V. Excluding a planar graph
Journal of Combinatorial Theory Series B
Machine models and simulations
Handbook of theoretical computer science (vol. A)
Graph rewriting: an algebraic and logic approach
Handbook of theoretical computer science (vol. B)
Handle-rewriting hypergraph grammars
Journal of Computer and System Sciences
Approximation algorithms for NP-complete problems on planar graphs
Journal of the ACM (JACM)
Distance-dependent distributed directories
Information and Computation
Graph minors. XIII: the disjoint paths problem
Journal of Combinatorial Theory Series B
Handbook of combinatorics (vol. 1)
A Linear-Time Algorithm for Finding Tree-Decompositions of Small Treewidth
SIAM Journal on Computing
On the complexity of database queries (extended abstract)
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Universality of data retrieval languages
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
Fixed-Parameter Tractability, Definability, and Model-Checking
SIAM Journal on Computing
Treewidth: Algorithmoc Techniques and Results
MFCS '97 Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science
Perspectives on database theory
FOCS '95 Proceedings of the 36th Annual Symposium on Foundations of Computer Science
The complexity of relational query languages (Extended Abstract)
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
Parameterized Complexity
Parameterized complexity for the database theorist
ACM SIGMOD Record
Equivalence of local treewidth and linear local treewidth and its algorithmic applications
SODA '04 Proceedings of the fifteenth annual ACM-SIAM symposium on Discrete algorithms
Approximation algorithms for classes of graphs excluding single-crossing graphs as minors
Journal of Computer and System Sciences
Weighted hypertree decompositions and optimal query plans
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On preservation under homomorphisms and unions of conjunctive queries
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Bidimensionality: new connections between FPT algorithms and PTASs
SODA '05 Proceedings of the sixteenth annual ACM-SIAM symposium on Discrete algorithms
SODA '05 Proceedings of the sixteenth annual ACM-SIAM symposium on Discrete algorithms
On preservation under homomorphisms and unions of conjunctive queries
Journal of the ACM (JACM)
On finding short resolution refutations and small unsatisfiable subsets
Theoretical Computer Science - Parameterized and exact computation
Polynomial time approximation schemes and parameterized complexity
Discrete Applied Mathematics
Quickly deciding minor-closed parameters in general graphs
European Journal of Combinatorics
Subgraph isomorphism, log-bounded fragmentation, and graphs of (locally) bounded treewidth
Journal of Computer and System Sciences
First-order queries on structures of bounded degree are computable with constant delay
ACM Transactions on Computational Logic (TOCL)
On the fixed-parameter tractability of parameterized model-checking problems
Information Processing Letters
Efficient First-Order Model-Checking Using Short Labels
FAW '08 Proceedings of the 2nd annual international workshop on Frontiers in Algorithmics
Parameterized Graph Editing with Chosen Vertex Degrees
COCOA 2008 Proceedings of the 2nd international conference on Combinatorial Optimization and Applications
Graph-Theoretic Concepts in Computer Science
Uniform Constraint Satisfaction Problems and Database Theory
Complexity of Constraints
Junction Tree Factored Particle Inference Algorithm for Multi-Agent Dynamic Influence Diagrams
FAW '09 Proceedings of the 3d International Workshop on Frontiers in Algorithmics
The Parameterized Complexity of k-Flip Local Search for SAT and MAX SAT
SAT '09 Proceedings of the 12th International Conference on Theory and Applications of Satisfiability Testing
Fixed-parameter algorithms for the (k, r)-center in planar graphs and map graphs
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
IWPEC'08 Proceedings of the 3rd international conference on Parameterized and exact computation
Parameterized complexity of the smallest degree-constrained subgraph problem
IWPEC'08 Proceedings of the 3rd international conference on Parameterized and exact computation
On the parameterised intractability of monadic second-order logic
CSL'09/EACSL'09 Proceedings of the 23rd CSL international conference and 18th EACSL Annual conference on Computer science logic
Homomorphism preservation on quasi-wide classes
Journal of Computer and System Sciences
The parameterized complexity of editing graphs for bounded degeneracy
Theoretical Computer Science
On brambles, grid-like minors, and parameterized intractability of monadic second-order logic
SODA '10 Proceedings of the twenty-first annual ACM-SIAM symposium on Discrete Algorithms
Algorithmic meta-theorems for restrictions of treewidth
ESA'10 Proceedings of the 18th annual European conference on Algorithms: Part I
Compact labelings for efficient first-order model-checking
Journal of Combinatorial Optimization
The parameterized complexity of local consistency
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
Dominating set is fixed parameter tractable in claw-free graphs
Theoretical Computer Science
Editing graphs to satisfy degree constraints: A parameterized approach
Journal of Computer and System Sciences
Highly acyclic groups, hypergraph covers, and the guarded fragment
Journal of the ACM (JACM)
Parameterized complexity of finding small degree-constrained subgraphs
Journal of Discrete Algorithms
Faster approximation schemes and parameterized algorithms on (odd-)H-minor-free graphs
Theoretical Computer Science
Model-checking hierarchical structures
Journal of Computer and System Sciences
First-Order queries over one unary function
CSL'06 Proceedings of the 20th international conference on Computer Science Logic
Fast algorithms for hard graph problems: bidimensionality, minors, and local treewidth
GD'04 Proceedings of the 12th international conference on Graph Drawing
Random separation: a new method for solving fixed-cardinality optimization problems
IWPEC'06 Proceedings of the Second international conference on Parameterized and Exact Computation
A parameterized complexity tutorial
LATA'12 Proceedings of the 6th international conference on Language and Automata Theory and Applications
The parameterized complexity of k-flip local search for SAT and MAX SAT
Discrete Optimization
A basic parameterized complexity primer
The Multivariate Algorithmic Revolution and Beyond
FPT suspects and tough customers: open problems of downey and fellows
The Multivariate Algorithmic Revolution and Beyond
The parameterized complexity of k-edge induced subgraphs
ICALP'12 Proceedings of the 39th international colloquium conference on Automata, Languages, and Programming - Volume Part I
First-Order and Monadic Second-Order Model-Checking on Ordered Structures
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
Deciding first order properties of matroids
ICALP'12 Proceedings of the 39th international colloquium conference on Automata, Languages, and Programming - Volume Part II
Finite model theory on tame classes of structures
MFCS'07 Proceedings of the 32nd international conference on Mathematical Foundations of Computer Science
The power of counting logics on restricted classes of finite structures
CSL'07/EACSL'07 Proceedings of the 21st international conference, and Proceedings of the 16th annuall conference on Computer Science Logic
Model theory makes formulas large
ICALP'07 Proceedings of the 34th international conference on Automata, Languages and Programming
Enumerating with constant delay the answers to a query
Proceedings of the 16th International Conference on Database Theory
Testing first-order properties for subclasses of sparse graphs
Journal of the ACM (JACM)
Model checking lower bounds for simple graphs
ICALP'13 Proceedings of the 40th international conference on Automata, Languages, and Programming - Volume Part I
FO model checking of interval graphs
ICALP'13 Proceedings of the 40th international conference on Automata, Languages, and Programming - Volume Part II
A dynamic data structure for counting subgraphs in sparse graphs
WADS'13 Proceedings of the 13th international conference on Algorithms and Data Structures
An Optimal Gaifman Normal Form Construction for Structures of Bounded Degree
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
Model Checking for Successor-Invariant First-Order Logic on Minor-Closed Graph Classes
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
Hi-index | 0.01 |
We introduce the concept of a class of graphs, or more generally, relational structures, being locally tree-decomposable. There are numerous examples of locally tree-decomposable classes, among them the class of planar graphs and all classes of bounded valence or of bounded tree-width. We also consider a slightly more general concept of a class of structures having bounded local tree-width.We show that for each property φ of structures that is definable in first-order logic and for each locally tree-decomposable class C of structures, there is a linear time algorithm deciding whether a given structure A ∈ C has property φ. For classes C of bounded local tree-width, we show that for every k ≥ 1 there is an algorithm solving the same problem in time O(n1+(1/k)) (where n is the cardinality of the input structure).