OpenAI reports an FPRAS for common integer polymatroid bases

With exact rank-value oracles, the number of common integer bases of two equal-rank polymatroids can be approximated by an FPRAS whose oracle calls and non-oracle bit work are polynomial on every run in ground-set size, binary input length, inverse relative error, and log inverse failure probability.

Curated contributions 1

Understand the problem ↓

OpenAI reports an FPRAS for common integer polymatroid bases

  • Mathematics
  • Theoretical Computer Science

With exact rank-value oracles, the number of common integer bases of two equal-rank polymatroids can be approximated by an FPRAS whose oracle calls and non-oracle bit work are polynomial on every run in ground-set size, binary input length, inverse relative error, and log inverse failure probability.

AI involvementAI-led
ImportanceNotable
Technical verificationReported
Human understandingFew

Understanding the problem

Read the background

With exact rank-value oracles, the number of common integer bases of two equal-rank polymatroids can be approximated by an FPRAS whose oracle calls and non-oracle bit work are polynomial on every run in ground-set size, binary input length, inverse relative error, and log inverse failure probability.

Why it matters

If correct, extends randomized approximate counting to common integer polymatroid bases with binary capacities.

What counts as progress

Can common integer polymatroid bases be approximately counted in time polynomial in binary capacity length?

Website timeline

Publication dates and editorial changes.