Data-Driven Discrete Geofence Design Using Binary Quadratic Programming
2509.24679v1
cs.SI, cs.AI
2025-10-01
Авторы:
Keisuke Otaki, Akihisa Okada, Tadayoshi Matsumori, Hiroaki Yoshida
Резюме на русском
## Контекст
Геозоны (geofences) широко используются в сфере управления и активизации пространственных и виртуальных регионов для мониторинга и управления спатиотрепновыми событиями. Они позволяют поставщикам контента создавать специфичные события, которые активируются при перемещении пользователей по границам геозоны. Например, пользователям могут высылаться уведомления о ближайших достопримечательностях. Ранее геозоны формировались вручную поставщиками, что требовало значительного времени и усилий. С появлением богатых данных о мобильности людей, полученных через мобильные устройства, стало возможным автоматизировать дизайн геозон. Однако, большинство ранее использовавшихся алгоритмов ограничивались формированием геозон в виде кругов, что приводило к неточности в задачах, которые требуют точного соответствия реальным географическим границам, таким как одиннадцатиугольные полигоны или улицы с односторонним движением. В нашем исследовании мы принимаем на себя задачу формирования геозон в виде произвольных фигур, чтобы улучшить точность и эффективность их применения.
## Метод
Мы приближаем задачу формирования произвольной геозоны к задаче 0-1 интегрального программирования, где полигон геозоны представляется в виде логических переменных (0 или 1), обозначающих наличие или отсутствие точки внутри геозоны. Однако решение такой задачи является вычислительно трудным. Для решения этой проблемы мы преобразуем задачу в задачу квадратичного бинарного программирования (Quadratic Unconstrained Binary Optimization, QUBO). Эта преобразовательная модель позволяет использовать специализированные алгоритмы, такие как квантовые аннелинг и другие современные методы, для получения приближенных решений. Мы разрабатываем и сравниваем различные модели для представления геозон, учитывая различные ограничения, такие как границы полигонов и дорожные сегменты.
## Результаты
Мы проводим эксперименты с использованием данных о мобильности людей для виртуальных и реальных геозон. Мы применяем наши модели к реальным данным, которые включают спутниковые снимки и данные о перемещениях пользователей. Эксперименты показывают, что наша модель способна построить более точные и функциональные геозоны, которые ближе соответствуют физическим границам и требованиям пользователей. Мы также сравниваем нашу модель с традиционными круговыми геозонами и показываем, что наше решение дает более высокую точность и гибкость в различных сценариях применения.
## Значимость
Наша работа имеет значительное значение для различных областей, включая мобильные приложения, городское планирование и уп
Abstract
Geofences have attracted significant attention in the design of spatial and
virtual regions for managing and engaging spatiotemporal events. By using
geofences to monitor human activity across their boundaries, content providers
can create spatially triggered events that include notifications about points
of interest within a geofence by pushing spatial information to the devices of
users. Traditionally, geofences were hand-crafted by providers. In addition to
the hand-crafted approach, recent advances in collecting human mobility data
through mobile devices can accelerate the automatic and data-driven design of
geofences, also known as the geofence design problem. Previous approaches
assume circular shapes; thus, their flexibility is insufficient, and they can
only handle geofence-based applications for large areas with coarse
resolutions. A challenge with using circular geofences in urban and
high-resolution areas is that they often overlap and fail to align with
political district boundaries and road segments, such as one-way streets and
median barriers. In this study, we address the problem of extracting arbitrary
shapes as geofences from human mobility data to mitigate this problem. In our
formulation, we cast the existing optimization problems for circular geofences
to 0-1 integer programming problems to represent arbitrary shapes. Although 0-1
integer programming problems are computationally hard, formulating them as
quadratic (unconstrained) binary optimization problems enables efficient
approximation of optimal solutions, because this allows the use of specialized
quadratic solvers, such as the quantum annealing, and other state-of-the-art
algorithms. We then develop and compare different formulation methods to
extract discrete geofences. We confirmed that our new modeling approach enables
flexible geofence design.
Ссылки и действия
Дополнительные ресурсы: