WSEAS Transactions on Information Science and Applications
Print ISSN: 1790-0832, E-ISSN: 2224-3402
Volume 10, 2013
Partitioning of State-Space with the Sum-of-Digits and Hashing with Reduced Number of Address Collision
Author:
Abstract: We present a method for partitioning the state-space based on the sum-of-digits in order to conduct parallel state-space exploration and hashing. The method has a configuration for storing the universe of the state-space using multiple hash tables generating a reduced number of address collisions. This paper presents the partitioning result, the number of address collisions generated with the proposed hashing method, the efficiency in reducing the number of address collisions, an estimation of the number of address collisions, and the probability of the unfitness of our estimation for the size of our arrangement of multiple hash tables with respect to the real sizes.