跨度程序，见证者大小和证书复杂性

跨度程序是指定此处介绍的布尔函数的线性代数方式。最近，该模型用于表明，否定对手方法提供了对量子查询复杂性的严格表征（至少高达）。$\log n/ \log \log n$

将跨度程序连接到量子查询复杂度的复杂度度量是见证者大小。该措施似乎与证书复杂性非常相似。两项措施之间是否存在已知的联系？跨度程序的大小（输入向量数）度量和确定性和随机查询复杂度等其他度量如何？评估跨度程序的最著名的经典算法是什么？

编辑（在马丁·施瓦茨回答之后）：

特别令人感兴趣的是直接通过跨度程序而不是通过见证人大小和量子查询复杂度之间的对应关系的概念连接。是否有经典的结果可以提供有关跨度程序/见证人大小的直觉，以及它们与确定性和随机查询复杂性之间的关系？

对于给定功能，跨度程序的所有证人的最小证人规模等于广义对手界限，例如此处的定理1.7所示。此外，广义的对手界限只是证书复杂度的半确定性放松，例如，参见Reichardt教程中的幻灯片40 。这些教程幻灯片中还讨论了与确定性查询和随机查询复杂度的关系。