CAP定理について数学的に興味深いことはありますか? 証明を見ると、 2 つの形式主義にまたがる 2 つの異なるステートメントに対して 4 つの異なるケースがあるようです。CAP 定理は 3 つの自明なケースで成立し、4 番目のケースでは成立しません。これらはすべて、非常に回り道した証明技法を使用して、非常に単純なことを言っています。
3.1 Thm 1. 2 台のマシンがまったく通信していない場合、一貫したデータを含めることはできません。
3.1 当然の結果 1.1 2 つのマシンが相互にメッセージを受信するのを待つことが許可されておらず、それらの間の通信回線が任意に遅い場合、一方に書き込み、すぐに他方にクエリを実行すると、一貫性のない結果が得られます。
4.2 Thm 2. タイムアウトによる待機が許可されている 2 台のマシンがまったく接続されていない場合でも、一貫したデータを含めることはできません。
...しかし、それらの間の通信回線が最悪の場合の送信時間について保証されている場合、書き込みを実行するたびにタイムアウトを待つことができ、CAP定理は適用されません。
ここで何か不足していますか？この論文で使用されている証明手法は、将軍が攻撃を調整し、攻撃に同意する時間を設定できる丘の上の将軍の問題 (これは自明ではありません) で見られるようなものに似ているようです。それをするために、彼らは同意することに同意することはできません。しかし、それがここでどのように適用されるのかわかりません。