过去十年见证了路径同调和大小同调——两种有向图的同调理论的发展，每种理论都满足诸如Kunneth定理和Mayer-Vietoris定理等经典性质。Asao的最新工作表明，大小同调和路径同调有关，它们出现在某个谱序列的不同页上。在这里，我们研究该谱序列的目标，我们称之为可达性同调。我们证明它满足适当的同伦不变性、Kunneth定理、切除定理以及Mayer-Vietoris定理，这些性质均强于大小同调或路径同调对应的性质。

The last decade has seen the development of path homology and magnitude homology -- two homology theories of directed graphs, each satisfying classic properties such as Kunneth and Mayer-Vietoris theorems. Recent work of Asao has shown that magnitude homology and path homology are related, appearing in different pages of a certain spectral sequence. Here we study the target of that spectral sequence, which we call reachability homology. We prove that it satisfies appropriate homotopy invariance, Kunneth, excision, and Mayer-Vietoris theorems, these all being stronger than the corresponding properties for either magnitude or path homology.