Una buona libreria per verificare se esiste un minore in un grafico?

Vorrei sapere se ci sono librerie grafiche gratuite per verificare se esiste un insieme specifico di minori in un dato grafico?

graph-algorithms implementation graph-minor

— Hooman
fonte

Spero che ! sarebbe un'eccellente carta ALENEX / SEA o un set di carte.

— Suresh Venkat,

NAUTY può essere usato come libreria per aiutarti a costruire una tabella hash per l'intero poset di grafici minori per piccoli . La chiave sarebbe la forma cannoniale data da NAUTY e il valore sarebbe una concatenazione in ordine ordinato delle forme cannoniche dei suoi minori diretti. $n$

— Chad Brewbaker
fonte

Sì, ma la nautica (per quanto ne so) non fornisce alcun metodo per trovare i minori in primo luogo . Inoltre, dato che la domanda riguardava semplicemente la presenza / assenza di un insieme specifico di minori, non vedo come la creazione di una tabella hash da tutte le istanze aiuti a risolvere quel problema iniziale ...

— Joshua Grochow,

Wendy Myrvold e Brendan McKay fanno molte ricerche secondarie sui grafici con NAUTY come biblioteca di supporto. DFS su eliminazioni / join fino a quando non si arriva a un numero trattabile di vertici, quindi interrogare il poset pre-calcolato. Il modo in cui fai il DFS dipenderà dal tipo di minore che stai cercando.

— Chad Brewbaker,

Interessante! Dovresti fare quella parte della risposta. Inoltre, puoi fornire un riferimento? Non sono riuscito a trovarlo.

— Joshua Grochow,