A set of jobs has to be scheduled on parallel uniform machines. Each machine can handle at most one job at a time. Each job becomes available for processing at its release date. All jobs have the same execution requir...
详细信息
A set of jobs has to be scheduled on parallel uniform machines. Each machine can handle at most one job at a time. Each job becomes available for processing at its release date. All jobs have the same execution requirement, and each machine has a known speed. The processing of any job may be interrupted arbitrarily often and resumed later on any machine. We want to find a schedule that minimizes the sum of completion times, i.e., we consider problem Q vertical bar r(j),p(j) = p, pmtn vertical bar Sigma C-j whose complexity status was open. in this paper, we give a polynomial algorithm for the above problem. The algorithm is based on a reduction of the scheduling problem to a linear program. The crucial condition for implementing the proposed reduction is the known order of job completion times. (C) 2008 Elsevier Ltd. All rights reserved.
We consider conditional facility location problems with unreliable facilities that can fail with known probabilities. The demand is uniformly distributed over a convex polygon in the rectilinear plane where a number o...
详细信息
We consider conditional facility location problems with unreliable facilities that can fail with known probabilities. The demand is uniformly distributed over a convex polygon in the rectilinear plane where a number of facilities are already present, and it is required to optimally locate another facility. We analyze properties of the exponential family of incremental Voronoi diagrams associated with possible realizations of the set of operational facilities, and, based on this analysis, present polynomial algorithms for three conditional location problems. The approach can be extended to various other conditional location problems with continuous demand and unreliable facilities, under different probabilistic models including ones with correlated facility failures. (C) 2021 Elsevier B.V. All rights reserved.
Assume n wireless mobile sensors are initially dispersed in an ad hoc manner in a rectangular region. Each sensor can monitor a circular area of specific diameter around its position, called the sensor diameter. Senso...
详细信息
Assume n wireless mobile sensors are initially dispersed in an ad hoc manner in a rectangular region. Each sensor can monitor a circular area of specific diameter around its position, called the sensor diameter. Sensors are required to move to final locations so that they can there detect any intruder crossing the region in a direction parallel to the sides of the rectangle, and thus provide weak barrier coverage of the region. We study three optimization problems related to the movement of sensors to achieve weak barrier coverage: minimizing the number of sensors moved (MinNum), minimizing the average distance moved by the sensors (MinSum), and minimizing the maximum distance moved by any sensor (MinMax). We give an O(n(3/2)) time algorithm for the MinNum problem for sensors of diameter 1 that are initially placed at integer positions;in contrast the problem is shown to be NP-complete even for sensors of diameter 2 that are initially placed at integer positions. We show that the MinSum problem is solvable in O(n log n) time for theManhattan metric and sensors of identical diameter (homogeneous sensors) in arbitrary initial positions, while it is NP-complete for heterogeneous sensors. Finally, we prove that even very restricted homogeneous versions of the MinMax problem are NP-complete.
This paper investigates the computational complexity of preemptive and nonpreemptive scheduling of biprocessor tasks on dedicated processors in general and some of its special cases. We consider two criteria of optima...
详细信息
This paper investigates the computational complexity of preemptive and nonpreemptive scheduling of biprocessor tasks on dedicated processors in general and some of its special cases. We consider two criteria of optimality: the schedule length and sum of task completion times. In addition, we analyze the complexity of these problems when precedence constraints are involved. We show that in general all these problems are NP-hard in the strong sense.
The concept of arc-disjoint flows in networks was recently introduced in Bang-Jensen and Bessy (2014). This is a very general framework within which many well-known and important problems can be formulated. In particu...
详细信息
The concept of arc-disjoint flows in networks was recently introduced in Bang-Jensen and Bessy (2014). This is a very general framework within which many well-known and important problems can be formulated. In particular, the existence of arc-disjoint branching flows, that is, flows which send one unit of flow from a given source s to all other vertices, generalizes the concept of arc-disjoint out-branchings (spanning out-trees) in a digraph. A pair of out-branchings B-s,1(+), B-s,2(+) from a roots in a digraph D = (V, A) on n vertices corresponds to arc-disjoint branching flows x(1), x(2) (the arcs carrying flow in x(i) are those used in B-s,i(+) = 1, 2) in the network that we obtain from D by giving all arcs capacity n - 1. It is then a natural question to ask how much we can lower the capacities on the arcs and still have, say, two arc-disjoint branching flows from the given root s. We prove that for every fixed integer k >= 2 it is an NP-complete problem to decide whether a network N = (V, A, u) where u(ij) = k for every arc ij has two arc-disjoint branching flows rooted at s. a polynomial problem to decide whether a network N = (V, A, u) on n vertices and u(ij) = n - k for every arc ij has two arc-disjoint branching flows rooted at s. The algorithm for the later result generalizes the polynomial algorithm, due to Lovasz, for deciding whether a given input digraph has two arc-disjoint out-branchings rooted at a given vertex. Finally we prove that under the so-called Exponential Time Hypothesis (ETH), for every epsilon > 0 and for every k(n) with (log(n))(1+epsilon) <= k(n) <= n/2 (and for every large i we have k(n) = i for some n) there is no polynomial algorithm for deciding whether a given digraph contains two arc-disjoint branching flows from the same root so that no arc carries flow larger than n - k(n). (C) 2015 Elsevier B.V. All rights reserved.
Given a k-arc-strong tournament T, we estimate the minimum number of arcs possible in a k-arc-strong spanning subdigraph of T We give a construction which shows that for each k greater than or equal to 2, there are to...
详细信息
Given a k-arc-strong tournament T, we estimate the minimum number of arcs possible in a k-arc-strong spanning subdigraph of T We give a construction which shows that for each k greater than or equal to 2, there are tournaments Ton n vertices such that every k-arc-strong spanning subdigraph of T contains at least nk + (k(k-1))/(2) arcs. In fact, the tournaments in our construction have the property that every spanning subdigraph with minimum in- and out-degree at least k has nk + (k(k-1))/(2) arcs. This is best possible since it can be shown that every k-arc-strong tournament contains a spanning subdigraph with minimum in- and out-degree at least k and no more than nk + (k(k-1))/(2) arcs. As our main result we prove that every k-arc-strong tournament contains a spanning k-arc-strong subdigraph with no more than nk + 136k(2) arcs. We conjecture that for every k-arc-strong tournament T, the minimum number of arcs in a k-arc-strong spanning subdigraph of T is equal to the minimum number of arcs in a spanning subdigraph of T with the property that every vertex has in- and out-degree at least k. We also discuss the implications of our results on related problems and conjectures. (C) 2004 Wiley Periodicals, Inc.
For a dynamical system described in the descriptor form ${{Fd{\bf x}} / {dt = A{\bf x} + B{\bf u}}}$, where the coefficients are classified into generic parameters and fixed constants, the structural controllability i...
详细信息
For a dynamical system described in the descriptor form ${{Fd{\bf x}} / {dt = A{\bf x} + B{\bf u}}}$, where the coefficients are classified into generic parameters and fixed constants, the structural controllability is investigated under a physically reasonable assumption that can be justified by the dimensional analysis. A necessary and sufficient condition for the structural controllability is given in matroid-theoretic terms; the condition can be tested by efficient algorithms for the matroid union/intersection problem.
Multiplicative matrix semigroups with constant spectral radius (c.s.r.) are studied and applied to several problems of algebra, combinatorics, functional equations, and dynamical systems. We show that all such semigro...
详细信息
Multiplicative matrix semigroups with constant spectral radius (c.s.r.) are studied and applied to several problems of algebra, combinatorics, functional equations, and dynamical systems. We show that all such semigroups are characterized by means of irreducible ones. Each irreducible c.s.r. semigroup defines walks on Euclidean sphere, all its nonsingular elements are similar (in the same basis) to orthogonal. We classify all nonnegative c.s.r. semigroups and arbitrary low-dimensional semigroups. For higher dimensions, we describe five classes and leave an open problem on completeness of that list. The problem of algorithmic recognition of c.s.r. property is proved to be polynomially solvable for irreducible semigroups and undecidable for reducible ones. (C) 2016 Elsevier Inc. All rights reserved.
In this paper, we analyze some single machine scheduling problems with the aging effect. We extend the sum-of-processing-time-based aging model such that the fatigue caused by each job to the machine is equal to a non...
详细信息
In this paper, we analyze some single machine scheduling problems with the aging effect. We extend the sum-of-processing-time-based aging model such that the fatigue caused by each job to the machine is equal to a non-increasing function dependent on the normal processing time of a job and the aging effect is job dependent. Although the proposed model is more general and describes more precisely the real-life settings, we show that the special cases of the maximum completion time and the maximum lateness minimization problems with this model are still polynomially solvable. However, we prove the maximum completion time minimization problem with the sum-of-processing-time-based aging model is strongly NP-hard if some jobs have deadlines and constant processing times. On this basis, we show that the maximum lateness minimization problem with this aging model is also strongly NP-hard.
For a given undirected graph G = (V, E, c(G)) with edges weighted by nonnegative reals c(G): E --> R+, let Lambda(G)(k) stand for the minimum amount of weights which needs to be added to make G k-edge-connected, an...
详细信息
For a given undirected graph G = (V, E, c(G)) with edges weighted by nonnegative reals c(G): E --> R+, let Lambda(G)(k) stand for the minimum amount of weights which needs to be added to make G k-edge-connected, and let G*(k) be the resulting graph obtained from G. This paper first shows that function Lambda(G) over the entire range k is an element of [0, + infinity] can be computed in O(nm + n(2) log n) time, and then shows that all G*(k) in the entire range can be obtained from O(n log n) weighted cycles, and such cycles can be computed in O(nm + n(2) log n) time, where n and m are the numbers of vertices and edges, respectively. (C) 1999 Academic Press.
暂无评论