Логическая задача о бэкапах - Академия Selectel

Логическая задача о бэкапах

Вера Туманова
Вера Туманова Младший менеджер продуктов
10 апреля 2024

Задача для программистов, аналитиков и всех, кто выстраивает логические конструкции.

Изображение записи

Условие

Катя хочет настроить резервное копирование для своей инфраструктуры в облаке. Она обратилась к коллегам: Ане, Владу, Игорю и Толе, чтобы узнать, как они решают эту задачу. Оказалось, что каждый делает бэкапы по-разному. 

Чтобы ничего не забыть, Катя быстро набросала заметки. Но когда она решила все перечитать, обнаружила, что записи перепутались. Теперь одна половина каждого предложения — истина (первая или вторая часть), а другая — ложь.

Что записала Катя?

  1. Влад использует самописное решение для резервного копирования и хранит бэкапы в объектном хранилище (S3), а Игорь складывает свои бэкапы в файловое хранилище. 
  2. Аня еще не успела настроить резервное копирование данных, а Влад использует готовое решение для бэкапов от Selectel. 
  3. Игорь использует для хранения бэкапов объектное хранилище, а Толя не успел настроить резервное копирование своих данных.

Задача

Определите, какими способами резервного копирования пользуются Аня, Влад, Игорь и Толя.

Если хочется усложнить задание, попробуйте решить задачу в уме.

Решение

Посмотрим внимательно на первое и третье высказывания.

1. Влад использует самописное решение для резервного копирования и хранит бэкапы в объектном хранилище (S3), а Игорь складывает свои бэкапы в файловое хранилище.

3. Игорь использует для хранения бэкапов объектное хранилище, а Толя не успел настроить резервное копирование своих данных.

Если принять, что первая половина третьего высказывания истинна, т.е. Игорь кладет бэкапы в S3. Тогда первая часть первого высказывания должна быть ложной. Влад не может использовать для бэкапов S3, ведь способы резервного копирования у всех отличаются. Соответственно, вторая часть первого высказывания должна быть истинной, а это невозможно: ранее мы уже решили, что Игорь использует S3, а не файловое хранилище.

Таким образом, первая часть третьего высказывания не может быть истинной — мы натыкаемся на противоречие. Получается, что в третьем высказывании первая половина — ложь, а вторая — истина.

Для удобства представим это в табличном виде: 

Таблица истинности.

Мы можем заполнить сразу несколько строк и столбцов в таблице, так как знаем, что у каждого из наших героев ситуация с бэкапами разная. 

Теперь посмотрим на второе высказывание.

2. Аня еще не успела настроить резервное копирование данных, а Влад использует готовое решение для бэкапов от Selectel.

Часть про Анну не может быть истинной, ведь это Толя не успел настроить резервное копирование. Соответственно, Влад использует бэкапы от Selectel: 

Таблица истинности.

Как видим, в столбце про самописное решение + S3 осталась всего одна пустая строка. Получается, Аня пользуется этим способом. Тогда у нас остается один Игорь: он складывает свои бэкапы в файловое хранилище.

Таблица истинности.

Итого получаем:

  • Влад использует готовое решение для резервного копирования в облаке от Selectel;
  • Игорь использует самописное решение для резервного копирования и хранит бэкапы в файловом хранилище;
  • Аня складывает бэкапы в объектное хранилище;
  • Толя еще не успел настроить резервное копирование своей инфраструктуры.

А как вы организуете резервное копирование? Если вы, как и Толя, еще не успели настроить резервное копирование в облаке, то присмотритесь к бэкапам от Selectel — их можно настроить всего за минуту, а быть спокойным за сохранность данных всю жизнь.

Больше текстов про бэкапы