[Boost-users] [Boost Graph Library] larger neighborhood in grid_graph