ปัญหาขัดแตะ

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

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

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

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

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

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

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

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

นี่คือลิงค์อาจจะช่วยคุณได้ http://fc.isima.fr/~nourine/publications.php M. Habib และ L. Nourine: อัลกอริธึมเชิงเส้นเวลาเพื่อจดจำการแจกแจงแบบกระจาย, RR LIRMM, ไม่ 92-012, 1992