Estoy trabajando en un problema de dígrafos en el que las aristas bidireccionales deben tratarse por separado. Como tal, podríamos considerarlas como aristas no dirigidas. Evidentemente, si sustituyo las aristas bidireccionales por aristas no dirigidas obtengo un ``grafo mixto'' (uno con aristas dirigidas y no dirigidas). ¿Pero puede un grafo mixto tener aristas bidireccionales además de aristas no dirigidas? ¿Puede un grafo mixto tener una arista dirigida y otra no dirigida entre dos vértices?
El Definición de Wikipedia no es muy clara al respecto. Un documento, Enumeración de gráficos mixtos indica que los bordes mixtos bidireccionales y paralelos no están permitidos. La definición en este artículo afirma que el ``grafo mixto completo'' tiene una arista no dirigida y bidireccional entre ambos vértices.
¿Cómo se definen normalmente los "gráficos mixtos"?