Discussion in 'Java' started by tyrandor3@gmail.com, Jan 3, 2008.

1. ### Guest

reference
http://java.sun.com/javase/6/docs/api/java/util/Random.html#nextInt(int)

do {
bits = next(31);
val = bits % n;
} while (bits - val + (n-1) < 0);

big problem

bits>=0
n>0
n<=bits
therefore
0<=bits%n<bits
therefore bits-bits%n > 0
therefore bits-bits%n+n-1 > 0
therefore bits-bits+n-1<0 is always false?

So how can this loop ever iterate more than once as the documentation
says it can.

, Jan 3, 2008

2. ### Patricia ShanahanGuest

wrote:
> reference
> http://java.sun.com/javase/6/docs/api/java/util/Random.html#nextInt(int)
>
> do {
> bits = next(31);
> val = bits % n;
> } while (bits - val + (n-1) < 0);
>
>
> big problem
>
> bits>=0
> n>0
> n<=bits
> therefore
> 0<=bits%n<bits
> therefore bits-bits%n > 0
> therefore bits-bits%n+n-1 > 0
> therefore bits-bits+n-1<0 is always false?
>
> So how can this loop ever iterate more than once as the documentation
> says it can.

Java int is 2's complement signed. If (n-1) and (bits-val) are both
large enough, their sum may wrap around to negative. Think of the "< 0"
test in the Java code as meaning, in mathematical integer arithmetic, ">
Integer.MAX_VALUE".

Patricia

Patricia Shanahan, Jan 3, 2008

3. ### Roedy GreenGuest

On Wed, 2 Jan 2008 21:16:00 -0800 (PST), wrote,
quoted or indirectly quoted someone who said :

>So how can this loop ever iterate more than once as the documentation

next and nextInt are quite different animals.
--