Combinatorial Pen Testing (Or Consumer Surplus of Deferred-Acceptance Auctions)

Authors Aadityan Ganesh , Jason Hartline



PDF
Thumbnail PDF

File

LIPIcs.ITCS.2025.52.pdf
  • Filesize: 0.74 MB
  • 22 pages

Document Identifiers

Author Details

Aadityan Ganesh
  • Princeton University, NJ, USA
Jason Hartline
  • Northwestern University, Evanston, IL, USA

Cite As Get BibTex

Aadityan Ganesh and Jason Hartline. Combinatorial Pen Testing (Or Consumer Surplus of Deferred-Acceptance Auctions). In 16th Innovations in Theoretical Computer Science Conference (ITCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 325, pp. 52:1-52:22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025) https://doi.org/10.4230/LIPIcs.ITCS.2025.52

Abstract

Pen testing is the problem of selecting high-capacity resources when the only way to measure the capacity of a resource expends its capacity. We have a set of n pens with unknown amounts of ink and our goal is to select a feasible subset of pens maximizing the total ink in them. We are allowed to learn about the ink levels by writing with them, but this uses up ink that was previously in the pens. 
We identify optimal and near optimal pen testing algorithms by drawing analogues to auction theoretic frameworks of deferred-acceptance auctions and virtual values. Our framework allows the conversion of any near optimal deferred-acceptance mechanism into a near optimal pen testing algorithm. Moreover, these algorithms guarantee an additional overhead of at most (1+o(1)) ln n in the approximation factor to the omniscient algorithm that has access to the ink levels in the pens. We use this framework to give pen testing algorithms for various combinatorial constraints like matroid, knapsack, and general downward-closed constraints, and also for online environments.

Subject Classification

ACM Subject Classification
  • Theory of computation → Theory and algorithms for application domains
  • Theory of computation → Approximation algorithms analysis
  • Theory of computation → Algorithm design techniques
Keywords
  • Pen testing
  • consumer surplus
  • money-burning
  • deferred-acceptance auctions

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads

References

  1. Saeed Alaei, Hu Fu, Nima Haghpanah, Jason D Hartline, and Azarakhsh Malekian. Bayesian optimal auctions via multi-to single-agent reduction. In 13th ACM Conference on Electronic Commerce, EC'12, page 17, 2012. URL: https://doi.org/10.1145/2229012.2229017.
  2. Saeed Alaei, Hu Fu, Nima Haghpanah, Jason D Hartline, and Azarakhsh Malekian. Efficient computation of optimal auctions via reduced forms. Mathematics of Operations Research, 44(3):1058-1086, 2019. URL: https://doi.org/10.1287/MOOR.2018.0958.
  3. Vivi Alatas, Abhijit Banerjee, Rema Hanna, Benjamin A Olken, Ririn Purnamasari, and Matthew Wai-Poi. Ordeal mechanisms in targeting: Theory and evidence from a field experiment in indonesia. Technical report, National Bureau of Economic Research, 2013. Google Scholar
  4. Sushil Bikhchandani, Sven De Vries, James Schummer, and Rakesh V Vohra. An ascending vickrey auction for selling bases of a matroid. Operations research, 59(2):400-413, 2011. URL: https://doi.org/10.1287/OPRE.1100.0888.
  5. Mark Braverman, Jing Chen, and Sampath Kannan. Optimal provision-after-wait in healthcare. Mathematics of Operations Research, 41(1):352-376, 2016. URL: https://doi.org/10.1287/MOOR.2015.0731.
  6. Shuchi Chawla, Jason D Hartline, David L Malec, and Balasubramanian Sivan. Multi-parameter mechanism design and sequential posted pricing. In Proceedings of the forty-second ACM symposium on Theory of computing, pages 311-320, 2010. URL: https://doi.org/10.1145/1806689.1806733.
  7. Hao Chung and Elaine Shi. Foundations of transaction fee mechanism design. In Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), pages 3856-3899. SIAM, 2023. URL: https://doi.org/10.1137/1.9781611977554.CH150.
  8. Paul Dütting, Vasilis Gkatzelis, and Tim Roughgarden. The performance of deferred-acceptance auctions. In Proceedings of the fifteenth ACM conference on Economics and computation, pages 187-204, 2014. URL: https://doi.org/10.1145/2600057.2602861.
  9. Cynthia Dwork, Andrew Goldberg, and Moni Naor. On memory-bound functions for fighting spam. In Advances in Cryptology-CRYPTO 2003: 23rd Annual International Cryptology Conference, Santa Barbara, California, USA, August 17-21, 2003. Proceedings 23, pages 426-444. Springer, 2003. URL: https://doi.org/10.1007/978-3-540-45146-4_25.
  10. Cynthia Dwork and Moni Naor. Pricing via processing or combatting junk mail. In Annual international cryptology conference, pages 139-147. Springer, 1992. URL: https://doi.org/10.1007/3-540-48071-4_10.
  11. Michal Feldman, Vasilis Gkatzelis, Nick Gravin, and Daniel Schoepflin. Bayesian and randomized clock auctions. In Proceedings of the 23rd ACM Conference on Economics and Computation, pages 820-845, 2022. URL: https://doi.org/10.1145/3490486.3538247.
  12. Yiding Feng, Jason D Hartline, and Yingkai Li. Simple mechanisms for non-linear agents. In Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), pages 3802-3816. SIAM, 2023. URL: https://doi.org/10.1137/1.9781611977554.CH148.
  13. Dimitris Fotakis, Dimitris Tsipras, Christos Tzamos, and Emmanouil Zampetakis. Efficient money burning in general domains. Theory of Computing Systems, 59:619-640, 2016. URL: https://doi.org/10.1007/S00224-016-9720-2.
  14. Aadityan Ganesh, Clayton Thomas, and S. Matthew Weinberg. Revisiting the primitives of transaction fee mechanism design. In Proceedings of the 25th ACM Conference on Economics and Computation (EC ’24), July 8–11, 2024, New Haven, CT, USA. ACM, New York, NY, USA, 1 page., 2024. URL: https://doi.org/10.1145/123456.654321.
  15. Kira Goldner and Taylor Lundy. Simple mechanisms for utility maximization: Approximating welfare in the iid unit-demand setting. arXiv preprint arXiv:2402.12340, 2024. URL: https://doi.org/10.48550/arXiv.2402.12340.
  16. Mohammad Taghi Hajiaghayi, Robert Kleinberg, and Tuomas Sandholm. Automated online mechanism design and prophet inequalities. In AAAI, volume 7, pages 58-65, 2007. URL: http://www.aaai.org/Library/AAAI/2007/aaai07-009.php.
  17. Jason Hartline and Samuel Taggart. Sample complexity for non-truthful mechanisms. In Proceedings of the 2019 ACM Conference on Economics and Computation, pages 399-416, 2019. URL: https://doi.org/10.1145/3328526.3329632.
  18. Jason D Hartline and Tim Roughgarden. Optimal mechanism design and money burning. In Proceedings of the fortieth annual ACM symposium on Theory of computing, pages 75-84, 2008. URL: https://doi.org/10.1145/1374376.1374390.
  19. Robert Kleinberg and Seth Matthew Weinberg. Matroid prophet inequalities. In Proceedings of the forty-fourth annual ACM symposium on Theory of computing, pages 123-136, 2012. Google Scholar
  20. Henrik Jacobsen Kleven and Wojciech Kopczuk. Transfer program complexity and the take-up of social benefits. American Economic Journal: Economic Policy, 3(1):54-90, 2011. Google Scholar
  21. Paul Milgrom and Ilya Segal. Deferred-acceptance auctions and radio spectrum reallocation. In Proceedings of the fifteenth ACM conference on Economics and computation, pages 185-186, 2014. URL: https://doi.org/10.1145/2600057.2602834.
  22. Roger B Myerson. Optimal auction design. Mathematics of operations research, 6(1):58-73, 1981. URL: https://doi.org/10.1287/MOOR.6.1.58.
  23. Mingda Qiao and Gregory Valiant. Online pen testing. 14th Innovations in Theoretical Computer Science Conference, (ITCS) 2023, January 10-13, 2023, MIT, Cambridge, USA, 2023. URL: https://doi.org/10.48550/arXiv.2210.00655.
  24. Tim Roughgarden. Transaction fee mechanism design. In Proceedings of the 22nd ACM Conference on Economics and Computation, EC '21, page 792, New York, NY, USA, 2021. Association for Computing Machinery. URL: https://doi.org/10.1145/3465456.3467591.
  25. Ester Samuel-Cahn. Comparison of threshold stop rules and maximum for independent nonnegative random variables. Ann. Probab., 12(4):1213-1216, 1984. URL: http://dml.mathdoc.fr/item/1176993150.
  26. Qiqi Yan. Mechanism design via correlation gap. In Proceedings of the twenty-second annual ACM-SIAM symposium on Discrete Algorithms, pages 710-719. SIAM, 2011. URL: https://doi.org/10.1137/1.9781611973082.56.
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail