directed-acyclic-graphs - DAG 算法和拉丁方问题

Question

每个拉丁方格对应一个格子排列的有向无环图，其边表示顺序(<)。例如：

_{（来源：享受数独网）}

我有兴趣确定哪些拉丁方格具有唯一的顺序，即其对应的 DAG 不允许其他有效的顶点标签。

一个有效的标签在行和列中保持唯一性，并且还满足由边指定的顺序关系。

我找不到任何有关此类特定标签问题的参考资料。这是否意味着 DAG 结构对这种分析不是特别有用？

这与对 Futoshiki 谜题的唯一性研究有关。