Graphs, Dioids and Semirings