Estimating the number of states

Beth · 2012-06-11 14:30:52

Hi,
Just a minor clarification. How do you compute the number of states that can be handled by SPIN if i have 1.99GB of memory and a state vector of 1 byte?

Thanks in advance.

spinroot · 2012-06-11 15:51:45

There is some more overhead for storing a state, other than the state vector itself.
Minimally there's a pointer, maybe some additional data too.
So I would guess in the order of say between 100 and 500 million states, but far more if you use bit state hashing.

Beth · 2012-06-11 16:39:22

Thanks alot

Spinroot

#1 2012-06-11 14:30:52

Estimating the number of states

#2 2012-06-11 15:51:45

Re: Estimating the number of states

#3 2012-06-11 16:39:22

Re: Estimating the number of states

Board footer