เท่าที่ฉันเข้าใจ คุณสมบัตินั้นสามารถคำนวณได้หากอยู่ในบริบทที่มีขอบเขตทางการคำนวณ ดังนั้นสำหรับเอนทิตีที่เกี่ยวข้องที่มีขอบเขตทางคอมพิวเตอร์ใดๆ ตัวแยกความแตกต่างที่มีขอบเขตการคำนวณใด ๆ ที่ประเมินการถอดเสียงสองรายการเพื่อตรวจสอบ CZK หรือผู้พิสูจน์อาร์กิวเมนต์ที่มีขอบเขตการคำนวณ
ฉันเดาว่าการจับภาพแนวคิดของ "เอนทิตีที่มีขอบเขตทางคอมพิวเตอร์" อย่างชัดเจนในการพิสูจน์นั้นไม่ใช่เรื่องง่าย ดังนั้นฉันคิดว่านั่นเป็นเหตุผลที่ฉันได้พบกับคุณสมบัติการคำนวณ เช่น ความต้านทานของแฮชหรือ DLP ของพรีอิมเมจที่สอง (เนื่องจากความแข็งของพวกมันขึ้นอยู่กับเอนทิตีทั้งหมดที่มีขอบเขตทางการคำนวณ ดังนั้นหากเราพิสูจน์ได้ว่าความแข็งของพวกมันบ่งบอกถึงคุณสมบัติของเรา เราก็ชนะ)
ฉันสงสัยว่ามีตัวอย่างคุณสมบัติการคำนวณที่พิสูจน์ด้วยสถานะที่แตกต่างกันหรือไม่ และถ้าการพิสูจน์โดยการลดปัญหายากๆ นั้นไม่ใช่ข้อพิสูจน์ที่ "อ่อนแอ" แต่อย่างใด การตั้งอยู่บนสมมติฐานด้านความแข็งนั้นไม่รับประกันว่าจะคงอยู่ตลอดไปแม้ว่าจะได้รับการยอมรับอย่างแน่นอน (ฉันเข้าใจว่าการเข้ารหัสทั้งหมดเป็นเรื่องโกหกทางการคำนวณขนาดใหญ่ ;-) แต่สมมติว่าฉัน สงสัยจะลำเอียงในทางทฤษฎี)
คนส่วนใหญ่ไม่เข้าใจว่าการถามคำถามมากมายจะปลดล็อกการเรียนรู้และปรับปรุงความสัมพันธ์ระหว่างบุคคล ตัวอย่างเช่น ในการศึกษาของ Alison แม้ว่าผู้คนจะจำได้อย่างแม่นยำว่ามีคำถามกี่ข้อที่ถูกถามในการสนทนา แต่พวกเขาไม่เข้าใจความเชื่อมโยงระหว่างคำถามและความชอบ จากการศึกษาทั้ง 4 เรื่องที่ผู้เข้าร่วมมีส่วนร่วมในการสนทนาด้วยตนเองหรืออ่านบันทึกการสนทนาของผู้อื่น ผู้คนมักไม่ตระหนักว่าการถามคำถามจะมีอิทธิพลหรือมีอิทธิพลต่อระดับมิตรภาพระหว่างผู้สนทนา
