Complexity and algorithms of K-implementation