Iwasawa’s asymptotic class number formula in graph theory