Complexity and Algorithms of K-implementation