Auflisten, Verifizieren und Zählen der kleinsten gemeinsamen Vorfahren in DAGs: Algorithmen und feinkörnige Untergrenzen