Em teoria dos grafos, a atingibilidade se refere a capacidade de ir de um vértice para outro em um grafo. Dizemos que um vértice pode alcançar outro vértice (ou que é atingível a partir de ) se exite uma sequência de vértices adjacentes (ex.: um caminho) que começam com e terminam com .