破解学习顺序优化难题:随机性可消去,但组合复杂度仍高。
Stochasticity Is Not the Hard Part: Reduction and Complexity in Instructional Sequencing over Prerequisite DAGs
- 将带失败重试的学习序列问题转化为确定性最短路径
- 即使无前置依赖、单位成本,最优顺序仍属NP难问题
- 提供可计算诊断指标,识别易解与难解学习场景
当学生需按先修关系学习概念时,教学顺序何时重要?其最优顺序的求解代价如何?本文将教学序列建模为状态相关成功率的随机最短路径问题:尝试失败则状态不变。我们首次证明该随机性可被精确消除——问题等价于在先修序理想构成的格上求解确定性最短路径,保持最优值与动作不变。尽管消除了随机复杂度,组合复杂度依然存在:即使无先修边、单位成本、均匀二元非负转移、成功概率不低于1/2,最优序列仍为NP难(通过锦标赛反馈弧集归约)。复杂度非均质:若可实现的转移偏好与先修关系联合无环,则残差联合图的任意拓扑序即为最优;固定先修宽度下可用动态规划多项式求解。一个可计算诊断量mΔ可预先评估优化价值。基于70,893条来自入门计算机科学课程的交互数据,该诊断表明当前为双易区间——优化价值低且搜索空间小;而构造的转移实例则呈现挑战性场景,此时贪心策略产生显著损失,但使用一致启发式的精确A*仅线性扩展状态数。
原文摘要 · Abstract (English)
When a student must learn concepts connected by prerequisite dependencies, when does the order of instruction matter, and what does it cost to find the best one? We study instructional sequencing as a stochastic shortest-path problem in which attempting a concept succeeds with a state-dependent probability and failure leaves the learner state unchanged. We first prove that this stochasticity can be eliminated exactly: the problem collapses to a deterministic shortest-path problem on the lattice of prerequisite order ideals, preserving optimal values and actions. The collapse removes stochastic complexity but not combinatorial complexity: optimal sequencing remains NP-hard -- via reduction from feedback arc set in tournaments -- even with no prerequisite edges, unit costs, uniform binary nonnegative transfer, and success probabilities at least $1/2$. Hardness is not uniform: when realizable transfer preferences remain jointly acyclic with the prerequisites, any topological order of the residual joint graph is optimal, and fixed prerequisite width yields polynomial-time exact dynamic programming. A computable diagnostic, $mΔ$, bounds the value of sequencing before optimization. On 70,893 interactions from an introductory CS course, the diagnostic certifies a doubly easy regime -- little value to optimize and little space to search -- while constructed transfer instances realize the challenging regime, where myopic sequencing suffers large regret yet exact A* with a consistent heuristic expands only linearly many states on that family.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。