Links und Funktionen
Sprachumschaltung

Navigationspfad
Sie sind hier: Startseite / Lehre / SS 2013 / Oberseminar / Sabine Bauer: List Constraints


Inhaltsbereich

Sabine Bauer: List Constraints

TCS Oberseminar, 05.07.2013 14:15 L109
Wann 14:15 15:15 05.07.2013
von bis
Wo L109
Termin übernehmen vCal
iCal

Sabine Bauer
List Constraints

We consider satisfiability of constraints of a certain sytax over infinite lists labelled with nonnegative real numbers. These constraints were first introduced for general trees by Martin Hofmann and Dulma Rodriguez in the context of amortized analysis.

Our starting point is linear homogeneous recurrence relations with constant rational coefficients, which we show to correspond to list constraints in a one-to-one-relationship. Such recurrent sequences can be seen from the view of generating functions, and also in connection to the Skolem-Mahler-Lech Theorem.

First we show that each set of constraints can be rewritten as a set of recurrences, and that it has a rational generating function. Then we observe that the satisfiability of our constraints is at least as hard as the positivity problem for recurrence sequences, a well known and yet unsolved problem.

Artikelaktionen

abgelegt unter:

Funktionsleiste