解的唯一性

在斑马谜题中，一个良构的谜题通常有且仅有一个满足所有线索的排列（解的唯一性），这为迭代反馈提供了天然的正确性信号。