Work

Exact verification software and computational data for "Finite-Depth Bounds and the Exact Three-Box Adaptivity Gap for Batched Pandora's Box"

Year: 2026

Type: software

Abstract: Supporting Python software and computational data for the accompanying manuscript. The package provides exact rational solvers for adaptive and fixed-menu non-reusable batched Pandora's box instances, direct-policy cross-checks, sharp-family certificates, finite stop-loss envelope diagnostics, and retained exact candidates from a documented non-exhaustive four-box search. Python 3.10 or newer is required; no third-party dependencies are used. Run python -B src/verify_release.py after extracting the archive. The finite checks support reproducibility and do not replace the manuscript's deductive proofs.

Source: Zenodo (CERN European Organization for Nuclear Research)

DOI: 10.5281/zenodo.22399099

Authors: Essayag, Isaac Barouch, Zabokritskiy (Yohananov), Aryeh Lev

Institution: Migal - Galilee Technology Center

Language: English

Topic: Optimization and Search Problems

Subfield: Computer Networks and Communications

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W7208832792

Cites:

Cited by:

Related to: