グラフ間の写像を埋め込みに持ち上げるための条件

グラフ間の非退化な写像が埋め込みに持ち上げられるための必要十分条件は、2点配置空間の被覆写像が自明であり、特定の3-CNF論理式が満たされることである。