ปัญหาขัดแตะ


10

มีจำนวนงานในปัญหาการคำนวณสำหรับคำสั่งบางส่วน (เช่นการรับรู้, จำนวนข้าม, การรับรู้กราฟเปรียบเทียบ, ฯลฯ ... )

ฉันอยากรู้ว่างานที่ทำเฉพาะกับโปรยทำอะไร ฉันได้ค้นหาไปรอบ ๆ และไม่พบงานที่คล้ายกันมากสำหรับขัดแตะ

โดยเฉพาะอย่างยิ่งฉันสนใจว่ามีการตรวจสอบปัญหาขัดแตะต่อไปนี้:

  1. การรับรู้ของ Lattice: กำหนด DAG หรือคำสั่งบางส่วนในความเป็นจริงแล้วเป็น Lattice หรือไม่

  2. การรับรู้กราฟเปรียบเทียบของ Lattice: กำหนดกราฟที่ไม่ได้บอกทิศทาง G ขอบของ G สามารถปรับได้เพื่อให้การวางแนวผลลัพธ์เป็น lattice หรือไม่?

  3. การพิจารณา / นับองค์ประกอบที่ลดลงของการเข้าร่วมของขัดแตะ

  4. การพิจารณาว่ามีการกระจายตาข่าย / โมดูล


1
คำถามที่เกี่ยวข้อง: สมมติว่าขัดแตะไม่ได้นำเสนออย่างชัดเจน แต่ผ่าน (พูด) oracle ละแวก (เข้าและออก)
Suresh Venkat

คำตอบ:


16

คำถามของคุณอีกครั้ง (2 + 4): กราฟที่ไม่ได้บอกทิศทาง G คือกราฟที่ครอบคลุม (ไม่ใช่กราฟเปรียบเทียบ!) ของตาข่ายแบบกระจายถ้ามันเป็นกราฟค่ามัธยฐานและมีจุดยอดสองจุดที่ประกอบกัน (อยู่ฝั่งตรงข้ามของแต่ละ Djokovic ระดับของขอบ); ดู Duffus, Dwight; Rival, Ivan (1983), "กราฟที่ปรับทิศทางได้เป็น lattices แบบกระจาย", Proc AMS 88 (2): 197–200 สิ่งนี้สามารถกลายเป็นอัลกอริธึมที่มีประสิทธิภาพโดยการรวมอัลกอริธึมการรู้จำกราฟแบบมัธยฐาน (ดูบทความ Wikipedia) กับอัลกอริทึมสำหรับการค้นหาคู่ของจุดยอดเสริม (ดูทฤษฎีบท 3 ของarxiv: cs.DS / 0206033 )


โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.