Estou tentando descobrir se é possível usar o algoritmo de Dijkstra para encontrar o caminho mais longo em um caminho acíclico direcionado. Eu sei que não é possível encontrar o caminho mais longo com o Dijkstra em um gráfico geral, devido a ciclos de custo negativos. Mas deve funcionar em um DAG, eu acho. Através do Google, encontrei muitas fontes conflitantes. Alguns dizem que funciona em um dag e outros dizem que não funciona, mas não encontrei uma prova ou um contra-exemplo. Alguém pode me indicar um exemplo de prova ou contador?