Інтелектуальне спостереження за дорожнім рухом

Останнім часом пан Хамсадех працює ІТ-інженером у відділі центрального контролю дорожнього руху муніципалітету Тегерана. Тепер він відповідає за нову систему спостереження за трафіком, з якою транспортні засоби, що порушують закон, будуть штрафуватись через автоматичне розпізнавання номерних знаків та виписку штрафних квитанцій. Система працює вже кілька тижнів у продакшн-середовищі й ось настав час пану Хамсадеху виписувати штрафи. Поки він готував систему, диск серверу баз даних пережив фатальний збій апаратного забезпечення і всі його дані були катастрофічно втрачені. Сміючись над власним лихом, нещасний пан Хамсадех почав перевіряти інші системи в надії на відновлення даних. Єдиною доступною інформацією виявилися журнали, що залишилися на сервері застосунків. На щастя, всі форми внесення даних логуються у сервісному шарі серверу застосунків, і, таким чином, втрачену інформацію можливо повністю відновити, використовуючи ці журнали. Але такі задачі з відновлення даних занадто складні для пана Хамсадеха, і часу на встановлення нової бази, імпорт відновлених даних та переналаштування всієї архітектури для виписки штрафів вже не залишилося. Відчуваючи справжній тиск, пан Хамсадех звертається до вас по допомогу. Ви маєте написати програму, яка зчитує всі журнали та виписує штрафні квитанції. У наступних абзацах пан Хамсадех описує правила дорожнього руху Тегерану, сервіси, що надає система спостереження, формат журналів та правила виписки штрафів.

Кожна дорога вважається такою, що знаходиться в одній із трьох зон трафіку Тегерана:

• Центральна зона обмеження трафіку ($CTRZ$)

• Зона парних/непарних обмежень ($EORZ$)

• Незаборонена зона ($UZ$)

Звичайним легковим автомобілям зазвичай заборонено в'їжджати в $CTRZ$ у такі часові інтервали:

• З суботи по середу з $06$:$30$ до $17$:$00$

• У четвер з $06$:$00$ до $13$:$30$

Звичайним легковим авто, номер яких закінчується на парну цифру, заборонено в'їжджати в $EORZ$ у такі інтервали:

• У неділю та вівторок з $06$:$30$ до $19$:$00$

• У четвер з $06$:$30$ до $17$:$00$

Звичайним легковим авто, номер яких закінчується на непарну цифру, заборонено в'їжджати в $EORZ$ у такі інтервали:

• У суботу, понеділок та середу з $06$:$30$ до $19$:$00$

Таким чином, у п'ятницю (офіційний вихідний в Ірані) жодних зональних обмежень не діє. Деяким транспортним засобам (зокрема громадському транспорту та службам екстреної допомоги) дозволено в'їжджати у $CTRZ$ та $EORZ$ у будь-який час без обмежень. Звичайні авто також можуть заїжджати в ці зони, якщо куплять одноденний дозвіл, але у цій задачі купівля дозволів не враховується. Якщо автомобіль незаконно потрапляє у $CTRZ$ або $EORZ$, він має бути оштрафований. Кожен транспортний засіб має штрафуватись щонайбільше один раз на день за порушення зональних обмежень. Якщо в один день для авто сталося порушення як $CTRZ$, так і $EORZ$ обмежень, враховується порушення $CTRZ$, яке має вищий штраф. Кожна дорога спочатку вважається, що належить до $UZ$, але це може змінитись через оголошення. Нові правила з таких оголошень починають діяти з наступного дня після оголошення. Так само, на початку жоден транспортний засіб не звільнений від зональних правил, але виключення додаються та видаляються з часом. Такі зміни також враховують із наступного дня.

Далі наводяться сервіси, які надає сервер застосунків. Для кожного сервісу у журналі є відповідний запис, що містить ім'я сервісу та параметри. Як видно з опису та прикладів сервісів, параметри задаються у визначеному порядку. Незалежно від типу сервісу, список параметрів будь-якого запису завжди починається зі спеціальної пари параметрів (званих timestamp): "day" та "time". Timestamp природно відображає точний час запиту. Параметр "day" — це додатне ціле число, що показує кількість днів після дня початку роботи системи (день $0$). Параметр "time" показує час запиту цього дня у форматі "HH:mm:ss" (00 \le HH \le 23, 00 \le mm, ss \le 59).

• setRoadZone(day, time, zone, roads)

Параметр "zone" може бути "UZ", "CTRZ", або "EORZ". Параметр "roads" містить непорожній список не обов'язково різних назв доріг. Починаючи з наступного дня, відповідні дороги вважаються такими, що належать до вказаної "zone" (перекриваючи попередній стан зони). Приклади у журналі:

• • setRoadZone 2 "09:12:53" "CTRZ" "Enghelab" "Sa'di" "Ferdowsi" "Ferdowsi"

  • setRoadZone 5 "14:32:01" "EORZ" "Resalat"

  • setRoadZone 12 "00:00:59" "UZ" "Persian_Gulf"

• addZoneException(day, time, vehicles) | removeZoneException(day, time, vehicles)

Параметр "vehicles" містить непорожній список не обов'язково різних номерів авто. Починаючи з наступного дня, відповідні авто {не повинні | повинні} штрафуватись у разі в'їзду в $CTRZ$ або $EORZ$ у заборонений час. Ці команди перекривають попередній стан заданих авто (який міг бути таким самим). Приклади у журналі:

• • addZoneException 1 "09:00:13" "1234567" "9876543"

  • removeZoneException 3 "15:33:02" "1234567" "9876345"

• addPhotoInfo(day, time, photoId, road, vehicles)

Це одна із ключових функцій системи. Вона не викликається з UI-шару. Її викликає інша складна система: зовнішній сервер обробки зображень, що аналізує фото з камер спостереження. Даний сервіс викликається, коли фото зроблено й проаналізовано. Ідентифікатор аналізованого фото приводиться у параметрі "photoId", ціле додатне число. У параметрі "road" — назва дороги, на якій зроблено фото. Сервер обробки зображень знаходить транспортні засоби на фото та розпізнає їхні номери. Параметр "vehicles" містить список розпізнаних номерів. Можливо, цей список порожній (якщо на фото не було жодного авто). "timestamp" тут означає момент зйомки фото. Приклади у журналі:

• • addPhotoInfo 18 "03:18:43" 3324249 "Pastor" "6256256" "8888310"

  • addPhotoInfo 4 "20:47:31" 54 "Mokhberoddoleh,_sar-e_Sa'di"

  • addPhotoInfo 27 "06:39:14" 112385612 "17-e_shahrivar" "1006016"

Можна припускати такі твердження:

• Об'єкти-параметри завжди мають одну з таких форм:

  • Цілі числа: усі невід'ємні

  • Рядки: завжди у лапках (")

  • Списки: завжди останній параметр, складаються з розділених пробілами параметрів-рядків до кінця рядка

• Усі токени, включаючи імена сервісів та параметр-об'єкти (рядки, цілі числа й члени списків), розділені одним пробілом.

• Параметр "time" у форматі "HH:mm:ss" має рівно $8$ символів і всі його три складові мають рівно $2$ цифри (заповнюються "0", якщо менше $10$).

• Назви доріг складаються з англійських букв (малі та великі), цифр, дефісу (-), підкреслення (_), крапки (.), коми (,) та апострофа ('). Назви не порожні та не довші за $100$ символів.

• Усі номери зареєстрованих авто — це рядки рівно з $7$ цифр.

• Кожна дорога чи авто завжди згадуються одним і тим самим рядком.

• Не буває двох однакових міток часу.

• Якщо на один і той самий день припадають конфліктні команди, пріоритет має новіша (з більшим timestamp). Можна вважати, що сервіс "addPhotoInfo" викликається не більше ніж один раз для кожного photoId.

• Кожен номер авто з'являється не більше одного разу на кожному фото.

• Тривалість роботи системи не більше $300$ днів.

• Авто має бути оштрафоване за незаконне відвідування зони навіть якщо його фото зроблено у прикордонний момент (наприклад, у понеділок о $6$:$30$:$00$).

Штрафи треба накласти на основі результату аналізу фото. Як зазначалося вище, квитанція про штраф видається на кожне авто, що порушило, не більше ніж один раз на день. До квитанції мають бути прикріплені всі фото з будь-яким порушенням цього дня. Фото у квитанції мають бути відсортовані за часом зростання (timestamp). Якщо для одного авто сталося і порушення $CTRZ$, і $EORZ$, треба прикріпити фото усіх порушень, але виписати квитанцію з штрафом за $CTRZ$. Порядок виводу квитанцій також важливий. Квитанції мають бути спочатку відсортовані за номерами авто у лексикографічному порядку. Квитанції одного авто — за зростанням дня порушення.