1
ความซับซ้อนของการขุดโฮโมมอร์ฟิซึมกับวงจรเชิง
รับกราฟแบบกำหนดทิศทางคงที่ (digraph) DDD, DDDปัญหาการตัดสินใจการระบายความร้อนถามว่า GGG มี homomorphism ไป DDD. โฮโมมอร์ฟิซึมของGGG ถึง DDD คือการทำแผนที่ ฉff ของ V( G )V(G)V(G) ถึง V( D )V(D)V(D) ที่เก็บรักษาอาร์คนั่นคือถ้า คุณโวลต์uvuv เป็นส่วนโค้งของ GGGจากนั้น ฉ( u ) f( v )f(u)f(v)f(u)f(v) เป็นส่วนโค้งของ DDD.) ชั้นเรียนของ DDD-COLORING ปัญหาการเชื่อมต่ออย่างยิ่งให้ Dichotomy การคาดคะเนสำหรับ CSPs ที่ระบุไว้โดย Feder และ Vardi (สามารถเข้าถึงได้บนCiteseer ) ในบทความปี 2001 (เข้าถึงได้จากหน้าผู้เขียน, ที่นี่ …