Search results for "Tree"

showing 10 items of 1841 documents

A note on the packing of two copies of some trees into their third power

2003

Abstract It is proved in [1] that if a tree T of order n is not a star, then there exists an edge-disjoint placement of two copies of this tree into its fourth power. In this paper, we prove the packing of some trees into their third power.

Discrete mathematicsPermutationFourth powerApplied MathematicsA* search algorithmlaw.inventionPackingCombinatoricslawOrder (group theory)Tree (set theory)Power treeEmbeddingPlacementMathematicsApplied Mathematics Letters
researchProduct

Analysis of properties of recombination operators proposed for the node-depth encoding

2011

The node-depth encoding is a representation for evolutionary algorithms applied to tree problems. Its represents trees by storing the nodes and their depth in a proper ordered list. The original formulation of the node-depth encoding has only mutation operators as the search mechanism. Although it is computationally efficient, the exclusive use of mutation restricts the exploration of the search space and the algorithm convergence. Then, this work proposes two specific recombination operators to improve the convergence of the algorithm using the node-depth encoding representation. These operators are based on recombination operators for permutation representations. Analysis of the proposed …

Discrete mathematicsPermutationTree (data structure)Encoding (memory)Mutation (genetic algorithm)Convergence (routing)Evolutionary algorithmQuantitative Biology::Populations and EvolutionNode (circuits)Representation (mathematics)AlgorithmMathematicsProceedings of the 13th annual conference companion on Genetic and evolutionary computation
researchProduct

Loop-free Gray code algorithm for the e-restricted growth functions

2011

The subject of Gray codes algorithms for the set partitions of {1,2,...,n} had been covered in several works. The first Gray code for that set was introduced by Knuth (1975) [5], later, Ruskey presented a modified version of [email protected]?s algorithm with distance two, Ehrlich (1973) [3] introduced a loop-free algorithm for the set of partitions of {1,2,...,n}, Ruskey and Savage (1994) [9] generalized [email protected]?s results and give two Gray codes for the set of partitions of {1,2,...,n}, and recently, Mansour et al. (2008) [7] gave another Gray code and loop-free generating algorithm for that set by adopting plane tree techniques. In this paper, we introduce the set of e-restricte…

Discrete mathematicsPrefix codeGeneralizationOrder (ring theory)Computer Science ApplicationsTheoretical Computer ScienceCombinatoricsSet (abstract data type)Gray codeTree (descriptive set theory)Signal ProcessingFunction representationRepresentation (mathematics)AlgorithmInformation SystemsMathematicsInformation Processing Letters
researchProduct

On the hyperbolic limit points of groups acting on hyperbolic spaces

1998

We study the hyperbolic limit points of a groupG acting on a hyperbolic metric space, and consider the question of whether any attractive limit point corresponds to a unique repulsive limit point. In the special case whereG is a (non-elementary) finitely generated hyperbolic group acting on its Cayley graph, the answer is affirmative, and the resulting mapg +↦g −, is discontinuous everywhere on the hyperbolic boundary. We also provide a direct, combinatorial proof in the special case whereG is a (non-abelian) free group of finite type, by characterizing algebraically the hyperbolic ends ofG.

Discrete mathematicsPure mathematicsHyperbolic groupGeneral MathematicsHyperbolic 3-manifoldHyperbolic angleHyperbolic manifoldUltraparallel theoremRelatively hyperbolic groupMathematicsHyperbolic equilibrium pointHyperbolic treeRendiconti del Circolo Matematico di Palermo
researchProduct

An Exact Algorithm for the Quadratic Assignment Problem on a Tree

1989

The Tree QAP is a special case of the Quadratic Assignment Problem (QAP) where the nonzero flows form a tree. No condition is required for the distance matrix. This problem is NP-complete and is also a generalization of the Traveling Salesman Problem. In this paper, we present a branch-and-bound algorithm for the exact solution of the Tree QAP based on an integer programming formulation of the problem. The bounds are computed using a Lagrangian relaxation of this formulation. To solve the relaxed problem, we present a Dynamic Programming algorithm which is polynomially bounded. The obtained lower bound is very sharp and equals the optimum in many cases. This fact allows us to employ a redu…

Discrete mathematicsQuadratic assignment problemManagement Science and Operations ResearchTravelling salesman problemComputer Science ApplicationsReduction (complexity)Tree (data structure)symbols.namesakeExact algorithmLagrangian relaxationsymbolsInteger programmingGeneralized assignment problemMathematicsOperations Research
researchProduct

Any AND-OR Formula of Size N Can Be Evaluated in Time $N^{1/2+o(1)}$ on a Quantum Computer

2007

Consider the problem of evaluating an AND-OR formula on an $N$-bit black-box input. We present a bounded-error quantum algorithm that solves this problem in time $N^{1/2+o(1)}$. In particular, approximately balanced formulas can be evaluated in $O(\sqrt{N})$ queries, which is optimal. The idea of the algorithm is to apply phase estimation to a discrete-time quantum walk on a weighted tree whose spectrum encodes the value of the formula.

Discrete mathematicsQuantum t-designComputational complexity theoryGeneral Computer ScienceGeneral MathematicsSpectrum (functional analysis)Value (computer science)0102 computer and information sciencesTree (graph theory)01 natural sciencesCombinatoricsTree (descriptive set theory)Discrete time and continuous time010201 computation theory & mathematics0103 physical sciencesQuantum operationQuantum phase estimation algorithmQuantum Fourier transformQuantum walkQuantum algorithm010306 general physicsMathematicsQuantum computerSIAM Journal on Computing
researchProduct

Circular sturmian words and Hopcroft’s algorithm

2009

AbstractIn order to analyze some extremal cases of Hopcroft’s algorithm, we investigate the relationships between the combinatorial properties of a circular sturmian word (x) and the run of the algorithm on the cyclic automaton Ax associated to (x). The combinatorial properties of words taken into account make use of sturmian morphisms and give rise to the notion of reduction tree of a circular sturmian word. We prove that the shape of this tree uniquely characterizes the word itself. The properties of the run of Hopcroft’s algorithm are expressed in terms of the derivation tree of the automaton, which is a tree that represents the refinement process that, in the execution of Hopcroft’s alg…

Discrete mathematicsReduction (recursion theory)Fibonacci numberGeneral Computer ScienceHopcroft'algorithmSturmian wordSturmian wordSturmian morphismsTheoretical Computer ScienceCombinatoricsTree (descriptive set theory)TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESComputer Science::Discrete MathematicsDeterministic automatonHopcroft’s minimization algorithmCircular sturmian wordsTree automatonDeterministic finite state automataTime complexityAlgorithmComputer Science::Formal Languages and Automata TheoryWord (group theory)Computer Science(all)MathematicsTheoretical Computer Science
researchProduct

Tree automata, tree decomposition and hyperedge replacement

2005

Recent results concerning efficient solvability of graph problems on graphs with bounded tree-width and decidability of graph properties for hyperedge-replacement graph grammars are systematised by showing how they can be derived from recognisability of corresponding tree classes by finite tree automata, using only well-known techniques from tree-automata theory.

Discrete mathematicsSPQR treeSpanning treeK-ary treeComputer scienceTree decompositionCombinatoricsTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESTree structureGomory–Hu treeTree automatonGraph propertyComputer Science::Formal Languages and Automata TheoryMathematicsofComputing_DISCRETEMATHEMATICS
researchProduct

Absolutely summing operators on C[0,1] as a tree space and the bounded approximation property

2010

Abstract Let X be a Banach space. For describing the space P ( C [ 0 , 1 ] , X ) of absolutely summing operators from C [ 0 , 1 ] to X in terms of the space X itself, we construct a tree space l 1 tree ( X ) on X. It consists of special trees in X which we call two-trunk trees. We prove that P ( C [ 0 , 1 ] , X ) is isometrically isomorphic to l 1 tree ( X ) . As an application, we characterize the bounded approximation property (BAP) and the weak BAP in terms of X ∗ -valued sequence spaces.

Discrete mathematicsSequenceTree (descriptive set theory)Approximation propertyBounded functionInfinite-dimensional vector functionBanach spaceSpace (mathematics)Operator spaceAnalysisMathematicsJournal of Functional Analysis
researchProduct

On the longest common factor problem

2008

The Longest Common Factor (LCF) of a set of strings is a well studied problem having a wide range of applications in Bioinformatics: from microarrays to DNA sequences analysis. This problem has been solved by Hui (2000) who uses a famous constant-time solution to the Lowest Common Ancestor (LCA) problem in trees coupled with use of suffix trees. A data structure for the LCA problem, although linear in space and construction time, introduces a multiplicative constant in both space and time that reduces the range of applications in many biological applications. In this article we present a new method for solving the LCF problem using the suffix tree structure with an auxiliary array that take…

Discrete mathematicsSettore INF/01 - InformaticaSuffix tree[INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]Generalized suffix treeDAWGsuffix tree[INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS]Data structureLongest common substring problemlaw.inventionCombinatoricsSet (abstract data type)Range (mathematics)lawLongest Common Factor ProblemSuffixLowest common ancestorMathematics
researchProduct