Có một phiên bản liên tục của định lý lặp lại song song


13

Định lý giả định song song của Raz là một kết quả quan trọng trong PCP, không gần đúng, v.v ... Định lý này được định hình như sau.

Một trò chơi , trong đó S , T , A , B là các tập hữu hạn, π là phân phối trên S × T và vị ngữ V : S × T × A × B{ 0 , 1 } . Xác định giá trị của trò chơi v ( G ) = max hG= =(S,T,Một,B,π,V)S,T,Một,BπS×TV:S×T×Một×B{0,1}ntrò chơi -foldGn=(Sn,Tn,An,Bn,πn,

v(G)= =tối đahMộtHMột,hBHBΣS,tπ(S,t)V(S,t,hMột(S),hB(t))
n . Định lý nói nếu v ( G ) 1 - ε , sau đó v ( G n ) ( 1 - ε c ) Ω ( nGn= =(Sn,Tn,Mộtn,Bn,πn,Vn)v(G)1-ε,.v(Gn)(1-εc)Ω(nđăng nhậptối đa{|Một|,|B|})

Câu hỏi của tôi là những gì xảy ra nếu các bộ là vô hạn, trong một không gian liên tục. Nói nếu là các tập con của một không gian, nói R n hoặc các không gian trừu tượng hơn. Tất cả những thứ còn lại đều giống nhau. Định lý của Raz chỉ đưa ra giới hạn trên 1 tầm thường vì kích thước của các bộ câu trả lời là vô hạn. Rõ ràng giá trị n lần được giới hạn trên bởi một bản sao duy nhất. Có giảm theo cấp số nhân cũng xảy ra trong trường hợp liên tục? Nó sẽ là thú vị hơn để hạn chế H Một , H B là bộ sưu tập các chức năng liên tục hoặc C chức năng hoặc chức năng đo lường?S,T,Một,BRn1nHMột,HBC

Câu trả lời:


8

Có giảm theo cấp số nhân cũng xảy ra trong trường hợp liên tục?

Không. Feige và Verbitsky [FV02] đã chỉ ra rằng với mọi n , có một trò chơi G (với các câu hỏi và câu trả lời hữu hạn) sao cho v ( G ) 3/4 và v ( G n ) 1/8. Vì công thức của bạn tổng quát hóa các trò chơi với các câu hỏi và câu trả lời hữu hạn ở mọi kích thước, việc lặp lại song song (của bất kỳ lần nào chính xác) không thể làm giảm giá trị của trò chơi từ 3/4 xuống còn 1/8.

[FV02] Uriel Feige và Oleg Verbitsky. Giảm lỗi bằng cách lặp lại song song Kết quả âm tính. Combinatorica , 22 (4): 461 cường478, tháng 10 năm 2002. doi: 10.1007 / s00493-002-0001-0 .

Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookieChính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.