PCP 10 — Biến đổi Fourier, định lý Arrow và tính duy lý của sự độc tài

Như vậy chúng ta đã có chuyến “de-tour” sang các phép xây dựng đồ thị expanders, tính chất của chúng, và tích zig-zag. Đáng lẽ bài kế tiếp này tôi định viết về kết quả của Omer Reingold hồi 2005. Nhưng lại thôi vì thật ra nếu hiểu tích zig-zag rồi thì hiểu chứng minh [...]

Xem đầy đủ bài viết tại http://www.procul.org/blog/2010/07/29/pcp10/