SMS参加PACE 2020
SMS in PACE 2020
摘要:
我们描述了SMS,我们提交了PACE 2020的确切树深度跟踪。SMS通过在图的最小分隔符上分支来计算图的树深度。
英文摘要:
We describe SMS, our submission to the exact treedepth track of PACE 2020. SMS computes the treedepth of a graph by branching on the small minimal separators of the graph.
机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。