Bounding Search Space Size via (Hyper)tree Decompositions

06/13/2012
by   Lars Otten, et al.
0

This paper develops a measure for bounding the performance of AND/OR search algorithms for solving a variety of queries over graphical models. We show how drawing a connection to the recent notion of hypertree decompositions allows to exploit determinism in the problem specification and produce tighter bounds. We demonstrate on a variety of practical problem instances that we are often able to improve upon existing bounds by several orders of magnitude.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
06/24/2021

The condition number of many tensor decompositions is invariant under Tucker compression

We characterise the sensitivity of several additive tensor decomposition...
research
08/12/2023

Hadamard-Hitchcock decompositions: identifiability and computation

A Hadamard-Hitchcock decomposition of a multidimensional array is a deco...
research
05/22/2023

Further Decimating the Inductive Programming Search Space with Instruction Digrams

Overlapping instruction subsets derived from human originated code have ...
research
06/08/2021

On the nonexistence of FO-continuous path and tree-decompositions

Bojanczyk and Pilipczuk showed in their celebrated article "Definability...
research
04/28/2021

Fast Parallel Hypertree Decompositions in Logarithmic Recursion Depth

Modern trends in data collection are bringing current mainstream techniq...
research
06/12/2020

Sallow: a heuristic algorithm for treedepth decompositions

We describe a heuristic algorithm for computing treedepth decompositions...
research
05/11/2023

Enhancing Datalog Reasoning with Hypertree Decompositions

Datalog reasoning based on the seminaïve evaluation strategy evaluates r...

Please sign up or login with your details

Forgot password? Click here to reset