Controlled source-inference microscope

把每个候选源放进同一场“反事实考试”

真实传感器已经留下时间记录。推断器依次假设每个感染非传感器是源,在工作用不完整图上重新模拟传播,再判断谁最能复现这些记录。

当前候选 vᵢ
1

读取快照与传感器记录

快照给出感染集合 Iσ;已感染传感器额外提供首次感染时间和直接发送者。

单次试验的 Gδ 工作副本

绿色实线是传感器记录确认的补边;红色虚线只在评价当前普通候选时临时存在。

结构仍不完整
确认补边候选临时边双圈:传感器黄色:最早感染传感器 ô
A

为什么重新模拟

这是反事实比较:假设 vᵢ 是源,它在同一工作图上会给传感器留下怎样的时间模式?候选不是因为“看起来像中心”而获胜,而是因为模拟记录更像真实记录。

B

距离比较什么

欧氏距离比较同一组已感染传感器的到达时间。它不比较图有多像,也不比较感染节点数量。d=0 只代表本次时间向量完全一致。

C

q₁ 与 q₂ 做什么

id(ô) 是 ô 实际记录的直接发送者,按一跳情形使用 q₁;其他候选经连接尝试按二跳情形使用 q₂。先验和时间匹配共同决定最终分数。

临时加边不等于发现了一条真实缺失边

对普通候选 vᵢ,如果工作图中没有 (vᵢ,id(ô)),实现只在评价 vᵢ 时临时加入它,完成模拟后立即删除。这是候选路径假设,不是从完整图偷看真实边。

最后一问

某普通候选使用 q₂,但它的时间向量与真实记录完全一致;id(ô) 使用更大的 q₁,但距离不为零。普通候选有没有可能获胜?