The central problem in sequence reconstruction is to find the minimum number of distinct channel outputs required to uniquely reconstruct the transmitted sequence. According to Levenshtein’s work in 2001, this number is determined by the size of the maximum intersection between the error balls of any two distinct input sequences of the channel. In this work, we study the sequence reconstruction problem for the q-ary single-deletion single-substitution channel for any fixed integer q≥2. First, we prove that if two q-ary sequences of length n have a Hamming distance d≥2, then the intersection size of their error balls is upper bounded by 2qn-3q-2-δq,2, where δi,j is the Kronecker delta, and this bound is achievable. Next, we prove that if two q-ary sequences have a Hamming distance d≥3 and a Levenshtein distance dL≥2, then the intersection size of their error balls is upper bounded by 3q+11, and we show that the gap between this bound and the tight bound is at most 2.
