Search results for "combinatoric"

showing 10 items of 1776 documents

On Sturmian Graphs

2007

AbstractIn this paper we define Sturmian graphs and we prove that all of them have a certain “counting” property. We show deep connections between this counting property and two conjectures, by Moser and by Zaremba, on the continued fraction expansion of real numbers. These graphs turn out to be the underlying graphs of compact directed acyclic word graphs of central Sturmian words. In order to prove this result, we give a characterization of the maximal repeats of central Sturmian words. We show also that, in analogy with the case of Sturmian words, these graphs converge to infinite ones.

Discrete mathematicsApplied MathematicsCDAWGsContinued fractionsSturmian wordSturmian wordsCharacterization (mathematics)RepeatsDirected acyclic graphCombinatoricsIndifference graphSturmian words CDAWGs Continued fractions RepeatsChordal graphComputer Science::Discrete MathematicsDiscrete Mathematics and CombinatoricsContinued fractionWord (group theory)Computer Science::Formal Languages and Automata TheoryReal numberMathematics
researchProduct

Potential approach in marginalizing Gibbs models

1999

Abstract Given an undirected graph G or hypergraph potential H model for a given set of variables V , we introduce two marginalization operators for obtaining the undirected graph G A or hypergraph H A associated with a given subset A ⊂ V such that the marginal distribution of A factorizes according to G A or H A , respectively. Finally, we illustrate the method by its application to some practical examples. With them we show that potential approach allow defining a finer factorization or performing a more precise conditional independence analysis than undirected graph models. Finally, we explain connections with related works.

Discrete mathematicsApplied MathematicsComparability graphStrength of a graphClique graphlaw.inventionTheoretical Computer ScienceCombinatoricslawGraph powerArtificial IntelligenceGibbs modelLine graphGraph (abstract data type)FactorizationNull graphMarginalizationRandom geometric graphHypergraph modelsSoftwareMathematicsInternational Journal of Approximate Reasoning
researchProduct

Grundy coloring for power graphs

2003

International audience

Discrete mathematicsApplied Mathematics[INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS][ INFO.INFO-DM ] Computer Science [cs]/Discrete Mathematics [cs.DM][INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS][INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]Power (physics)Brooks' theoremGreedy coloring[INFO.INFO-DM] Computer Science [cs]/Discrete Mathematics [cs.DM]Discrete Mathematics and Combinatorics[ INFO.INFO-DS ] Computer Science [cs]/Data Structures and Algorithms [cs.DS]ComputingMilieux_MISCELLANEOUSMathematics
researchProduct

Partially Square Graphs, Hamiltonicity and Circumference II

2000

Abstract Given a graph G, its partially square graph G∗ is a graph obtained by adding an edge uv for each pair u, v of vertices of G at distance 2 whenever the vertices u and v have a common neighbor x satisfying the condition NG(x) ⊆ NG[u] ∪ NG[v], where NG[x]= NG(x) ∪ {x}. In case G is a claw-free graph, G∗ is equal to G2, We define σ ∗ t = min{ ∑ x∈ d ∗ G (x): S is an independent set in G ∗ and ∣S∣ = t} , where d ∗ G (x) = ∣{y ∈ V∣ xy ∈ E(G∗)}∣ . We give for hamiltonicity and circumference new sufficient conditions depending on and we improve some known results.

Discrete mathematicsApplied Mathematics[INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS][INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS][INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]CircumferenceDistance-regular graphGraphCombinatorics[INFO.INFO-DM] Computer Science [cs]/Discrete Mathematics [cs.DM]Graph powerIndependent setCommon neighborDiscrete Mathematics and CombinatoricsBound graphComputingMilieux_MISCELLANEOUSMathematics
researchProduct

Forbidden words in symbolic dynamics

2000

AbstractWe introduce an equivalence relation≃between functions from N to N. By describing a symbolic dynamical system in terms of forbidden words, we prove that the≃-equivalence class of the function that counts the minimal forbidden words of a system is a topological invariant of the system. We show that the new invariant is independent from previous ones, but it is not characteristic. In the case of sofic systems, we prove that the≃-equivalence of the corresponding functions is a decidable question. As a more special application, we show, by using the new invariant, that two systems associated to Sturmian words having “different slope” are not conjugate.

Discrete mathematicsApplied Mathematicsautomata and formal languages010102 general mathematics[INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]Symbolic dynamics[INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS]0102 computer and information sciencesFunction (mathematics)16. Peace & justice01 natural sciencesDecidabilitysymbolic dynamics010201 computation theory & mathematicsEquivalence relationcombinatoric on words0101 mathematicsInvariant (mathematics)Dynamical system (definition)Equivalence (measure theory)Computer Science::Formal Languages and Automata TheoryWord (group theory)ComputingMilieux_MISCELLANEOUSMathematics
researchProduct

Common Fixed Points in a Partially Ordered Partial Metric Space

2013

In the first part of this paper, we prove some generalized versions of the result of Matthews in (Matthews, 1994) using different types of conditions in partially ordered partial metric spaces for dominated self-mappings or in partial metric spaces for self-mappings. In the second part, using our results, we deduce a characterization of partial metric 0-completeness in terms of fixed point theory. This result extends the Subrahmanyam characterization of metric completeness.

Discrete mathematicsArticle SubjectInjective metric spacelcsh:MathematicsEquivalence of metricslcsh:QA1-939Fixed points dominated self-mappings 0-completenessConvex metric spaceIntrinsic metricCombinatoricsMetric spaceSettore MAT/05 - Analisi MatematicaMetric (mathematics)Metric differentialFisher information metricMathematicsInternational Journal of Analysis
researchProduct

Divisible designs from semifield planes

2002

AbstractWe give a general method to construct divisible designs from semifield planes and we use this technique to construct some divisible designs. In particular, we give the case of twisted field plane as an example.

Discrete mathematicsAutomorphism groupGeneral methodDivisible designsField (mathematics)Division (mathematics)Permutation groupTranslation (geometry)Plane (Unicode)Theoretical Computer ScienceR-permutation groupsCombinatoricsDiscrete Mathematics and CombinatoricsAutomorphism groupsTranslation planesDivision algebrasSemifieldMathematicsDiscrete Mathematics
researchProduct

On the listing and random generation of hybrid binary trees

1994

We consider in this paper binary trees whose internal nodes are either associative or non-associative. Hybrid binary trees are equivalence classes with respect to the associative property. We count, list and generate randomly hybrid binary trees using Fibonacci numbers.

Discrete mathematicsBinary treeApplied MathematicsWeight-balanced treeScapegoat treeRandom binary treeComputer Science ApplicationsCombinatoricsComputational Theory and MathematicsBinary search treeGeometry of binary search treesTernary search treeBinary expression treeMathematicsInternational Journal of Computer Mathematics
researchProduct

Root-restricted Kleenean rotations

2010

We generalize the Kleene theorem to the case where nonassociative products are used. For this purpose, we apply rotations restricted to the root of binary trees.

Discrete mathematicsBinary treeMathematics::Rings and AlgebrasRoot (chord)Kleene theoremComputer Science ApplicationsTheoretical Computer ScienceCombinatoricsMathematics::Group TheoryProduct (mathematics)Signal ProcessingRotation (mathematics)Computer Science::Formal Languages and Automata TheoryInformation SystemsMathematicsInformation Processing Letters
researchProduct

Generation of Valid Labeled Binary Trees

2003

International audience; Generating binary trees is a well-known problem. In this paper, we add some constraints to leaves of these trees. Such trees are used in the morphing of polygons, where a polygon P is represented by a binary tree T and each angle of P is a weight on a leaf of T. In the following, we give two algorithms to generate all binary trees, without repetitions, having the same weight distribution to their leaves and representing all parallel polygons to P.

Discrete mathematicsBinary treeOptimal binary search tree[INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]Weight-balanced tree[INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS]Scapegoat treeComputer Science::Computational GeometryRandom binary treeCombinatoricsBinary search treeTernary search treeMetric treeMathematicsComputingMethodologies_COMPUTERGRAPHICS
researchProduct