KPT插值的一个局限性
A limitation on the KPT interpolation
AI总结：
该研究证明了Pich和Santhanam提出的KPT定理变体在证明难以区分的NP集不相交的证明系统中存在局限性。
摘要：
我们证明了Pich和Santhanam（2020）为命题证明系统提出的KPT定理变体的一个局限性，适用于所有证明两个难以区分的NP集不相交的证明系统。
英文摘要：
We prove a limitation on a variant of the KPT theorem proposed for propositional proof systems by Pich and Santhanam (2020), for all proof systems that prove the disjointness of two NP sets that are hard to distinguish.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
