Documentation

LeanPool.Komlos

The Komlós and Beck–Fiala bounds with constant 36 #

Source: url:https://eccc.weizmann.ac.il/report/2026/188/ Authors: Gabriel Dahia Status: verified Main declarations: Komlos.discrepancy_le_of_forall_sum_sq_le_one Tags: discrepancy, vector-balancing, hypergraphs, probability, total-variation MSC: 11K38, 05C65, 05D40