Em
matemática, um
grafo acíclico dirigido, (em inglês: directed acyclic graph, ou simplesmente um
dag ou
DAG), é um
grafo dirigido sem
ciclo (teoria de grafos); isto é, para qualquer vértice
v, não há nenhuma ligação dirigida começando e acabando em
v. Estes grafos aparecem em modelos onde não faz sentido que um vértice tenha uma ligação com si próprio. Por exemplo se uma linha
u→
v indica que
v é parte de
u, tal ligação indicaria que
u é parte de si mesmo, o que é impossível.