September 2009 Approximate counting by hashing in bounded arithmetic
Emil Jeřábek
J. Symbolic Logic 74(3): 829-860 (September 2009). DOI: 10.2178/jsl/1245158087

Abstract

We show how to formalize approximate counting via hash functions in subsystems of bounded arithmetic, using variants of the weak pigeonhole principle. We discuss several applications, including a proof of the tournament principle, and an improvement on the known relationship of the collapse of the bounded arithmetic hierarchy to the collapse of the polynomial-time hierarchy.

Citation

Download Citation

Emil Jeřábek. "Approximate counting by hashing in bounded arithmetic." J. Symbolic Logic 74 (3) 829 - 860, September 2009. https://doi.org/10.2178/jsl/1245158087

Information

Published: September 2009
First available in Project Euclid: 16 June 2009

zbMATH: 1180.03055
MathSciNet: MR2548464
Digital Object Identifier: 10.2178/jsl/1245158087

Subjects:
Primary: 03F30

Keywords: Approximate counting , bounded arithmetic , universal hashing

Rights: Copyright © 2009 Association for Symbolic Logic

JOURNAL ARTICLE
32 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

Vol.74 • No. 3 • September 2009
Back to Top