Jun, 2023

学习广播协议

TL;DR研究了使用 learning algorithm 和 SMT solver 学习带有任意进程数量的分布式系统中的有限广播协议问题,证明了有限广播协议是可教的,但特征集尺寸无法降低到多项式级别。