程序员常刷题解释用于解释差分数据流计算输出的基础设施，解释数据并行计算的输出。该项目演示了如何使用差分数据流来解释差分数据流计算的输出，如论文中所述。还有一个更早的讨论材料，并试图解释它是如何工作的。在我们的上下文中，程序在输入集合上运行并产生输出集合。输出子集的“解释”是输入的子集，因此如果您在该子集上运行计算，它至少会产生您要求的输出子集。对这种形式的简明解释非常有帮助，无论是调试程序还是理解/传达为什么部分输出是这样的。快速品尝 为了试一试，我们可以解释“优先标签传播”的输出，这是一种用于确定图中连接组件的算法，通过跟踪哪些图边和标签对于到达每个单独的输出记录很重要，即使图变化。这里我们加载livejournal图数据集，要求解释节点123456的标签，然后删除解释路径上的一条边，导致解释发生变化： Echidnatron% cargo run --release --example interactive-cc -- ~/Projects/Datasets/livejournal Running target/release/examples/interacti