Optimal fully dynamic matching on the line

Source: url:https://github.com/ykanoria/fd1d-lean Authors: Yash Kanoria Status: verified Main declarations: FD1D.V5.Palomar.optimalDynamicMatchingUpperBound Tags: online-matching, probability, stochastic-optimization MSC: 60J20, 90B15