2026-07-20T05:07:08Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:765 2024-03-06T11:06:44Z ddc:004 open_access

Die Another Day Fleischer, Rudolf Hydra Koenig's Lemma Peano Arithmetic The hydra was a many-headed monster from Greek mythology that could grow one or two new heads when one of its heads got cut off. It was the second task of Hercules to kill this monster. In an abstract sense a hydra can be modeled by a tree where the leaves are the heads, and when a head is cut off some subtrees get duplicated. Different hydra species differ by the location of subtrees to be duplicated and by the number of new subtrees grown in each step. Using some deep mathematics, it had been shown that two classes of rather restricted hydra species must always die, independent of the order in which heads are cut off. In this paper we provide an elementary proof which actually gives a complete classification of all hydra species as immortal or doomed. Now, if Hercules had known this... Schloss Dagstuhl – Leibniz-Zentrum für Informatik Rudolf Fleischer 2006 Is Part Of Dagstuhl Seminar Proceedings, Volume 6091, Data Structures (2006) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.06091.3 urn:nbn:de:0030-drops-7652 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06091.3 eng https://creativecommons.org/licenses/by/4.0/legalcode