scholarly journals Exploration of Hard to Solve 3-sat Problems

2021 ◽  
Vol 7 (2) ◽  
Author(s):  
Robert Amador, Chen-Fu Chiang, Chang-Yu Hsieh

We designed and implemented an efficient tough random symmetric 3-SAT generator and propose two deterministic algorithms that efficiently generate 3-SAT instances with a unique solution. We quantify the first algorithms hardness in terms of CPU time, numbers of restarts, decisions, propagations, conflicts and conflicted literals that occur when a solver tries to solve 3-SAT instances. In this experiment, the clause variable ratio was chosen to be around the conventional critical phase transition number 4.24. The experiment shows that instances generated by our generator are significantly harder than instances generated by the Tough K-SAT generator. The two deterministic algorithms generate 3-SAT instances with the number of clauses scaling as 4n, where n is the number of variables, and (n+6), respectively. By combining these two algorithms along with a simple padding algorithm, we prove a hybrid algorithm that can generate n-variable instances with the number of clauses that scale between (n+6) and 7n(n-1)(n-2). Overall, all proposed SAT generators seek to explore unique difficult to solve SAT problems.

2020 ◽  
Vol 102 (21) ◽  
Author(s):  
Raymond Wiedmann ◽  
Lea Lenke ◽  
Matthias R. Walther ◽  
Matthias Mühlhauser ◽  
Kai Phillip Schmidt

2016 ◽  
Vol 26 (06) ◽  
pp. 1750046
Author(s):  
Yan Peng ◽  
Tao Chen ◽  
Guohua Liu ◽  
Pengwei Ma

We generalize the holographic superconductor model with dark matter sector by including the Stückelberg mechanism in the four-dimensional anti-de Sitter (AdS) black hole background away from the probe limit. We study effects of the dark matter sector on the [Formula: see text]-wave scalar condensation and find that the dark matter sector affects the critical phase transition temperature and also the order of phase transitions. At last, we conclude that the dark matter sector brings richer physics in this general metal/superconductor system.


1986 ◽  
Vol 85 (12) ◽  
pp. 7377-7379 ◽  
Author(s):  
James D. Bond ◽  
N. Convers Wyeth

2013 ◽  
Vol 4 (4) ◽  
pp. 55-63
Author(s):  
Zhenpeng Li ◽  
Xijin Tang

In this paper the authors investigate critical phase transition characteristic of collective action by considering the mechanisms of both rational utility and psychological threshold based on the Granovetter (1978)'s threshold model. Numeric simulation is used to observe the collective dynamics with consideration of both spatial factor and social network friendship density. The authors observe that activation threshold model with both utility and psychological thresholds included shows more stable in phase transition than that in the classic model. The authors also find that spatial factor and friendship network density have trivial impact on final equilibrium of collective behavior.


2017 ◽  
Vol 32 (26) ◽  
pp. 1750160 ◽  
Author(s):  
Yan Peng ◽  
Guohua Liu

We investigate the holographic superconductor model constructed in the (2[Formula: see text]+[Formula: see text]1)-dimensional AdS soliton background in the probe limit. With analytical methods, we obtain the formula of critical phase transition points with respect to the scalar mass. We also generalize this formula to higher-dimensional space–time. We mention that these formulas are precise compared to numerical results. In addition, we find a correspondence between the value of the charged scalar field at the tip and the scalar operator at infinity around the phase transition points.


1984 ◽  
Vol 24 (02) ◽  
pp. 197-202 ◽  
Author(s):  
John S. Huang ◽  
Mahn Won Kim

Abstract We used dynamic light scattering to study the characteristic droplet size, in dilute single-phase microemulsions near the critical phase transition point. We found that there existed a general power-law dependence of f on point. We found that there existed a general power-law dependence of f on the reduced variable = . Here stands for any thermodynamic and system variables whose critical value is denoted by . The variables of interest in the present work are temperature and alkane carbon number (ACN). It is found that where = . This is observed both in water- and oil-internal microemulsions, independent of the surfactant properties. This behavior, known as the scaling behavior, was analyzed in terms of generalized homogeneous functions with as the degree of homogeneity. It turns out that only one of the reduced variables is an independent variable in these functions, greatly simplifying the description of the properties of microemulsions in the neighborhood of a critical phase boundary. Introduction Critical phenomena have been under intensive investigation for the past 20 years by physicists and physical chemists. There are several reasons for this subject to attract so much attention. SINGULARITIES. A large number of thermodynamic properties, especially ones related to the second-order derivative of the free energy, become singular (in a mathematical sense) at the critical point. UNIVERSALITY. There exists a universal description (scaling laws) of the singular behavior of all the corresponding thermodynamic parameters in a large number of vastly different systems. These range from simple liquid/gas mixtures, liquid crystals, and magnetic alloys to the quantum mechanical superfluids. NONCLASSICAL BEHAVIOR. Though critical properties are macroscopic properties pertaining to the bulk phases, classical thermodynamics is properties pertaining to the bulk phases, classical thermodynamics is inadequate to explain quantitatively what happens in the neighborhood of the critical points. NEW PARAMETERS. Geometric properties (such as the symmetry group of the so-called "order parameter") and spatial dimensionality of the system are more important than the nature of basic interactions that produce the phase transition. phase transition. Great progress has been achieved, both experimentally (such as dynamic light scattering) and theoretically (such as the powerful scaling laws and renormalization group theories), in the study of critical phenomena. As a result, a vast amount of knowledge has been accumulated on the subject in recent years. Critical phenomena may also play an important role in the understanding of the fundamental mechanism in EOR by microemulsions and micellar solutions. Microemulsions do exhibit unmistakable critical behavior in certain composition and temperature ranges near the cloud point of a homogeneous system. There are many ways to cause a homogeneous microemulsion to split into a multiphase system. When any of the system variables, such as the temperature, salinity, composition of the oil, and concentration of the dispersed phase, are changed in such a manner that the resultant phase transition occurs in the neighborhood of a plait point, which corresponds to a vanishing tie line, then the system will exhibit critical phenomena. All critical transitions are characterized by pronounced thermodynamic fluctuations. These fluctuations are described by a con-elation length that diverges at the critical point, causing a strong scattering of light known as the critical opalescence, a feature that is also observed in microemulsions. By definition, the correlation length diverges at the critical value, Zc, of the corresponding system variable, . Therefore, the reduced variable delta Z = Zc -Z expresses a measure of a "thermodynamic distance" to the critical point. We use the lower-case letter z = delta Z/Zc to denote the dimensionless scaled variables that are important for the description of the universal behavior of a microemulsion near a critical phase boundary. In the neighborhood of the critical point, the physical phase boundary. In the neighborhood of the critical point, the physical properties of the microemulsion systems depend on some universal function properties of the microemulsion systems depend on some universal function of scaled variables only, independent of the chemical makeup of the system. We call this the critical scaling behavior. Experimental Procedure MICROEMULSION SYSTEM. We have chosen two model microemulsions for our study. One is a simple pure three-component oil-continuous system containing pure normal alkanes, distilled water, and a surfactant commonly known as AOT. This surfactant, sodium di-2-ethyl hexylsulfosuccinate, was twice recrystallized from hexane over activated charcoal. The other is a water-continuous system composed of 8% NaCl brine solution, normal alkanes and a combined surfactant (hepta-ethoxylated octadecyl methyl ammonium-i-dodecyl-o-xylene sulfonates). SPEJ p. 197


2018 ◽  
Vol 60 (11) ◽  
pp. 2287-2290
Author(s):  
M. A. Vasyutin ◽  
N. D. Kuz’michev ◽  
D. A. Shilkin

Sign in / Sign up

Export Citation Format

Share Document