KMP算法的核心在于通过部分匹配表来避免重复比较，从而实现只需遍历一次主串的特性。选项A是正确答案，因为KMP算法的时间复杂度为O(n + m)，其中n为主串长度，m为模式串长度。选项B错误，因为KMP算法对某些特殊字符可能不适用。选项C错误，虽然KMP算法的时间复杂度是线性的，但不是总是O(n)，而是O(n + m)。选项D错误，因为KMP算法涉及到构建部分匹配表，不能仅依靠简单的循环。