離散數學›Ch2 關係與函數第 13 題/共 25 題
13. 鴿籠原理
#LS-02-013中鴿籠原理
- (10%) A self-organizing ad-hoc satellite network consists of multiple satellites placed at arbitrary integer coordinates in 3-dimensional space. Each satellite is modeled as a point . A secure communication link may be established between satellites and only if the midpoint of the segment also lies on an integer lattice point. Equivalently, all three coordinate-wise averages must be integers:
The Space Agency wants to guarantee that even without knowing the positions of the satellites beforehand, there must exist at least one secure link. (a) Determine the smallest integer such that: No matter how the satellites are placed in , there is always at least one pair whose midpoint is a lattice point (i.e., at least one secure link always exists). (b) Now modify the secure-link condition: A link is allowed if the total coordinate sum of the two satellites is even, i.e.
Under this new rule, determine the new minimum number of satellites guaranteeing that at least one secure link must exist.
📄 成大115
▤完整推導請見《WH 資工筆記 · 離散數學》Ch2 關係與函數