Abstract

This paper describes four mathematical models for the single-facility location problems based on four special distance metrics and algorithms for solving such problems. In this study, algorithms of solving Weber problems using four distance predicting functions (DPFs) are proposed in accordance with four strategies for manipulator control. A numerical example is presented in this proposal as an analytical proof of the optimality of their results.

1. Introduction

Generally, the purpose of a location problem is to determine locations of one or several new facilities on a plane or in a space where some objects (facilities) have been already placed [1]. Usually, the number of possible arrangements for new facilities is infinite [2].

Location problems occur frequently in real life. Some of them include the distribution systems such as locating warehouses within supply chain to minimize average transportation time to market, locating hazardous material so as to minimize its exposure to the public, determining bank account and lockboxes location to maximize clearing time or float, and problems of locating a computer, telecommunication equipment, and wireless base stations [3]. Many of such practical problems of this kind involve emergency facilities such as hospitals, fire stations, accident rescue, or civil defense. The usual objective here is to minimize the maximum among weighted distances between facilities to be located and all demand points. Details of other useful applications can be found in [4, 5]. Similar problems are formulated in approximation theory, problems of estimation in statistics [6], signal and image processing, and so forth [79].

Distance is the length of the shortest path between two points. However, the path depends on properties of space and a way of movement in it. In continuous spaces, the most commonly used metrics are rectangular or Manhattan (), Euclidean (), and Tchebychev (). Indeed, many results have been generalized for -dimensional space; however, practical applications usually occur within the context of two-dimensional and three-dimensional spaces. Therefore, in the subsequent sections, DPF is used for modeling distances in 2-dimensional space (unless it is otherwise stated).

The Euclidean distance between two points does not reflect the cost of moving between them in the systems which use rotating mechanisms (telescopic boom, etc.) as transportation means. These systems include automated lifting cranes and manipulators.

This kind of problems lies behind many important applications. Unfortunately, there exist only a few algorithms which can guarantee optimality.

This paper therefore intends to describe challenging DPFs that are less exploited in the location problem, in addition to describing their similarities for new developments in location research.

The paper is organized as follows. An overview of various distance metrics and location optimization algorithms is given in Section 2. Section 3 describes four versions of the mathematical distance functions which cause the objective functions to differ significantly from those that have been exploited so far. In addition, Section 3 features the relationship among the enumerated metrics. Sections 46 describe algorithms for solving location problems with the listed distance predicting functions. In Section 7, we present a numerical example.

2. Preliminaries

Models involving various DPFs may occur in emergency situations. For instance, the model proposed in [10] calculates the response time between the fire calls and arrival of fire engines. In [11], DPF was presented to be of value in farming activities. Some of the circumstances discussed include planning an irrigation channel between a pond and a field as well as calculating distances among different geographic regions. With the increasing importance of geographic information systems (GIS), a DPF may be incorporated into a GIS to calculate distance measurements in geographic regions.

Westwood [12] has considered optimal mix of trucking and tramping of a truck transportation network for the movement of goods and raw materials among distributing centers, depots, and producers, utilizing a DPF. In some distribution problems, only the general locations and demands of customers are known. A DPF may be employed to estimate the expected travel distance.

DPF is necessary for the estimation of actual distances between the new and existing facilities [1315]. The most widely used measure of distance between a facility and a customer is the metric which defines the distance between two points and in an -dimensional space by In the case , the distance is the rectilinear (rectangular) distance, while in the case it reduces to the usual Euclidean distance. The two cases above and the Tchebychev norm () [16] are the most widely used within the metrics so far [17].

The straight-line Euclidean distance model () is not applicable in cases such as street travel in a city where each travel follows a grid pattern. The appropriate distance function which calculates the distance in this situation is the rectangular distance function ().

There exist several well-documented location problems based upon the assumption of a planar model. For instance, the most famous is the classical Weber problem where a single facility is to be located such that the weighted sum of distances between new and existing facilities is minimized as follows: Here, are a nonnegative weighting coefficients for facilities and , are coordinates of the existing facilities. Also, is the Euclidean distance which corresponds to a classical Weber problem.

The choice of distance functions is an important factor in location model representation. The metrics have received the most attention from location analysts. However, many other types of distances have been exploited in the facility location problems. A review of metrics exploited in many variations of location problems includes central metrics [18], weighted one-infinity norm [19], mixed distances [20, 21], continuous and network distances [2224], various round and block norms [11, 25], and location problems on a sphere and arbitrary surface [9, 26].

Very little has been done to include special cases of the class of metrics in location models. Späth [27] introduced Jaccard metric in minisum problem while in the research of [28], using Jaccard metric and Jaccard median was reported to be of value for classification and other problems in scientific fields such as biology, botany, psychology, paleontology, cognitive sciences, and computer science. A finite descent algorithm for the solution of minisum problem with Jaccard metric was developed in [29].

Some of recent efforts in this direction are those presented in [16] for facility location models where the cities have road networks with streets that are either straight line emanating from a fixed center or straight lines through the central point. Also road networks with only one main street and the other crossing it at right angles were suggested in [30].

Moscow metric or Moscow-Karlsruhe metric, considered in this paper, was used in [31] based on its applicability in the construction of Voronoi diagram on for cities similar to Karlsruhe.

Many authors proposed approximate approaches to the location problems with various or arbitrary distance functions [8, 26]. Such approaches transform the problem into a discrete location problem [32]. However, methods for discrete location problems take many computational resources [32, 33] with no guarantee of the appropriate precision of the result.

In [30], investigation was carried out on the Weber problem in the plane, under the assumption that the distance function is measured with the lift metric. The proposed algorithm for finding the optimal solution is based on known algorithm with underlying rectilinear distances. Authors [34] further considered French metro metric as the underlying in the minisum problem. The transformation of the considered Weber problem is reduced to the analogous optimization problem based on rectangular distances using polar coordinates. The algorithm stated in [34] is applied on the optimal location of the office of the delivery service in the subway of the city Novosibirsk, Russia. In this paper, the British Rail metric [35] which assumes that any path between two points includes the central point (origin) was considered.

3. Location Problems with Metrics Based on Angular Distances

For the sake of motivation, let us consider an example illustrated in Figure 1. A crane or other manipulator on a static platform (denoted by 1) has a rotating boom (2) with a mobile lifting mechanism (3) moving along the boom. The whole structure has three degrees of freedom: the height of the hook (4), the rotation angle , and the position of the lifting mechanism on the boom (radius).

Polar or cylindrical coordinate system [36] is useful to describe the position and movement of the hook of the crane or manipulator. The origin of the coordinates must coincide with the axis of rotation of the boom.

The following notations are used below. Any point in our coordinate system is described with 3 coordinates: height , radius , and angle . Radius is the Euclidean distance between the point and the axis of rotation; height is the distance between and a surface perpendicular to the axis. The following equations can be used to convert the Cartesian coordinates of a point on a plane into polar coordinates: In a 3D space, for , an additional coordinate is added.

If the mechanism transfers a load from a point to a point then it spends some energy to change the height for the value , to modify the angle for and the position of the lifting mechanism (radius) for .

In some region accessible by the manipulator (, where is the height of the crane, is the effective length of the boom), there is a set of points (customers) , . Arbitrary th point is required to deliver a cargo pallets with some freight (building materials, e.g.). The location problem searches for a point such that the cost of placing the whole volume of freight reaches its minimum. In general, the problem is to find appropriate point from the following minimization problem: Here, are nonnegative weighting coefficients, and is the distance function which determines the cost of moving goods from the point to the point . The classical Weber problem with the underlying Euclidean metric assumes the Euclidean distance . However, expenses (energy, time, etc.) of mechanism are not proportional to Euclidean distance. Four strategies for manipulator control and four corresponding location problems depending on the method of calculating these expenses are formulated.

Strategy 1. Minimize the cost of the mechanism movement. If the cost of moving the hook vertically for is , the cost of the boom rotation is for 1 radian and the cost of the lifting mechanism movement along the boom (radius change) is for . Then the distance between and is defined by and the objective function from (5) is Then the term lifting crane metric can be used to denote the distance function (6). The Weber problem corresponding to the objective function (7) was described in [37].

Strategy 2. Minimize the length of freight path provided only one type of movement (vertical movement, boom rotation, or radius change) is allowed to be performed in a single unit of time. Under this assumption, we have a mixed norm considered in [21]:
The vertical component of the path is independent of other components. The length of the horizontal component is the distance in Karlsruhe (Moscow) metric [35].

Urban planning in cities of Moscow or Karlsruhe includes streets of two types: “rays” from the center and disjoint “road rings” around the center. There exists three ways for transition from point to point :(1)moving along a “ring” street from and then moving along a “ray” up to (Case in Figure 2). This path is optimal if and ;(2)moving along a “ray” from and then moving along a “ring” street up to (Case in Figure 2). This path is the shortest if and ;(3)moving from along a “ray” up to the origin (center of the city), then along some other “ray” from the center to if (see Case in Figure 2). This case coincides with the French metro metric [34].

Strategy 3. Minimize the length of the path of the hook under assumption that the rotation is allowed with zero spread of the lifting mechanism only (when the boom is shortened). If the demand point is unreachable from the current point without rotating the boom then the spread of the lifting mechanism must be shortened first (a load moves to the origin), the boom rotates and then the spread of the lifting mechanism increases to reach the demand point. This assumption is actual for some manipulators with a telescopic boom. For such kind of manipulators, the vertical movement is impossible or allowed to be performed by rotating the boom in a vertical plane (changing the azimuth). For the simplicity, a 2D case is here considered:

Strategy 4. This strategy is quite similar to the previous one, except for one important condition. The load moves to the zero point in any case, no matter whether the rotation of the boom is required or not, so that the distance between and is defined by In case of Strategy 4, the distance function for the working part of the manipulator can be described by British Rail metric (flower shop metric) [35], with considering an axis of rotation as the origin. Distance function in Strategy 3 corresponds to the French metro metric with polar coordinates. Algorithm for this case is considered in [34, 38]. This method is further developed and described in [39]. Algorithms for lifting crane metric (Strategy 1), Moscow-Karlsruhe metric (Strategy 2), and British Rail metric (Strategy 4) are shown in the subsequent sections.

4. Algorithm for the “Lifting Crane” Metric (Strategy 1)

The distance function between points and in rectangular coordinates is defined by the following expression: The optimization problem (5) based on the goal function (11) splits into three independent problems with objective functions: Both problems can be reduced on the sequential application of a more general function (in (12)) on the sequential application of a more general problem with the following objective function: The problem (13) can be solved using known algorithm (see, e.g., [1, 40]).

In case of Strategy 1 (see Section 3), the objective function (7) is the sum of three independent functions: Solution of the problem (7) is a point whose coordinates , , and are solutions (minimizers) of functions (14), (15), and (16), respectively. Furthermore, it can easily be observed that problems (14) and (16) correspond to the generalized problem (13) and they can be solved by the appropriate algorithm proposed in [1, 40].

Lemma 5. Let be a set of all minimizers of the objective function (15) and be the set of angular coordinates of the existing facilities (demand points). Then there exists such that or .

Proof. Let be a minimizer of the function (15) and Then we turn to the polar coordinate system such that (Figure 3) and we assume that values of all angles satisfy (the case is excluded since ). This transformation is possible since can be subtracted from values of all angles as well as from itself, regardless of any choice of . The values of the function remain unchanged in the new coordinate system. Therefore, the values of the objective function (15) are unchanged.
Splitting the set of indices of coordinates into two subsets: Then
If then .
Since   and  , it follows that
Since , it results in , that is, . Further, since , if then .
If then and .
Thus, if then is not a minimizer of the objective function (15) unless all values are its minimizers.
Similarly, it can be proved that if then is not a minimizer of (15) unless all values are its minimizers.
Thus, if is a minimizer of the objective (15) and all values are not its minimizers then both subsets and are nonempty.
We choose four indices, two for each of the subsets and (indices can coincide if the subset contains an index of a single point): Then it is possible to choose an arbitrary value , provided that In this case, and .
Thus, for each the value of the objective function in (15) is equal to
Here,
For it follows that .
If then for to satisfy the following holds: This means that is not a minimizer of (15). Similarly, if then, for satisfying the following expression below is obtained: If then for which satisfies it follows that Thus, in this case is a minimizer, so the same is valid for all points inside the interval including the boundary points and .
Value is chosen arbitrarily. Thus, if   , then is not a minimizer of the objective function except for the case . In this case, values and are its minimizers either. Values , , , and are selected from one of three sets: , , or . Let us assume that the angles and are equivalent and give identical values of the objective function.

Thus, if we are required to find any minimizer of , two sets have to be sought: and . Algorithm 6 is offered for solving this problem.

Algorithm 6. Solving the location problem with the “lifting crane” metric.

Step  1. Solve the problem (14) using algorithm for (13). Store the result to .

Step  2. Solve the problem (16) using algorithm for (13). Store the result to .

Step  3. If then else .

Step  4. .

Step  5. For each perform the cycle.

Step  5.1. If then ; .

Step  5.2. If then ; .

Step  5.3. End of cycle 5.

Step  6. Display the result . STOP.

Let us estimate the computational complexity of Algorithm 6. Let be a number of existing facilities (demand points). The algorithm for the metric ([1, 40]) includes coordinates sorting in ascending order with the asymptotic complexity of and summation of coordinate values with linear complexity. Thus, the general computational complexity of steps 1 and 2 is described by the asymptotic formula . Steps 5–5.3 define a cycle in which values of the objective function are calculated for each of coordinates and . Based on Steps 3 and 4, the objective function is estimated times. The objective function is linear (asymptotic complexity ), so the asymptotic complexity of Steps 3–5.3 and complete Algorithm 6 is equal to .

5. Algorithm for Moscow-Karlsruhe Metric (Strategy 2)

In the case of Strategy 2, defined in Section 3, the objective function of the Weber problem (5) is the sum of two independent functions Minimum of the goal function (32) is achieved in a point , where is a minimum point of the objective (33), and and are minimizers of (34). So, problem (32) corresponds to the generalized problem (13). It can be solved by the appropriate algorithm from [1, 40, 41].

Lemma 7 provides a solution of the location problem with the objective function (34).

Lemma 7. Let be a set of minimizers of the objective function (34) and be the set of the polar coordinate pairs of the existing facilities (demand points) .
Then there exist and such that at least one of the following three conditions is correct: ,, or.

Proof. Assume that the minimizer of the function (34) satisfies . Turning to the polar coordinate system with (Figure 4), values of all angles are expressed so that (the case is excluded since ). This transformation is possible because, regardless of the choice of , we can subtract from values of all angles and from the angle itself and obtain values of new coordinates. Values remain the same in the new coordinate system.
Therefore, value of the objective function (34) remains unchanged.
Let us divide the set of indices included in coordinates into three subsets: In addition, consider the following three subsets of indices with respect to an arbitrary angle : Then The value of the objective function (34) at the point is equal to For an arbitrary angle the following holds:
There exists certain interval (Figure 4) such that When , some parts of (39) are constant. It can be designated as follows:
Objective function is linear for , since implies
Consider the following three cases.
Case  1. . Choose satisfying . Thus, that is, is not a minimizer of the function (34).
Case  2. . Choose such that . Then, and also is not a minimizer of (34).
Case  3. . Then . In this case, if is a minimizer of the function (34), then is its minimizer too.
Let us estimate values of and .
From it is immediately obtained that , which further implies . Finally, it is concluded that .
In the case, , it follows that , and further . Therefore, .
In the third case, . In a similar way , and , which further implies  ≥ . Thus,
In case , if is a minimizer of (34), one of the values is also its minimizer.

Assuming that is a minimizer of the function (34) and the value of is known, then value of can be calculated as follows.

Divide the set of indices of the existing facilities into two subsets defined by Then, the objective function (34) can be expressed as This can be designated with Then .

This function is piecewise linear (a linear spline). The boundaries of each of its intervals (subdomains) are its possible minimizers. If the derivative of this function is equal to for any given interval , then all points of the interval are possible minimizers of the objective (34) including the points and . Thus, for finding a minimizer of (34), it is sufficient to determine the value of this function on a set of points Cardinality of this set is . A full search procedure can be used to find the minimizer.

Algorithm 8 is proposed for solving the minimization problem with the objective function (32)–(34).

Algorithm 8. Solve the location problem with Moscow-Karlsruhe metric.

Step  1. Solve the problem (33) using the algorithm for (13). Store the result to .

Step  2. ;  ;  .

Step  3. For each perform the following cycle.

Step  3.1. For each perform cycle.

Step  3.1.1. .

Step  3.1.2. If then ;  ;  .

Step  3.1.3. .

Step  3.1.4. If then ;  ;  .

Step  3.1.5. .

Step  3.1.6. If then ;  ;  .

Step  3.1.7. End of cycle 3.1.

Step  3.2. End of cycle 3.

Step  4. Display the result ; Stop.

Estimate the computational complexity of Algorithm 8. Let be a number of existing facilities (demand points). Step 1 of Algorithm 8 finds the solution of the Weber problem based on metric (see [1, 40]). Therefore, it involves coordinates sorting in ascending order with the asymptotic complexity as well as summation of coordinate values with linear complexity. Thus, the total computational complexity of Step 1 is described by the asymptotic formula . Steps 3–3.2 define a nested loop cycle in which the values of the objective function are calculated for each of the values of coordinates and . Based on Steps 3 and 4, the objective function is evaluated times. The objective function is linear (asymptotic complexity ), so that the complexity of Steps 3–5.3 and complete Algorithm 8 is of the order .

6. Algorithm for Location Problem with British Rail Metric

Lemma 9 is intended to shorten the set of possible facility locations (candidate solutions) in case of the Weber problem with underlying British Rail distance metric (which appears in Strategy 4).

Lemma 9. If then the point is a solution of the goal function (5) with distance function (10).

Proof. Assume is a solution of (5) with distance function (10). Here, we use polar coordinates. If and then Compare this value with the value of the objective functions (5) and (10) in the point : Since , under the assumption and , we get and is not a minimizer of the objective unless or If (57) holds, any point on the plane (including ) is a minimizer of the objective function.
Assuming and then Thus, if and only if which was our original intention.

The result of Lemma 9 is perfectly consistent with the main result of the paper [42]. In [42], Chen proves that is the solution of the classical Weber problem with Euclidean metric if . It has been proved above that if this condition is not true in the case of British Rail metric, then the only possible solution is .

Algorithm 10 is proposed.

Algorithm 10. Solve the location problem with British Rail metric.

Step  1. Compute .

Step  2. For each perform the following:

If then return . STOP.

Step  3. Return the result . STOP.

Obviously, the asymptotic complexity of this algorithm is (linear).

7. Numerical Example

In this example, attempt is made at solving a location problem based on the “lifting crane” metric. Polar coordinates of the existing facilities (demand points) and the corresponding weighting coefficients are given in Table 1.

Solution

Step  1. .

Step  2. .

Step  3. ;

.

Condition is not fulfilled, so that .

Step  4. .

Step  5. For each to 5 perform cycle. Results of steps 5.1–5.3 are summarized in Table 2.

Step  6. .

8. Conclusion

This paper has presented a number of challenging DPFs in location problems that have been insufficiently attempted so far. The motivation is aimed at enriching the spectrum of problems for researchers to consider and creating new and more realistic decision tools for facilities location.

For instance, when a transport mechanism with telescopic boom is used, optimal location problems are formulated as the Weber problem with metrics based on measurement of angular distance. Solution of the Weber problem with each of considered metrics is reduced to solving a problem with the rectangular metric () or searching in a discrete set of possible locations. All algorithms run in a polynomial time. Efficiency of the proposed algorithms has been proved analytically using a numerical example.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

Lev A. Kazakovtsev, Mikhail N. Gudyma, and Alexander N. Antamoshkin gratefully acknowledge the financial support from the Ministry of Education of Russian Federation (basic part of the state assignment, Project no. 346). Predrag S. Stanimirović gratefully acknowledges support from the Research Project 174013 of the Serbian Ministry of Science.