For number theory applications, see number theory ref.
G = (U, V, E); . Matching: not sharing endpoints. Perfect matching (pm) has size n. Naive alg takes time.
Make symbolic matrix with if , else 0. Let Q(x) = det(A) : -nomial, ‘symbolic determinant’. G has pm iff . . Take prime , pick r from ; by Schwartz Zippel Thm, .
If pm unique, find pm in polytime: Repeat: ; see if G still has pm. (Parallelizable.)
Take uniformly random weight fn ; let .
Let ; take k . : by principle of deferred decisions: Pick W(e) last to . So, bound: Pr( unique with min) .
Get w(e) . Get matrix . Then . So find pm by finding highest power of 2 dividign det(B).
(Tutte): G = (V, E); Make Tutte matrix: if , and , else 0. Let multinomial; G has pm iff : ; if some , no pm. Else, Take prime , pick r from , take Q over ; by Schwartz Zippel, where .