已知Java Random带边界输出的三个数值，如何反推其种子？

可以，但过程比直接获取nextInt原始输出的场景更复杂——因为每个差值对应多组可能的nextInt原始结果，需要枚举验证后匹配。

核心逻辑 #

java.util.Random基于线性同余生成器（LCG），内部状态是一个64位种子，所有输出都是这个种子按固定算法推导的产物，完全可预测。只要能把观察到的差值映射回可能的nextInt输出序列，就能反推初始种子。

具体实现步骤 #

• 拆解差值的原始值组合

  • 第一个差值d1 = random.nextInt(16) - random.nextInt(16)：nextInt(16)的输出范围是0-15，所以d1的范围是-15到15。对已知的d1，枚举所有满足a - b = d1的(a,b)组合（a和b都是0-15的整数）。
  • 第二个差值d2 = random.nextInt(8) - random.nextInt(8)：nextInt(8)输出范围0-7，d2范围-7到7，同理枚举所有符合条件的(c,d)组合。
  • 第三个差值d3和第一个逻辑一致，枚举对应的(e,f)组合。

• 反向推导候选种子并验证

  • 针对每一组可能的(a,b,c,d,e,f)序列，反向推导Random的内部状态：调用nextInt(n)时，Random会先生成32位随机数（通过next(32)）再取模得到结果，可通过已知的a和n=16反推可能的next(32)输出，同理处理其他值。
  • 把这些反推的next(32)结果按顺序对应到LCG的状态转换规则，计算出可能的初始种子。
  • 用每个候选种子初始化Random，运行原代码生成差值，与观察结果对比，找到匹配的种子。

关键提示 #

• 候选组合的总数量有限（16816=2048种），计算量完全在普通设备的处理能力范围内。
• 理论上可能存在多个种子生成相同的差值序列，但实际验证后通常能找到唯一匹配的种子。

内容的提问来源于stack exchange，提问作者Zacharias Nürnberger