131,801 research outputs found
First-Order Decomposition Trees
Lifting attempts to speed up probabilistic inference by exploiting symmetries
in the model. Exact lifted inference methods, like their propositional
counterparts, work by recursively decomposing the model and the problem. In the
propositional case, there exist formal structures, such as decomposition trees
(dtrees), that represent such a decomposition and allow us to determine the
complexity of inference a priori. However, there is currently no equivalent
structure nor analogous complexity results for lifted inference. In this paper,
we introduce FO-dtrees, which upgrade propositional dtrees to the first-order
level. We show how these trees can characterize a lifted inference solution for
a probabilistic logical model (in terms of a sequence of lifted operations),
and make a theoretical analysis of the complexity of lifted inference in terms
of the novel notion of lifted width for the tree
Chain models, trees of singular cardinality and dynamic EF games
Let κ be a singular cardinal. Karp's notion of a chain model of size ? is defined to be an ordinary model of size κ along with a decomposition of it into an increasing union of length cf(κ). With a notion of satisfaction and (chain)-isomorphism such models give an infinitary logic largely mimicking first order logic. In this paper we associate to this logic a notion of a dynamic EF-game which gauges when two chain models are chain-isomorphic. To this game is associated a tree which is a tree of size κ with no κ-branches (even no cf(κ)-branches). The measure of how non-isomorphic the models are is reflected by a certain order on these trees, called reduction. We study the collection of trees of size κ with no κ-branches under this notion and prove that when cf(κ) = ω this collection is rather regular; in particular it has universality number exactly κ+. Such trees are then used to develop a descriptive set theory of the space cf(κ)κ.The main result of the paper gives in the case of κ strong limit singular an exact connection between the descriptive set-theoretic complexity of the chain isomorphism orbit of a model, the reduction order on the trees and winning strategies in the corresponding dynamic EF games. In particular we obtain a neat analog of the notion of Scott watershed from the Scott analysis of countable models
Order Invariance on Decomposable Structures
Order-invariant formulas access an ordering on a structure's universe, but
the model relation is independent of the used ordering. Order invariance is
frequently used for logic-based approaches in computer science. Order-invariant
formulas capture unordered problems of complexity classes and they model the
independence of the answer to a database query from low-level aspects of
databases. We study the expressive power of order-invariant monadic
second-order (MSO) and first-order (FO) logic on restricted classes of
structures that admit certain forms of tree decompositions (not necessarily of
bounded width).
While order-invariant MSO is more expressive than MSO and, even, CMSO (MSO
with modulo-counting predicates), we show that order-invariant MSO and CMSO are
equally expressive on graphs of bounded tree width and on planar graphs. This
extends an earlier result for trees due to Courcelle. Moreover, we show that
all properties definable in order-invariant FO are also definable in MSO on
these classes. These results are applications of a theorem that shows how to
lift up definability results for order-invariant logics from the bags of a
graph's tree decomposition to the graph itself.Comment: Accepted for LICS 201
Eight-Fifth Approximation for TSP Paths
We prove the approximation ratio 8/5 for the metric -path-TSP
problem, and more generally for shortest connected -joins.
The algorithm that achieves this ratio is the simple "Best of Many" version
of Christofides' algorithm (1976), suggested by An, Kleinberg and Shmoys
(2012), which consists in determining the best Christofides -tour out
of those constructed from a family \Fscr_{>0} of trees having a convex
combination dominated by an optimal solution of the fractional
relaxation. They give the approximation guarantee for
such an -tour, which is the first improvement after the 5/3 guarantee
of Hoogeveen's Christofides type algorithm (1991). Cheriyan, Friggstad and Gao
(2012) extended this result to a 13/8-approximation of shortest connected
-joins, for .
The ratio 8/5 is proved by simplifying and improving the approach of An,
Kleinberg and Shmoys that consists in completing in order to dominate
the cost of "parity correction" for spanning trees. We partition the edge-set
of each spanning tree in \Fscr_{>0} into an -path (or more
generally, into a -join) and its complement, which induces a decomposition
of . This decomposition can be refined and then efficiently used to
complete without using linear programming or particular properties of
, but by adding to each cut deficient for an individually tailored
explicitly given vector, inherent in .
A simple example shows that the Best of Many Christofides algorithm may not
find a shorter -tour than 3/2 times the incidentally common optima of
the problem and of its fractional relaxation.Comment: 15 pages, corrected typos in citations, minor change
On the Monadic Second-Order Transduction Hierarchy
We compare classes of finite relational structures via monadic second-order
transductions. More precisely, we study the preorder where we set C \subseteq K
if, and only if, there exists a transduction {\tau} such that
C\subseteq{\tau}(K). If we only consider classes of incidence structures we can
completely describe the resulting hierarchy. It is linear of order type
{\omega}+3. Each level can be characterised in terms of a suitable variant of
tree-width. Canonical representatives of the various levels are: the class of
all trees of height n, for each n \in N, of all paths, of all trees, and of all
grids
- …