如何用纯数学方法判断数值可通过追加数字落入指定区间？

核心逻辑 #

对于给定整数val和区间[bottom, top]（bottom < top），按以下优先级判定状态：

1. 判定Inside状态 #

直接验证不等式：

若 bottom ≤ val ≤ top，则状态为 Inside。

2. 若不在Inside，判定Could或Never #

分正负情况讨论：

2.1 当val > 0时

• 若val < bottom：
  • 若 val * 10 > top：状态为 Never（追加任何数字后数值≥val*10，超过top，无法落入区间）
  • 否则：状态为 Could（存在k≥1，使得val*10^k到(val+1)*10^k -1的区间与[bottom, top]有交集）
• 若val > top：状态为 Never（追加数字后数值只会更大，远超top）

2.2 当val < 0时

• 若val < bottom：状态为 Never（追加数字后数值会更负，比val更小，无法落入区间）
• 若val > top：
  • 若 val * 10 ≤ top：状态为 Could（存在k≥1，使得(val-1)*10^k +1到val*10^k的区间与[bottom, top]有交集）
  • 否则：状态为 Never

2.3 当val = 0时

• 若0 < bottom：状态为 Could（追加数字可生成1到9、10及以上的正整数，只要top≥bottom，必然存在数值落入区间）
• 若0 > top：状态为 Could（追加数字可生成-1到-9、-10及以下的负整数，只要bottom≤top，必然存在数值落入区间）

补充说明 #

上述判定的本质是：

• 正数val追加k位数字后的数值范围是[val*10^k, (val+1)*10^k -1]，只要该范围与目标区间有交集，就判定为Could
• 负数val追加k位数字后的数值范围是[(val-1)*10^k +1, val*10^k]，只要该范围与目标区间有交集，就判定为Could
• 通过k=1的边界值简化判定，可避免枚举k，实现纯数学的快速判断

内容的提问来源于stack exchange，提问作者llm