... toán không hạn chế đợc chấp nhận theo quy tắc trò chơi 13 .2 Các chứng minh không tiết lộ thông tin hon thiện Mặc dù hệ thống chứng minh tơng hỗ khã hay ho nhng kiểu chứng minh thú vị lại kiêu chứng ... Cng Giả sử G1 = (V, E1)và G2=(V, E2) V = (1, 2, 3, 4), E1 = {12 , 14 , 23, 34}, E2 = {11 2 ,13 ,14 ,34} Gỉa sử vòng giao thức,Vic trao cho Peggy đồ thị H=(V, E3) E3= {13 , 14 , 23, 24}(xem hình 13 .3) Đồ thị ... chấp nhận chứng minh Peggy H ảnh G1 n vòng Ví dụ 13 .2: Giả sử G1 = (V, E1) G2 = (V, E2), V = {1, 2, 3, 4}, E1 = {12 , 13 , 14 , 34} E2= {12 , 13 , 23, 24} Một phép đẳng cấu từ G2 sang G1 hoán vị =(4...