バックトラッキングが有効な問題はどれか。

分散データベースシステムにおいて、一貫性（Consistency）、可用性（Availability）、分断耐性（Partition tolerance）のうち、同時に満たせるのは2つまでであるとする理論はどれか。