Search results for "complexi"

showing 10 items of 1116 documents

Self-stabilizing Balls & Bins in Batches

2016

A fundamental problem in distributed computing is the distribution of requests to a set of uniform servers without a centralized controller. Classically, such problems are modelled as static balls into bins processes, where m balls (tasks) are to be distributed to n bins (servers). In a seminal work, [Azar et al.; JoC'99] proposed the sequential strategy Greedy[d] for n = m. When thrown, a ball queries the load of d random bins and is allocated to a least loaded of these. [Azar et al.; JoC'99] showed that d=2 yields an exponential improvement compared to d=1. [Berenbrink et al.; JoC'06] extended this to m ⇒ n, showing that the maximal load difference is independent of m for d=2 (in contrast…

Mathematical optimizationMarkov chainSelf-stabilization0102 computer and information sciencesNew variantExpected value01 natural sciencesBinExponential functionCombinatorics010104 statistics & probability010201 computation theory & mathematicsTheoryofComputation_ANALYSISOFALGORITHMSANDPROBLEMCOMPLEXITYServerBall (bearing)0101 mathematicsMathematicsProceedings of the 2016 ACM Symposium on Principles of Distributed Computing
researchProduct

Error bounds for a convexity-preserving interpolation and its limit function

2008

AbstractError bounds between a nonlinear interpolation and the limit function of its associated subdivision scheme are estimated. The bounds can be evaluated without recursive subdivision. We show that this interpolation is convexity preserving, as its associated subdivision scheme. Finally, some numerical experiments are presented.

Mathematical optimizationNonlinear subdivision schemesbusiness.industryApplied MathematicsNumerical analysisMathematicsofComputing_NUMERICALANALYSISStairstep interpolationComputer Science::Computational GeometryConvexityMultivariate interpolationComputational MathematicsError boundsComputer Science::GraphicsNearest-neighbor interpolationTheoryofComputation_ANALYSISOFALGORITHMSANDPROBLEMCOMPLEXITYComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATIONApplied mathematicsComputer Science::Symbolic ComputationConvexity preservingbusinessSpline interpolationSubdivisionInterpolationMathematicsComputingMethodologies_COMPUTERGRAPHICSJournal of Computational and Applied Mathematics
researchProduct

Decomposition of Dynamic Single-Product and Multi-product Lotsizing Problems and Scalability of EDAs

2008

In existing theoretical and experimental work, Estimation of Distribution Algorithms (EDAs) are primarily applied to decomposable test problems. State-of-the-art EDAs like the Hierarchical Bayesian Optimization Algorithm (hBOA), the Learning Factorized Distribution Algorithm (LFDA) or Estimation of Bayesian Networks Algorithm (EBNA) solve these problems in polynomial time. Regarding this success, it is tempting to apply EDAs to real-world problems. But up to now, it has rarely been analyzed which real-world problems are decomposable. The main contribution of this chapter is twofold: (1) It shows that uncapacitated single-product and multi-product lotsizing problems are decomposable. (2) A s…

Mathematical optimizationPolynomialDistribution (mathematics)Estimation of distribution algorithmComputer scienceBounded functionScalabilityEDASBayesian networkTime complexity
researchProduct

Optimal Switches in Multi–inventory Systems

2007

Given a switched multi-inventory system we wish to find the optimal schedule of the resets to maintain the system in a safe operating interval, while minimizing a function related to the cost of the resets. We discuss a family of instances that can be solved in polynomial time by linear programming. We do this by introducing a set-covering formulation with a totally unimodular constraint matrix.

Mathematical optimizationScheduleUnimodular matrixLinear programmingInterval (mathematics)Function (mathematics)Constraint matrixTime complexityMathematics
researchProduct

A fast recursive algorithm for the computation of axial moments

2002

This paper describes a fast algorithm to compute local axial moments used for the detection of objects of interest in images. The basic idea is grounded on the elimination of redundant operations while computing axial moments for two neighboring angles of orientation. The main result is that the complexity of recursive computation of axial moments becomes independent of the total number of computed moments in a given point, i.e. it is of the order O(N) where N is the data size. This result is of great importance in computer vision since many feature extraction methods are based on the computation of axial moments. The experimental results confirm the time complexity and accuracy predicted b…

Mathematical optimizationSettore INF/01 - InformaticaComputational complexity theoryVelocity MomentsOrientation (computer vision)ComputationFeature extractionA fast recursive algorithm for the computation of axial momentsPoint (geometry)Time complexityAlgorithmObject detectionMathematicsProceedings 11th International Conference on Image Analysis and Processing
researchProduct

Parallel Simulated Annealing: Getting Super Linear Speedups

2005

The study described in this paper tries to improve and combine different approaches that are able to speed up applications of the Simulated Annealing model. It investigates separately two main aspects concerning the degree of parallelism an implementation can egectively exploit at the initial andfinal periods of an execution. As for case studies, it deals with two implementations: the Job shop Scheduling problem and the poryblio selection problem. The paper reports the results of a large number of experiments, carried out by means of a transputer network and a hypercube system. They give useful suggestions about selecting the most suitable values of the intervention parameters to achieve su…

Mathematical optimizationSpeedupComputational complexity theoryJob shop schedulingParallel processing (DSP implementation)Computer scienceSimulated annealingDegree of parallelismFlow shop schedulingParallel computingHypercubeProceedings. Second Euromicro Workshop on Parallel and Distributed Processing
researchProduct

Solution to nonlinear MHDS arising from optimal growth problems

2011

Abstract In this paper we propose a method for solving in closed form a general class of nonlinear modified Hamiltonian dynamic systems (MHDS). This method is used to analyze the intertemporal optimization problem from endogenous growth theory, especially the cases with two controls and one state variable. We use the exact solutions to study both uniqueness and indeterminacy of the optimal path when the dynamic system has not a well-defined isolated steady state. With this approach we avoid the linearization process, as well as the reduction of dimension technique usually applied when the dynamic system offers a continuum of steady states or no steady state at all.

Mathematical optimizationState variableSteady state (electronics)Sociology and Political ScienceGeneral Social SciencesReduction (complexity)Nonlinear systemLinearizationPath (graph theory)UniquenessStatistics Probability and UncertaintyGeneral PsychologyHamiltonian (control theory)MathematicsMathematical Social Sciences
researchProduct

Algebraic models of the Euclidean plane

2018

We introduce a new invariant, the real (logarithmic)-Kodaira dimension, that allows to distinguish smooth real algebraic surfaces up to birational diffeomorphism. As an application, we construct infinite families of smooth rational real algebraic surfaces with trivial homology groups, whose real loci are diffeomorphic to $\mathbb{R}^2$, but which are pairwise not birationally diffeomorphic. There are thus infinitely many non-trivial models of the euclidean plane, contrary to the compact case.

Mathematics - Differential GeometryPure mathematicsaffine complexificationLogarithmReal algebraic model01 natural sciencesMathematics - Algebraic GeometryMathematics::Algebraic Geometry0103 physical sciencesEuclidean geometryAlgebraic surfaceaffine surfaceFOS: Mathematics0101 mathematicsInvariant (mathematics)Algebraic numberMathematics::Symplectic GeometryAlgebraic Geometry (math.AG)MathematicsAlgebra and Number Theory010102 general mathematics[MATH.MATH-AG] Mathematics [math]/Algebraic Geometry [math.AG]q-homology planesbirational diffeomorphismDifferential Geometry (math.DG)[MATH.MATH-DG]Mathematics [math]/Differential Geometry [math.DG]rational fibrationPairwise comparison010307 mathematical physicsGeometry and TopologyDiffeomorphism[MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG]14R05 14R25 14E05 14P25 14J26[MATH.MATH-DG] Mathematics [math]/Differential Geometry [math.DG]Singular homology
researchProduct

The Reconstruction of Polyominoes from Approximately Orthogonal Projections

2001

The reconstruction of discrete two-dimensional pictures from their projection is one of the central problems in the areas of medical diagnostics, computer-aided tomography, pattern recognition, image processing, and data compression. In this note, we determine the computational complexity of the problem of reconstruction of polyominoes from their approximately orthogonal projections. We will prove that it is NP-complete if we reconstruct polyominoes, horizontal convex polyominoes and vertical convex polyominoes. Moreover we will give the polynomial algorithm for the reconstruction of hv-convex polyominoes that has time complexity O(m3n3).

Mathematics::CombinatoricsPolyominoComputational complexity theoryComputer scienceOrthographic projectionRegular polygonVector projectionComputer Science::Computational GeometryCombinatoricsProjection (mathematics)Computer Science::Discrete MathematicsTomographyAlgorithmTime complexityComputer Science::Formal Languages and Automata TheoryImage compression
researchProduct

Mappings of finite distortion: The sharp modulus of continuity

2003

We establish an essentially sharp modulus of continuity for mappings of subexponentially integrable distortion.

Mathematics::ProbabilityIntegrable systemApplied MathematicsGeneral MathematicsDistortionMathematical analysisGeometryComputer Science::Computational ComplexityComputer Science::Data Structures and AlgorithmsModulus of continuityMathematicsTransactions of the American Mathematical Society
researchProduct