Loop Equivalence Condition

Question

Consider the following two Java methods, where integer arguments `a` and `b` are both greater than zero.

```
public static int countOne(int a, int b) {
  int count = 0;
  for (int j = 0; j < a / b; j++) {
    count++;
  }
  return count;
}

public static int countTwo(int a, int b) {
  int count = 0;
  int index = 0;
  while (index < a) {
    count++;
    index += b;
  }
  return count;
}
```

Under which condition will the `countOne` and `countTwo` methods return the same value?

Accepted Answer

`a % b` must be zero

Answer

Always, regardless of values of `a` and `b`

Answer

`a % b` is not zero but `a / b` rounds up

Answer

Never, they always produce different results

Loop Equivalence Condition

Question Leaderboard