Mapping between Spin-Glass Three-Dimensional (3D) Ising Model and Boolean Satisfiability Problem

The common feature for a nontrivial hard problem is the existence of nontrivial topological structures, non-planarity graphs, nonlocalities, or long-range spin entanglements in a model system with randomness. For instance, the Boolean satisfiability (K-SAT) problems for K ≥ 3 MSATK≥3 are nontrivial...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Mathematics (Basel) Ročník 11; číslo 1; s. 237
Hlavní autor:	Zhang, Zhidong
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Basel MDPI AG 01.01.2023
Témata:	Algebra Algorithms Artificial intelligence Boolean Boolean satisfiability Complexity computational complexity Computer science Exact solutions Food science Graphs Ising model Lower bounds Machine learning Magnetic fields Mathematics Phase transitions Physics Randomness Spin glasses spin-glass 3D Ising model Three dimensional models Topology Transfer matrices Two dimensional models
ISSN:	2227-7390, 2227-7390
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!