English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

The phenomenon of phase transition is an important property of the satisfiability (SAT) problem. It not only determines the difficulty of solving the problem, but also plays an important role in designing fast solving algorithms. The structural entropy is an effective method to measure the complexity of graph structure. It maps the proposition formula to the graph structure, and then gives the structural entropy of it. A new method of 3-SAT phase transition measurement based on structural entropy is proposed. Through numerical experiments on the random 3-SAT instance set, the results show that the satisfiability of the random 3-SAT problem has phase transition with the change of structural entropy. At the same time, it is very difficult to solve the problem in the region near the phase transition point.

A New Method for 3-Satisfiability Problem Phase Transition on Structural Entropy