论文标题
KPT插值的限制
A limitation on the KPT interpolation
论文作者
论文摘要
我们证明了Pich and 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.
