For an arbitrary hypergraph H, let PM(H) be the propositional formula asserting that H contains a perfect matching. We show that every resolution refutation of PM(H) must have size exp ( Ω ( δ(H) λ(H)r(H)(log n(H))(r(H) + log n(H)) )) , where n(H) is the number of vertices, δ(H) is the minimal degree of a vertex, r(H) is the maximal size of an edge, and λ(H) is the maximal number of edges incid...

This paper studies non-crossing geometric perfect matchings. Two such perfect matchings are compatible if they have the same vertex set and their union is also non-crossing. Our first result states that for any two perfect matchings M and M ′ of the same set of n points, for some k ∈ O(log n), there is a sequence of perfect matchings M = M0,M1, . . . ,Mk = M , such that each Mi is compatible wi...

In this note, we give tighter bounds on the complexity of the bipartite unique perfect matching problem, bipartite-UPM. We show that the problem is in C=L and in NL , both subclasses of NC. We also consider the (unary) weighted version of the problem. We show that testing uniqueness of the minimum-weight perfect matching problem for bipartite graphs is in L= and in NL. Furthermore, we show that...

We show Maker wins the Maker-Breaker perfect matching game in n/2 + o(n) turns when bias is at least n/ln n − f(n)n/(ln n)5/4, for any f going to infinity with and sufficiently large (in terms of f).

In this paper we present a pseudo-deterministic RNC algorithm for finding perfect matchings in bipartite graphs. Specifically, our algorithm is a randomized parallel algorithm which uses poly(n) processors, poly(log n) depth, poly(log n) random bits, and outputs for each bipartite input graph a unique perfect matching with high probability. That is, it returns the same matching for almost all r...

In the min-cost bipartite perfect matching with delays (MBPMD) problem, requests arrive online at points of a finite metric space. Each request is either positive or negative and has to be matched to a request of opposite polarity. As opposed to traditional online matching problems, the algorithm does not have to serve requests as they arrive, and may choose to match them later at a cost. Our o...