Order of Magnitude Comparisons of Distance

05/27/2011
by   E. Davis, et al.
0

Order of magnitude reasoning - reasoning by rough comparisons of the sizes of quantities - is often called 'back of the envelope calculation', with the implication that the calculations are quick though approximate. This paper exhibits an interesting class of constraint sets in which order of magnitude reasoning is demonstrably fast. Specifically, we present a polynomial-time algorithm that can solve a set of constraints of the form 'Points a and b are much closer together than points c and d.' We prove that this algorithm can be applied if `much closer together' is interpreted either as referring to an infinite difference in scale or as referring to a finite difference in scale, as long as the difference in scale is greater than the number of variables in the constraint set. We also prove that the first-order theory over such constraints is decidable.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/14/2012

Order-of-Magnitude Influence Diagrams

In this paper, we develop a qualitative theory of influence diagrams tha...
research
11/09/2022

Complexity of solving a system of difference constraints with variables restricted to a finite set

Fishburn developed an algorithm to solve a system of m difference constr...
research
08/29/2018

A polynomial-time algorithm for median-closed semilinear constraints

A subset of Q^n is called semilinear (or piecewise linear) if it is Bool...
research
10/22/2021

An Efficient Branch-and-Bound Solver for Hitting Set

The hitting set problem asks for a collection of sets over a universe U ...
research
05/18/2022

On data reduction for dynamic vector bin packing

We study a dynamic vector bin packing (DVBP) problem. We show hardness f...
research
02/25/2023

Computing the Difference of Conjunctive Queries Efficiently

We investigate how to efficiently compute the difference result of two (...
research
11/28/2019

Metre as a stylometric feature in Latin hexameter poetry

This paper demonstrates that metre is a privileged indicator of authoria...

Please sign up or login with your details

Forgot password? Click here to reset