scholarly journals Right-cancellability of a family of operations on binary trees

1998 ◽  
Vol Vol. 2 ◽  
Author(s):  
Philippe Duchon
Keyword(s):  
Binary Trees ◽  
Natural Numbers ◽  
The Family ◽  
International Audience

International audience We prove some new results on a family of operations on binary trees, some of which are similar to addition, multiplication and exponentiation for natural numbers. The main result is that each operation in the family is right-cancellable.

scholarly journals The b-chromatic number of power graphs

2003 ◽  
Vol Vol. 6 no. 1 ◽  
Author(s):  
Brice Effantin ◽  
Hamamache Kheddouci
Keyword(s):  
Chromatic Number ◽  
Binary Trees ◽  
Proper Coloring ◽  
Power Cycles ◽  
International Audience

International audience The b-chromatic number of a graph G is defined as the maximum number k of colors that can be used to color the vertices of G, such that we obtain a proper coloring and each color i, with 1 ≤ i≤ k, has at least one representant x_i adjacent to a vertex of every color j, 1 ≤ j ≠ i ≤ k. In this paper, we discuss the b-chromatic number of some power graphs. We give the exact value of the b-chromatic number of power paths and power complete binary trees, and we bound the b-chromatic number of power cycles.

scholarly journals Operations on partially ordered sets and rational identities of type A

2013 ◽  
Vol Vol. 15 no. 2 (Combinatorics) ◽  
Author(s):  
Adrien Boussicault
Keyword(s):  
Partially Ordered Sets ◽  
Rational Functions ◽  
Hasse Diagram ◽  
Linear Extensions ◽  
Ordered Sets ◽  
Closed Expression ◽  
Schubert Polynomials ◽  
Special Cases ◽  
The Family ◽  
International Audience

Combinatorics International audience We consider the family of rational functions ψw= ∏( xwi - xwi+1 )-1 indexed by words with no repetition. We study the combinatorics of the sums ΨP of the functions ψw when w describes the linear extensions of a given poset P. In particular, we point out the connexions between some transformations on posets and elementary operations on the fraction ΨP. We prove that the denominator of ΨP has a closed expression in terms of the Hasse diagram of P, and we compute its numerator in some special cases. We show that the computation of ΨP can be reduced to the case of bipartite posets. Finally, we compute the numerators associated to some special bipartite graphs as Schubert polynomials.

Frege's theorem in a constructive setting

1999 ◽  
Vol 64 (2) ◽  
pp. 486-488 ◽  
Author(s):  
John L. Bell
Keyword(s):  
Set Theory ◽  
Natural Numbers ◽  
The Family ◽  
Power Set ◽  
Law Of Excluded Middle ◽  
The Law ◽  
Image Position ◽  
Excluded Middle ◽  
Intuitionistic Set Theory

By Frege's Theorem is meant the result, implicit in Frege's Grundlagen, that, for any set E, if there exists a map υ from the power set of E to E satisfying the conditionthen E has a subset which is the domain of a model of Peano's axioms for the natural numbers. (This result is proved explicitly, using classical reasoning, in Section 3 of [1].) My purpose in this note is to strengthen this result in two directions: first, the premise will be weakened so as to require only that the map υ be defined on the family of (Kuratowski) finite subsets of the set E, and secondly, the argument will be constructive, i.e., will involve no use of the law of excluded middle. To be precise, we will prove, in constructive (or intuitionistic) set theory, the followingTheorem. Let υ be a map with domain a family of subsets of a set E to E satisfying the following conditions:(i) ø ϵdom(υ)(ii)∀U ϵdom(υ)∀x ϵ E − UU ∪ x ϵdom(υ)(iii)∀UV ϵdom(5) υ(U) = υ(V) ⇔ U ≈ V.Then we can define a subset N of E which is the domain of a model of Peano's axioms.

scholarly journals Defect Effect of Bi-infinite Words in the Two-element Case

2001 ◽  
Vol Vol. 4 no. 2 ◽  
Author(s):  
Ján Maňuch
Keyword(s):  
Sufficient Conditions ◽  
Necessary And Sufficient Conditions ◽  
Finite Alphabet ◽  
Infinite Words ◽  
Infinite Word ◽  
The Family ◽  
International Audience ◽  
Necessary And Sufficient ◽  
Primitive Roots ◽  
Element Set

International audience Let X be a two-element set of words over a finite alphabet. If a bi-infinite word possesses two X-factorizations which are not shiftequivalent, then the primitive roots of the words in X are conjugates. Note, that this is a strict sharpening of a defect theorem for bi-infinite words stated in \emphKMP. Moreover, we prove that there is at most one bi-infinite word possessing two different X-factorizations and give a necessary and sufficient conditions on X for the existence of such a word. Finally, we prove that the family of sets X for which such a word exists is parameterizable.

scholarly journals On congruences for certain sums of E. Lehmer's type

2014 ◽  
Vol Volume 38 ◽  
Author(s):  
Shigeru Kanemitsu ◽  
Takako Kuzumaki ◽  
Jerzy Urbanowicz
Keyword(s):  
Natural Number ◽  
Natural Numbers ◽  
Principal Character ◽  
International Audience

International audience Let n > 1 be an odd natural number and let r (1 < r < n) be a natural number relatively prime to n. Denote by χn the principal character modulo n. In Section 3 we prove some new congruences for the sums T r,k (n) = n r ] i=1 (χn(i) i k) (mod n s+1) for s ∈ {0, 1, 2}, for all divisors r of 24 and for some natural numbers k.We obtain 82 new congruences for T r,k (n), which generalize those obtained in [Ler05], [Leh38] and [Sun08] if n = p is an odd prime. Section 4 is an appendix by the second and third named authors. It contains some new congruences for the sums Ur(n) = n

scholarly journals Brick polytopes, lattices and Hopf algebras

2020 ◽  
Vol DMTCS Proceedings, 28th... ◽  
Author(s):  
Vincent Pilaud
Keyword(s):  
Hopf Algebra ◽  
Hopf Algebras ◽  
Transitive Closure ◽  
Weak Order ◽  
Binary Trees ◽  
International Audience ◽  
Congruence Classes

International audience Generalizing the connection between the classes of the sylvester congruence and the binary trees, we show that the classes of the congruence of the weak order on Sn defined as the transitive closure of the rewriting rule UacV1b1 ···VkbkW ≡k UcaV1b1 ···VkbkW, for letters a < b1,...,bk < c and words U,V1,...,Vk,W on [n], are in bijection with acyclic k-triangulations of the (n + 2k)-gon, or equivalently with acyclic pipe dreams for the permutation (1,...,k,n + k,...,k + 1,n + k + 1,...,n + 2k). It enables us to transport the known lattice and Hopf algebra structures from the congruence classes of ≡k to these acyclic pipe dreams, and to describe the product and coproduct of this algebra in terms of pipe dreams. Moreover, it shows that the fan obtained by coarsening the Coxeter fan according to the classes of ≡k is the normal fan of the corresponding brick polytope

scholarly journals The height of random binary unlabelled trees

2008 ◽  
Vol DMTCS Proceedings vol. AI,... (Proceedings) ◽  
Author(s):  
Nicolas Broutin ◽  
Philippe Flajolet
Keyword(s):  
Large Deviations ◽  
Complex Plane ◽  
Generating Functions ◽  
Binary Trees ◽  
International Audience ◽  
Large Deviations Estimates

International audience This extended abstract is dedicated to the analysis of the height of non-plane unlabelled rooted binary trees. The height of such a tree chosen uniformly among those of size $n$ is proved to have a limiting theta distribution, both in a central and local sense. Moderate as well as large deviations estimates are also derived. The proofs rely on the analysis (in the complex plane) of generating functions associated with trees of bounded height.

scholarly journals Spiking Neural P Systems with Weights

2010 ◽  
Vol 22 (10) ◽  
pp. 2615-2646 ◽  
Author(s):  
Jun Wang ◽  
Hendrik Jan Hoogeboom ◽  
Linqiang Pan ◽  
Gheorghe Păun ◽  
Mario J. Pérez-Jiménez
Keyword(s):  
Rational Numbers ◽  
P Systems ◽  
Natural Numbers ◽  
Open Problems ◽  
Spiking Neural P Systems ◽  
Semilinear Sets ◽  
The Family ◽  
Neuron Fire ◽  
Hard Problems

A variant of spiking neural P systems with positive or negative weights on synapses is introduced, where the rules of a neuron fire when the potential of that neuron equals a given value. The involved values—weights, firing thresholds, potential consumed by each rule—can be real (computable) numbers, rational numbers, integers, and natural numbers. The power of the obtained systems is investigated. For instance, it is proved that integers (very restricted: 1, −1 for weights, 1 and 2 for firing thresholds, and as parameters in the rules) suffice for computing all Turing computable sets of numbers in both the generative and the accepting modes. When only natural numbers are used, a characterization of the family of semilinear sets of numbers is obtained. It is shown that spiking neural P systems with weights can efficiently solve computationally hard problems in a nondeterministic way. Some open problems and suggestions for further research are formulated.

scholarly journals The number of corner polyhedra graphs

2020 ◽  
Vol DMTCS Proceedings, 28th... ◽  
Author(s):  
Clement Dervieux ◽  
Dominique Poulalhon ◽  
Gilles Schaeffer
Keyword(s):  
Binary Trees ◽  
Recursive Decomposition ◽  
Cycle Cover ◽  
Rational Expression ◽  
Compositional Approach ◽  
Polyhedral Graph ◽  
International Audience ◽  
Simply Connected ◽  
Corner Polyhedra

International audience Corner polyhedra were introduced by Eppstein and Mumford (2014) as the set of simply connected 3D polyhedra such that all vertices have non negative integer coordinates, edges are parallel to the coordinate axes and all vertices but one can be seen from infinity in the direction (1, 1, 1). These authors gave a remarkable characterization of the set of corner polyhedra graphs, that is graphs that can be skeleton of a corner polyhedron: as planar maps, they are the duals of some particular bipartite triangulations, which we call hereafter corner triangulations.In this paper we count corner polyhedral graphs by determining the generating function of the corner triangulations with respect to the number of vertices: we obtain an explicit rational expression for it in terms of the Catalan gen- erating function. We first show that this result can be derived using Tutte's classical compositional approach. Then, in order to explain the occurrence of the Catalan series we give a direct algebraic decomposition of corner triangu- lations: in particular we exhibit a family of almond triangulations that admit a recursive decomposition structurally equivalent to the decomposition of binary trees. Finally we sketch a direct bijection between binary trees and almond triangulations. Our combinatorial analysis yields a simpler alternative to the algorithm of Eppstein and Mumford for endowing a corner polyhedral graph with the cycle cover structure needed to realize it as a polyhedral graph.

scholarly journals On trees, tanglegrams, and tangled chains

2020 ◽  
Vol DMTCS Proceedings, 28th... ◽  
Author(s):  
Sara Billey ◽  
Matjaz Konvalinka ◽  
Frderick Matsen IV
Keyword(s):  
Asymptotic Formula ◽  
Computer Science ◽  
Explicit Formula ◽  
Binary Trees ◽  
Biological Research ◽  
Open Problems ◽  
International Audience ◽  
Enumeration Formula ◽  
New Formula ◽  
Simple Asymptotic Formula

International audience Tanglegrams are a class of graphs arising in computer science and in biological research on cospeciation and coevolution. They are formed by identifying the leaves of two rooted binary trees. The embedding of the trees in the plane is irrelevant for this application. We give an explicit formula to count the number of distinct binary rooted tanglegrams with n matched leaves, along with a simple asymptotic formula and an algorithm for choosing a tanglegram uniformly at random. The enumeration formula is then extended to count the number of tangled chains of binary trees of any length. This work gives a new formula for the number of binary trees with n leaves. Several open problems and conjectures are included along with pointers to several followup articles that have already appeared.

Sign in / Sign up

Export Citation Format

Share Document