k-포레스트 문제를 O(k^3 min{kn, m} log^2 n + k · MAXFLOW(m, m) log n) 시간 복잡도로 해결할 수 있는 알고리즘을 제시한다. 이는 기존 접근법의 O_k(n^{3/2}) 복잡도 장벽을 돌파한다.