Теорема CAP утверждает, что в распределённой системе невозможно одновременно гарантировать три свойства:

Consistency (Согласованность): Все узлы видят одни и те же данные в одно и то же время.
Availability (Доступность): Каждый запрос получает ответ (успешный или ошибочный) без гарантии актуальности данных.
Partition tolerance (Устойчивость к разделению): Система продолжает работать несмотря на разрывы связи между узлами.

При сетевых разделениях (partition) система должна выбирать между согласованностью и доступностью. Это влияет на архитектуру:

Если важна согласованность (например, банковские транзакции), выбирают CP-системы, которые могут жертвовать доступностью.
Если важна доступность (например, социальные сети), выбирают AP-системы, где данные могут быть временно несогласованными.

Понимание CAP помогает проектировать распределённые системы с учётом требований к данным и отказоустойчивости.

Объясните, что собой представляет теорема CAP и как она влияет на выбор архитектуры распределённых систем.