Exercises

ex-fsp-ch03-01

Easy

A two-stage amplifier has a first stage with reliability R1=0.95R_1 = 0.95 and a second stage with R2=0.90R_2 = 0.90. Both stages must work for the amplifier to function (series system). (a) Compute the system reliability. (b) By how much does RsR_s improve if the second stage is upgraded to R2β€²=0.99R_2' = 0.99?

ex-fsp-ch03-02

Easy

A satellite link has three independent redundant transponders, each with reliability p=0.8p = 0.8. The link works if at least one transponder works. (a) Compute the system reliability. (b) How many transponders are needed to achieve Rsβ‰₯0.9999R_s \geq 0.9999?

ex-fsp-ch03-03

Easy

In a birthday experiment with n=50n = 50 equally likely birthdays (a small social group), compute the exact probability that among m=7m = 7 randomly chosen people, at least two share a birthday.

ex-fsp-ch03-04

Easy

Use the probabilistic method to prove the following: in any tournament on nn players (every pair plays, one wins), there exist at least one player who beats at least ⌈(nβˆ’1)/2βŒ‰\lceil (n-1)/2 \rceil others.

ex-fsp-ch03-05

Easy

Compute E[Tn]\mathbb{E}[T_n] for the coupon collector with n=6n = 6 (like rolling a fair die and waiting to see all six faces). How many rolls are needed on average?

ex-fsp-ch03-06

Medium

Consider the kk-out-of-nn system: the system works if and only if at least kk of nn components work. Each component has reliability pp and components are independent. (a) Write a formula for RsR_s using the binomial distribution. (b) For n=5n = 5, p=0.9p = 0.9, compute RsR_s for k=1,3,5k = 1, 3, 5. (c) Show that the series (k=nk=n) and parallel (k=1k=1) formulas are special cases.

ex-fsp-ch03-07

Medium

Apply inclusion-exclusion to compute the probability that the system S=(A1βˆͺA2)∩(A3βˆͺA4)S = (A_1 \cup A_2) \cap (A_3 \cup A_4) (two parallel pairs in series) works, given independent components with reliabilities R1=R2=R3=R4=pR_1 = R_2 = R_3 = R_4 = p. Simplify to a polynomial in pp and evaluate at p=0.9p = 0.9.

ex-fsp-ch03-08

Medium

Prove the following second moment bound for the birthday problem: the expected number of collisions among mm draws from {1,…,n}\{1,\ldots,n\} is ΞΌ=(m2)/n\mu = \binom{m}{2}/n. Use this to give an upper bound on P(noΒ collision)P(\text{no collision}) via Markov's inequality.

ex-fsp-ch03-09

Medium

Coupon collector tail bound. Show that P(Tn>nln⁑n+cn)≀eβˆ’cP(T_n > n \ln n + cn) \leq e^{-c} for any c>0c > 0, using the union bound over the events that each coupon has not been collected by time nln⁑n+cnn \ln n + cn.

ex-fsp-ch03-10

Medium

Wireless application. A base station needs to schedule n=20n = 20 users in a frame with n=20n = 20 slots. Each slot is assigned to a user chosen uniformly at random (with replacement). Using the coupon collector result: (a) How many frames are expected before every user has been scheduled at least once? (b) What is the probability that user 7 has not been scheduled after 50 frames?

ex-fsp-ch03-11

Medium

The 2-out-of-3 majority vote is a special case of kk-out-of-nn. Three independent decision units each return a binary decision correctly with probability pp. The majority vote is correct if at least 2 units agree on the right answer. (a) Show Rs=3p2βˆ’2p3R_s = 3p^2 - 2p^3. (b) For which values of pp does the majority vote outperform a single unit (i.e., Rs>pR_s > p)? (c) At p=0.7p = 0.7, compare majority-vote to single-unit and to 3-of-3 (series).

ex-fsp-ch03-12

Medium

Occupancy and empty bins. Throw mm balls into nn bins uniformly at random. Show that the expected number of empty bins is E[emptyΒ bins]=n(1βˆ’1/n)mβ‰ˆneβˆ’m/n\mathbb{E}[\text{empty bins}] = n(1 - 1/n)^m \approx n e^{-m/n}. For m=nm = n, evaluate this numerically.

ex-fsp-ch03-13

Hard

Bridge network exact reliability. Derive the exact reliability Rs(p)R_s(p) for the bridge network with equal component reliabilities pp. Verify: (a) Rs(0)=0R_s(0) = 0, Rs(1)=1R_s(1) = 1, (b) Rs(p)β‰₯max⁑(Rseries,Rparallel)R_s(p) \geq \max(R_\text{series}, R_\text{parallel}) at p=0.9p = 0.9 where Rseries=p5R_\text{series} = p^5 and Rparallel=1βˆ’(1βˆ’p)5R_\text{parallel} = 1-(1-p)^5.

ex-fsp-ch03-14

Hard

Probabilistic method β€” Ramsey bound. For a tournament on nn vertices where each directed edge is assigned independently with probability 1/21/2 in each direction, show that the probability a specific set of kk vertices forms a directed clique (every pair has the same winner) is 2βˆ’(kβˆ’1)k/22^{-(k-1)k/2}. Use this to prove R(k,k)>2k/2R(k,k) > 2^{k/2} (Ramsey lower bound via probabilistic method), where R(k,k)R(k,k) is the smallest nn such that every 2-coloring of KnK_n contains a monochromatic KkK_k.

ex-fsp-ch03-15

Hard

Inclusion-exclusion for kk-out-of-nn systems. Using the inclusion-exclusion principle, derive the formula for the probability that exactly kk out of nn events A1,…,AnA_1, \ldots, A_n occur, in terms of the elementary symmetric sums Sr=βˆ‘βˆ£J∣=rP(β‹‚j∈JAj)S_r = \sum_{|J|=r} P(\bigcap_{j \in J} A_j).

ex-fsp-ch03-16

Hard

Coupon collector concentration. Using Markov's inequality on TnT_n and the variance bound Var[Tn]≀π2n2/6\text{Var}[T_n] \leq \pi^2 n^2/6, apply Chebyshev's inequality to bound P(∣Tnβˆ’E[Tn]∣β‰₯t)P(|T_n - \mathbb{E}[T_n]| \geq t) for arbitrary t>0t > 0. Evaluate at t=nt = n for n=100n = 100.

ex-fsp-ch03-17

Challenge

Random coding achieves capacity β€” detailed calculation. Consider a binary erasure channel (BEC) with erasure probability Ο΅\epsilon: the output is the input with probability 1βˆ’Ο΅1-\epsilon or erased with probability Ο΅\epsilon. The capacity is C=1βˆ’Ο΅C = 1-\epsilon. (a) Define a random code of rate R<CR < C with 2nR2^{nR} codewords of length nn, each bit i.i.d.\ Bernoulli(1/2). Show that the expected number of codewords (other than the true one) consistent with any given erasure pattern is 2n(Rβˆ’C)2^{n(R-C)}. (b) Use the probabilistic method to argue that for any Ο΅>0\epsilon > 0 there exists a code with Pe≀2Ο΅P_e \leq 2\epsilon whenever R<CR < C. (c) Why does this imply capacity-achieving codes exist for the BEC?

ex-fsp-ch03-18

Challenge

Wireless network reliability with random topology. Consider a wireless network with nn nodes placed uniformly in a unit square. Two nodes are connected if their Euclidean distance is at most rr. Each connection independently fails with probability qq. (a) Write an expression for the expected number of isolated nodes (nodes with all connections failed) as a function of nn, rr, and qq. (b) Use the probabilistic method to argue that for the network to be connected with high probability, r2r^2 must scale at least as ln⁑n/(Ο€n(1βˆ’q))\ln n / (\pi n(1-q)). (c) How does this differ from the q=0q=0 (no failures) case?