La definizione per il grafo aciclico diretto è questa: "non c'è modo di iniziare da qualche vertice v e seguire una sequenza di spigoli che alla fine ritorna a v di nuovo."
Fin qui tutto bene, ma sto cercando di trovare alcune premesse che saranno più semplici da testare e che garantiranno anche che il grafico sia aciclico. Mi sono imbattuto in queste premesse, ma sono piuttosto semplici quindi sono sicuro che altre persone l'hanno capito in passato (o sono errate). Il problema è che non sono riuscito a trovare nulla relativo ai libri / online, quindi perché ho deciso di pubblicare questa domanda.
Premessa 1 : se tutti i vertici del grafico hanno un margine in entrata, il grafico non può essere aciclico. È corretto?
Premessa 2 : supponiamo che il grafico in questione abbia un vertice senza bordi in entrata. In questo caso, per avere un ciclo, almeno uno degli altri vertici dovrebbe avere due o più spigoli in entrata. È corretto?