2 papers
cs.CC2022
Bounds on the Total Coefficient Size of Nullstellensatz Proofs of the Pigeonhole Principle and the Ordering Principle
Aaron Potechin, Aaron Zhang
In this paper, we investigate the total coefficient size of Nullstellensatz proofs. We show that Nullstellensatz proofs of the pigeonhole principle on pigeons require total coe…
cs.HC2019
Stackelberg Punishment and Bully-Proofing Autonomous Vehicles
Matt Cooper, Jun Ki Lee, Jacob Beck +7
Mutually beneficial behavior in repeated games can be enforced via the threat of punishment, as enshrined in game theory's well-known "folk theorem." There is a cost, however, to a…