The weak pigeonhole principle for function classes in S^1_2
计算机科学中的逻辑
2007-05-23 v1
摘要
It is well known that S^1_2 cannot prove the injective weak pigeonhole principle for polynomial time functions unless RSA is insecure. In this note we investigate the provability of the surjective (dual) weak pigeonhole principle in S^1_2 for provably weaker function classes.
引用
@article{arxiv.cs/0608039,
title = {The weak pigeonhole principle for function classes in S^1_2},
author = {Norman Danner and Chris Pollett},
journal= {arXiv preprint arXiv:cs/0608039},
year = {2007}
}
备注
11 pages