Search results for "Theoretical Computer Science"

showing 10 items of 1151 documents

On the Bias and Performance of the Edge-Set Encoding

2009

The edge-set encoding of trees directly represents trees as sets of their edges. Nonheuristic operators for edge-sets manipulate trees' edges without regard for their weights, while heuristic operators consider edges' weights when including or excluding them. In the latter case, the operators generally favor edges with lower weights, and they tend to generate trees that resemble minimum spanning trees. This bias is strong, which suggests that evolutionary algorithms (EAs) that employ heuristic operators will succeed when optimum solutions resemble minimum spanning trees (MSTs) but fail otherwise. The one-max tree problem is a scalable test problem for trees where the optimum solution can be…

Mathematical optimizationSpanning treeStochastic processEvolutionary algorithmMinimum spanning treeTree (graph theory)Evolutionary computationTheoretical Computer ScienceCombinatoricsTree structureComputational Theory and MathematicsRandom treeSoftwareMathematicsIEEE Transactions on Evolutionary Computation
researchProduct

A novel technique for stochastic root-finding: Enhancing the search with adaptive d-ary search

2017

The most fundamental problem encountered in the field of stochastic optimization, is the Stochastic Root Finding (SRF) problem where the task is to locate an unknown point x∗ for which g(x∗) = 0 for a given function g that can only be observed in the presence of noise [15]. The vast majority of the state-of-the-art solutions to the SRF problem involve the theory of stochastic approximation. The premise of the latter family of algorithms is to oper ate by means of so-called “small-step”processesthat explorethe search space in a conservative manner. Using this paradigm, the point investigated at any time instant is in the proximity of the point investigated at the previous time instant, render…

Mathematical optimizationStochastic point location problemsInformation Systems and ManagementLearning automataComputer scienceStochastic root finding problemsLearning Automata020206 networking & telecommunications02 engineering and technologyInterval (mathematics)Function (mathematics)Stochastic approximationComputer Science ApplicationsTheoretical Computer ScienceArtificial IntelligenceControl and Systems Engineering0202 electrical engineering electronic engineering information engineeringSearch problem020201 artificial intelligence & image processingStochastic optimizationAlgorithmRoot-finding algorithmSoftwareInformation Sciences
researchProduct

Context-Independent Scatter and Tabu Search for Permutation Problems

2005

In this paper, we develop a general-purpose heuristic for permutations problems. The procedure is based on the scatter-search and tabu-search methodologies and treats the objective-function evaluation as a black box, making the search algorithm context-independent. Therefore, our main contribution consists of the development and testing of a procedure that uses no knowledge from the problem context to search for the optimal solution. We perform computational experiments with four well-known permutation problems to study the efficiency and effectiveness of the proposed method. These experiments include a comparison with two commercially available software packages that are also based on met…

Mathematical optimizationTheoretical computer scienceComputer sciencebusiness.industrySearch-based software engineeringGeneral EngineeringBest-first searchTabu searchBeam searchLocal search (optimization)Guided Local SearchbusinessHill climbingMetaheuristicINFORMS Journal on Computing
researchProduct

Incremental bipartite drawing problem

2001

Abstract Layout strategies that strive to preserve perspective from earlier drawings are called incremental. In this paper we study the incremental arc crossing minimization problem for bipartite graphs. We develop a greedy randomized adaptive search procedure (GRASP) for this problem. We have also developed a branch-and-bound algorithm in order to compute the relative gap to the optimal solution of the GRASP approach. Computational experiments are performed with 450 graph instances to first study the effect of changes in grasp search parameters and then to test the efficiency of the proposed procedure. Scope and purpose Many information systems require graphs to be drawn so that these syst…

Mathematical optimizationTheoretical computer scienceGeneral Computer ScienceManagement Science and Operations ResearchModular decompositionGraph drawingModeling and SimulationIndependent setClique-widthBipartite graphForce-directed graph drawingGraph productGreedy randomized adaptive search procedureMathematicsofComputing_DISCRETEMATHEMATICSMathematicsComputers & Operations Research
researchProduct

Heuristics for the bandwidth colouring problem

2010

The bandwidth colouring problem consists of assigning a colour to each vertex of a graph, so that the absolute value of the difference between the colours of adjacent vertices is at least the value of the weight of the associated edge. This problem generalises the classical vertex colouring problem and different heuristics have recently been proposed to obtain high quality solutions. In this paper we describe both memory-based and memory-less methods to solve the bandwidth colouring problem. In particular we propose new constructive and improvement methods based on tabu search and GRASP. Comparison of our results with previously reported instances and existing heuristics indicate that the m…

Mathematical optimizationTheoretical computer scienceImprovement methodsGRASPHeuristicsMetaheuristicConstructiveGraphTabu searchMathematicsVertex (geometry)International Journal of Metaheuristics
researchProduct

The Power of the “Pursuit” Learning Paradigm in the Partitioning of Data

2019

Traditional Learning Automata (LA) work with the understanding that the actions are chosen purely based on the “state” in which the machine is. This modus operandus completely ignores any estimation of the Random Environment’s (RE’s) (specified as \(\mathbb {E}\)) reward/penalty probabilities. To take these into consideration, Estimator/Pursuit LA utilize “cheap” estimates of the Environment’s reward probabilities to make them converge by an order of magnitude faster. This concept is quite simply the following: Inexpensive estimates of the reward probabilities can be used to rank the actions. Thereafter, when the action probability vector has to be updated, it is done not on the basis of th…

Mathematical optimizationTheoretical computer scienceLearning automataBasis (linear algebra)Computer scienceRank (computer programming)Object PartitioningPartitioning-based learningEstimatorLearning Automata02 engineering and technologyProbability vectorField (computer science)AutomatonRanking0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processing[INFO]Computer Science [cs]Object Migration Automaton
researchProduct

Failure of the local-to-global property for CD(K,N) spaces

2016

Given any K and N we show that there exists a compact geodesic metric measure space satisfying locally the CD(0,4) condition but failing CD(K,N) globally. The space with this property is a suitable non convex subset of R^2 equipped with the l^\infty-norm and the Lebesgue measure. Combining many such spaces gives a (non compact) complete geodesic metric measure space satisfying CD(0,4) locally but failing CD(K,N) globally for every K and N.

Mathematics - Differential GeometryDiscrete mathematicsProperty (philosophy)GeodesicLebesgue measureExistential quantification010102 general mathematicsMetric Geometry (math.MG)Space (mathematics)01 natural sciencesMeasure (mathematics)Theoretical Computer ScienceMathematics (miscellaneous)Mathematics - Metric GeometryDifferential Geometry (math.DG)0103 physical sciencesMetric (mathematics)FOS: Mathematics010307 mathematical physics0101 mathematics53C23 (Primary) 28A33 49Q20 (Secondary)MathematicsANNALI SCUOLA NORMALE SUPERIORE - CLASSE DI SCIENZE
researchProduct

Tensor tomography on Cartan–Hadamard manifolds

2017

We study the geodesic X-ray transform on Cartan-Hadamard manifolds, and prove solenoidal injectivity of this transform acting on functions and tensor fields of any order. The functions are assumed to be exponentially decaying if the sectional curvature is bounded, and polynomially decaying if the sectional curvature decays at infinity. This work extends the results of Lehtonen (2016) to dimensions $n \geq 3$ and to the case of tensor fields of any order.

Mathematics - Differential GeometryPure mathematicsGeodesic01 natural sciencesTheoretical Computer ScienceTensor fieldHadamard transform44A12 53C21 53C22 45Q05Euclidean geometryFOS: MathematicsSectional curvatureTensor0101 mathematicsMathematical PhysicsMathematicsCartan-Hadamard manifoldsSolenoidal vector fieldApplied Mathematics010102 general mathematicsComputer Science Applications010101 applied mathematicsDifferential Geometry (math.DG)Bounded functionSignal Processingtensor tomographyMathematics::Differential GeometryInverse Problems
researchProduct

Combinatorial Gray codes for classes of pattern avoiding permutations

2007

The past decade has seen a flurry of research into pattern avoiding permutations but little of it is concerned with their exhaustive generation. Many applications call for exhaustive generation of permutations subject to various constraints or imposing a particular generating order. In this paper we present generating algorithms and combinatorial Gray codes for several families of pattern avoiding permutations. Among the families under consideration are those counted by Catalan, Schr\"oder, Pell, even index Fibonacci numbers and the central binomial coefficients. Consequently, this provides Gray codes for $\s_n(\tau)$ for all $\tau\in \s_3$ and the obtained Gray codes have distances 4 and 5.

Mathematics::CombinatoricsFibonacci numberPattern avoiding permutationsGeneral Computer ScienceOrder (ring theory)Generating algorithms94B25Gray codesCombinatorial algorithms05A05; 94B25; 05A15Theoretical Computer ScienceCombinatoricsSet (abstract data type)Constraint (information theory)Gray codePermutation05A05ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATIONFOS: MathematicsMathematics - CombinatoricsCombinatorics (math.CO)05A15Binomial coefficientComputer Science(all)MathematicsTheoretical Computer Science
researchProduct

Catalan and Schröder permutations sortable by two restricted stacks

2020

Abstract Pattern avoiding machines were introduced recently by Claesson, Cerbai and Ferrari as a particular case of the two-stacks in series sorting device. They consist of two restricted stacks in series, ruled by a right-greedy procedure and the stacks avoid some specified patterns. Some of the obtained results have been further generalized to Cayley permutations by Cerbai, specialized to particular patterns by Defant and Zheng, or considered in the context of functions over the symmetric group by Berlow. In this work we study pattern avoiding machines where the first stack avoids a pair of patterns of length 3 and investigate those pairs for which sortable permutations are counted by the…

Mathematics::CombinatoricsSeries (mathematics)010102 general mathematicsSortingContext (language use)0102 computer and information sciences01 natural scienceslanguage.human_languageComputer Science ApplicationsTheoretical Computer ScienceCatalan numberCombinatorics[MATH.MATH-CO] Mathematics [math]/Combinatorics [math.CO]Stack (abstract data type)010201 computation theory & mathematicsSymmetric groupSignal Processing[MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO]languageBinomial transformCatalan0101 mathematicsComputingMilieux_MISCELLANEOUSInformation SystemsMathematics
researchProduct