Score:1

การตรวจสอบความเท่าเทียมกันระหว่างชุดที่แจกแจง

ธง kr
  • ฉันมีองค์ประกอบจาก $\{0, 1\}^{n}$ (ช่วงของฟังก์ชันแฮช)
  • เจ้านาย $A$ สามารถมีส่วนย่อยของช่วงนี้
  • มีไคลเอนต์ที่แต่ละอันมีส่วนย่อยจากพื้นที่ด้วย
  • ฉันต้องการให้แน่ใจว่ายูเนี่ยนของชุดไคลเอ็นต์เท่ากับชุดหลัก
  • ควรสื่อสารให้น้อยที่สุด
  • องค์ประกอบเป็นความลับ (ข้อกำหนดนี้สามารถผ่อนปรนได้ด้วยวิธีแก้ปัญหาที่อาจรั่วไหลได้)

ขอบคุณ @kelalaka สำหรับการปรับแต่งคำถาม

knaccc avatar
es flag
การกรองรายการที่ซ้ำกันออกไปไม่ใช่เรื่องเล็กน้อยใช่ไหม
zetaprime avatar
kr flag
ไม่ ไม่ใช่เรื่องเล็กน้อย เพราะมีการแจกจ่าย การกรองรายการที่ซ้ำกันออกหมายถึงการคัดลอกข้อมูลไปยังหลายตำแหน่งหรือไปยังตำแหน่งเดียว
zetaprime avatar
kr flag
ให้เรา [ดำเนินการสนทนาต่อในการแชท](https://chat.stackexchange.com/rooms/133625/discussion-between-zetaprime-and-kelalaka)
kelalaka avatar
in flag
หากคุณสามารถผ่อนคลายความลับได้ สิ่งนี้จะดีกว่าสำหรับ CS, IMHO
Maarten Bodewes avatar
in flag
@knacc & ทั้งหมด ฉันได้ลบความคิดเห็นจำนวนมากเกี่ยวกับ zetaprime เนื่องจากพวกเขาไม่สมเหตุสมผลกับบุคคลที่สาม (อีกต่อไป) หากมีสิ่งใดขาดหายไป โปรดเพิ่มอีกครั้ง
Score:1
ธง gb

ตัวเลือกที่เป็นไปได้จะใช้ ฟิลเตอร์บลูม เพื่อระบุ ศักยภาพ ทำซ้ำตามความน่าจะเป็น จากนั้นตรวจสอบว่าซ้ำกันจริงหรือไม่โดยส่งค่าที่เป็นไปได้ไม่กี่รายการ หากคุณใช้ฟิลเตอร์บานใหญ่เพียงพอ ฟิลเตอร์นี้ก็เพียงพอสำหรับทุกขนาด

อีกทางเลือกหนึ่ง ซึ่งอาจไม่เหมาะนัก คุณสามารถใช้ มินิสเก๊ตช์.

จากที่อ่านมา

ภาพสเก็ตช์ที่ผลิตโดยไลบรารีนี้อาจถูกมองว่าเป็น "set checksums" ที่มีคุณสมบัติพิเศษสองประการ:

  1. ภาพสเก็ตช์มีความจุที่กำหนดไว้ล่วงหน้า และเมื่อจำนวนองค์ประกอบในชุดไม่เกินความจุ libminisketch จะกู้คืนทั้งชุดจากภาพร่างเสมอ ภาพร่างขององค์ประกอบ b-bit ที่มีความจุ c สามารถจัดเก็บใน bc bit ได้
  2. ภาพสเก็ตช์ของสองชุดสามารถรวมกันได้โดยการเพิ่ม (XOR) เพื่อให้ได้ภาพร่างของความแตกต่างที่สมมาตรระหว่างสองชุด (เช่น องค์ประกอบทั้งหมดที่เกิดขึ้นในชุดอินพุตเดียว แต่ไม่ใช่ทั้งสองชุด)

ดังนั้น สมมติว่าคุณใช้ความจุที่มากพอ คุณเพียงแค่ XOR ภาพร่างเพื่อระบุองค์ประกอบเฉพาะและนำส่วนที่เหลือออก

kelalaka avatar
in flag
เราไม่รู้ขนาดที่เป็นไปได้ของเอกภพและส่วนย่อย $A$ และไคลเอนต์ ยัง
meshcollider avatar
gb flag
อืม อัปเดตด้วยวิธีอื่นที่เป็นไปได้
kelalaka avatar
in flag
ฉันคิดว่า miniscketch จะล้มเหลวในข้อกำหนดด้านความปลอดภัยและ Bloom ด้วย
zetaprime avatar
kr flag
สำหรับตัวกรองบลูม: ฉันสามารถดูได้ว่าลูกค้าทั้งหมดจะมีตัวกรองบลูมของผู้อื่นหรือไม่ จากนั้นฉันเดาว่าพวกเขาน่าจะเห็นด้วยกับโปรโตคอลเพื่อละทิ้งตัวกรองที่ซ้ำกัน ฉันจะตรวจสอบความเท่าเทียมกันของสหภาพได้อย่างไร
zetaprime avatar
kr flag
สำหรับ minisketch มันเขียนว่า "ภาพร่างขององค์ประกอบ b-bit ที่มีความจุ c สามารถเก็บไว้ใน bc bits" เว้นแต่ฉันจะเข้าใจผิด มันค่อนข้างเก็บองค์ประกอบทั้งหมดไว้ในภาพร่าง ฉันจะอ่านต่อไป
meshcollider avatar
gb flag
@zetaprime ใช่องค์ประกอบสามารถกู้คืนได้จากร่างดังนั้นมันอาจใหญ่เกินไปสำหรับวัตถุประสงค์ของคุณ ฉันมุ่งเน้นไปที่ส่วนเสริมเป็นหลักในตอนแรก
meshcollider avatar
gb flag
ในแง่ของความเท่าเทียมกันในการทดสอบ สิ่งนี้อาจช่วยได้: [ชุดความน่าจะเป็นที่ไม่มีผลบวกลวง?](https://cstheory.stackexchange.com/questions/6596/a-probabilistic-set-with-no-false-positives) ฉันสามารถจินตนาการถึงสถานการณ์หนึ่งได้ ซึ่งหลังจากที่คุณลบรายการที่ซ้ำกันระหว่างไคลเอ็นต์ทั้งหมดแล้ว คุณสามารถทำ RSA accumulator ได้ตามที่กำหนด และตรวจสอบความเท่าเทียมกันของสิ่งเหล่านั้น โดยพื้นฐานแล้วแฮชแต่ละองค์ประกอบให้เป็นจำนวนเฉพาะ (หวังว่าจะมีโอกาสชนกันเล็กน้อย) และเพิ่มตัวสร้างคงที่ให้กับกำลังสำคัญทั้งหมดในสนามที่จำกัด มันจะมีความเป็นไปได้แม้ว่า

โพสต์คำตอบ

คนส่วนใหญ่ไม่เข้าใจว่าการถามคำถามมากมายจะปลดล็อกการเรียนรู้และปรับปรุงความสัมพันธ์ระหว่างบุคคล ตัวอย่างเช่น ในการศึกษาของ Alison แม้ว่าผู้คนจะจำได้อย่างแม่นยำว่ามีคำถามกี่ข้อที่ถูกถามในการสนทนา แต่พวกเขาไม่เข้าใจความเชื่อมโยงระหว่างคำถามและความชอบ จากการศึกษาทั้ง 4 เรื่องที่ผู้เข้าร่วมมีส่วนร่วมในการสนทนาด้วยตนเองหรืออ่านบันทึกการสนทนาของผู้อื่น ผู้คนมักไม่ตระหนักว่าการถามคำถามจะมีอิทธิพลหรือมีอิทธิพลต่อระดับมิตรภาพระหว่างผู้สนทนา