Точное до цента распределение затрат (Exact-Cents Cost Allocation) — Метрики экономики здравоохранения

Деление итоговой суммы — общей субсидии, счёта за инфраструктуру, показателя влияния на бюджет — между несколькими получателями простой процентной арифметикой часто даёт доли, которые в сумме не равны исходному итогу. Точное до цента распределение — это средство: целочисленный/десятичный метод, работающий в наименьшей единице валюты (цент) и гарантирующий, что доли в сумме составят ровно итог, как бы неровно ни делилось. Любому инженеру-программисту, которому нужно, чтобы поделённый итог сходился до цента — расчёт зарплат, выплата субсидий, распределение общих услуг, — нужен этот паттерн, а не проценты с плавающей запятой.

Почему это важно

Это фундаментальный именованный паттерн корпоративной программной инженерии: книга Мартина Фаулера Patterns of Enterprise Application Architecture (2002) документирует Money и Allocate именно потому, что «разделить $100 на три части» — задача, которую наивный код всегда решает неверно, причём молча: ошибка проявляется, когда кто-то сверяет книги и обнаруживает, что доли дают на цент меньше (или больше) итога. В работе по экономике здравоохранения и финансам NHS это не академический вопрос: показатель влияния на бюджет делится по площадкам, годам или трастам; общие затраты на инфраструктуру и лицензии распределяются между отделами по числу сотрудников или доле активности. Каждое такое деление должно сходиться точно, потому что финансовый директор, получивший доли, не равные в сумме итогу, перестанет доверять всей модели.

Математика

Наивный метод (ошибочный):
  доля_i = округлить(итог × пропорция_i / Σ пропорций)     — округляет каждую долю отдельно

Точный метод (наибольший остаток / "largest remainder allocation"):
  1. база_i = пол(итог_в_наименьших_единицах × пропорция_i / Σ пропорций)   — только целые наименьшие единицы (центы)
  2. остаток = итог_в_наименьших_единицах − Σ база_i                          — оставшиеся центы, всегда < числа получателей
  3. дать по 1 дополнительной наименьшей единице каждому из `остаток` получателей с
     наибольшей дробной частью из шага 1, пока остаток не закончится

Результат: Σ доля_i == итог всегда, по построению

Точный метод никогда не округляет отдельную долю самостоятельно — он округляет всё распределение целиком как одну операцию, и именно это делает инвариант суммы истинным.

Практический пример

Разделить $100,00 на три равные части (пропорции = [1, 1, 1]).

Наивный метод: $100,00 ÷ 3 = $33,333…; округление каждой отдельно до ближайшего цента даёт $33,33 на получателя. Сумма: $33,33 × 3 = $99,99 — цент пропал, и ни одна отдельная строка не настолько «неверна», чтобы это заметить на глаз.

Точный метод: база = $33,33 для всех троих (всего 9 999 наименьших единиц из пол(10 000 / 3) = 3 333 цента на получателя). Остаётся 1 цент (10 000 − 9 999). Этот единственный оставшийся цент достаётся получателю с наибольшей дробной частью при делении — какой именно, это внутренняя деталь разрешения ничьей, на которую вызывающий код не должен полагаться. Двое получателей получают $33,33, один — $33,34, и три доли в сумме дают ровно $100,00.

Именно такая арифметика нужна анализу влияния на бюджет всякий раз, когда итоговый показатель влияния на бюджет нужно разделить по площадкам, группам населения или финансовым годам и сверить с опубликованным итогом; см. Валютно-безопасное агрегирование затрат для парной задачи — сложения многих таких статей без дрейфа.

Связь с разработкой программного обеспечения

Это именно «паттерн Money» из архитектуры корпоративного ПО — фундаментальный именованный паттерн для этого конкретного класса ошибок, а не разовый трюк. Реальные сбои финансовой сверки доходили до продакшена из-за этой самой ошибки: пропорционального деления, вычисленного в f64, округлённого по получателям и ни разу не сверенного с исходным итогом. Он напрямую связан с модулем совокупной стоимости владения этого репозитория, который сейчас агрегирует затраты обычной плавающей запятой по годам и вариантам: та же дисциплина точности применяется, когда итог TCO или влияния на бюджет нужно распределить, а не просто сложить.

Подводные камни

Проценты, а затем округление вместо наибольшего остатка: распределение процентами с плавающей запятой и округление каждого получателя отдельно накапливает ошибки округления и редко возвращается к итогу, особенно при многих получателях.
Игнорирование показателя наименьшей единицы валюты: допущение, что у всех валют по 2 десятичных знака — у японской иены 0, у некоторых валют 3; написанное вручную пропорциональное деление часто жёстко зашивает 2 и молча ломается на других валютах. Процедура точного распределения читает показатель из самой валюты (ISO 4217).
Повторное распределение уже распределённого остатка: повторный запуск процедуры распределения на остатке предыдущего распределения без проверки идемпотентности, что может дважды зачислить один и тот же цент одному и тому же получателю.

Источники

Fowler M. "Patterns of Enterprise Application Architecture." Addison-Wesley, 2002 — паттерны Money и Allocate.
ISO 4217 — стандарт кодов валют и фондов, определяющий показатель наименьшей единицы каждой валюты.