In this work we show some empirical results on the parallelization of GSAT. We subdivided the set of variables in τ equal subsets and we applied GSAT in parallel on each subset. We observed the existence of an optimum degree of parallelism (τopt) for which the best performance, in terms of efficiency (time and number of iterations) and effectiveness (fraction of solved instances) is obtained. Moreover, we found that τopt is strictly correlated to the connectivity parameter (q).
Roli A. (2001). Criticality and Parallelism in GSAT. ELECTRONIC NOTES IN DISCRETE MATHEMATICS, 9, 150-161 [10.1016/s1571-0653(04)00319-1].
Criticality and Parallelism in GSAT
Roli A.
2001
Abstract
In this work we show some empirical results on the parallelization of GSAT. We subdivided the set of variables in τ equal subsets and we applied GSAT in parallel on each subset. We observed the existence of an optimum degree of parallelism (τopt) for which the best performance, in terms of efficiency (time and number of iterations) and effectiveness (fraction of solved instances) is obtained. Moreover, we found that τopt is strictly correlated to the connectivity parameter (q).File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
