𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Explicit definition of the binary reflected Gray codes

✍ Scribed by Marston Conder


Publisher
Elsevier Science
Year
1999
Tongue
English
Weight
196 KB
Volume
195
Category
Article
ISSN
0012-365X

No coin nor oath required. For personal study only.

✦ Synopsis


It is shown that for 1 <~j<~n and 1 ~<k ~<2", the jth letter of the kth word of the binary reflected Gray code of length n is equal to the parity of the binomial coefficient 2"-2" ~ iC[2, 2,-~-~-~/21 modulo 2. Also it is shown how this observation and the usual iterative definition of the binary reflected Gray codes are revealed in a modified version of Sierpinski's gasket (Pascal's triangle modulo 2).


πŸ“œ SIMILAR VOLUMES


The complexity of explicit definitions
✍ Harvey Friedman πŸ“‚ Article πŸ“… 1976 πŸ› Elsevier Science 🌐 English βš– 625 KB

We begin with a careful statement of what we will call the (X, Y, Z)definability theorem. A relational type is a set X of constant, relation, and function symbols. An X-formula is a formula in the first-order predicate calculus with identity, whose only nonlogical symbols are in X. An X-structure c

Reconstruction of Binary and Gray-Scale
✍ Frank Y. Shih; Wai-Tak Wong πŸ“‚ Article πŸ“… 1993 πŸ› Elsevier Science 🌐 English βš– 403 KB

The chain code is a widely-used description for a contour image. Recently, a mid-crack code algorithm has been proposed as another more precise method for image representation. A simple and fast algorithm for the restoration of binary images based on mid-crack codes description is presented in this

Gray Codes for the Ideals of Interval Or
✍ Michel Habib; Lhouari Nourine; George Steiner πŸ“‚ Article πŸ“… 1997 πŸ› Elsevier Science 🌐 English βš– 218 KB

The generation of combinatorial objects in a Gray code manner means that the difference between successive objects is small, e.g., one element for subsets or one transposition for permutations of a set. The existence of such Gray codes is often equivalent to an appropriately defined graph on these o