Redaktion: K. Sigmund, G. Greschonig (Univ. Wien, Strudlhofgasse ...
Redaktion: K. Sigmund, G. Greschonig (Univ. Wien, Strudlhofgasse ...
Redaktion: K. Sigmund, G. Greschonig (Univ. Wien, Strudlhofgasse ...
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Diskrete Mathematik, Algorithmen 89<br />
On Covering � -Grid Points by Rectangles<br />
STEFAN PORSCHEN<br />
Institut für Informatik, Fachgruppe Mathematik/Informatik,<br />
<strong>Univ</strong>ersität zu Köln, Pohligstr. 1, D-50969 Köln<br />
porschen@informatik.uni-koeln.de<br />
A problem of combinatorial geometry is discussed: Cover a finite set of points<br />
lying on an integer grid in the Euclidean plane by regular rectangles such that the<br />
total area, circumference and number of rectangles used is minimized. This problem<br />
seems to be NP-hard, which is surely the case for related problems concerning<br />
covering points arbitrarily distributed in the plane. Treating the case of minimal<br />
rectangle side lengths k � λ (grid constant), we propose an exact deterministic algorithm<br />
based on set theoretic dynamic programming, which then is improved by<br />
exploiting the rectangular and underlying grid structure. We also discuss a variant<br />
given by a further parameter p bounding the maximal possible covering cardinality.<br />
For this, we are able to find a time bound by a polynomial of degree O� p� .<br />
Generalizations to arbitrary values of k and arbitrary (finite) space dimensions<br />
are possible. (A version of this talk has been presented at the Cologne-Twente-<br />
Workshop 2001, an extended abstract of which may be found as Electronic Notes<br />
on Discrete Mathematics (ENDM, Elsevier, Vol.8, 2001).)<br />
Die Komplexität des Auffindens kompatibler Wege in Graphen<br />
STEFAN SZEIDER<br />
Institut für Diskrete Mathematik, Österreichische Akademie der Wissenschaften<br />
stefan.szeider@oeaw.ac.at<br />
http://goedel.dismat.oeaw.ac.at/<br />
Ein Durchgang in einem Graphen ist ein Paar inzidenter Kanten. Wir betrachten<br />
Graphen G zu denen eine Menge TG “erlaubter” Durchgänge vorgegeben ist. Ein<br />
Weg W in G (bzw. ein 2-Faktor F von G) heißt kompatibel, falls alle Paare inzidenter<br />
Kanten von W (bzw. von F) erlaubte Durchgänge bilden. In [1] wurde die<br />
algorithmische Komplexität des Auffindens kompatiber 2-Faktoren von Graphen<br />
untersucht. Wir untersuchen das Problem, ob zwischen zwei gegeben Knoten<br />
eines Graphen ein kompatibler Weg existiert. Wir bestimmen lokale Eigenschaften<br />
erlaubter Durchgänge, die eine Lösung des Problems in polynomieller Zeit<br />
ermöglichen, und zeigen, daß jede Abschwächung dieser Eigenschaften zu ��� -<br />
vollständigen Problemen führt.<br />
[1] J. Kratochvíl, S. Poljak. Compatible 2-factors; Discrete Applied Mathematics<br />
36, 253–266, 1992.