Java:合取不等式的最少运算次数？

Question

我尝试简化条件:

for ( int t=0, size=fo.getPrintViewsPerFile().size();
          t<size && t<countPerFile;
          t++)
{
    // ...
}

，更准确地说:

t<s && t<c

您需要比较两次，然后计算它们的 boolean 值。有没有更简单的方法来做到这一点？如果不是，你如何证明呢？我可以在某种程度上简化它，proof tree.

[已添加]

我试图直接通过逻辑来解决问题。看看选择最小值的含义会​​很有趣。链接:

http://www.umsu.de/logik/trees/?f= (\exists%20s%20\exists%20c%20\forall%20t%20%20(Pts%20\land%20Ptc))\leftrightarrow\neg(\foralls\forallc\existst(\neg(Pts)\lor\neg(Ptc)))

Answer 1

如果size和countPerFile在循环期间是恒定的，您可以在循环之前预先计算它们的最小值，然后测试将是 t<minimum .

int size=fo.getPrintViewsPerFile().size();
int minLimit = Math.min(size, countPerFile);
for (int t=0; t<minLimit; t++) {
    ....