An efficient method for detecting redundant feedback vertices.

Zo'n verzameling kan worden verkregen met behulp van het Levy-Low contractie algoritme, dat een kleine feedbackverzameling kan genereren die echter niet altijd minimaal van omvang is omdat het algoritme soms een heuristische keuze moet maken om de graaf geheel te kunnen reduceren. Dit kan ertoe leiden dat elementen van de feedbackverzameling overbodig zijn in de zin dat ze geen gesloten pad van de oorspronkelijke gerichte graaf doorknippen. In dit stuk wordt een tweetal algoritmes ontwikkeld om dergelijke overbodige feedbackknopen efficiënt op te sporen. De algoritmes worden toegepast op de analyse van grote niet-lineaire genormaliseerde stelsels vergelijkingen en op de feedbackverzamelingen van een reeks gerichte grafen die gebruikt zijn door anderen. Experimenten tonen aan dat de algoritmes een significante verbetering zijn ten opzichte van het standaard rechttoe, rechtaan algoritme.