DiTo-Datenbank : Datendokumentation zu Funktionsverbgefügen und Relativsätzen

In dieser Arbeit werden die DiTo-Daten zu Funktionsverbgefügen und Relativsätzen beschrieben. DiTo ist ein am DFKI entwickeltes Testwerkzeug für die Fehlerdiagnose der Syntaxkomponente natürlichsprachlicher Systeme. Mit diesem Tool, das zum Ziel hat, möglichst alle wesentlichen Phänomene deutscher Syntax anhand von Testdaten zu repräsentieren, kann die Fehlerdiagnose bei Testläufen natürlichsprachlicher Systeme systematisch unterstützt werden. Bisher beinhaltet der Datenkatalog die Bereiche Verbrektion, Satzkoordination, Funktionsverbgefüge und Relativsätze. Wir arbeiten mit anderen Gruppen zusammen, die weitere Syntaxthemen entsprechend den Richtlinien unseres Ansatzes erarbeiten. Damit ausgewählte Syntaxgebiete separat getestet werden können, sind die Daten in einer relationalen Datenbank organisiert. In den Teildokumentationen zu den beiden hier behandelten Syntaxgebieten werden die Phänomene zuerst skizzenhaft beschrieben. Dann wird die der Datensammlung zugrundeliegende Systematik erläutert. Anschließend wird gezeigt, wie die Daten in der relationalen Datenbank organisiert sind

Dual-Pivot Quicksort: Optimality, Analysis and Zeros of Associated Lattice Paths

We present an average case analysis of a variant of dual-pivot quicksort. We show that the used algorithmic partitioning strategy is optimal, i.e., it minimizes the expected number of key comparisons. For the analysis, we calculate the expected number of comparisons exactly as well as asymptotically, in particular, we provide exact expressions for the linear, logarithmic, and constant terms. An essential step is the analysis of zeros of lattice paths in a certain probability model. Along the way a combinatorial identity is proven.Comment: This article supersedes arXiv:1602.0403