En el campo matemático de la teoría de grafos , el snark de estrella doble es un snark con 30 vértices y 45 aristas. [1]
En 1975, Rufus Isaacs introdujo dos infinitas familias de snarks: el snark de flores y el snark BDS, una familia que incluye los dos snarks Blanuša , el snark Descartes y el snark Szekeres (BDS significa Blanuša Descartes Szekeres). [2] Isaacs también descubrió un snark de 30 vértices que no pertenece a la familia BDS y que no es un snark de flor: el snark de doble estrella.
Como snark, el gráfico de estrella doble es un gráfico cúbico sin puentes conectado con un índice cromático igual a 4. El snark de estrella doble no es plano ni hamiltoniano , pero es hipohamiltoniano . [3] Tiene un grosor de libro 3 y una cola número 2. [4]