คำถามติดแท็ก lattices

6
มีการใช้โปรยอะไรบ้าง?
Wikipedia พูดว่า : โปรยที่สมบูรณ์ปรากฏในแอปพลิเคชั่นมากมายในวิชาคณิตศาสตร์และวิทยาการคอมพิวเตอร์ มันหมายถึงความจริงที่ว่าพีชคณิตแบบบูลมาตรฐานที่ใช้ในการคำนวณเป็นโครงข่ายที่สมบูรณ์หรือไม่? มีอะไรที่เราจะได้รับจากการทำงานในระดับนามธรรมของโปรยแทนที่จะใช้บูลีนลอจิกโดยเฉพาะ? การค้นหา google ไม่ค่อยพบหัวข้อนี้มากนัก แต่ฉันอาจใช้คำหลักผิด

1
มีโครงสร้างข้อมูลสำหรับ semilattices คล้ายกับโครงสร้างข้อมูลแบบต้นไม้หรือไม่?
หากเราถือว่าต้นไม้เป็นชุดสั่งบางส่วนมันจะกลายเป็นกรณีพิเศษของการเข้าร่วม semilattice สำหรับการเข้าร่วม semilattice เราต้องการให้สามารถคำนวณ (ไม่ซ้ำ) ขอบเขตบนน้อยที่สุดของสององค์ประกอบ (มากหรือน้อย) ได้อย่างมีประสิทธิภาพ ในกรณีของต้นไม้โครงสร้างข้อมูลที่จะเปิดใช้งานสิ่งนี้จะเก็บไว้สำหรับแต่ละองค์ประกอบในโหนดที่สอดคล้องกันตัวชี้ไปยังผู้ปกครองและวัดระยะทางไปยังราก (อันที่จริงแล้วการติดฉลากบนพื้นฐานของการจัดเรียงทอพอโลยีมักใช้สำหรับ "การวัดระยะทางไปยังราก" อย่างมีประสิทธิภาพสิ่งที่จำเป็นคือการสั่งซื้อบางส่วนที่เข้ากันได้ซึ่งสามารถประเมินได้อย่างมีประสิทธิภาพ) การเข้าร่วม semilattice แต่ละอัน จำกัด สามารถแสดงเป็นเซตย่อยของเซต จำกัด ที่มีการบรรจุตามลำดับเพื่อให้ขอบเขตบนน้อยที่สุดได้รับจากการรวมกันของชุด ดังนั้นการแทนแต่ละองค์ประกอบด้วยจำนวน จำกัด ของแท็กและการคำนวณขอบเขตบนน้อยที่สุดโดยการรวมกันของแท็กที่เกี่ยวข้องจะเป็นโครงสร้างข้อมูลที่เป็นไปได้หนึ่ง (โดยการมองที่ส่วนประกอบเราเห็นว่าการกำหนดขอบเขตบนน้อยที่สุดในขณะที่จุดตัดของแท็กที่สอดคล้องกันก็อาจเป็นไปได้ด้วย) โครงสร้างข้อมูลทั่วไปที่ใช้กันทั่วไปก็คือใช้เมทริกซ์เพื่อเก็บผลลัพธ์ทั้งหมดของ "a <= b "หรือแม้แต่ผลลัพธ์ทั้งหมดของ" เข้าร่วม (a, b) " อย่างไรก็ตามการใช้โครงสร้างข้อมูลดังกล่าวเพื่อเป็นตัวแทนของต้นไม้น่าจะแปลก มีโครงสร้างข้อมูลที่เหมือนต้นไม้มากขึ้นสำหรับ semilattices เข้าร่วมซึ่งยังอนุญาตให้มีการคำนวณที่มีประสิทธิภาพ (มากหรือน้อย) ของขอบเขต (ไม่ซ้ำ) ที่มีขอบเขตน้อยที่สุดของสององค์ประกอบ (อาจมีกราฟอะซิไซลิกกำกับด้วยข้อมูลเพิ่มเติมในโหนดที่คล้ายกับการวัดระยะทางถึงรากของต้นไม้)
โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.