Independent paths, connectivity, and cut sets (Graph theory)