The convenience of tilings

نویسنده

  • Peter van Emde Boas
چکیده

Tiling problems provide for a very simple and transparent mechanism for encod ing machine computations This gives rise to rather simple master reductions showing various versions of the tiling problem complete for various complexity classes We in vestigate the potential for using these tiling problems in subsequent reductions showing hardness of the combinatorial problems that really matter We ilustrate our approach by means of three examples a short reduction chain to the Knapsack problem followed by a Hilbert reduction using similar ingredients Finally we reprove the Deterministic Exponential Time lowerbound for satis ablility in Propositional Dynamic Logic The resulting reductions are relatively simple they do however infringe on the principle of orthogonality of reductions since they abuse extra structure in the in stances of the problems reduced from which results from the fact that these instances were generated by a master reduction previously

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Faultfree Tromino Tilings of Rectangles

In this paper we consider faultfree tromino tilings of rectangles and characterize rectangles that admit such tilings. We introduce the notion of crossing numbers for tilings and derive bounds on the crossing numbers of faultfree tilings. We develop an iterative scheme for generating faultfree tromino tilings for rectangles and derive the closed form expression for the exact number of faultfree...

متن کامل

A note on the structure of spaces of domino tilings

We study spaces of tilings, formed by tilings which are on a geodesic between two fixed tilings of the same domain (the distance is defined using local flips). We prove that each space of tilings is homeomorphic to an interval of tilings of a domain when flips are classically directed by height functions. © 2006 Elsevier B.V. All rights reserved.

متن کامل

Tilings by Regular Polygons Iii: Dodecagon-dense Tilings

In Tilings and Patterns, Grünbaum and Shephard claim that there are only four kuniform tilings by regular polygons (for some k) that have a dodecagon incident at every vertex. In fact, there are many others. We show that the tilings that satisfy this requirement are either the uniform 4.6.12 tiling, or else fall into one of two infinite classes of such tilings. One of these infinite classes can...

متن کامل

2 00 7 Self - Dual Tilings with Respect to Star - Duality

The concept of star-duality is described for self-similar cut-and-project tilings in arbitrary dimensions. This generalises Thurston's concept of a Galois-dual tiling. The dual tilings of the Penrose tilings as well as the Ammann-Beenker tilings are calculated. Conditions for a tiling to be self-dual are obtained.

متن کامل

Tilings and model theory

In this paper we emphasize the links between model theory and tilings. More precisely, after giving the definitions of what tilings are, we give a natural way to have an interpretation of the tiling rules in first order logics. This opens the way to map some model theoretical properties onto some properties of sets of tilings, or tilings themselves.

متن کامل

A Fractal Fundamental Domain with 12-fold Symmetry

Square triangle tilings are relevant models for quasicrystals. We introduce a new self-similar tile-substitution which yields the well-known nonperiodic square triangle tilings of Schlottmann. It is shown that the new tilings are locally derivable from Schlottmann’s, but not vice versa, and that they are mutually locally derivable with the undecorated square triangle tilings. Furthermore, the r...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1997