Trong một ứng dụng tôi đang xem xét, tôi cần biết độ phức tạp trong giao tiếp của vấn đề sau:
Cho , gọi S là tập hợp các số nguyên từ 1 đến n . Alice, Bob và Carol từng nhận được một tập hợp con của S , ký hiệu bởi Một , B , và C , tương ứng. Họ muốn kiểm tra xem A , B và C có tạo thành một phân vùng của S hay không , nghĩa là họ rời rạc và liên minh của họ là S .
Tôi đặc biệt quan tâm đến trường hợp của 3 bên nhưng các trường hợp khác cũng rất thú vị. Lưu ý rằng đối với trường hợp 2 bên, vấn đề là tương đương với BÌNH ĐẲNG vấn đề vì vậy nó có thấp hơn bị ràng buộc đối với các giao thức xác định nhưng O ( log n ) trên ràng buộc đối với các giao thức ngẫu nhiên.
Câu hỏi của tôi là liệu vấn đề này được biết trước. Nếu bạn biết bất kỳ vấn đề nào có thể liên quan, tôi cũng muốn biết.