## Контекст В рамках краснотертяшных судебных процессов, эффективное применение Voting Rights Act (VRA) часто включает в себя предоставление суду альтернативным districting plans, которые включают больше majority-minority districts, чем предлагаемый план. Такой подход был применен, например, в Allena v. Milligan (2023), где была проверка districting planа для Alabama. Недавний исследовательский работа Cannon et al. предложила новый heuristic algorithm, который назвали short bursts. Он основывается на сложном random walkе по пространству всех возможных plans, продвигаясь в этих прерывистых "бурстах", где начальный plan для каждого bursting — это лучший из предыдущей iterative. Мы предлагаем метод на основе integer programming (IP), который расширяет работу по stochastic hierarchical partitioning. Этот подход был разработан для оптимизации другого понятия fairness в рамках statewide planов. Мы разрабатываем новый column generation algorithm для создания plans через IP, который опережает short bursts на нескольких наборах данных, создавая statewide plans с большим количеством majority-minority districts. Мы также применяем новую iterative local re-optimization algorithm, которая улучшает каждый базовый plan, и algorithm для увеличения compactness districts без затрагивания number of majority-minority districts. ## Метод Мы используем integer programming (IP) для создания districting plans, которые optimize number of majority-minority districts. Наша методология основывается на previous work по stochastic hierarchical partitioning, который генерирует robust set of potential districts в виде columns в типичной задаче set partitioning. Мы развиваем новый column generation algorithm, который находит plans через IP, превосходя short bursts по нескольким наборам данных. Мы также применяем новый local re-optimization algorithm, который iteratively улучшает любой baseline plan. Для увеличения compactness districts без затрагивания number of majority-minority districts, мы разрабатываем дополнительный algorithm. ## Результаты Мы проводим эксперименты с разными наборами данных, сравнивая наши результаты с short bursts. Наши integer programming-based plans показывают значительное улучшение в создании statewide plans с большим количеством majority-minority districts. Мы также используем new local re-optimization algorithm для улучшения каждого baseline planа. Для увеличения compactness districts без затрагивания number of majority-minority districts, мы применяем дополнительный algorithm. Эти результаты показывают, что наш подход эффективнее short bursts на нескольких наборах данных. ## Значимость Наш подход может быть применен в краснотертяшных судебных процессах для оптимизации districting plans, которые будут включать больше majority-minority districts. Это имеет практическую значимость для применения Voting Rights Act и улучшения fair representation. Мы также экспериментируем с применением наших результатов в других областях, таких как дизайн fair systems и optimization в других сферах, где подходы, основанные на integer programming, могут привести к более effective и fair solutions. ## Выводы Мы достигли значительных улучшений в создании districting plans с большим количеством majority-minority districts по сравнению с short bursts. Этот подход демонстрирует эффективность интегрированного итеративного метода, который может использоваться в других областях с целью создания fair и compact solutions. Мы планируем продолжить исследования в этой области, включая расширение framework для у