Counting terms in the binary lambda calculus
|
|
- Magnus Roberts
- 5 years ago
- Views:
Transcription
1 Counting terms in the binary lambda calculus Katarzyna Grygiel Theoretical Computer Science Department Jagiellonian University in Kraków Pierre Lescanne Laboratoire de l'informatique du Parallélisme École Normale Supérieure de Lyon Analysis of Algorithms Paris, June 2014
2 Contents 1. Open problem: enumeration of lambda calculus terms 2. Attempts to solve the enumeration problem 3. Motivation 4. Binary lambda calculus 5. Enumerating binary lambda terms K. Grygiel & P. Lescanne Counting binary lambda terms AofA / 28
3 The problem Terms in untyped lambda calculus Lambda terms: t ::= x λx.t (t t) K. Grygiel & P. Lescanne Counting binary lambda terms AofA / 28
4 The problem Terms in untyped lambda calculus Lambda terms: t ::= x λx.t (t t) Two alternative notions of size: x = 0 λx.t = 1 + t t s = 1 + t + s x = 1 λx.t = 1 + t t s = 1 + t + s K. Grygiel & P. Lescanne Counting binary lambda terms AofA / 28
5 The problem It's nicer to look at trees Combinatorial interpretation by lambda trees: λy λz x x λw The lambda tree corresponding to the lambda term λx.(λz.z)x ( λy.y(λw.x) ) K. Grygiel & P. Lescanne Counting binary lambda terms AofA / 28
6 The problem Open problem How many closed lambda terms of a given size are there? K. Grygiel & P. Lescanne Counting binary lambda terms AofA / 28
7 Attempts Attempts to solve the enumeration problem Studying lambda polynomials and their coecients Estimating the number of simpler structures Applying the theory of generating functions Analyzing lambda terms of bounded unary height Enumerating BCI/BCK terms K. Grygiel & P. Lescanne Counting binary lambda terms AofA / 28
8 Attempts Canonical formula ( x = 0) Let T n,m denote the number of terms of size n with occurrences of at most m distinct free variables: T 0,m = m T n+1,m = T n,m+1 + n T i,m T n i,m i=0 K. Grygiel & P. Lescanne Counting binary lambda terms AofA / 28
9 Attempts Canonical formula ( x = 0) Let T n,m denote the number of terms of size n with occurrences of at most m distinct free variables: T 0,m = m T n+1,m = T n,m+1 + n T i,m T n i,m The sequence (T n,0 ) n 0 (A in Sloane's OEIS) enumerates closed terms. Its rst values are: i=0 0, 1, 3, 14, 82, 579, 4741, 43977, , , K. Grygiel & P. Lescanne Counting binary lambda terms AofA / 28
10 Attempts Studying lambda polynomials and their coecients ( x = 0) For every n 0 we associate with T n,m a polynomial P n (m) in m. P 0 (m) = m P n+1 (m) = P n (m + 1) + For every n 0 we have P n (0) = T n,0. n P i (m)p n i (m) i=0 K. Grygiel & P. Lescanne Counting binary lambda terms AofA / 28
11 Attempts Studying lambda polynomials and their coecients ( x = 0) For every n 0 we associate with T n,m a polynomial P n (m) in m. P 0 (m) = m P n+1 (m) = P n (m + 1) + For every n 0 we have P n (0) = T n,0. n P i (m)p n i (m) i=0 For k > 0 and n 0, let p n [k] polynomial P n. denote the k-th leading coecient of the KG, PL; 2013 p [k] n = 1 ( 2 k 1 (k 1)! π 4n n (2k 5)/2 (2k 3)(2k 5) ( 1 )) O 8n n 4. K. Grygiel & P. Lescanne Counting binary lambda terms AofA / 28
12 Attempts Estimating the number of simpler structures ( x = 0) David, KG, Kozik, Raalli, Theyssier, Zaionc; 2011 The number of closed lambda terms of size n is bounded: ( ) (4 ε)n n n ln n from below by, ln n ( ) (12 + ε)n n n 3 ln n from above by. ln n K. Grygiel & P. Lescanne Counting binary lambda terms AofA / 28
13 Attempts Estimating the number of simpler structures ( x = 0) David, KG, Kozik, Raalli, Theyssier, Zaionc; 2011 The number of closed lambda terms of size n is bounded: ( ) (4 ε)n n n ln n from below by, ln n ( ) (12 + ε)n n n 3 ln n from above by. ln n Therefore T n,0 n n (ln n) n O(e n ). K. Grygiel & P. Lescanne Counting binary lambda terms AofA / 28
14 Attempts Applying generating functions ( x = 1) Let L n,k denote the number of lambda terms of size n and with at most k distinct free variables and let l(z, f ) = n,k 0 zn f k. Hence, l(z, 0) is the generating function for the sequence enumerating closed lambda terms. K. Grygiel & P. Lescanne Counting binary lambda terms AofA / 28
15 Attempts Applying generating functions ( x = 1) Let L n,k denote the number of lambda terms of size n and with at most k distinct free variables and let l(z, f ) = n,k 0 zn f k. Hence, l(z, 0) is the generating function for the sequence enumerating closed lambda terms. Bodini, Gardy, Gittenberger; 2011 The function l(z, f ) satises the functional equation This leads to Therefore, l(z, 0) = 1 l(z, f ) = fz + zl 2 (z, f ) + zl(z, f + 1). l(z, f ) = 1 1 4z 2 f 4z 2 l(z, f + 1). 2z 1 2z + 2z 1 4z 2 2z + 2z 1 8z 2 2z + 2z z K. Grygiel & P. Lescanne Counting binary lambda terms AofA / 28
16 Attempts Analyzing terms of bounded unary height ( x = 1) Bodini, Gardy, Gittenberger; 2011 Consider closed terms with a limited (given) number of unary nodes on each branch. K. Grygiel & P. Lescanne Counting binary lambda terms AofA / 28
17 Attempts Analyzing terms of bounded unary height ( x = 1) Bodini, Gardy, Gittenberger; 2011 Consider closed terms with a limited (given) number of unary nodes on each branch. The generating function for the sequence enumerating such terms is the truncated version of l(z, 0). K. Grygiel & P. Lescanne Counting binary lambda terms AofA / 28
18 Attempts Analyzing terms of bounded unary height ( x = 1) Bodini, Gardy, Gittenberger; 2011 Consider closed terms with a limited (given) number of unary nodes on each branch. The generating function for the sequence enumerating such terms is the truncated version of l(z, 0). One observes the intriguing behavior of dominant singularities of such generating functions. Some singularities cancel one radicand, some cancel two. This leads to two dierent asymptotic behaviors, dependent on the value of unary height. K. Grygiel & P. Lescanne Counting binary lambda terms AofA / 28
19 Attempts Enumerating BCI/BCK terms ( x = 1) Special subclasses of lambda terms: BCI /BCK and their generalized versions: BCI (p)/bck(p) K. Grygiel & P. Lescanne Counting binary lambda terms AofA / 28
20 Attempts Enumerating BCI/BCK terms ( x = 1) Special subclasses of lambda terms: BCI /BCK and their generalized versions: BCI (p)/bck(p) Bodini, Gardy, Gittenberger, Jacquot; 2013 The number of BCI (p)-terms of size (2p + 1)n 1 is asymptotically ( ) 2p+1 2p 2 ( ) 2 p 1 p ( (4p + 2) p p! ) n 1 n p2 2p 2p+1 (n 1)! p, p 2. K. Grygiel & P. Lescanne Counting binary lambda terms AofA / 28
21 Attempts Enumerating BCI/BCK terms ( x = 1) Special subclasses of lambda terms: BCI /BCK and their generalized versions: BCI (p)/bck(p) Bodini, Gardy, Gittenberger, Jacquot; 2013 The number of BCI (p)-terms of size (2p + 1)n 1 is asymptotically ( ) 2p+1 2p 2 ( ) 2 p 1 p ( (4p + 2) p p! ) n 1 n p2 2p 2p+1 (n 1)! p, p 2. Bodini, Gittenberger; 2014 The number of BCK(2)-terms of size n is asymptotically An 2n/5 n/5 2 e 2n/5 exp (2 8/5 n 4/ /5 n 3/5 where A is some positive constant /5 n 2/ / n 1/5 ) n 3/5, K. Grygiel & P. Lescanne Counting binary lambda terms AofA / 28
22 Motivation Motivation Lambda terms as programs research on random programs and their behavior K. Grygiel & P. Lescanne Counting binary lambda terms AofA / 28
23 Motivation Motivation Lambda terms as programs research on random programs and their behavior Typed lambda terms as proofs of logical formulae research on logical entities and their properties K. Grygiel & P. Lescanne Counting binary lambda terms AofA / 28
24 Motivation Motivation Lambda terms as programs research on random programs and their behavior Typed lambda terms as proofs of logical formulae research on logical entities and their properties Lambda calculus as the basis for functional programming testing compilers by generating random lambda terms K. Grygiel & P. Lescanne Counting binary lambda terms AofA / 28
25 Binary λ-calculus Lambda terms and de Bruijn indices Let's eliminate names of variables from the notation of a λ-term: variables x, y, z,... de Bruijn indices 1, 2, 3,... λx.m λm, where M is the result of substituting each x by n, where n is the number of λ's above the given occurrence of x MN MN K. Grygiel & P. Lescanne Counting binary lambda terms AofA / 28
26 Binary λ-calculus Lambda terms and de Bruijn indices Regular lambda term λy λz x x λw The lambda term λx.(λz.z)x ( λy.y(λw.x) ) K. Grygiel & P. Lescanne Counting binary lambda terms AofA / 28
27 Binary λ-calculus Lambda terms and de Bruijn indices Lambda term in the de Bruijn version λ λ The de Bruijn term λ(λ1)1 ( λ1(λ3) ) K. Grygiel & P. Lescanne Counting binary lambda terms AofA / 28
28 Binary λ-calculus Binary representation of lambda terms Following John Tromp, we dene the binary representation of de Bruijn indices in the following way: λm = 00 M, M N = 01 M N, î = 1 i 0. K. Grygiel & P. Lescanne Counting binary lambda terms AofA / 28
29 Binary λ-calculus Binary representation of lambda terms Following John Tromp, we dene the binary representation of de Bruijn indices in the following way: λm = 00 M, M N = 01 M N, î = 1 i 0. Given a λ-term, we dene its size as the length of the corresponding binary sequence, i.e., i = i + 1, λm = M + 2, M N = M + N + 2. K. Grygiel & P. Lescanne Counting binary lambda terms AofA / 28
30 Enumerating binary terms How many...? Let S m,n denote the number of binary lambda terms of size n with at most m distinct free indices. K. Grygiel & P. Lescanne Counting binary lambda terms AofA / 28
31 Enumerating binary terms How many...? Let S m,n denote the number of binary lambda terms of size n with at most m distinct free indices. S m,0 = S m,1 = 0, S m,n+2 = [m n + 1] + S m+1,n + n S m,k S m,n k. The sequence (S 0,n ) n 0 (A in Sloane's OEIS) enumerates closed binary lambda terms of size n. Its rst 20 values are as follows: 0, 0, 0, 0, 1, 0, 1, 1, 2, 1, 6, 5, 13, 14, 37, 44, 101, 134, 298, 431. k=0 K. Grygiel & P. Lescanne Counting binary lambda terms AofA / 28
32 Enumerating binary terms Generating functions again in action Now let us dene the family of generating functions for sequences (S m,n ) n 0 : s m (z) = S m,n z n. n=0 Most of all, we are interested in the generating function for the number of closed terms, i.e., s 0 (z) = S 0,n z n. n=0 K. Grygiel & P. Lescanne Counting binary lambda terms AofA / 28
33 Enumerating binary terms Recurring problem Lemma s m (z) = z2 (1 z m ) 1 z + z 2 s m+1 (z) + z 2 s m (z) 2. K. Grygiel & P. Lescanne Counting binary lambda terms AofA / 28
34 Enumerating binary terms Recurring problem Lemma This gives s m (z) = z2 (1 z m ) 1 z s m (z) = 1 + z 2 s m+1 (z) + z 2 s m (z) 2. ( ) 1 4z 4 1 z m 1 z + s m+1(z) 2z 2. Again we are stuck with innitely nested radicals... K. Grygiel & P. Lescanne Counting binary lambda terms AofA / 28
35 Enumerating binary terms Let's count all binary terms Let S,n denote the number of all (not necessarily closed) binary terms of size n. We obtain the following recurrence relation: S,0 = S,1 = 0, S,n+2 = 1 + S,n + n S,k S,n k. The sequence (S,n ) n 0 has the entry number A in Sloane's OEIS. Its rst 20 values are: 0, 0, 1, 1, 2, 2, 4, 5, 10, 14, 27, 41, 78, 126, 237, 399, 745, 1292, 2404, k=0 K. Grygiel & P. Lescanne Counting binary lambda terms AofA / 28
36 Enumerating binary terms No problem this time Let s (z) denote the generating function for the sequence (S,n ) n 0. K. Grygiel & P. Lescanne Counting binary lambda terms AofA / 28
37 Enumerating binary terms No problem this time Let s (z) denote the generating function for the sequence (S,n ) n 0. Theorem The number of all binary lambda terms of size n satises S,n (1/ρ) n C n 3/2, where ρ = and C = K. Grygiel & P. Lescanne Counting binary lambda terms AofA / 28
38 Enumerating binary terms No problem this time Let s (z) denote the generating function for the sequence (S,n ) n 0. Theorem The number of all binary lambda terms of size n satises S,n (1/ρ) n C n 3/2, where ρ = and C = For m n 1 we have S m,n = S,n. Therefore s (z) = which yields that [z n ]s n = [z n ]s. Furthermore, s (z) = lim m s m(z). S n,n z n, n=1 K. Grygiel & P. Lescanne Counting binary lambda terms AofA / 28
39 Enumerating binary terms Singularities of s m (z) Lemma Let ρ m denote the dominant singularity of s m (z). Then for every m, ρ m = ρ 0. K. Grygiel & P. Lescanne Counting binary lambda terms AofA / 28
40 Enumerating binary terms Singularities of s m (z) Lemma Let ρ m denote the dominant singularity of s m (z). Then for every m, ρ m = ρ 0. Lemma The dominant singularity of s 0 (z) is equal to the dominant singularity of s (z), i.e., ρ 0 = ρ = K. Grygiel & P. Lescanne Counting binary lambda terms AofA / 28
41 Enumerating binary terms Sketch of the proof Let us dene functionals Φ m (F ) = Φ (F ) = 1 1 4z 4 ( 1 zm 1 z + F ) 2z 2, 1 1 4z 4 ( 1 1 z + F ) 2z 2. K. Grygiel & P. Lescanne Counting binary lambda terms AofA / 28
42 Enumerating binary terms Sketch of the proof Let us dene functionals Φ m (F ) = Φ (F ) = 1 1 4z 4 ( 1 zm 1 z + F ) 2z 2, 1 1 4z 4 ( 1 1 z + F ) 2z 2. Then s m (z) = Φ m (s m+1 (z)). K. Grygiel & P. Lescanne Counting binary lambda terms AofA / 28
43 Enumerating binary terms Sketch of the proof Let us dene functionals Φ m (F ) = Φ (F ) = 1 1 4z 4 ( 1 zm 1 z + F ) 2z 2, 1 1 4z 4 ( 1 1 z + F ) 2z 2. Then s m (z) = Φ m (s m+1 (z)). For z [0, ρ] we have Φ m (s m (z)) s m (z) s m+1 (z) s (z). K. Grygiel & P. Lescanne Counting binary lambda terms AofA / 28
44 Enumerating binary terms Sketch of the proof II Let s m (z) denote the xed point of Φ m, i.e., s m (z) is dened as the solution of the equation s m (z) = Φ m ( s m (z)). K. Grygiel & P. Lescanne Counting binary lambda terms AofA / 28
45 Enumerating binary terms Sketch of the proof II Let s m (z) denote the xed point of Φ m, i.e., s m (z) is dened as the solution of the equation For z [0, ρ] we have s m (z) = Φ m ( s m (z)). s m (z) s m (z) s (z). K. Grygiel & P. Lescanne Counting binary lambda terms AofA / 28
46 Enumerating binary terms Sketch of the proof II Let s m (z) denote the xed point of Φ m, i.e., s m (z) is dened as the solution of the equation For z [0, ρ] we have By the denition of s m (z), s m (z) = Φ m ( s m (z)). s m (z) s m (z) s (z). z 2 s 2 m(z) (1 z 2 ) 2 s m (z) + z2 (1 z m ) 1 z = 0. K. Grygiel & P. Lescanne Counting binary lambda terms AofA / 28
47 Enumerating binary terms Sketch of the proof II Let s m (z) denote the xed point of Φ m, i.e., s m (z) is dened as the solution of the equation For z [0, ρ] we have By the denition of s m (z), s m (z) = Φ m ( s m (z)). s m (z) s m (z) s (z). z 2 s 2 m(z) (1 z 2 ) 2 s m (z) + z2 (1 z m ) 1 z = 0. Let us denote the main singularity of s m (z) by σ m. We have σ m ρ m ρ. K. Grygiel & P. Lescanne Counting binary lambda terms AofA / 28
48 Enumerating binary terms Sketch of the proof III The discriminant of this equation is m = (1 z 2 ) 2 4z4 (1 z m ). 1 z K. Grygiel & P. Lescanne Counting binary lambda terms AofA / 28
49 Enumerating binary terms Sketch of the proof III The discriminant of this equation is m = (1 z 2 ) 2 4z4 (1 z m ). 1 z The value of σ m is equal to the root of smallest modulus of the polynomial P m (z) := (z 1) m = 4z 4 (1 z m ) (1 z) 3 (1 + z) 2. K. Grygiel & P. Lescanne Counting binary lambda terms AofA / 28
50 Enumerating binary terms Sketch of the proof III The discriminant of this equation is m = (1 z 2 ) 2 4z4 (1 z m ). 1 z The value of σ m is equal to the root of smallest modulus of the polynomial P m (z) := (z 1) m = 4z 4 (1 z m ) (1 z) 3 (1 + z) 2. The sequence (σ m ) m N of roots of polynomials P m (z) is decreasing and it converges to ρ. K. Grygiel & P. Lescanne Counting binary lambda terms AofA / 28
51 Enumerating binary terms Sketch of the proof III The discriminant of this equation is m = (1 z 2 ) 2 4z4 (1 z m ). 1 z The value of σ m is equal to the root of smallest modulus of the polynomial P m (z) := (z 1) m = 4z 4 (1 z m ) (1 z) 3 (1 + z) 2. The sequence (σ m ) m N of roots of polynomials P m (z) is decreasing and it converges to ρ. By σ m ρ m ρ, we get ρ m ρ, as well. K. Grygiel & P. Lescanne Counting binary lambda terms AofA / 28
52 Enumerating binary terms Sketch of the proof III The discriminant of this equation is m = (1 z 2 ) 2 4z4 (1 z m ). 1 z The value of σ m is equal to the root of smallest modulus of the polynomial P m (z) := (z 1) m = 4z 4 (1 z m ) (1 z) 3 (1 + z) 2. The sequence (σ m ) m N of roots of polynomials P m (z) is decreasing and it converges to ρ. By σ m ρ m ρ, we get ρ m ρ, as well. Since all the ρ m 's are equal, we obtain that ρ m = ρ for every natural m. K. Grygiel & P. Lescanne Counting binary lambda terms AofA / 28
53 Enumerating binary terms Number of closed binary terms Theorem The number of closed binary binary lambda terms of size n is of exponential order S 0,n n. K. Grygiel & P. Lescanne Counting binary lambda terms AofA / 28
54 Enumerating binary terms Conjecture For every m, S m,n o ( n n 3/2). K. Grygiel & P. Lescanne Counting binary lambda terms AofA / 28
55 Enumerating binary terms Conjecture For every m, S m,n o ( n n 3/2). S m,n ( ρ n n 3/2) K. Grygiel & P. Lescanne Counting binary lambda terms AofA / 28
56 References O. Bodini, B. Gittenberger: On the asymptotic number of BCK(2)-terms, in 2014 Proceedings of the Eleventh Workshop on Analytic Algorithmics and Combinatorics (ANALCO), pp , 2014 O. Bodini, D. Gardy, B. Gittenberger: Lambda-terms of bounded unary height, 2011 Proceedings of the Eighth Workshop on Analytic Algorithmics and Combinatorics (ANALCO), 2011 O. Bodini, D. Gardy, B. Gittenberger, A. Jacquot: Enumeration of generalized BCI lambda-terms, Electronic Journal of Combinatorics, 20(4):P30, 2013 R. David, K. Grygiel, J. Kozik, Ch. Raalli, G. Theyssier, M. Zaionc: Asymptotically almost all lambda terms are strongly normalizing, Logical Methods in Computer Science Vol. 9(1:02) 2013, pp K. Grygiel, P. Lescanne: Counting and generating lambda terms, Journal of Functional Programming Vol. 23(5) 2013, pp K. Grygiel, P. Lescanne: Counting terms in the binary lambda calculus, 2014 P. Lescanne: On counting untyped lambda terms, Theoretical Computer Science, 474:80-97, 2013 J. Tromp: Binary lambda calculus and combinatory logic. Kolmogorov Complexity and Applications, Vol of Dagstuhl Seminar Proceedings, Schloss Dagstuhl, Germany, 2006 K. Grygiel & P. Lescanne Counting binary lambda terms AofA / 28
Counting Terms in the Binary Lambda Calculus
Counting Terms in the Binary Lambda Calculus Katarzyna Grygiel, Pierre Lescanne To cite this version: Katarzyna Grygiel, Pierre Lescanne. Counting Terms in the Binary Lambda Calculus. DMTCS. 25th International
More informationLambda terms of bounded unary height
Lambda terms of bounded unary height Olivier Bodini Danièle Gardy Bernhard Gittenberger Abstract We aim at the asymptotic enumeration of lambda-terms of a given size where the order of nesting of abstractions
More informationOn the number of unary-binary tree-like structures with restrictions on the unary height
On the number of unary-binary tree-like structures with restrictions on the unary height Olivier Bodini, Danièle Gardy, Bernhard Gittenberger, Zbigniew Gołębiewski, October 5, 205 Abstract We consider
More informationOn the Number of Unary-Binary Tree-Like Structures with Restrictions on the Unary Height
Ann. Comb. 22 208 45 9 https://doi.org/0.007/s00026-08-037-7 Published online February 3, 208 208 The Authors This article is an open access publication Annals of Combinatorics On the Number of Unary-Binary
More informationSTATISTICAL PROPERTIES OF LAMBDA TERMS
STATISTICAL PROPERTIES OF LAMBDA TERMS MACIEJ BENDKOWSKI, OLIVIER BODINI, AND SERGEY DOVGAL arxiv:1805.09419v2 [math.co] 14 Aug 2018 Abstract. We present a quantitative, statistical analysis of random
More informationarxiv: v1 [math.co] 12 Sep 2018
ON THE NUMBER OF INCREASING TREES WITH LABEL REPETITIONS arxiv:809.0434v [math.co] Sep 08 OLIVIER BODINI, ANTOINE GENITRINI, AND BERNHARD GITTENBERGER Abstract. In this paper we study a special subclass
More informationSubcritical pattern languages for and/or trees
Fifth Colloquium on Mathematics and Computer Science DMTCS proc. AI, 2008, 437 448 Subcritical pattern languages for and/or trees Jaub Kozi Theoretical Computer Science, Jagiellonian University Gronostajowa
More informationPeter Bala, Nov
Fractional iteration of a series inversion operator Peter Bala, Nov 16 2015 We consider an operator on formal power series, closely related to the series reversion operator, and show how to dene comple
More informationCalculus and linear algebra for biomedical engineering Week 3: Matrices, linear systems of equations, and the Gauss algorithm
Calculus and linear algebra for biomedical engineering Week 3: Matrices, linear systems of equations, and the Gauss algorithm Hartmut Führ fuehr@matha.rwth-aachen.de Lehrstuhl A für Mathematik, RWTH Aachen
More informationCounterexamples to witness conjectures. Notations Let E be the set of admissible constant expressions built up from Z; + ;?;;/; exp and log. Here a co
Counterexamples to witness conjectures Joris van der Hoeven D pt. de Math matiques (b t. 45) Universit Paris-Sud 91405 Orsay CEDEX France August 15, 003 Consider the class of exp-log constants, which is
More informationk-protected VERTICES IN BINARY SEARCH TREES
k-protected VERTICES IN BINARY SEARCH TREES MIKLÓS BÓNA Abstract. We show that for every k, the probability that a randomly selected vertex of a random binary search tree on n nodes is at distance k from
More informationON THE DENSITY OF TRUTH IN GRZEGORCZYK S MODAL LOGIC
Bulletin of the Section of Logic Volume 33/2 (2004, pp. 107 120 Zofia Kostrzycka ON THE DENSITY OF TRUTH IN GRZEGORCZYK S MODAL LOGIC Abstract The paper is an attempt to count the proportion of tautologies
More informationNew concepts: Span of a vector set, matrix column space (range) Linearly dependent set of vectors Matrix null space
Lesson 6: Linear independence, matrix column space and null space New concepts: Span of a vector set, matrix column space (range) Linearly dependent set of vectors Matrix null space Two linear systems:
More informationUnlabelled Structures: Restricted Constructions
Gao & Šana, Combinatorial Enumeration Notes 5 Unlabelled Structures: Restricted Constructions Let SEQ k (B denote the set of sequences of exactly k elements from B, and SEQ k (B denote the set of sequences
More informationA proof-theoretic analysis of the rotation lattice of binary trees 1
1 1 2 1 2 1 1 1 2 1 2 3 1 3 1 3 2 3 1 2 3 A proof-theoretic analysis of the rotation lattice of binary trees 1 Noam Zeilberger University of Birmingham, School of Computer Science Combi-Parsifal joint
More informationLecture 15 - NP Completeness 1
CME 305: Discrete Mathematics and Algorithms Instructor: Professor Aaron Sidford (sidford@stanford.edu) February 29, 2018 Lecture 15 - NP Completeness 1 In the last lecture we discussed how to provide
More informationBinomial coefficients and k-regular sequences
Binomial coefficients and k-regular sequences Eric Rowland Hofstra University New York Combinatorics Seminar CUNY Graduate Center, 2017 12 22 Eric Rowland Binomial coefficients and k-regular sequences
More informationAnalytic Combinatorics: A Primer
Analytic Combinatorics: A Primer Conrado Martínez Univ. Politècnica de Catalunya, Spain April 2011 What is this course about? Analytic Combinatorics seeks to develop mathematical techniques that help us
More informationAsymptotic Enumeration of Compacted Binary Trees
Asymptotic Enumeration of Compacted Binary Trees Antoine Genitrini Bernhard Gittenberger Manuel Kauers Michael Wallner March 30, 207 Abstract A compacted tree is a graph created from a binary tree such
More information5. Analytic Combinatorics
ANALYTIC COMBINATORICS P A R T O N E 5. Analytic Combinatorics http://aofa.cs.princeton.edu Analytic combinatorics is a calculus for the quantitative study of large combinatorial structures. Features:
More information4.1 Eigenvalues, Eigenvectors, and The Characteristic Polynomial
Linear Algebra (part 4): Eigenvalues, Diagonalization, and the Jordan Form (by Evan Dummit, 27, v ) Contents 4 Eigenvalues, Diagonalization, and the Jordan Canonical Form 4 Eigenvalues, Eigenvectors, and
More information4.3 How Derivatives Aect the Shape of a Graph
11/3/2010 What does f say about f? Increasing/Decreasing Test Fact Increasing/Decreasing Test Fact If f '(x) > 0 on an interval, then f interval. is increasing on that Increasing/Decreasing Test Fact If
More informationAlonzo Church ( ) Lambda Calculus. λ-calculus : syntax. Grammar for terms : Inductive denition for λ-terms
Alonzo Church (1903-1995) Lambda Calculus 2 λ-calculus : syntax Grammar for terms : t, u ::= x (variable) t u (application) λx.t (abstraction) Notation : Application is left-associative so that t 1 t 2...
More informationGarrett: `Bernstein's analytic continuation of complex powers' 2 Let f be a polynomial in x 1 ; : : : ; x n with real coecients. For complex s, let f
1 Bernstein's analytic continuation of complex powers c1995, Paul Garrett, garrettmath.umn.edu version January 27, 1998 Analytic continuation of distributions Statement of the theorems on analytic continuation
More informationPhilippe Flajolet & Analytic Combinatorics: Inherent Ambiguity of Context-Free Languages
Philippe Flajolet & Analytic Combinatorics: Inherent Ambiguity of Context-Free Languages Frédérique Bassino and Cyril Nicaud LIGM, Université Paris-Est & CNRS December 16, 2011 I first met Philippe in
More informationAssociative and commutative tree representations for Boolean functions
Associative and commutative tree representations for Boolean functions Antoine Genitrini a, Bernhard Gittenberger b, Veronika Kraus b, Cécile Mailler c a Laboratoire LIP6, CNRS UMR 7606 and Université
More informationusual one uses sequents and rules. The second one used special graphs known as proofnets.
Math. Struct. in omp. Science (1993), vol. 11, pp. 1000 opyright c ambridge University Press Minimality of the orrectness riterion for Multiplicative Proof Nets D E N I S B E H E T RIN-NRS & INRILorraine
More informationSymbolic-Numeric Tools for Multivariate Asymptotics
Symbolic-Numeric Tools for Multivariate Asymptotics Bruno Salvy Joint work with Stephen Melczer to appear in Proc. ISSAC 2016 FastRelax meeting May 25, 2016 Combinatorics, Randomness and Analysis From
More informationLecture 14 - P v.s. NP 1
CME 305: Discrete Mathematics and Algorithms Instructor: Professor Aaron Sidford (sidford@stanford.edu) February 27, 2018 Lecture 14 - P v.s. NP 1 In this lecture we start Unit 3 on NP-hardness and approximation
More informationAlgorithmic Tools for the Asymptotics of Linear Recurrences
Algorithmic Tools for the Asymptotics of Linear Recurrences Bruno Salvy Inria & ENS de Lyon Computer Algebra in Combinatorics, Schrödinger Institute, Vienna, Nov. 2017 Motivation p 0 (n)a n+k + + p k (n)a
More informationOn the Sequence A and Its Combinatorial Interpretations
1 2 47 6 2 11 Journal of Integer Sequences, Vol. 9 (2006), Article 06..1 On the Sequence A079500 and Its Combinatorial Interpretations A. Frosini and S. Rinaldi Università di Siena Dipartimento di Scienze
More informationModular Periodicity of the Euler Numbers and a Sequence by Arnold
Arnold Math J. (2018) 3:519 524 https://doi.org/10.1007/s40598-018-0079-0 PROBLEM CONTRIBUTION Modular Periodicity of the Euler Numbers and a Sequence by Arnold Sanjay Ramassamy 1 Received: 19 November
More informationonly nite eigenvalues. This is an extension of earlier results from [2]. Then we concentrate on the Riccati equation appearing in H 2 and linear quadr
The discrete algebraic Riccati equation and linear matrix inequality nton. Stoorvogel y Department of Mathematics and Computing Science Eindhoven Univ. of Technology P.O. ox 53, 56 M Eindhoven The Netherlands
More informationOn Repetitive Right Application of B-Terms
On Repetitive Right Application of B-Terms Mirai Ikebuchi Massachusetts Institute of Technology, Cambridge, MA, USA https://mir-ikbch.github.io/ ikebuchi@mit.edu Keisuke Nakano 1 Tohoku University, Sendai,
More informationLower Bounds for Cutting Planes Proofs. with Small Coecients. Abstract. We consider small-weight Cutting Planes (CP ) proofs; that is,
Lower Bounds for Cutting Planes Proofs with Small Coecients Maria Bonet y Toniann Pitassi z Ran Raz x Abstract We consider small-weight Cutting Planes (CP ) proofs; that is, Cutting Planes (CP ) proofs
More informationRandom Boolean expressions
Random Boolean expressions Danièle Gardy PRiSM, Univ. Versailles-Saint Quentin and CNRS UMR 8144. Daniele.Gardy@prism.uvsq.fr We examine how we can define several probability distributions on the set of
More informationA fast algorithm to generate necklaces with xed content
Theoretical Computer Science 301 (003) 477 489 www.elsevier.com/locate/tcs Note A fast algorithm to generate necklaces with xed content Joe Sawada 1 Department of Computer Science, University of Toronto,
More informationVector Space Basics. 1 Abstract Vector Spaces. 1. (commutativity of vector addition) u + v = v + u. 2. (associativity of vector addition)
Vector Space Basics (Remark: these notes are highly formal and may be a useful reference to some students however I am also posting Ray Heitmann's notes to Canvas for students interested in a direct computational
More informationThe Inclusion Exclusion Principle and Its More General Version
The Inclusion Exclusion Principle and Its More General Version Stewart Weiss June 28, 2009 1 Introduction The Inclusion-Exclusion Principle is typically seen in the context of combinatorics or probability
More informationX. Hu, R. Shonkwiler, and M.C. Spruill. School of Mathematics. Georgia Institute of Technology. Atlanta, GA 30332
Approximate Speedup by Independent Identical Processing. Hu, R. Shonkwiler, and M.C. Spruill School of Mathematics Georgia Institute of Technology Atlanta, GA 30332 Running head: Parallel iip Methods Mail
More informationOn some Metatheorems about FOL
On some Metatheorems about FOL February 25, 2014 Here I sketch a number of results and their proofs as a kind of abstract of the same items that are scattered in chapters 5 and 6 in the textbook. You notice
More informationRandom Boolean expressions
Computational Logic and Applications, CLA 05 DMTCS proc. AF, 2006, 1 36 Random Boolean expressions Danièle Gardy PRiSM, Univ. Versailles-Saint Quentin and CNRS UMR 8144. Daniele.Gardy@prism.uvsq.fr We
More informationPolynomials over finite fields. Algorithms and Randomness
Polynomials over Finite Fields: Algorithms and Randomness School of Mathematics and Statistics Carleton University daniel@math.carleton.ca AofA 10, July 2010 Introduction Let q be a prime power. In this
More informationAPPROXIMATING THE COMPLEXITY MEASURE OF. Levent Tuncel. November 10, C&O Research Report: 98{51. Abstract
APPROXIMATING THE COMPLEXITY MEASURE OF VAVASIS-YE ALGORITHM IS NP-HARD Levent Tuncel November 0, 998 C&O Research Report: 98{5 Abstract Given an m n integer matrix A of full row rank, we consider the
More informationDependency Tree Automata
Dependency Tree Automata Colin Stirling School of Informatics Informatics Forum University of Edinburgh email: cps@inf.ed.ac.uk Abstract. We introduce a new kind of tree automaton, a dependency tree automaton,
More informationA New Operation on Sequences: The Boustrophedon Transform
A New Operation on Sequences: The Boustrophedon Transform J. Millar, N. J. A. Sloane and N. E. Young Mathematical Sciences Research Center AT&T Bell Laboratories Murray Hill, New Jersey 07974 January 5,
More informationCounting Permutations by their Rigid Patterns
Counting Permutations by their Rigid Patterns A. N. Myers anmyers@math.upenn.edu University of Pennsylvania Philadelphia, PA 19104-6395 September 20, 2002 1 Abstract In how many permutations does the pattern
More informationLinear Algebra (part 1) : Vector Spaces (by Evan Dummit, 2017, v. 1.07) 1.1 The Formal Denition of a Vector Space
Linear Algebra (part 1) : Vector Spaces (by Evan Dummit, 2017, v. 1.07) Contents 1 Vector Spaces 1 1.1 The Formal Denition of a Vector Space.................................. 1 1.2 Subspaces...................................................
More informationUniform random posets
Uniform random posets Patryk Kozieª Maªgorzata Sulkowska January 6, 2018 Abstract. We propose a simple algorithm generating labelled posets of given size according to the almost uniform distribution. By
More informationarxiv: v1 [math.nt] 5 Mar 2019
LOW DISCREPANCY SEQUENCES FAILING POISSONIAN PAIR CORRELATIONS arxiv:1903.0106v1 [math.nt] 5 Mar 019 Abstract. M. Levin defined a real number x that satisfies that the sequence of the fractional parts
More informationin Linear Logic Denis Bechet LIPN - Institut Galilee Universite Paris 13 Avenue Jean-Baptiste Clement Villetaneuse, France Abstract
Second Order Connectives and roof Transformations in Linear Logic Denis Bechet LIN - Institut Galilee Universite aris 1 Avenue Jean-Baptiste Clement 90 Villetaneuse, France e-mail: dbe@lipnuniv-paris1fr
More informationA scale-free goodness-of-t statistic for the exponential distribution based on maximum correlations
Journal of Statistical Planning and Inference 18 (22) 85 97 www.elsevier.com/locate/jspi A scale-free goodness-of-t statistic for the exponential distribution based on maximum correlations J. Fortiana,
More informationIsomorphism of free G-subflows (preliminary draft)
Isomorphism of free G-subflows (preliminary draft) John D. Clemens August 3, 21 Abstract We show that for G a countable group which is not locally finite, the isomorphism of free G-subflows is bi-reducible
More informationTHE DEGREE DISTRIBUTION OF RANDOM PLANAR GRAPHS
THE DEGREE DISTRIBUTION OF RANDOM PLANAR GRAPHS Michael Drmota joint work with Omer Giménez and Marc Noy Institut für Diskrete Mathematik und Geometrie TU Wien michael.drmota@tuwien.ac.at http://www.dmg.tuwien.ac.at/drmota/
More information5 Eigenvalues and Diagonalization
Linear Algebra (part 5): Eigenvalues and Diagonalization (by Evan Dummit, 27, v 5) Contents 5 Eigenvalues and Diagonalization 5 Eigenvalues, Eigenvectors, and The Characteristic Polynomial 5 Eigenvalues
More informationInterpreting the Full λ-calculus in the π-calculus
Interpreting the Full λ-calculus in the π-calculus Xiaojuan Cai Joint work with Yuxi Fu BASICS Lab October 12, 2009 Motivation The λ-calculus: sequential model; The π-calculus: concurrent model A deep
More informationThe Lambda-Calculus Reduction System
2 The Lambda-Calculus Reduction System 2.1 Reduction Systems In this section we present basic notions on reduction systems. For a more detailed study see [Klop, 1992, Dershowitz and Jouannaud, 1990]. Definition
More informationLECTURE VII: THE JORDAN CANONICAL FORM MAT FALL 2006 PRINCETON UNIVERSITY. [See also Appendix B in the book]
LECTURE VII: THE JORDAN CANONICAL FORM MAT 204 - FALL 2006 PRINCETON UNIVERSITY ALFONSO SORRENTINO [See also Appendix B in the book] 1 Introduction In Lecture IV we have introduced the concept of eigenvalue
More informationOn rational approximation of algebraic functions. Julius Borcea. Rikard Bøgvad & Boris Shapiro
On rational approximation of algebraic functions http://arxiv.org/abs/math.ca/0409353 Julius Borcea joint work with Rikard Bøgvad & Boris Shapiro 1. Padé approximation: short overview 2. A scheme of rational
More informationCommon Right Multiples in KP of Linear Combinations of Generators of the Positive Monoid P of Thompson s Group F
International Mathematical Forum, 5, 2010, no. 32, 1581-1590 Common Right Multiples in KP of Linear Combinations of Generators of the Positive Monoid P of Thompson s Group F John Donnelly Department of
More informationPUTNAM PROBLEM SOLVING SEMINAR WEEK 7 This is the last meeting before the Putnam. The Rules. These are way too many problems to consider. Just pick a
PUTNAM PROBLEM SOLVING SEMINAR WEEK 7 This is the last meeting before the Putnam The Rules These are way too many problems to consider Just pick a few problems in one of the sections and play around with
More informationA TOUR OF LINEAR ALGEBRA FOR JDEP 384H
A TOUR OF LINEAR ALGEBRA FOR JDEP 384H Contents Solving Systems 1 Matrix Arithmetic 3 The Basic Rules of Matrix Arithmetic 4 Norms and Dot Products 5 Norms 5 Dot Products 6 Linear Programming 7 Eigenvectors
More informationASYMPTOTICS OF THE EULERIAN NUMBERS REVISITED: A LARGE DEVIATION ANALYSIS
ASYMPTOTICS OF THE EULERIAN NUMBERS REVISITED: A LARGE DEVIATION ANALYSIS GUY LOUCHARD ABSTRACT Using the Saddle point method and multiseries expansions we obtain from the generating function of the Eulerian
More informationBöhm trees, Krivine machine and the Taylor expansion of ordinary lambda-terms
Böhm trees, Krivine machine and the Taylor expansion of ordinary lambda-terms Thomas Ehrhard and Laurent Regnier Institut de Mathématiques de Luminy CNRS and Université de la Méditerranée UMR 6206 Thomas.Ehrhard@iml.univ-mrs.fr
More informationBalance properties of multi-dimensional words
Theoretical Computer Science 273 (2002) 197 224 www.elsevier.com/locate/tcs Balance properties of multi-dimensional words Valerie Berthe a;, Robert Tijdeman b a Institut de Mathematiques de Luminy, CNRS-UPR
More informationThe Number of Guillotine Partitions in d Dimensions
The Number of Guillotine Partitions in d Dimensions Eyal Ackerman Gill Barequet Ron Y. Pinter Dan Romik Abstract Guillotine partitions play an important role in many research areas and application domains,
More informationRelational Graph Models, Taylor Expansion and Extensionality
Relational Graph Models, Taylor Expansion and Extensionality Domenico Ruoppolo Giulio Manzonetto Laboratoire d Informatique de Paris Nord Université Paris-Nord Paris 13 (France) MFPS XXX Ithaca, New York
More informationHarmonic Algebraic Curves and Noncrossing Partitions
Harmonic Algebraic Curves and Noncrossing Partitions Jeremy Martin (University of Kansas) David Savitt (University of Arizona) Theodore Singer (Scarsdale, NY) Indiana University Combinatorics Seminar December
More informationFunctional Database Query Languages as. Typed Lambda Calculi of Fixed Order. Gerd G. Hillebrand and Paris C. Kanellakis
Functional Database Query Languages as Typed Lambda Calculi of Fixed Order Gerd G. Hillebrand and Paris C. Kanellakis Department of Computer Science Brown University Providence, Rhode Island 02912 CS-94-26
More informationExtracted from a working draft of Goldreich s FOUNDATIONS OF CRYPTOGRAPHY. See copyright notice.
106 CHAPTER 3. PSEUDORANDOM GENERATORS Using the ideas presented in the proofs of Propositions 3.5.3 and 3.5.9, one can show that if the n 3 -bit to l(n 3 ) + 1-bit function used in Construction 3.5.2
More informationarxiv: v1 [cs.lo] 29 May 2014
An Introduction to the Clocked Lambda Calculus Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop, and Andrew Polonsky VU University Amsterdam, The Netherlands Abstract We give a brief introduction to the
More informationPointed versus Singular Boltzmann Samplers
Pointed versus Singular Boltzmann Samplers Olivier Bodini, Antoine Genitrini and Nicolas Rolin { Olivier Bodini; Nicolas Rolin}@ lipn univ-paris13 fr and Antoine Genitrini@ lip6 fr May 21, 2014 For the
More informationApplications and fundamental results on random Vandermon
Applications and fundamental results on random Vandermonde matrices May 2008 Some important concepts from classical probability Random variables are functions (i.e. they commute w.r.t. multiplication)
More informationOn an algebra related to orbit-counting. Peter J. Cameron. Queen Mary and Westeld College. London E1 4NS U.K. Abstract
On an algebra related to orbit-counting Peter J. Cameron School of Mathematical Sciences Queen Mary and Westeld College London E1 4NS U.K. Abstract With any permutation group G on an innite set is associated
More informationNotes on Paths, Trees and Lagrange Inversion
Notes on Paths, Trees and Lagrange Inversion Today we are going to start with a problem that may seem somewhat unmotivated, and solve it in two ways. From there, we will proceed to discuss applications
More informationCombinations. April 12, 2006
Combinations April 12, 2006 Combinations, April 12, 2006 Binomial Coecients Denition. The number of distinct subsets with j elements that can be chosen from a set with n elements is denoted by ( n j).
More informationThe cogrowth series for BS(N,N) is D-finite
The cogrowth series for BS(N,N) is D-finite Murray Elder, (U Newcastle, Australia) Andrew Rechnitzer, (UBC, Canada) Buks van Rensburg, (York U, Canada) Tom Wong, (UBC, Canada) AustMS 2013, Group Actions
More information17 Galois Fields Introduction Primitive Elements Roots of Polynomials... 8
Contents 17 Galois Fields 2 17.1 Introduction............................... 2 17.2 Irreducible Polynomials, Construction of GF(q m )... 3 17.3 Primitive Elements... 6 17.4 Roots of Polynomials..........................
More informationOn a Balanced Property of Compositions
On a Balanced Property of Compositions Miklós Bóna Department of Mathematics University of Florida Gainesville FL 32611-8105 USA Submitted: October 2, 2006; Accepted: January 24, 2007; Published: March
More informationGwyneth Harrison-Shermoen
Gwyneth University of Leeds Model Theory of Finite and Pseudonite Structures Workshop Outline 1 Introduction 2 3 4 5 Introduction An asymptotic class is a class of nite structures such that the sizes of
More informationThe Dierential Lambda-Calculus
The Dierential Lambda-Calculus Thomas Ehrhard and Laurent Regnier Institut de Mathématiques de Luminy, C.N.R.S. U.P.R. 9016 ehrhard@iml.univ-mrs.fr and regnier@iml.univ-mrs.fr July 17, 2003 Abstract We
More informationAsymptotics of the Eulerian numbers revisited: a large deviation analysis
Asymptotics of the Eulerian numbers revisited: a large deviation analysis Guy Louchard November 204 Abstract Using the Saddle point method and multiseries expansions we obtain from the generating function
More information7 Asymptotics for Meromorphic Functions
Lecture G jacques@ucsd.edu 7 Asymptotics for Meromorphic Functions Hadamard s Theorem gives a broad description of the exponential growth of coefficients in power series, but the notion of exponential
More informationAbstract In usual type theory, if a function f is of type! 0 and an argument a is of type, then the type of fa is immediately given to be 0 and no men
Canonical typing and -conversion Fairouz Kamareddine y Department of Computing Science 17 Lilybank Gardens University of Glasgow Glasgow G1 8QQ, Scotland email: fairouz@dcs.glasgow.ac.uk and Rob Nederpelt
More informationContents. 2.1 Vectors in R n. Linear Algebra (part 2) : Vector Spaces (by Evan Dummit, 2017, v. 2.50) 2 Vector Spaces
Linear Algebra (part 2) : Vector Spaces (by Evan Dummit, 2017, v 250) Contents 2 Vector Spaces 1 21 Vectors in R n 1 22 The Formal Denition of a Vector Space 4 23 Subspaces 6 24 Linear Combinations and
More informationDecidability of Existence and Construction of a Complement of a given function
Decidability of Existence and Construction of a Complement of a given function Ka.Shrinivaasan, Chennai Mathematical Institute (CMI) (shrinivas@cmi.ac.in) April 28, 2011 Abstract This article denes a complement
More informationCombinatorial proofs of addition formulas
Combinatorial proofs of addition formulas Xiang-Ke Chang Xing-Biao Hu LSEC, ICMSEC, Academy of Mathematics and Systems Science Chinese Academy of Sciences Beijing, China Hongchuan Lei College of Science
More informationSome reflections on directed lattice paths.
AofA 4 Paris (June 6-20, 204) DMTCS proc. BA, 204, 25 36 Some reflections on directed lattice paths. Cyril Banderier and Michael Wallner 2 arxiv:605.0687v [cs.dm] 5 May 206 Laboratoire d Informatique de
More informationComments on "Generating and Counting Binary Bent Sequences"
University of Wollongong Research Online Faculty of Informatics - Papers (Archive) Faculty of Engineering and Information Sciences 1994 Comments on "Generating and Counting Binary Bent Sequences" Claude
More informationQuasigroups and Related Systems 8 (2001), Hee Kon Park and Hee Sik Kim. Abstract. 1. Introduction
Quasigroups and Related Systems 8 (2001), 67 72 On quadratic B-algebras Hee Kon Park and Hee Sik Kim Abstract In this paper we introduce the notion of quadratic B-algebra which is a medial quasigroup,
More informationQUADRANT MARKED MESH PATTERNS IN 132-AVOIDING PERMUTATIONS III
#A39 INTEGERS 5 (05) QUADRANT MARKED MESH PATTERNS IN 3-AVOIDING PERMUTATIONS III Sergey Kitaev Department of Computer and Information Sciences, University of Strathclyde, Glasgow, United Kingdom sergey.kitaev@cis.strath.ac.uk
More informationNote An example of a computable absolutely normal number
Theoretical Computer Science 270 (2002) 947 958 www.elsevier.com/locate/tcs Note An example of a computable absolutely normal number Veronica Becher ; 1, Santiago Figueira Departamento de Computation,
More informationPattern Popularity in 132-Avoiding Permutations
Pattern Popularity in 132-Avoiding Permutations The MIT Faculty has made this article openly available. Please share how this access benefits you. Your story matters. Citation As Published Publisher Rudolph,
More informationExploiting a Theory of Phase Transitions in Three-Satisability. Problems. David M. Pennock and Quentin F. Stout. University ofmichigan
Exploiting a Theory of Phase Transitions in Three-Satisability Problems David M. Pennock and Quentin F. Stout Electrical Engineering and Computer Science Department University ofmichigan Ann Arbor, MI
More informationCounting the number of isosceles triangles in rectangular regular grids
Counting the number of isosceles triangles in rectangular regular grids arxiv:1605.00180v5 [math.co] 6 Feb 017 Chai Wah Wu IBM T. J. Watson Research Center P. O. Box 18, Yorktown Heights, New York 10598,
More informationLECTURE NOTES IN CRYPTOGRAPHY
1 LECTURE NOTES IN CRYPTOGRAPHY Thomas Johansson 2005/2006 c Thomas Johansson 2006 2 Chapter 1 Abstract algebra and Number theory Before we start the treatment of cryptography we need to review some basic
More informationTutorial 1.3: Combinatorial Set Theory. Jean A. Larson (University of Florida) ESSLLI in Ljubljana, Slovenia, August 4, 2011
Tutorial 1.3: Combinatorial Set Theory Jean A. Larson (University of Florida) ESSLLI in Ljubljana, Slovenia, August 4, 2011 I. Generalizing Ramsey s Theorem Our proof of Ramsey s Theorem for pairs was
More informationProjective Spaces. Chapter The Projective Line
Chapter 3 Projective Spaces 3.1 The Projective Line Suppose you want to describe the lines through the origin O = (0, 0) in the Euclidean plane R 2. The first thing you might think of is to write down
More informationAsymptotic Distribution of Parameters in Random Maps
Asymptotic Distribution of Parameters in Random Maps Olivier Bodini UMR CNRS 7030, LIPN, Université Paris 13, Av. Jean Baptiste Clément, Villetaneuse, France olivier.bodini@lipn.fr Julien Courtiel UMR
More informationFormal Methods Lecture 6. (B. Pierce's slides for the book Types and Programming Languages )
Formal Methods Lecture 6 (B. Pierce's slides for the book Types and Programming Languages ) Programming in the Lambda-Calculus, Continued Testing booleans Recall: tru = λt. λf. t fls = λt. λf. f We showed
More information