Search results for "Enumeration"

showing 10 items of 31 documents

Combinatorial aspects of L-convex polyominoes

2007

We consider the class of L-convex polyominoes, i.e. those polyominoes in which any two cells can be connected with an ''L'' shaped path in one of its four cyclic orientations. The paper proves bijectively that the number f"n of L-convex polyominoes with perimeter 2(n+2) satisfies the linear recurrence relation f"n"+"2=4f"n"+"1-2f"n, by first establishing a recurrence of the same form for the cardinality of the ''2-compositions'' of a natural number n, a simple generalization of the ordinary compositions of n. Then, such 2-compositions are studied and bijectively related to certain words of a regular language over four letters which is in turn bijectively related to L-convex polyominoes. In …

Discrete mathematicsClass (set theory)Mathematics::CombinatoricsPolyominoEnumerationOpen problemGenerating functionRegular polygonPolyominoesNatural numberComputer Science::Computational GeometryFormal SeriesCombinatoricsCardinalityRegular languageDiscrete Mathematics and CombinatoricsTomographyAlgorithmsbinary tomographyMathematicsEnumeration; Formal Series; PolyominoesEuropean Journal of Combinatorics
researchProduct

Enumerable classes of total recursive functions: Complexity of inductive inference

1994

This paper includes some results on complexity of inductive inference for enumerable classes of total recursive functions, where enumeration is considered in more general meaning than usual recursive enumeration. The complexity is measured as the worst-case mindchange (error) number for the first n functions of the given class. Three generalizations are considered.

Discrete mathematicsClass (set theory)Mathematics::CombinatoricsTheoretical computer scienceRecursively enumerable setRecursive functionsEnumerationInductive reasoningMathematics
researchProduct

Polyhedral results for a vehicle routing problem

1991

Abstract The Vehicle Routing Problem is a well known, and hard, combinatorial problem, whose polyhedral structure has deserved little attention. In this paper we consider the particular case in which all the demands are equal (since in the general case the associated polytope may be empty). From a known formulation of the problem we obtain the dimension of the corresponding polytope and we study the facetial properties of every inequality in it.

Discrete mathematicsFacet (geometry)Information Systems and ManagementGeneral Computer ScienceDimension (graph theory)Structure (category theory)PolytopeManagement Science and Operations ResearchIndustrial and Manufacturing EngineeringCombinatoricsModeling and SimulationVehicle routing problemRouting (electronic design automation)Integer programmingVertex enumeration problemMathematicsEuropean Journal of Operational Research
researchProduct

Dyck paths with a first return decomposition constrained by height

2018

International audience; We study the enumeration of Dyck paths having a first return decomposition with special properties based on a height constraint. We exhibit new restricted sets of Dyck paths counted by the Motzkin numbers, and we give a constructive bijection between these objects and Motzkin paths. As a byproduct, we provide a generating function for the number of Motzkin paths of height k with a flat (resp. with no flats) at the maximal height. (C) 2018 Elsevier B.V. All rights reserved.KeywordsKeyWords Plus:STATISTICS; STRINGS

Discrete mathematicsMathematics::CombinatoricsFirst return decompositionDyck and Motzkin pathsEnumerationHeightStatisticsGenerating function0102 computer and information sciences01 natural sciencesConstructiveTheoretical Computer ScienceConstraint (information theory)Combinatorics010104 statistics & probability010201 computation theory & mathematicsEnumerationBijectionDecomposition (computer science)Discrete Mathematics and CombinatoricsStrings0101 mathematics[MATH]Mathematics [math]MathematicsPeak
researchProduct

Enumeration of Łukasiewicz paths modulo some patterns

2019

Abstract For any pattern α of length at most two, we enumerate equivalence classes of Łukasiewicz paths of length n ≥ 0 where two paths are equivalent whenever the occurrence positions of α are identical on these paths. As a byproduct, we give a constructive bijection between Motzkin paths and some equivalence classes of Łukasiewicz paths.

Discrete mathematicsMathematics::CombinatoricsModulo020206 networking & telecommunications0102 computer and information sciences02 engineering and technology[INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]01 natural sciencesConstructiveTheoretical Computer ScienceCombinatoricsMathematics::Logic010201 computation theory & mathematics[MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO]0202 electrical engineering electronic engineering information engineeringEnumerationBijectionMathematics - CombinatoricsDiscrete Mathematics and CombinatoricsComputingMilieux_MISCELLANEOUSMathematics
researchProduct

Ant Colony Search algorithm for optimal strategical planning of electrical distribution systems expansion

2005

Strategical planning is one of many research fields in the design of electrical distribution systems. The problem of strategical planning is a multiobjective combinatorial problem and the search space may often be quite large concerning to the options. The aim is to identify a strategy of expansion of a given distribution system in a given timeframe. For this problem, the search space is created beforehand by running a multiobjective optimisation algorithm for the optimal design of distribution networks for different load levels related to different years. The sets of Pareto-optimal solutions obtained for each load level at each year are equivalent in terms of the considered objectives, the…

Distribution systemMathematical optimizationIdentification (information)Artificial IntelligenceSearch algorithmComputer scienceSimulated annealingEnumerationAnt colony
researchProduct

Catalan words avoiding pairs of length three patterns

2021

Catalan words are particular growth-restricted words counted by the eponymous integer sequence. In this article we consider Catalan words avoiding a pair of patterns of length 3, pursuing the recent initiating work of the first and last authors and of S. Kirgizov where (among other things) the enumeration of Catalan words avoiding a patterns of length 3 is completed. More precisely, we explore systematically the structural properties of the sets of words under consideration and give enumerating results by means of recursive decomposition, constructive bijections or bivariate generating functions with respect to the length and descent number. Some of the obtained enumerating sequences are kn…

FOS: Computer and information sciencesMathematics::CombinatoricsDiscrete Mathematics (cs.DM)General Computer ScienceInteger sequenceBivariate analysisConstructivelanguage.human_languageTheoretical Computer ScienceCombinatorics[MATH.MATH-CO] Mathematics [math]/Combinatorics [math.CO]FOS: MathematicsEnumerationlanguageDiscrete Mathematics and CombinatoricsMathematics - CombinatoricsCatalanCombinatorics (math.CO)Recursive decompositionBijection injection and surjectionMathematicsDescent (mathematics)Computer Science - Discrete Mathematics
researchProduct

On prefix normal words and prefix normal forms

2016

A $1$-prefix normal word is a binary word with the property that no factor has more $1$s than the prefix of the same length; a $0$-prefix normal word is defined analogously. These words arise in the context of indexed binary jumbled pattern matching, where the aim is to decide whether a word has a factor with a given number of $1$s and $0$s (a given Parikh vector). Each binary word has an associated set of Parikh vectors of the factors of the word. Using prefix normal words, we provide a characterization of the equivalence class of binary words having the same set of Parikh vectors of their factors. We prove that the language of prefix normal words is not context-free and is strictly contai…

FOS: Computer and information sciencesPrefix codePrefix normal wordPre-necklaceDiscrete Mathematics (cs.DM)General Computer ScienceFormal Languages and Automata Theory (cs.FL)Binary numberComputer Science - Formal Languages and Automata TheoryContext (language use)Binary languageLyndon words0102 computer and information sciences02 engineering and technologyPrefix grammarprefix normal formsKraft's inequalityCharacterization (mathematics)Lyndon word01 natural sciencesPrefix normal formenumerationTheoretical Computer ScienceFOS: Mathematics0202 electrical engineering electronic engineering information engineeringMathematics - CombinatoricsMathematicsDiscrete mathematicsprefix normal words prefix normal forms binary languages binary jumbled pattern matching pre-necklaces Lyndon words enumerationbinary jumbled pattern matchingSettore INF/01 - InformaticaComputer Science (all)pre-necklacesComputer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing)prefix normal wordsPrefix010201 computation theory & mathematics020201 artificial intelligence & image processingCombinatorics (math.CO)binary languagesComputer Science::Formal Languages and Automata TheoryWord (group theory)Computer Science - Discrete MathematicsTheoretical Computer Science
researchProduct

Robust Conditional Independence maps of single-voxel Magnetic Resonance Spectra to elucidate associations between brain tumours and metabolites.

2020

The aim of the paper is two-fold. First, we show that structure finding with the PC algorithm can be inherently unstable and requires further operational constraints in order to consistently obtain models that are faithful to the data. We propose a methodology to stabilise the structure finding process, minimising both false positive and false negative error rates. This is demonstrated with synthetic data. Second, to apply the proposed structure finding methodology to a data set comprising single-voxel Magnetic Resonance Spectra of normal brain and three classes of brain tumours, to elucidate the associations between brain tumour types and a range of observed metabolites that are known to b…

False discovery rateB VitaminsMagnetic Resonance SpectroscopyComputer scienceDirected Acyclic GraphsBiochemistry030218 nuclear medicine & medical imaging0302 clinical medicineMetabolitesMedicine and Health SciencesAmino AcidsQANeurological Tumors0303 health sciencesMultidisciplinaryDirected GraphsOrganic CompoundsBrain NeoplasmsQRTotal Cell CountingBrainMutual informationVitaminsLipidsChemistryConditional independenceOncologyNeurologyPhysical SciencesEngineering and TechnologyMedicineMeningiomaAlgorithmManagement EngineeringAlgorithmsResearch ArticleComputer and Information SciencesScienceCell Enumeration TechniquesGlycineFeature selectionCholinesResearch and Analysis MethodsSynthetic data03 medical and health sciencesInsuranceRobustness (computer science)HumansMetabolomics030304 developmental biologyRisk ManagementOrganic ChemistryChemical CompoundsBayesian networkBiology and Life SciencesCancers and NeoplasmsProteinsBayes TheoremDirected acyclic graphR1MetabolismAliphatic Amino AcidsGraph TheoryMathematicsPLoS ONE
researchProduct

Advances in the enumeration of foldable self-avoiding walks

2020

<font color="#336633"&gtSelf-avoiding walks (SAWs) have been studied for a long time due to their intrinsic importance and the many application fields in which they operate. A new subset of SAWs, called foldable SAWs, has recently been discovered when investigating two different SAW manipulations embedded within existing protein structure prediction (PSP) software. Since then, several attempts have been made to find out more about these walks, including counting them. However, calculating the number of foldable SAWs appeared as a tough work, and current supercomputers fail to count foldable SAWs of length exceeding ≈ 30 steps. In this article, we present new progress in this enumeration, bo…

Hexagonal crystal systemComputer sciencebusiness.industry[INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE][INFO.INFO-IU] Computer Science [cs]/Ubiquitous ComputingUpper and lower boundsParallel genetic algorithmComputational MathematicsSoftwareComputational Theory and MathematicsHardware and ArchitectureModeling and Simulation[INFO.INFO-ET] Computer Science [cs]/Emerging Technologies [cs.ET]Genetic algorithm[INFO.INFO-DC] Computer Science [cs]/Distributed Parallel and Cluster Computing [cs.DC]Enumeration[INFO.INFO-MA] Computer Science [cs]/Multiagent Systems [cs.MA][INFO.INFO-MO] Computer Science [cs]/Modeling and SimulationbusinessAlgorithmSoftware[INFO.INFO-CR] Computer Science [cs]/Cryptography and Security [cs.CR]International Journal of Computational Science and Engineering
researchProduct