Partitioning Algorithms for Multi-Agent Systems Based on Finite Time Proximity Metrics