ronments, Target-Regions by definition may not pro-
vide optimal solutions in all iterations.
At this point, two questions arise: the first ques-
tion concerns the potential of static Target-Regions as
a mean to solve the iterative problem in sparse envi-
ronments. The second question is about the complex-
ity of determining Target-Regions in static scenarios.
We investigate question one using Hypothesis 1.
Hypothesis 1. Let agents in an A-T -Grid-Environ-
ment repeatedly create partitionings based on Target-
Regions. Then the resulting average partitioning qual-
ity according to Equation 2 is expected to be
1. high if agents are distributed uniformly, and
2. low if agents are distributed according to a normal
distribution.
The solution quality further depends on the ratios be-
tween the number of agents, targets, and the size of
the environment.
Note that if agents are normally distributed then they
are concentrated within a certain part of the environ-
ment. This may lead to situations where no or only
a small number of agents is located in some Target-
Regions. Accordingly, bad distribution values and
thus bad overall partitioning qualities result. Hence,
in the remainder of this work we concentrate on uni-
formly distributed agents. In addition, the results
of an empirical analysis fully support Hypothesis 1.
The corresponding experiments compare optimal so-
lutions for settings with two targets to those obtained
using Algorithm 1 and static Target-Regions in sparse
environments.
3
Details can be found in the extended
paper (Kemmerich and Kleine B
¨
uning, 2010b).
The second question concerning the complexity
of calculating Target-Regions is not yet answered.
As by definition, Target-Regions are based on opti-
mal solutions, their construction requires to optimally
solve the partitioning problem. However, as already
mentioned we conjecture that solving such static sce-
narios with more than two targets is at least NP-
hard, since no efficient algorithm is known (Goebels,
2007). Thus, the problem of determining Target-
Regions is conjectured to be at least NP-hard, too.
3
We considered settings with two targets, because no
polynomial-time algorithm that provably returns an optimal so-
lution for settings with an arbitrary number of targets is known
(Goebels, 2007). Accordingly, validating Hypothesis 1 for general
settings is computationally intractable. However, we are aware of
a central-instance polynomial-time algorithm for settings with two
targets which we used in the evaluation.
5 APPROXIMATION OF
TARGET-REGIONS
As the experiments conducted for validating Hypoth-
esis 1 resulted in high quality solutions for uniformly
distributed agents and because the construction of
Target-Regions is assumed to be at least NP-hard, we
propose to use approximated Target-Regions. The
presented approximation is based on a local algorithm
that is known as Exchange Target Strategy (ETS)
(Goebels, 2007). Hence, we call the approximated
regions ETS-Target-Regions.
5.1 ETS-Target-Regions
According to (Goebels, 2007), the Exchange Target
Strategy (ETS) is a good mean to find high qual-
ity partitionings of agents to targets in settings with
static positions. The basic idea of the ETS is as fol-
lows. Initially, agents are (randomly) assigned to tar-
gets. Then, agents repeatedly communicate assign-
ment and distance information. They exchange target
assignments with neighboring agents if this locally
improves the distance objective. Thus, the distribu-
tion objective is fixed based on the initial assignment
while the distance objective gradually improves until
it converges. More details on ETS can be found in the
extended version of the paper or in (Goebels, 2007).
Although ETS provides high quality solutions on
average, worst cases leading to poor solutions or lo-
cal optima can be constructed (Goebels, 2007). In
addition, the costs produced by repeated information
exchange may become relatively high.
To approximate Target-Regions, we propose to
use the Exchange Target Strategy (ETS). We define
the resulting regions in Definition 3.
Definition 3 (ETS-Target-Region)
An ETS-Target-Region ETS-TR(t) for any target t in
a full A-T -Grid-Environment is defined by a set of
cells that consists of target t’s cell and all cells whose
agents are assigned to t after the Exchange Target
Strategy has converged.
Note that ETS-Target-Regions (ETS-TR) in this work
are those that have evolved after 2000 iterations of the
ETS approach, as hand-made experiments indicated
that this value was by far sufficient for convergence
in all considered scenarios. Convergence in this con-
text means that no further improvement of the overall
solution quality was observed after 2000 iterations.
We developed an approach that first calculates
ETS-Target-Regions for a full environment. The re-
sulting ETS-TR then are mapped to the cells of the
REGION-BASED HEURISTICS FOR AN ITERATIVE PARTITIONING PROBLEM IN MULTIAGENT SYSTEMS
203