e/de/Binäre Priorisierung

Information
instance of	(noun) an algorithm for sorting a list sorting algorithm

Meaning
German
has gloss	deu: Binäres Priorisieren oder Binäre Priorisierung ist ein Sortierverfahren, mit dem eine Menge zu erledigender Aufgaben priorisiert (oder allgemeiner: zu sortierenden Elemente sortiert) werden kann, indem wichtige Aufgaben im Laufe des Priorisier-Prozesses immer weiter nach oben priorisiert werden, während zurückgestellte Aufgaben nicht weiter priorisiert werden.
lexicalization	deu: Binäre Priorisierung