Color; Upper bound; Partitioning algorithms; Games; Machine learning algorithms; Servers;
机译:一阶逻辑中用于图微分的量词深度的上界
机译:图的一阶可定义性:量词深度的上限
机译:有限变量逻辑中量词深度的界限:交替层次结构
机译:在一阶逻辑中的图形差异化的量化深度上限
机译:n顶点简单连接图的最小不相交路径/循环覆盖率的上限。
机译:最大公共子图:一些上限和下限结果
机译:一阶逻辑中用于图微分的量词深度的上界