31548532
Efficient Algorithms and Implementations for Optimizing the Sum of Linear Fractional Functions, with Applications
This paper presents an improved algorithm for solving the sum of linear fractional functions (SOLF) problem in 1-D and 2-D. A key subproblem to our solution is the off-line ratio query (OLRQ) problem, which asks to find the optimal values of a sequence of m linear fractional functions (called ratios), each ratio subject to a feasible domain defined by O(n) linear constraints. Based on some geometric properties and the parametric linear programming technique, we develop an algorithm that solves the OLRQ problem in O((m+n)log (m+n)) time. The OLRQ algorithm can be used to speed up every iteration of a known iterative SOLF algorithm, from O(m(m+n)) time to O((m+n)log (m+n)), in 1-D and 2-D. Implementation results of our improved 1-D and 2-D SOLF algorithm have shown that in most cases it outperforms the commonly-used approaches for the SOLF problem. We also apply our techniques to some problems in computational geometry and other areas, improving the previous results.
8713870
Optimal Terrain Construction Problems and Applications
in Intensity-Modulated Radiation Therapy
AbstractIn this paper we study several rectilinear terrain construction
problems, which model the leaf sequencing problems in
intensity-modulated radiation therapy (IMRT).
We present a novel unified approach
based on geometric techniques for solving these terrain
construction problems. Our ideas include formulating the terrain
construction problems as computing shortest paths in a weighted directed
graph and building the graph by computing optimal bipartite matchings on various geometric objects
subject to specific constraints of each of the problems. Further,
since we need to compute optimal bipartite matchings on many sets
of geometric objects, we use techniques for computing such
matchings in a batch fashion to speed up these matching
computations. Our approach leads to the first algorithms for several leaf
sequencing problems in IMRT that are practically fast and guarantee
 an output which is optimal for a large sub-class of solutions. The previously known leaf
sequencing algorithms which are currently used in radiation therapy practice
are all heuristics that do not guarantee any good
quality of the output solutions and may run in a long time.
Our implementation
results show that our terrain construction algorithms run very
fast on real medical data (all under few seconds).
27904596
Segmenting Doughnut-Shaped Objects in Medical Images
Image segmentation with specific constraints has found applications in several areas such as biomedical image analysis and data mining. In this paper, we study the problem of segmenting doughnut-shaped and smooth objects in 2-D medical images. Image objects of these shapes are often studied in medical applications. We present an O(IJU(U − L)logJlog(U − L)) time algorithm, where the size of the input 2-D image is I× J, M is the smoothness parameter with 1 ≤ M ≤ J, and L and U are the thickness parameters specifying the thickness between two border contours of a doughnut-shaped object. Previous approaches for solving this segmentation problem are computationally expensive and/or need a lot of user interference. Our algorithm improves the straightforward dynamic programming algorithm by a factor of \(O(\frac{J(U-L)M^2}{U{\rm log}J{\rm log}(U-L)})\). We explore some interesting observations, which make possible to apply the divide-and-conquer strategy combined with dynamic programming. Our algorithm is also based on computing optimal paths in an implicitly represented graph.
2025275
Optimizing the sum of linear fractional functions and applications
1 I n t r o d u c t i o n . The problem of optimizing the sum of linear fractional functions (SOLF) is defined as follows: max f(Zl,...,Xd)= ~ [ : 7 : ~ d ) (Xl ..... z~t)ES i=1 ~ a r t m e n t of Computer Science and Engineering, University of Notre Dame, Notre Dame, IN 46556, USA, {chen,odaescu,xwu,jxu}@cse.nd.edu. This research was supported in part by the National Science Foundation under Grant CCR-9623585. tThe work of this author was supported in part by a fellowship of the Center for Applied Mathematics, University of Notre Dame, Notre Dame, Indiana, USA. t Department of Mathematical and Computing Sciences, Tokyo Institute of Technology, 2-12-1 O-okayama, Meguro-ku, Tokyo 152, Japan, daiOis.titech.ac.jp. Grant-in-Aid of Ministry of Science, Culture and Education of Japan, No. 10780274. §Department of Architecture and Architectural Systems, Graduate School of Engineering, Kyoto University, Yoshida-Honmachi, Sakyo-ku, Kyoto, 606-8501 Japan, naoki~archi.kyoto-u.ac.jp. Partially supported by Grant-inAid for Scientific Research on Priority Areas (B) by the Ministry of Education, Science, Sports and Culture of Japan. IThe work of this author was supported in part by a fellowship of the Center for Applied Mathematics, and by a summer graduate research fellowship of the Graduate School, University of Notre Dame, Notre Dame, Indiana, USA. such that for each i = 1 , 2 , . . . , m , ni(Xl,...,Xd) and di(Xl,...,Xd) are linear functions in a fixed d-D space ]~d, di (x t , . . . ,Xd) ~ 0 for any (Xl , . . . ,Xd) E S, the feasible domain S is defined by n linear constraints (i.e., half-spaces in Rd), and S ~ ¢. Each linear fractional term ~(~1 ..... ~ ) ddxl,...,z~) is called a ratio. The SOLF problem appears in the algorithmic solutions for several geometric optimization problems. In layered manufacturing, Majhi et al. [17], [18] showed that the length-optimal supports for a simple nonconvex polygon can be obtained by solving the 1-D SOLF problem on an interval. Arkin et al. [1] formulated the problem of finding a minimum-area starshaped or monotone polygon that contains a simple polygon, which appears in material layout [1], [8], [21] (e.g., cloth manufacturing) and manufacturing [18], as one of optimizing the sum of 2-D fractional polynomials of degrees 3 and 2 under linear constraints. We will show that the objective function of this problem can actually be simplified to the 2-D SOLF form. For the problem of finding optimal penetrations among weighted regions [5], we shall show tha t the L1 and Leo versions of this problem have the 2-D SOLF problem as a key subproblem. The SOLF problem also arises in other areas. For example, in combinatorial optimization, a class of problems on finding a structure with the maximum (or minimum) mean-weight cost can be solved by optimizing some linear fractional functions [23]. In operations research, it was shown in [11], [24] that many economic applications (e.g., maximization of productivity, return on investment, and return/risk) can be reduced to solving the SOLF problem. Quite a few solutions have been given for the SOLF problem [1], [11], [15], [17], [18], [25]. It is interesting to note that the SOLF related problems were originally studied in economic applications, where the number of variables is usually much bigger than the number of fractional terms. As a result, many previous SOLF algorithms were designed to target problems with only a few fractional terms (less than 10) for a reasonable
9160894
Geometric algorithms for static leaf sequencing problems in radiation therapy
The static leaf sequencing (SLS) problem arises in radiation therapy for cancer treatments, aiming to accomplish the delivery of a radiation prescription to a target tumor in the minimum amount of delivery time. Geometrically, the SLS problem can be formulated as a 3-D partition problem for which the 2-D problem of partitioning a polygonal domain (possibly with holes) into a minimum set of monotone polygons is a special case. In this paper, we present new geometric algorithms for a basic case of the 3-D SLS problem (which is also of clinical value) and for the general 3-D SLS problem. Our basic 3-D SLS algorithm, based on new geometric observations, produces guaranteed optimal quality solutions using Steiner points in polynomial time; the previously best known basic 3-D SLS algorithm gives optimal outputs only for the case without any Steiner points, and its time bound involves a multiplicative factor of a factorial function of the input. Our general 3-D SLS algorithm is based on our basic 3-D SLS algorithm and a polynomial time algorithm for partitioning a polygonal domain (possibly with holes) into a minimum set of x-monotone polygons, and has a fast running time. Experiments and comparisons using real medical data and on a real radiotherapy machine have shown that our 3-D SLS algorithms and software produce treatment plans that use significantly shorter delivery time and give better treatment quality than the current most popular commercial treatment planning system and the most well-known SLS algorithm. Some of our techniques and geometric procedures (e.g., for the problem of partitioning a polygonal domain into a minimum set of x-monotone polygons) are interesting in their own right.
17909513
Determining an optimal penetration among weighted regions in two and three dimensions
We present efficient algorithms for solving the problem of computing an optimal penetration (a ray or a semi-ray) among weighted regions in 2-D and 3-D spaces. This problem finds applications in several areas, such as radiation therapy, geological exploration, and environmental engineering. Our algorithms are based on a combination of geometric techniques and optimization methods. Our geometric analysis shows that the d-D (d = 2, 3) optimal penetration problem can be reduced to solving O(n2(d−1)) instances of certain special types of non-linear optimization problems, where n is the total number of vertices of the regions. We also give implementation results of our 2-D algorithms.
11758071
Algorithms for optimal multi-resolution quantization
Multi-resolution quantization is a way of constructing a progressively refinable description of a discrete random variable. The underlying discrete optimization problem is to minimize an expected distortion over all refinement levels weighted by the probability or importance of the descriptions of different resolutions. This research is motivated by the application of multimedia communications via variable-rate channels. We propose an O(rN2) time and O(N2 log N) space algorithm to design a minimum-distortion quantizer of r levels for a random variable drawn from an alphabet of size N. It is shown that for a very large class of distortion measures the objective function of optimal multi-resolution quantization satisfies the convex Monge property. The efficiency of the proposed algorithm hinges on the convex Monge property. But our algorithm is simpler (even though of the same asymptotic complexity) than the well-known SMAWK fast matrix search technique, which is the best existing solution to the quantization problem. For exponential random variables our approach leads to a solution of even lower complexity: O(rN) time and O(N log N) space, which outperforms all the known algorithms for optimal quantization in both multi- and single-resolution cases. We also generalize the multi-resolution quantization problem to a graph problem, for which our algorithm offers an efficient solution.
2809067
Support vector machines based on K-means clustering for real-time business intelligence systems
Support vector machines (SVM) have been applied to build classifiers, which can help users make well-informed business decisions. Despite their high generalisation accuracy, the response time of SVM classifiers is still a concern when applied into real-time business intelligence systems, such as stock market surveillance and network intrusion detection. This paper speeds up the response of SVM classifiers by reducing the number of support vectors. This is done by the K-means SVM (KMSVM) algorithm proposed in this paper. The KMSVM algorithm combines the K-means clustering technique with SVM and requires one more input parameter to be determined: the number of clusters. The criterion and strategy to determine the input parameters in the KMSVM algorithm are given in this paper. Experiments compare the KMSVM algorithm with SVM on real-world databases, and the results show that the KMSVM algorithm can speed up the response time of classifiers by both reducing support vectors and maintaining a similar testing accuracy to SVM.
11584790
SLEVEs for planar spline curves
Given a planar spline curve and local tolerances, a matched pair of polygons is computed that encloses the curve and whose width (distance between corresponding break points) is below the tolerances. This is the simplest instance of a subdividable linear efficient variety enclosure, short sleve.We develop general criteria, that certify correctness of a global, polygonal enclosure built from a sequence of individual bounding boxes by extending and intersecting their edges. These criteria prove correctness of the sleve construction.
17164296
Optimal context quantization in lossless compression of image data sequences
In image compression context-based entropy coding is commonly used. A critical issue to the performance of context-based image coding is how to resolve the conflict of a desire for large templates to model high-order statistic dependency of the pixels and the problem of context dilution due to insufficient sample statistics of a given input image. We consider the problem of finding the optimal quantizer Q that quantizes the K-dimensional causal context C/sub t/=(X/sub t-t1/,X/sub t-t2/,...,X/sub t-tK/) of a source symbol X/sub t/ into one of a set of conditioning states. The optimality of context quantization is defined to be the minimum static or minimum adaptive code length of given a data set. For a binary source alphabet an optimal context quantizer can be computed exactly by a fast dynamic programming algorithm. Faster approximation solutions are also proposed. In case of m-ary source alphabet a random variable can be decomposed into a sequence of binary decisions, each of which is coded using optimal context quantization designed for the corresponding binary random variable. This optimized coding scheme is applied to digital maps and /spl alpha/-plane sequences. The proposed optimal context quantization technique can also be used to establish a lower bound on the achievable code length, and hence is a useful tool to evaluate the performance of existing heuristic context quantizers.
35689582
A fast recurring two-dimensional entropic thresholding algorithm
Thresholding is an important form of image segmentation and is used in the processing of images for many applications. One of the criteria to select a suitable threshold is the maximization of the two-dimensional (2-D) entropies based on the 2-D (gray-level/local average gray-level) histogram. The rationale of this approach is introduced. In order to reduce the computation time of entropy function, a fast recurring algorithm for 2-D entropic thresholding method is presented. The experimental results show that the processing time to obtain the threshold vector from 2-D histogram is reduced from 30 to 0.15 s.