😣 程训焘:

可能在应用层想想办法吧，比如看看能不能先把 a 都穷举出来，再分成几个 batch 去 match，每个 batch 有了结果都可以先返回，流水流起来。