ปัญหาในการลดจากเพื่อพิสูจน์ขอบเขตล่าง

อะไรคือปัญหามาตรฐานที่เราสามารถลดได้จากเพื่อพิสูจน์ขอบเขตที่ต่ำกว่า?$\Omega(n\log n)$

แน่นอนปัญหาของรัฐนอกเหนือจากการเรียงลำดับและองค์ประกอบที่ชัดเจน

Ben-Orพิสูจน์โดยตรง ขอบเขตล่างสำหรับปัญหาพื้นฐานหลายประการในโมเดลการคำนวณพีชคณิตเชิงพีชคณิต:$\Omega(n\log n)$

• ความแตกต่างขององค์ประกอบ: เมื่อพิจารณาจากจำนวนจริงจำนวนองค์ประกอบของมันจะแตกต่างกันอย่างไร$n$
• ชุด disjointness: ให้สองชุดของตัวเลขจริงพวกเขาไม่ได้มีองค์ประกอบในการร่วมกันอยู่แล้ว?$n$
• Set equality: เมื่อได้รับจำนวนจริงสองชุดหนึ่งอาร์เรย์จะเป็นการเปลี่ยนแปลงของอีกชุดหนึ่งหรือไม่$n$
• วัดปัญหา: ให้ช่วงเวลาที่จริงสิ่งที่เป็นความยาวรวมของสหภาพของพวกเขา?$n$
• Set inclusion: กำหนดจำนวนจริงสองชุดหนึ่งเซตย่อยของอีกชุดหนึ่งหรือไม่
• การเปลี่ยนลำดับพาริตี้: การเปลี่ยนแปลงของเซตการเรียงสับเปลี่ยนเป็นคู่หรือคี่?$[n]$

สามคนแรกเป็นคนที่ใช้บ่อยที่สุดในเรขาคณิตคอมพิวเตอร์