什么是有向图、邻接矩阵、超链接矩阵。