Monte Carlo Simulation of SATs in 2D

Enyong Ding,Yun Huang
DOI: https://doi.org/10.1016/s1007-5704(96)90019-2
1996-01-01
Abstract:In this paper we use Monte Carlo simulation method to deal with SATs on a square lattice and a triangular lattice in two dimensions in the T → ∞ limit. Besides that, the SAT model has been generalized in the coordination number q → ∞ limit. The characteristics of SATs in the two limits q = 3 and q → ∞ have been qualitatively discussed. The obtained results reveal that the SATs have intermediate behaviors between that of SAWS and RWs. The critical exponents of SATs are monotonous functions of q. With different q, SATs correspondingly belong to different universality classes. For example, on a hexagonal lattice, SATs and SAWs belong to the same universality class; in the limiting situation q → ∞, SATs and RWs belong to the same universality class; when q = 4 or q = 6, SATs and SAWs or RWs belong to the different universality class.
What problem does this paper attempt to address?