It is shown that the AKS sorting network can indeed be laid out in area A equals O(n**2), while maintaining an O(log n) computation time, thereby establishing its optimality in the VLSI model of computation.
It is shown that the AKS sorting network can indeed be laid out in area A equals O(n**2), while maintaining an O(log n) computation time, thereby establishing its optimality in the VLSI model of computation.
An optimal algorithm is presented for tracking the phase of a slowly modulating signal by means of digital sampling of its sign. Error bounds and a numerical illustration are given.
An optimal algorithm is presented for tracking the phase of a slowly modulating signal by means of digital sampling of its sign. Error bounds and a numerical illustration are given.
We derive lower bounds on the black-box oracle complexity of large-scale smooth convex minimization problems, with emphasis on minimizing smooth (with Holder continuous, with a given exponent and constant, gradient) c...
详细信息
We derive lower bounds on the black-box oracle complexity of large-scale smooth convex minimization problems, with emphasis on minimizing smooth (with Holder continuous, with a given exponent and constant, gradient) convex functions over high-dimensional parallel to . parallel to(p)-balls, 1 <= p <= infinity. Our bounds turn out to be tight (up to logarithmic in the design dimension factors), and can be viewed as a substantial extension of the existing lower complexity bounds for large-scale convex minimization covering the nonsmooth case and the "Euclidean" smooth case (minimization of convex functions with Lipschitz continuous gradients over Euclidean balls). As a byproduct of our results, we demonstrate that the classical Conditional Gradient algorithm is near-optimal, in the sense of Information-Based Complexity Theory, when minimizing smooth convex functions over high-dimensional parallel to . parallel to(infinity)-balls and their matrix analogies - spectral norm balls in the spaces of square matrices. (C) 2014 Elsevier Inc. All rights reserved.
We study two machine scheduling subject to arbitrary machine availability constraint. Each machine can have multiple unavailable intervals, and both machines can be unavailable at the same time. The jobs can be resume...
详细信息
We study two machine scheduling subject to arbitrary machine availability constraint. Each machine can have multiple unavailable intervals, and both machines can be unavailable at the same time. The jobs can be resumed after being preempted by another job or interrupted by the unavailable intervals. We consider both the single criterion and the bi-criteria problems concerning two most common criteria: makespan and the total completion time. If makespan is, the single criterion to optimize, Liu and Sanlaville (1995) have shown that the optimal schedule can be found in polynomial time. If total completion time is the single criterion, the existing algorithm can only find the optimal schedules for some special cases;however, the complexity of the problem with arbitrary machine availability constraint remains open. For two bi-criteria problems, i.e., the problem of minimizing the total completion time subject to the constraint that the makespan is minimum, and the problem of minimizing makespan subject to the constraint that total completion time is minimum, their computational complexity are also open. In this paper, we show all these three open problems are in P by giving optimal algorithms that run in polynomial time. An interesting finding in this research is that these three problems are closely related to each other and thus the algorithms also rely on one another. (C) 2017 Elsevier Ltd. All rights reserved.
We present four polylog-time parallel algorithms for matching parentheses on an exclusive-read and exclusive-write (EREW) parallel random-access machine (PRAM) model. These algorithms provide new insights into the par...
详细信息
We present four polylog-time parallel algorithms for matching parentheses on an exclusive-read and exclusive-write (EREW) parallel random-access machine (PRAM) model. These algorithms provide new insights into the parentheses-matching problem. The first algorithm has a time complexity of O(log2 n) employing O(n/log n) processors for an input string containing n parentheses. Although this algorithm is not cost-optimal, it is extremely simple to implement. The remaining three algorithms, which are based on a different approach, achieve O(log n) time complexity in each case, and represent successive improvements. The second algorithm requires O(n) processors and working space, and it is comparable to the first algorithm in its ease of implementation. The third algorithm uses O(n/log n) processors and O(n log n) space. Thus, it is cost-optimal, but uses extra space compared to the standard stack-based sequential algorithm. The last algorithm reduces the space complexity to O(n) while maintaining the same processor and time complexities. Compared to other existing time-optimal algorithms for the parentheses-matching problem that either employ extensive pipelining or use linked lists and comparable data structures, and employ sorting or a linked list ranking algorithm as subroutines, our last two algorithms have two distinct advantages. First, these algorithms employ arrays as their basic data structures, and second, they do not use any pipelining, sorting, or linked list ranking algorithms.
A new recursive algorithm of stochastic approximation type with the averaging of trajectories is investigated. Convergence with probability one is proved for a variety of classical optimization and identification prob...
详细信息
A new recursive algorithm of stochastic approximation type with the averaging of trajectories is investigated. Convergence with probability one is proved for a variety of classical optimization and identification problems. It is also demonstrated for these problems that the proposed algorithm achieves the highest possible rate of convergence.
Objects with fixed orientations play an important role in many application areas, for instance VLSI design. Problems involving only rectilinearly oriented (rectangular) objects, as a simplest case, have been studied w...
详细信息
Objects with fixed orientations play an important role in many application areas, for instance VLSI design. Problems involving only rectilinearly oriented (rectangular) objects, as a simplest case, have been studied with the VLSI design application in mind. These objects can be transistors, cells or macros. In reality, they are more suitably represented by polygons rather than just rectangles. In this note we describe how to perform a general decomposition of a set of polygons with fixed orientations in order to solve various computational geometry problems which are important in VLSI design. The decomposition is very simple and efficiently computable, and it allows the subsequent application of algorithms for the rectilinear case, leading to some very efficient and some optimal solutions. We illustrate the technique in detail at the problem of finding the connected components of a set of polygons, for which we derive an optimal solution. The wide applicability of the method is then demonstrated at the problem of finding all pairs of intersecting polygons, yielding an optimal solution.
This paper summarizes theoretical and practical investigations into the effect of parallelization by grid-partitioning on the performance of multigrid methods for the solution of partial differential equations on gene...
详细信息
This paper summarizes theoretical and practical investigations into the effect of parallelization by grid-partitioning on the performance of multigrid methods for the solution of partial differential equations on general two-dimensional domains. Particular emphasis will be placed on the algorithmic scalability for MIMD distributed memory systems. Experimental results for two Navier-Stokes test problems, presented in the last section of the paper, show that the theoretically predicted dependency of the combined numerical and parallel efficiencies of multigrid methods on the number of processors employed is in fact very weak. This leads to the conclusion that multigrid is an appropriate candidate for solving partial differential equations on massively parallel machines.
In this paper the channel routing problem is generalized to allow the interchange of some of the pins in the channel. The generalized problem is called the Permutation Channel Routing Problem (PCRP). This model arises...
详细信息
In this paper the channel routing problem is generalized to allow the interchange of some of the pins in the channel. The generalized problem is called the Permutation Channel Routing Problem (PCRP). This model arises naturally when there are logically equivalent (and therefore interchangeable) pins. Various other applications of the model are also presented. We show that the PCRP is NP-complete for two different cost measures. An optimal algorithm is presented for a special case called the Single Permutable Block Model. For the general PCRP, we study two methods of solution: iterative improvement and simulated annealing. Our results show that allowing some of the pins to be interchanged can lead to a substantial reduction in the number of tracks needed for routing. For example, by randomly generating a few small groups of interchangeable pins, a savings of 42% was obtained for Deutsch's Difficult problem. For all the test problems, our algorithms produce results that are very close to the best possible ones. We also show that our algorithms outperform a previous method by Kobayashi and Drozd.
We show that the O(n log n) (where n is the number of jobs) shortest processing time (SPT) sequence is optimal for the single-machine makespan and total completion time minimization problems when learning is expressed...
详细信息
We show that the O(n log n) (where n is the number of jobs) shortest processing time (SPT) sequence is optimal for the single-machine makespan and total completion time minimization problems when learning is expressed as a function of the sum of the processing times of the already processed jobs. We then show that the two-machine flowshop makespan and total completion time minimization problems are solvable by the SPT sequencing rule when the job processing times are ordered and job-position-based learning is in effect. Finally, we show that when the more specialized proportional job processing times are in place, then our flowshop results apply also in the more general sum-of-job-processing-times-based learning environment. (c) 2006 Elsevier B.V. All rights reserved.
暂无评论