Automatic frequency assignment for cellular telephones using constraint satisfaction techniques

We study the problem of automatic frequency assignment for cellular telephone systems. The frequency assignment problem is viewed as the problem to minimize the unsatisfied soft constraints in a constraint satisfaction problem (CSP) over a finite domain of frequencies involving co-channel, adjacent channel, and co-site constraints. The soft constraints are automatically derived from signal strength prediction data. The CSP is solved using a generalized graph coloring algorithm. Graph-theoretical results play a crucial role in making the problem tractable. Performance results from a real-world frequency assignment problem are presented. We develop the generalized graph coloring algorithm by stepwise refinement, starting from DSATUR and augmenting it with local propagation, constraint lifting, intelligent backtracking, redundancy avoidance, and iterative deepening

Performance limits for FDMA cellular systems described by hypergraphs

The authors present some preliminary material about hypergraphs, including a discussion of what they call random hypergraph multicolorings, a notion which is central to the analysis of frequency-assignment algorithms. They show that for any frequency-assignment algorithm, the carried traffic function must satisfy T(r)⩽T_0(r), where T_0(r) is a simple function that can be computed by linear programming. They give an asymptotic analysis of a class of 'fixed' frequency-assignment algorithms, and show that in the limit as n→∞, these algorithms achieve carried traffic functions that are at least as large as T_1( r), another simple function that can be computed by linear programming. They show that T_0(r)=T_1(r). This common value, denoted by T_(H,p)(r) is the function referred to above. They also describe some of the most important properties of the function TH,p(r), and identify the 'most favorable' traffic patterns for a given hypergraph H

Acyclic orientations with path constraints

Many well-known combinatorial optimization problems can be stated over the set of acyclic orientations of an undirected graph. For example, acyclic orientations with certain diameter constraints are closely related to the optimal solutions of the vertex coloring and frequency assignment problems. In this paper we introduce a linear programming formulation of acyclic orientations with path constraints, and discuss its use in the solution of the vertex coloring problem and some versions of the frequency assignment problem. A study of the polytope associated with the formulation is presented, including proofs of which constraints of the formulation are facet-defining and the introduction of new classes of valid inequalities

A variational inequality reformulation of a congested transit assignment model by Cominetti, Correa, Cepeda, and Florian

In the paper by Cominetti and Correa (2001) [Common-lines and passenger assignment in congested transit networks. Transportation Science 35 (3), pp 250-267], an extension to the common-lines problem for general multidestination networks under congestion is analyzed. Their transit equilibrium assignment model allows for a full representation of congestion effects caused by the variation of effective frequencies experienced by passengers at transit stops. This model is the first to address these characteristics consistently with the concept of strategies. In a subsequent paper by Cepeda et al. (2006) [Cepeda, M., Cominetti, and R. Florian, M. (2006) A frequency-based assignment model for congested transit networks with strict capacity constraints: characterization and computation of equilibria. Trans. Res B 40, 437-459], the computation of equilibrium is performed heuristically by the minimization of a gap function, using the method of successive averages. In this paper, a reformulation of this congested transit equilibrium assignment model is performed, demonstrating that the problem can be expressed as an equivalent variational inequality. The case of strictly capacitated transit networks is explored under the scope of this new reformulation, and new, broader conditions for the existence of solutions to this congested transit assignment model are determined.Peer ReviewedPostprint (published version