In 1967, Kasteleyn proved that planar graphs have an efficiently computable Pfaffian orientation.
В 1967 году Кастеляйн доказал, что планарные графы имеют эффективно вычисляемую пфаффианову ориентацию.