13.07.2015 Views

Distributing labels on infinite trees

Distributing labels on infinite trees

Distributing labels on infinite trees

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Proof. Let m n be the minimal number of 1 in all factors of size n. As the tree is balanced, forall nodes v and n ≥ 1:m n ≤ h v (n) ≤ m n + 1 (5)Now let us c<strong>on</strong>sider a factor of size n + k and root v. It can be decomposed in a factor of sizek of root v and d k factors of size n at the leaves of the previous factor. The number of <strong>on</strong>es inthese factors can be bounded by m n and m k , therefore we have:m k + d k m n ≤ m n+k ≤ m k + 1 + d k (m n + 1) (6)The density of a factor of size n is mnS(n) ≤ d v(n) = hv(n)S(n)bound d v (n + k) − d v (n):≤ mn+1S(n). Using these facts, we canm n+kS(n + k) − m n + 1≤ d v (n + k) − d v (n) ≤ m n+k + 1S(n)S(n + k) − m nS(n)Using (6), the left inequality can be lower bounded by(d − 1) ( d k m n + m kd n+k − 1 − m n + 1)d n − 1= (d − 1) ( m n + m k /d kd n − 1/d k − m n + 1)d n − 1)≥ (d − 1) ( m nd n − 1 − m n + 1d n − 1≥ − 1S(n)The same method can be used to prove that d v (n + k) − d v (n) ≤ 1S(n), which shows thatfor n big enough, |d v (n + k) − d v (n)| is smaller than ɛ, regardless of k. Thus d v (n) is a Cauchym nS(n)sequence and has a limit α = lim n→∞ . This limit does not depend <strong>on</strong> v and the tree has adensity.Lets now prove that d v (n) − ⌊S(n)α⌋| ≤ 1: dividing the inequality (6) by S(n, k) and takingthe limit when k tends to ∞ leads to:(d − 1)m n + αd n≤ α ≤ (d − 1)m n + 1 + αd n .This shows that: S(n)α − 1 ≤ m n ≤ S(n)α, which implies Equati<strong>on</strong> (4).Similar ideas can be used to show that Equati<strong>on</strong> (4) can be improved in the case of str<strong>on</strong>glybalanced tree: for all width and size k, n ≥ 1, the number of <strong>on</strong>es h(n, k) in a factor of size nand width k satisfies:∣ h(n, k) − ⌊S(n, k)α⌋∣ ∣ ≤ 1 (7)4.3 Mechanical <strong>trees</strong>Building balanced tree is not that easy. According to formula (4), each factors of size n musthave ⌊αS(n)⌋ or ⌊αS(n)⌋ + 1 nodes <strong>on</strong>e. This leads us to the following c<strong>on</strong>structi<strong>on</strong>, inspired bythe c<strong>on</strong>structi<strong>on</strong> of mechanical words.12

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!