Local equations describe unreasonably efficient stochastic algorithms in random K-SAT Article Swipe
YOU?
·
· 2025
· Open Access
·
· DOI: https://doi.org/10.1073/pnas.2510153122
Despite significant advances in characterizing the highly nonconvex landscapes of constraint satisfaction problems, the good performance of certain algorithms in solving hard combinatorial optimization tasks remains poorly understood. This gap in understanding stems largely from the lack of theoretical tools for analyzing their out-of-equilibrium dynamics. To address this challenge, we develop a system of approximate master equations that capture the behavior of local search algorithms in constraint satisfaction problems. Our framework shows excellent qualitative agreement with the phase diagrams of two paradigmatic algorithms: Focused Metropolis Search (FMS) and greedy-WalkSAT (G-WalkSAT) for random 3-SAT. The equations not only confirm the numerical observation that G-WalkSAT’s algorithmic threshold is nearly parameter-independent but also successfully predict FMS’s threshold beyond the clustering transition. We also exploit these equations in a decimation scheme, demonstrating that the computed marginals encode valuable information about the local structure of the solution space explored by stochastic algorithms. Notably, our decimation approach achieves a threshold that surpasses the clustering transition, outperforming conventional methods like Belief Propagation-guided decimation. These results challenge the prevailing assumption that long-range correlations are always necessary to describe efficient local search dynamics and open a path to designing efficient algorithms to solve combinatorial optimization problems.
Related Topics
- Type
- article
- Language
- en
- Landing Page
- https://doi.org/10.1073/pnas.2510153122
- OA Status
- hybrid
- References
- 38
- OpenAlex ID
- https://openalex.org/W7108739211
Raw OpenAlex JSON
- OpenAlex ID
-
https://openalex.org/W7108739211Canonical identifier for this work in OpenAlex
- DOI
-
https://doi.org/10.1073/pnas.2510153122Digital Object Identifier
- Title
-
Local equations describe unreasonably efficient stochastic algorithms in random K-SATWork title
- Type
-
articleOpenAlex work type
- Language
-
enPrimary language
- Publication year
-
2025Year of publication
- Publication date
-
2025-12-05Full publication date if available
- Authors
-
David Machado, Jonathan González-García, Roberto Mulet, David Machado, Jonathan González-García, Roberto MuletList of authors in order
- Landing page
-
https://doi.org/10.1073/pnas.2510153122Publisher landing page
- Open access
-
YesWhether a free full text is available
- OA status
-
hybridOpen access status per OpenAlex
- OA URL
-
https://doi.org/10.1073/pnas.2510153122Direct OA link when available
- Concepts
-
Local search (optimization), Cluster analysis, Decimation, Mathematical optimization, Constraint (computer-aided design), Algorithm, Constraint satisfaction problem, Computer science, Path (computing), Exploit, Mathematics, Constraint satisfaction, ENCODE, Theoretical computer science, Vertex (graph theory), Optimization problem, Search algorithm, Space (punctuation), Combinatorial optimization, Minification, Stochastic process, Coherence (philosophical gambling strategy), Computational complexity theory, Hierarchical clustering, Local optimum, Local consistency, Stochastic optimization, Cluster (spacecraft), Global optimizationTop concepts (fields/topics) attached by OpenAlex
- Cited by
-
0Total citation count in OpenAlex
- References (count)
-
38Number of works referenced by this work
Full payload
| id | https://openalex.org/W7108739211 |
|---|---|
| doi | https://doi.org/10.1073/pnas.2510153122 |
| ids.doi | https://doi.org/10.1073/pnas.2510153122 |
| ids.openalex | https://openalex.org/W7108739211 |
| fwci | 0.0 |
| type | article |
| title | Local equations describe unreasonably efficient stochastic algorithms in random K-SAT |
| biblio.issue | 49 |
| biblio.volume | 122 |
| biblio.last_page | |
| biblio.first_page | |
| topics[0].id | https://openalex.org/T11596 |
| topics[0].field.id | https://openalex.org/fields/17 |
| topics[0].field.display_name | Computer Science |
| topics[0].score | 0.975389838218689 |
| topics[0].domain.id | https://openalex.org/domains/3 |
| topics[0].domain.display_name | Physical Sciences |
| topics[0].subfield.id | https://openalex.org/subfields/1705 |
| topics[0].subfield.display_name | Computer Networks and Communications |
| topics[0].display_name | Constraint Satisfaction and Optimization |
| topics[1].id | https://openalex.org/T10100 |
| topics[1].field.id | https://openalex.org/fields/17 |
| topics[1].field.display_name | Computer Science |
| topics[1].score | 0.0054411194287240505 |
| topics[1].domain.id | https://openalex.org/domains/3 |
| topics[1].domain.display_name | Physical Sciences |
| topics[1].subfield.id | https://openalex.org/subfields/1702 |
| topics[1].subfield.display_name | Artificial Intelligence |
| topics[1].display_name | Metaheuristic Optimization Algorithms Research |
| topics[2].id | https://openalex.org/T10963 |
| topics[2].field.id | https://openalex.org/fields/26 |
| topics[2].field.display_name | Mathematics |
| topics[2].score | 0.0022077143657952547 |
| topics[2].domain.id | https://openalex.org/domains/3 |
| topics[2].domain.display_name | Physical Sciences |
| topics[2].subfield.id | https://openalex.org/subfields/2612 |
| topics[2].subfield.display_name | Numerical Analysis |
| topics[2].display_name | Advanced Optimization Algorithms Research |
| is_xpac | False |
| apc_list | |
| apc_paid | |
| concepts[0].id | https://openalex.org/C135320971 |
| concepts[0].level | 2 |
| concepts[0].score | 0.6126021146774292 |
| concepts[0].wikidata | https://www.wikidata.org/wiki/Q1868524 |
| concepts[0].display_name | Local search (optimization) |
| concepts[1].id | https://openalex.org/C73555534 |
| concepts[1].level | 2 |
| concepts[1].score | 0.589613139629364 |
| concepts[1].wikidata | https://www.wikidata.org/wiki/Q622825 |
| concepts[1].display_name | Cluster analysis |
| concepts[2].id | https://openalex.org/C173642442 |
| concepts[2].level | 3 |
| concepts[2].score | 0.5371854901313782 |
| concepts[2].wikidata | https://www.wikidata.org/wiki/Q1253346 |
| concepts[2].display_name | Decimation |
| concepts[3].id | https://openalex.org/C126255220 |
| concepts[3].level | 1 |
| concepts[3].score | 0.5124874711036682 |
| concepts[3].wikidata | https://www.wikidata.org/wiki/Q141495 |
| concepts[3].display_name | Mathematical optimization |
| concepts[4].id | https://openalex.org/C2776036281 |
| concepts[4].level | 2 |
| concepts[4].score | 0.4999728202819824 |
| concepts[4].wikidata | https://www.wikidata.org/wiki/Q48769818 |
| concepts[4].display_name | Constraint (computer-aided design) |
| concepts[5].id | https://openalex.org/C11413529 |
| concepts[5].level | 1 |
| concepts[5].score | 0.4766797721385956 |
| concepts[5].wikidata | https://www.wikidata.org/wiki/Q8366 |
| concepts[5].display_name | Algorithm |
| concepts[6].id | https://openalex.org/C199622910 |
| concepts[6].level | 3 |
| concepts[6].score | 0.4697572886943817 |
| concepts[6].wikidata | https://www.wikidata.org/wiki/Q1128326 |
| concepts[6].display_name | Constraint satisfaction problem |
| concepts[7].id | https://openalex.org/C41008148 |
| concepts[7].level | 0 |
| concepts[7].score | 0.4618986248970032 |
| concepts[7].wikidata | https://www.wikidata.org/wiki/Q21198 |
| concepts[7].display_name | Computer science |
| concepts[8].id | https://openalex.org/C2777735758 |
| concepts[8].level | 2 |
| concepts[8].score | 0.4385773241519928 |
| concepts[8].wikidata | https://www.wikidata.org/wiki/Q817765 |
| concepts[8].display_name | Path (computing) |
| concepts[9].id | https://openalex.org/C165696696 |
| concepts[9].level | 2 |
| concepts[9].score | 0.41547536849975586 |
| concepts[9].wikidata | https://www.wikidata.org/wiki/Q11287 |
| concepts[9].display_name | Exploit |
| concepts[10].id | https://openalex.org/C33923547 |
| concepts[10].level | 0 |
| concepts[10].score | 0.41277024149894714 |
| concepts[10].wikidata | https://www.wikidata.org/wiki/Q395 |
| concepts[10].display_name | Mathematics |
| concepts[11].id | https://openalex.org/C44616089 |
| concepts[11].level | 3 |
| concepts[11].score | 0.3729449212551117 |
| concepts[11].wikidata | https://www.wikidata.org/wiki/Q30158686 |
| concepts[11].display_name | Constraint satisfaction |
| concepts[12].id | https://openalex.org/C66746571 |
| concepts[12].level | 3 |
| concepts[12].score | 0.35453373193740845 |
| concepts[12].wikidata | https://www.wikidata.org/wiki/Q1134833 |
| concepts[12].display_name | ENCODE |
| concepts[13].id | https://openalex.org/C80444323 |
| concepts[13].level | 1 |
| concepts[13].score | 0.3308817148208618 |
| concepts[13].wikidata | https://www.wikidata.org/wiki/Q2878974 |
| concepts[13].display_name | Theoretical computer science |
| concepts[14].id | https://openalex.org/C80899671 |
| concepts[14].level | 3 |
| concepts[14].score | 0.3277897536754608 |
| concepts[14].wikidata | https://www.wikidata.org/wiki/Q1304193 |
| concepts[14].display_name | Vertex (graph theory) |
| concepts[15].id | https://openalex.org/C137836250 |
| concepts[15].level | 2 |
| concepts[15].score | 0.3155578076839447 |
| concepts[15].wikidata | https://www.wikidata.org/wiki/Q984063 |
| concepts[15].display_name | Optimization problem |
| concepts[16].id | https://openalex.org/C125583679 |
| concepts[16].level | 2 |
| concepts[16].score | 0.31445586681365967 |
| concepts[16].wikidata | https://www.wikidata.org/wiki/Q755673 |
| concepts[16].display_name | Search algorithm |
| concepts[17].id | https://openalex.org/C2778572836 |
| concepts[17].level | 2 |
| concepts[17].score | 0.31177955865859985 |
| concepts[17].wikidata | https://www.wikidata.org/wiki/Q380933 |
| concepts[17].display_name | Space (punctuation) |
| concepts[18].id | https://openalex.org/C52692508 |
| concepts[18].level | 2 |
| concepts[18].score | 0.3100414276123047 |
| concepts[18].wikidata | https://www.wikidata.org/wiki/Q1333872 |
| concepts[18].display_name | Combinatorial optimization |
| concepts[19].id | https://openalex.org/C147764199 |
| concepts[19].level | 2 |
| concepts[19].score | 0.30194222927093506 |
| concepts[19].wikidata | https://www.wikidata.org/wiki/Q6865248 |
| concepts[19].display_name | Minification |
| concepts[20].id | https://openalex.org/C8272713 |
| concepts[20].level | 2 |
| concepts[20].score | 0.29464685916900635 |
| concepts[20].wikidata | https://www.wikidata.org/wiki/Q176737 |
| concepts[20].display_name | Stochastic process |
| concepts[21].id | https://openalex.org/C2781181686 |
| concepts[21].level | 2 |
| concepts[21].score | 0.2909519374370575 |
| concepts[21].wikidata | https://www.wikidata.org/wiki/Q4226068 |
| concepts[21].display_name | Coherence (philosophical gambling strategy) |
| concepts[22].id | https://openalex.org/C179799912 |
| concepts[22].level | 2 |
| concepts[22].score | 0.27515631914138794 |
| concepts[22].wikidata | https://www.wikidata.org/wiki/Q205084 |
| concepts[22].display_name | Computational complexity theory |
| concepts[23].id | https://openalex.org/C92835128 |
| concepts[23].level | 3 |
| concepts[23].score | 0.27223101258277893 |
| concepts[23].wikidata | https://www.wikidata.org/wiki/Q1277447 |
| concepts[23].display_name | Hierarchical clustering |
| concepts[24].id | https://openalex.org/C141934464 |
| concepts[24].level | 2 |
| concepts[24].score | 0.268707275390625 |
| concepts[24].wikidata | https://www.wikidata.org/wiki/Q3305386 |
| concepts[24].display_name | Local optimum |
| concepts[25].id | https://openalex.org/C137105694 |
| concepts[25].level | 4 |
| concepts[25].score | 0.26801276206970215 |
| concepts[25].wikidata | https://www.wikidata.org/wiki/Q3407510 |
| concepts[25].display_name | Local consistency |
| concepts[26].id | https://openalex.org/C194387892 |
| concepts[26].level | 2 |
| concepts[26].score | 0.2634585201740265 |
| concepts[26].wikidata | https://www.wikidata.org/wiki/Q1747770 |
| concepts[26].display_name | Stochastic optimization |
| concepts[27].id | https://openalex.org/C164866538 |
| concepts[27].level | 2 |
| concepts[27].score | 0.26127272844314575 |
| concepts[27].wikidata | https://www.wikidata.org/wiki/Q367351 |
| concepts[27].display_name | Cluster (spacecraft) |
| concepts[28].id | https://openalex.org/C164752517 |
| concepts[28].level | 2 |
| concepts[28].score | 0.2529970705509186 |
| concepts[28].wikidata | https://www.wikidata.org/wiki/Q5570875 |
| concepts[28].display_name | Global optimization |
| keywords[0].id | https://openalex.org/keywords/local-search |
| keywords[0].score | 0.6126021146774292 |
| keywords[0].display_name | Local search (optimization) |
| keywords[1].id | https://openalex.org/keywords/cluster-analysis |
| keywords[1].score | 0.589613139629364 |
| keywords[1].display_name | Cluster analysis |
| keywords[2].id | https://openalex.org/keywords/decimation |
| keywords[2].score | 0.5371854901313782 |
| keywords[2].display_name | Decimation |
| keywords[3].id | https://openalex.org/keywords/constraint |
| keywords[3].score | 0.4999728202819824 |
| keywords[3].display_name | Constraint (computer-aided design) |
| keywords[4].id | https://openalex.org/keywords/constraint-satisfaction-problem |
| keywords[4].score | 0.4697572886943817 |
| keywords[4].display_name | Constraint satisfaction problem |
| keywords[5].id | https://openalex.org/keywords/path |
| keywords[5].score | 0.4385773241519928 |
| keywords[5].display_name | Path (computing) |
| keywords[6].id | https://openalex.org/keywords/exploit |
| keywords[6].score | 0.41547536849975586 |
| keywords[6].display_name | Exploit |
| keywords[7].id | https://openalex.org/keywords/constraint-satisfaction |
| keywords[7].score | 0.3729449212551117 |
| keywords[7].display_name | Constraint satisfaction |
| keywords[8].id | https://openalex.org/keywords/encode |
| keywords[8].score | 0.35453373193740845 |
| keywords[8].display_name | ENCODE |
| language | en |
| locations[0].id | doi:10.1073/pnas.2510153122 |
| locations[0].is_oa | True |
| locations[0].source.id | https://openalex.org/S125754415 |
| locations[0].source.issn | 0027-8424, 1091-6490 |
| locations[0].source.type | journal |
| locations[0].source.is_oa | False |
| locations[0].source.issn_l | 0027-8424 |
| locations[0].source.is_core | True |
| locations[0].source.is_in_doaj | False |
| locations[0].source.display_name | Proceedings of the National Academy of Sciences |
| locations[0].source.host_organization | https://openalex.org/P4310320052 |
| locations[0].source.host_organization_name | National Academy of Sciences |
| locations[0].source.host_organization_lineage | https://openalex.org/P4310320052 |
| locations[0].source.host_organization_lineage_names | National Academy of Sciences |
| locations[0].license | cc-by-nc-nd |
| locations[0].pdf_url | |
| locations[0].version | publishedVersion |
| locations[0].raw_type | journal-article |
| locations[0].license_id | https://openalex.org/licenses/cc-by-nc-nd |
| locations[0].is_accepted | True |
| locations[0].is_published | True |
| locations[0].raw_source_name | Proceedings of the National Academy of Sciences |
| locations[0].landing_page_url | https://doi.org/10.1073/pnas.2510153122 |
| indexed_in | crossref |
| authorships[0].author.id | https://openalex.org/A2192089547 |
| authorships[0].author.orcid | https://orcid.org/0000-0001-5557-6478 |
| authorships[0].author.display_name | David Machado |
| authorships[0].countries | CU, CY, GB, IT, US |
| authorships[0].affiliations[0].institution_ids | https://openalex.org/I4210157790, https://openalex.org/I4210152479 |
| authorships[0].affiliations[0].raw_affiliation_string | Group of Complex Systems and Statistical Physics |
| authorships[0].affiliations[1].raw_affiliation_string | Department of Theoretical Physics |
| authorships[0].affiliations[2].raw_affiliation_string | Faculty of Physics |
| authorships[0].affiliations[3].institution_ids | https://openalex.org/I2656126 |
| authorships[0].affiliations[3].raw_affiliation_string | University of Havana |
| authorships[0].affiliations[4].raw_affiliation_string | Physics Department |
| authorships[0].affiliations[5].institution_ids | https://openalex.org/I861853513 |
| authorships[0].affiliations[5].raw_affiliation_string | Sapienza University |
| authorships[0].affiliations[6].institution_ids | https://openalex.org/I174015415 |
| authorships[0].affiliations[6].raw_affiliation_string | Piazzale A. Moro |
| authorships[0].affiliations[7].institution_ids | https://openalex.org/I4210123207 |
| authorships[0].affiliations[7].raw_affiliation_string | Institute of Nanotechnology |
| authorships[0].affiliations[8].institution_ids | https://openalex.org/I4210091015, https://openalex.org/I197604219 |
| authorships[0].affiliations[8].raw_affiliation_string | National Research Council (CNR-NANOTEC) |
| authorships[0].affiliations[9].institution_ids | https://openalex.org/I155125353 |
| authorships[0].affiliations[9].raw_affiliation_string | Rome Unit |
| authorships[0].institutions[0].id | https://openalex.org/I4210152479 |
| authorships[0].institutions[0].ror | https://ror.org/05vydvf11 |
| authorships[0].institutions[0].type | government |
| authorships[0].institutions[0].lineage | https://openalex.org/I4210152479 |
| authorships[0].institutions[0].country_code | CY |
| authorships[0].institutions[0].display_name | Statistical Service |
| authorships[0].institutions[1].id | https://openalex.org/I4210123207 |
| authorships[0].institutions[1].ror | https://ror.org/02ma7yv75 |
| authorships[0].institutions[1].type | nonprofit |
| authorships[0].institutions[1].lineage | https://openalex.org/I4210123207 |
| authorships[0].institutions[1].country_code | GB |
| authorships[0].institutions[1].display_name | Institute of Nanotechnology |
| authorships[0].institutions[2].id | https://openalex.org/I174015415 |
| authorships[0].institutions[2].ror | https://ror.org/05q5em355 |
| authorships[0].institutions[2].type | company |
| authorships[0].institutions[2].lineage | https://openalex.org/I174015415 |
| authorships[0].institutions[2].country_code | US |
| authorships[0].institutions[2].display_name | Morpho (United States) |
| authorships[0].institutions[3].id | https://openalex.org/I4210091015 |
| authorships[0].institutions[3].ror | https://ror.org/00bc51d88 |
| authorships[0].institutions[3].type | facility |
| authorships[0].institutions[3].lineage | https://openalex.org/I4210091015, https://openalex.org/I4210155236 |
| authorships[0].institutions[3].country_code | IT |
| authorships[0].institutions[3].display_name | Istituto di Nanotecnologia |
| authorships[0].institutions[4].id | https://openalex.org/I197604219 |
| authorships[0].institutions[4].ror | https://ror.org/02eq2w707 |
| authorships[0].institutions[4].type | government |
| authorships[0].institutions[4].lineage | https://openalex.org/I197604219 |
| authorships[0].institutions[4].country_code | US |
| authorships[0].institutions[4].display_name | National Academies of Sciences, Engineering, and Medicine |
| authorships[0].institutions[5].id | https://openalex.org/I155125353 |
| authorships[0].institutions[5].ror | https://ror.org/04gqx4x78 |
| authorships[0].institutions[5].type | education |
| authorships[0].institutions[5].lineage | https://openalex.org/I155125353 |
| authorships[0].institutions[5].country_code | IT |
| authorships[0].institutions[5].display_name | Università Campus Bio-Medico |
| authorships[0].institutions[6].id | https://openalex.org/I4210157790 |
| authorships[0].institutions[6].ror | https://ror.org/058eg8775 |
| authorships[0].institutions[6].type | company |
| authorships[0].institutions[6].lineage | https://openalex.org/I4210157790 |
| authorships[0].institutions[6].country_code | US |
| authorships[0].institutions[6].display_name | Statistical Research (United States) |
| authorships[0].institutions[7].id | https://openalex.org/I861853513 |
| authorships[0].institutions[7].ror | https://ror.org/02be6w209 |
| authorships[0].institutions[7].type | education |
| authorships[0].institutions[7].lineage | https://openalex.org/I861853513 |
| authorships[0].institutions[7].country_code | IT |
| authorships[0].institutions[7].display_name | Sapienza University of Rome |
| authorships[0].institutions[8].id | https://openalex.org/I2656126 |
| authorships[0].institutions[8].ror | https://ror.org/04204gr61 |
| authorships[0].institutions[8].type | education |
| authorships[0].institutions[8].lineage | https://openalex.org/I2656126 |
| authorships[0].institutions[8].country_code | CU |
| authorships[0].institutions[8].display_name | University of Havana |
| authorships[0].author_position | first |
| authorships[0].raw_author_name | David Machado |
| authorships[0].is_corresponding | True |
| authorships[0].raw_affiliation_strings | Group of Complex Systems and Statistical Physics, Department of Theoretical Physics, Faculty of Physics, University of Havana, Physics Department, Sapienza University, Piazzale A. Moro, Institute of Nanotechnology, National Research Council (CNR-NANOTEC), Rome Unit |
| authorships[1].author.id | https://openalex.org/A2565480590 |
| authorships[1].author.orcid | |
| authorships[1].author.display_name | Jonathan González-García |
| authorships[1].countries | CU, CY, US |
| authorships[1].affiliations[0].institution_ids | https://openalex.org/I4210152479, https://openalex.org/I4210157790 |
| authorships[1].affiliations[0].raw_affiliation_string | Group of Complex Systems and Statistical Physics |
| authorships[1].affiliations[1].raw_affiliation_string | Department of Theoretical Physics |
| authorships[1].affiliations[2].raw_affiliation_string | Faculty of Physics |
| authorships[1].affiliations[3].institution_ids | https://openalex.org/I2656126 |
| authorships[1].affiliations[3].raw_affiliation_string | University of Havana |
| authorships[1].institutions[0].id | https://openalex.org/I4210157790 |
| authorships[1].institutions[0].ror | https://ror.org/058eg8775 |
| authorships[1].institutions[0].type | company |
| authorships[1].institutions[0].lineage | https://openalex.org/I4210157790 |
| authorships[1].institutions[0].country_code | US |
| authorships[1].institutions[0].display_name | Statistical Research (United States) |
| authorships[1].institutions[1].id | https://openalex.org/I4210152479 |
| authorships[1].institutions[1].ror | https://ror.org/05vydvf11 |
| authorships[1].institutions[1].type | government |
| authorships[1].institutions[1].lineage | https://openalex.org/I4210152479 |
| authorships[1].institutions[1].country_code | CY |
| authorships[1].institutions[1].display_name | Statistical Service |
| authorships[1].institutions[2].id | https://openalex.org/I2656126 |
| authorships[1].institutions[2].ror | https://ror.org/04204gr61 |
| authorships[1].institutions[2].type | education |
| authorships[1].institutions[2].lineage | https://openalex.org/I2656126 |
| authorships[1].institutions[2].country_code | CU |
| authorships[1].institutions[2].display_name | University of Havana |
| authorships[1].author_position | middle |
| authorships[1].raw_author_name | Jonathan González-García |
| authorships[1].is_corresponding | False |
| authorships[1].raw_affiliation_strings | Group of Complex Systems and Statistical Physics, Department of Theoretical Physics, Faculty of Physics, University of Havana |
| authorships[2].author.id | https://openalex.org/A2099823983 |
| authorships[2].author.orcid | https://orcid.org/0000-0001-5168-5116 |
| authorships[2].author.display_name | Roberto Mulet |
| authorships[2].countries | CU, CY, US |
| authorships[2].affiliations[0].institution_ids | https://openalex.org/I4210157790, https://openalex.org/I4210152479 |
| authorships[2].affiliations[0].raw_affiliation_string | Group of Complex Systems and Statistical Physics |
| authorships[2].affiliations[1].raw_affiliation_string | Department of Theoretical Physics |
| authorships[2].affiliations[2].raw_affiliation_string | Faculty of Physics |
| authorships[2].affiliations[3].institution_ids | https://openalex.org/I2656126 |
| authorships[2].affiliations[3].raw_affiliation_string | University of Havana |
| authorships[2].institutions[0].id | https://openalex.org/I4210152479 |
| authorships[2].institutions[0].ror | https://ror.org/05vydvf11 |
| authorships[2].institutions[0].type | government |
| authorships[2].institutions[0].lineage | https://openalex.org/I4210152479 |
| authorships[2].institutions[0].country_code | CY |
| authorships[2].institutions[0].display_name | Statistical Service |
| authorships[2].institutions[1].id | https://openalex.org/I4210157790 |
| authorships[2].institutions[1].ror | https://ror.org/058eg8775 |
| authorships[2].institutions[1].type | company |
| authorships[2].institutions[1].lineage | https://openalex.org/I4210157790 |
| authorships[2].institutions[1].country_code | US |
| authorships[2].institutions[1].display_name | Statistical Research (United States) |
| authorships[2].institutions[2].id | https://openalex.org/I2656126 |
| authorships[2].institutions[2].ror | https://ror.org/04204gr61 |
| authorships[2].institutions[2].type | education |
| authorships[2].institutions[2].lineage | https://openalex.org/I2656126 |
| authorships[2].institutions[2].country_code | CU |
| authorships[2].institutions[2].display_name | University of Havana |
| authorships[2].author_position | middle |
| authorships[2].raw_author_name | Roberto Mulet |
| authorships[2].is_corresponding | False |
| authorships[2].raw_affiliation_strings | Group of Complex Systems and Statistical Physics, Department of Theoretical Physics, Faculty of Physics, University of Havana |
| authorships[3].author.id | https://openalex.org/A2192089547 |
| authorships[3].author.orcid | https://orcid.org/0000-0001-5557-6478 |
| authorships[3].author.display_name | David Machado |
| authorships[3].countries | CU, CY, GB, IT, US |
| authorships[3].affiliations[0].institution_ids | https://openalex.org/I4210157790, https://openalex.org/I4210152479 |
| authorships[3].affiliations[0].raw_affiliation_string | Group of Complex Systems and Statistical Physics |
| authorships[3].affiliations[1].raw_affiliation_string | Department of Theoretical Physics |
| authorships[3].affiliations[2].raw_affiliation_string | Faculty of Physics |
| authorships[3].affiliations[3].institution_ids | https://openalex.org/I2656126 |
| authorships[3].affiliations[3].raw_affiliation_string | University of Havana |
| authorships[3].affiliations[4].raw_affiliation_string | Physics Department |
| authorships[3].affiliations[5].institution_ids | https://openalex.org/I861853513 |
| authorships[3].affiliations[5].raw_affiliation_string | Sapienza University |
| authorships[3].affiliations[6].institution_ids | https://openalex.org/I174015415 |
| authorships[3].affiliations[6].raw_affiliation_string | Piazzale A. Moro |
| authorships[3].affiliations[7].institution_ids | https://openalex.org/I4210123207 |
| authorships[3].affiliations[7].raw_affiliation_string | Institute of Nanotechnology |
| authorships[3].affiliations[8].institution_ids | https://openalex.org/I197604219, https://openalex.org/I4210091015 |
| authorships[3].affiliations[8].raw_affiliation_string | National Research Council (CNR-NANOTEC) |
| authorships[3].affiliations[9].institution_ids | https://openalex.org/I155125353 |
| authorships[3].affiliations[9].raw_affiliation_string | Rome Unit |
| authorships[3].institutions[0].id | https://openalex.org/I174015415 |
| authorships[3].institutions[0].ror | https://ror.org/05q5em355 |
| authorships[3].institutions[0].type | company |
| authorships[3].institutions[0].lineage | https://openalex.org/I174015415 |
| authorships[3].institutions[0].country_code | US |
| authorships[3].institutions[0].display_name | Morpho (United States) |
| authorships[3].institutions[1].id | https://openalex.org/I197604219 |
| authorships[3].institutions[1].ror | https://ror.org/02eq2w707 |
| authorships[3].institutions[1].type | government |
| authorships[3].institutions[1].lineage | https://openalex.org/I197604219 |
| authorships[3].institutions[1].country_code | US |
| authorships[3].institutions[1].display_name | National Academies of Sciences, Engineering, and Medicine |
| authorships[3].institutions[2].id | https://openalex.org/I4210157790 |
| authorships[3].institutions[2].ror | https://ror.org/058eg8775 |
| authorships[3].institutions[2].type | company |
| authorships[3].institutions[2].lineage | https://openalex.org/I4210157790 |
| authorships[3].institutions[2].country_code | US |
| authorships[3].institutions[2].display_name | Statistical Research (United States) |
| authorships[3].institutions[3].id | https://openalex.org/I4210152479 |
| authorships[3].institutions[3].ror | https://ror.org/05vydvf11 |
| authorships[3].institutions[3].type | government |
| authorships[3].institutions[3].lineage | https://openalex.org/I4210152479 |
| authorships[3].institutions[3].country_code | CY |
| authorships[3].institutions[3].display_name | Statistical Service |
| authorships[3].institutions[4].id | https://openalex.org/I4210123207 |
| authorships[3].institutions[4].ror | https://ror.org/02ma7yv75 |
| authorships[3].institutions[4].type | nonprofit |
| authorships[3].institutions[4].lineage | https://openalex.org/I4210123207 |
| authorships[3].institutions[4].country_code | GB |
| authorships[3].institutions[4].display_name | Institute of Nanotechnology |
| authorships[3].institutions[5].id | https://openalex.org/I155125353 |
| authorships[3].institutions[5].ror | https://ror.org/04gqx4x78 |
| authorships[3].institutions[5].type | education |
| authorships[3].institutions[5].lineage | https://openalex.org/I155125353 |
| authorships[3].institutions[5].country_code | IT |
| authorships[3].institutions[5].display_name | Università Campus Bio-Medico |
| authorships[3].institutions[6].id | https://openalex.org/I861853513 |
| authorships[3].institutions[6].ror | https://ror.org/02be6w209 |
| authorships[3].institutions[6].type | education |
| authorships[3].institutions[6].lineage | https://openalex.org/I861853513 |
| authorships[3].institutions[6].country_code | IT |
| authorships[3].institutions[6].display_name | Sapienza University of Rome |
| authorships[3].institutions[7].id | https://openalex.org/I2656126 |
| authorships[3].institutions[7].ror | https://ror.org/04204gr61 |
| authorships[3].institutions[7].type | education |
| authorships[3].institutions[7].lineage | https://openalex.org/I2656126 |
| authorships[3].institutions[7].country_code | CU |
| authorships[3].institutions[7].display_name | University of Havana |
| authorships[3].institutions[8].id | https://openalex.org/I4210091015 |
| authorships[3].institutions[8].ror | https://ror.org/00bc51d88 |
| authorships[3].institutions[8].type | facility |
| authorships[3].institutions[8].lineage | https://openalex.org/I4210091015, https://openalex.org/I4210155236 |
| authorships[3].institutions[8].country_code | IT |
| authorships[3].institutions[8].display_name | Istituto di Nanotecnologia |
| authorships[3].author_position | middle |
| authorships[3].raw_author_name | David Machado |
| authorships[3].is_corresponding | False |
| authorships[3].raw_affiliation_strings | Group of Complex Systems and Statistical Physics, Department of Theoretical Physics, Faculty of Physics, University of Havana, Physics Department, Sapienza University, Piazzale A. Moro, Institute of Nanotechnology, National Research Council (CNR-NANOTEC), Rome Unit |
| authorships[4].author.id | https://openalex.org/A2565480590 |
| authorships[4].author.orcid | |
| authorships[4].author.display_name | Jonathan González-García |
| authorships[4].countries | CU, CY, US |
| authorships[4].affiliations[0].institution_ids | https://openalex.org/I4210152479, https://openalex.org/I4210157790 |
| authorships[4].affiliations[0].raw_affiliation_string | Group of Complex Systems and Statistical Physics |
| authorships[4].affiliations[1].raw_affiliation_string | Department of Theoretical Physics |
| authorships[4].affiliations[2].raw_affiliation_string | Faculty of Physics |
| authorships[4].affiliations[3].institution_ids | https://openalex.org/I2656126 |
| authorships[4].affiliations[3].raw_affiliation_string | University of Havana |
| authorships[4].institutions[0].id | https://openalex.org/I2656126 |
| authorships[4].institutions[0].ror | https://ror.org/04204gr61 |
| authorships[4].institutions[0].type | education |
| authorships[4].institutions[0].lineage | https://openalex.org/I2656126 |
| authorships[4].institutions[0].country_code | CU |
| authorships[4].institutions[0].display_name | University of Havana |
| authorships[4].institutions[1].id | https://openalex.org/I4210157790 |
| authorships[4].institutions[1].ror | https://ror.org/058eg8775 |
| authorships[4].institutions[1].type | company |
| authorships[4].institutions[1].lineage | https://openalex.org/I4210157790 |
| authorships[4].institutions[1].country_code | US |
| authorships[4].institutions[1].display_name | Statistical Research (United States) |
| authorships[4].institutions[2].id | https://openalex.org/I4210152479 |
| authorships[4].institutions[2].ror | https://ror.org/05vydvf11 |
| authorships[4].institutions[2].type | government |
| authorships[4].institutions[2].lineage | https://openalex.org/I4210152479 |
| authorships[4].institutions[2].country_code | CY |
| authorships[4].institutions[2].display_name | Statistical Service |
| authorships[4].author_position | middle |
| authorships[4].raw_author_name | Jonathan González-García |
| authorships[4].is_corresponding | False |
| authorships[4].raw_affiliation_strings | Group of Complex Systems and Statistical Physics, Department of Theoretical Physics, Faculty of Physics, University of Havana |
| authorships[5].author.id | https://openalex.org/A2099823983 |
| authorships[5].author.orcid | https://orcid.org/0000-0001-5168-5116 |
| authorships[5].author.display_name | Roberto Mulet |
| authorships[5].countries | CU, CY, US |
| authorships[5].affiliations[0].institution_ids | https://openalex.org/I4210152479, https://openalex.org/I4210157790 |
| authorships[5].affiliations[0].raw_affiliation_string | Group of Complex Systems and Statistical Physics |
| authorships[5].affiliations[1].raw_affiliation_string | Department of Theoretical Physics |
| authorships[5].affiliations[2].raw_affiliation_string | Faculty of Physics |
| authorships[5].affiliations[3].institution_ids | https://openalex.org/I2656126 |
| authorships[5].affiliations[3].raw_affiliation_string | University of Havana |
| authorships[5].institutions[0].id | https://openalex.org/I2656126 |
| authorships[5].institutions[0].ror | https://ror.org/04204gr61 |
| authorships[5].institutions[0].type | education |
| authorships[5].institutions[0].lineage | https://openalex.org/I2656126 |
| authorships[5].institutions[0].country_code | CU |
| authorships[5].institutions[0].display_name | University of Havana |
| authorships[5].institutions[1].id | https://openalex.org/I4210152479 |
| authorships[5].institutions[1].ror | https://ror.org/05vydvf11 |
| authorships[5].institutions[1].type | government |
| authorships[5].institutions[1].lineage | https://openalex.org/I4210152479 |
| authorships[5].institutions[1].country_code | CY |
| authorships[5].institutions[1].display_name | Statistical Service |
| authorships[5].institutions[2].id | https://openalex.org/I4210157790 |
| authorships[5].institutions[2].ror | https://ror.org/058eg8775 |
| authorships[5].institutions[2].type | company |
| authorships[5].institutions[2].lineage | https://openalex.org/I4210157790 |
| authorships[5].institutions[2].country_code | US |
| authorships[5].institutions[2].display_name | Statistical Research (United States) |
| authorships[5].author_position | last |
| authorships[5].raw_author_name | Roberto Mulet |
| authorships[5].is_corresponding | False |
| authorships[5].raw_affiliation_strings | Group of Complex Systems and Statistical Physics, Department of Theoretical Physics, Faculty of Physics, University of Havana |
| has_content.pdf | False |
| has_content.grobid_xml | False |
| is_paratext | False |
| open_access.is_oa | True |
| open_access.oa_url | https://doi.org/10.1073/pnas.2510153122 |
| open_access.oa_status | hybrid |
| open_access.any_repository_has_fulltext | False |
| created_date | 2025-12-05T00:00:00 |
| display_name | Local equations describe unreasonably efficient stochastic algorithms in random K-SAT |
| has_fulltext | False |
| is_retracted | False |
| updated_date | 2025-12-06T23:10:59.065948 |
| primary_topic.id | https://openalex.org/T11596 |
| primary_topic.field.id | https://openalex.org/fields/17 |
| primary_topic.field.display_name | Computer Science |
| primary_topic.score | 0.975389838218689 |
| primary_topic.domain.id | https://openalex.org/domains/3 |
| primary_topic.domain.display_name | Physical Sciences |
| primary_topic.subfield.id | https://openalex.org/subfields/1705 |
| primary_topic.subfield.display_name | Computer Networks and Communications |
| primary_topic.display_name | Constraint Satisfaction and Optimization |
| cited_by_count | 0 |
| locations_count | 1 |
| best_oa_location.id | doi:10.1073/pnas.2510153122 |
| best_oa_location.is_oa | True |
| best_oa_location.source.id | https://openalex.org/S125754415 |
| best_oa_location.source.issn | 0027-8424, 1091-6490 |
| best_oa_location.source.type | journal |
| best_oa_location.source.is_oa | False |
| best_oa_location.source.issn_l | 0027-8424 |
| best_oa_location.source.is_core | True |
| best_oa_location.source.is_in_doaj | False |
| best_oa_location.source.display_name | Proceedings of the National Academy of Sciences |
| best_oa_location.source.host_organization | https://openalex.org/P4310320052 |
| best_oa_location.source.host_organization_name | National Academy of Sciences |
| best_oa_location.source.host_organization_lineage | https://openalex.org/P4310320052 |
| best_oa_location.source.host_organization_lineage_names | National Academy of Sciences |
| best_oa_location.license | cc-by-nc-nd |
| best_oa_location.pdf_url | |
| best_oa_location.version | publishedVersion |
| best_oa_location.raw_type | journal-article |
| best_oa_location.license_id | https://openalex.org/licenses/cc-by-nc-nd |
| best_oa_location.is_accepted | True |
| best_oa_location.is_published | True |
| best_oa_location.raw_source_name | Proceedings of the National Academy of Sciences |
| best_oa_location.landing_page_url | https://doi.org/10.1073/pnas.2510153122 |
| primary_location.id | doi:10.1073/pnas.2510153122 |
| primary_location.is_oa | True |
| primary_location.source.id | https://openalex.org/S125754415 |
| primary_location.source.issn | 0027-8424, 1091-6490 |
| primary_location.source.type | journal |
| primary_location.source.is_oa | False |
| primary_location.source.issn_l | 0027-8424 |
| primary_location.source.is_core | True |
| primary_location.source.is_in_doaj | False |
| primary_location.source.display_name | Proceedings of the National Academy of Sciences |
| primary_location.source.host_organization | https://openalex.org/P4310320052 |
| primary_location.source.host_organization_name | National Academy of Sciences |
| primary_location.source.host_organization_lineage | https://openalex.org/P4310320052 |
| primary_location.source.host_organization_lineage_names | National Academy of Sciences |
| primary_location.license | cc-by-nc-nd |
| primary_location.pdf_url | |
| primary_location.version | publishedVersion |
| primary_location.raw_type | journal-article |
| primary_location.license_id | https://openalex.org/licenses/cc-by-nc-nd |
| primary_location.is_accepted | True |
| primary_location.is_published | True |
| primary_location.raw_source_name | Proceedings of the National Academy of Sciences |
| primary_location.landing_page_url | https://doi.org/10.1073/pnas.2510153122 |
| publication_date | 2025-12-05 |
| publication_year | 2025 |
| referenced_works | https://openalex.org/W1518885151, https://openalex.org/W2949171506, https://openalex.org/W2168290833, https://openalex.org/W2047956494, https://openalex.org/W1606298567, https://openalex.org/W2028517137, https://openalex.org/W1982157728, https://openalex.org/W2096497777, https://openalex.org/W2053012440, https://openalex.org/W1988149894, https://openalex.org/W2115831572, https://openalex.org/W2898951963, https://openalex.org/W1998219858, https://openalex.org/W1562579417, https://openalex.org/W2081431552, https://openalex.org/W1980276492, https://openalex.org/W2105546154, https://openalex.org/W2963892825, https://openalex.org/W3202733572, https://openalex.org/W2009472032, https://openalex.org/W2110012617, https://openalex.org/W2089883242, https://openalex.org/W2011447100, https://openalex.org/W2090719340, https://openalex.org/W2262732936, https://openalex.org/W2517648041, https://openalex.org/W3034341832, https://openalex.org/W1994795801, https://openalex.org/W4389921184, https://openalex.org/W2787125834, https://openalex.org/W2918863754, https://openalex.org/W3211442279, https://openalex.org/W2072038294, https://openalex.org/W2086285878, https://openalex.org/W3015680393, https://openalex.org/W2056760934, https://openalex.org/W1820801893, https://openalex.org/W2566505556 |
| referenced_works_count | 38 |
| abstract_inverted_index.a | 51, 124, 152, 186 |
| abstract_inverted_index.To | 45 |
| abstract_inverted_index.We | 118 |
| abstract_inverted_index.by | 144 |
| abstract_inverted_index.in | 3, 19, 30, 65, 123 |
| abstract_inverted_index.is | 105 |
| abstract_inverted_index.of | 9, 16, 37, 53, 61, 79, 139 |
| abstract_inverted_index.to | 178, 188, 192 |
| abstract_inverted_index.we | 49 |
| abstract_inverted_index.Our | 69 |
| abstract_inverted_index.The | 93 |
| abstract_inverted_index.and | 87, 184 |
| abstract_inverted_index.are | 175 |
| abstract_inverted_index.but | 108 |
| abstract_inverted_index.for | 40, 90 |
| abstract_inverted_index.gap | 29 |
| abstract_inverted_index.not | 95 |
| abstract_inverted_index.our | 148 |
| abstract_inverted_index.the | 5, 13, 35, 59, 76, 98, 115, 129, 136, 140, 156, 169 |
| abstract_inverted_index.two | 80 |
| abstract_inverted_index.This | 28 |
| abstract_inverted_index.also | 109, 119 |
| abstract_inverted_index.from | 34 |
| abstract_inverted_index.good | 14 |
| abstract_inverted_index.hard | 21 |
| abstract_inverted_index.lack | 36 |
| abstract_inverted_index.like | 162 |
| abstract_inverted_index.only | 96 |
| abstract_inverted_index.open | 185 |
| abstract_inverted_index.path | 187 |
| abstract_inverted_index.that | 57, 101, 128, 154, 172 |
| abstract_inverted_index.this | 47 |
| abstract_inverted_index.with | 75 |
| abstract_inverted_index.(FMS) | 86 |
| abstract_inverted_index.These | 166 |
| abstract_inverted_index.about | 135 |
| abstract_inverted_index.local | 62, 137, 181 |
| abstract_inverted_index.phase | 77 |
| abstract_inverted_index.shows | 71 |
| abstract_inverted_index.solve | 193 |
| abstract_inverted_index.space | 142 |
| abstract_inverted_index.stems | 32 |
| abstract_inverted_index.tasks | 24 |
| abstract_inverted_index.their | 42 |
| abstract_inverted_index.these | 121 |
| abstract_inverted_index.tools | 39 |
| abstract_inverted_index.3-SAT. | 92 |
| abstract_inverted_index.Belief | 163 |
| abstract_inverted_index.Search | 85 |
| abstract_inverted_index.always | 176 |
| abstract_inverted_index.beyond | 114 |
| abstract_inverted_index.encode | 132 |
| abstract_inverted_index.highly | 6 |
| abstract_inverted_index.master | 55 |
| abstract_inverted_index.nearly | 106 |
| abstract_inverted_index.poorly | 26 |
| abstract_inverted_index.random | 91 |
| abstract_inverted_index.search | 63, 182 |
| abstract_inverted_index.system | 52 |
| abstract_inverted_index.Despite | 0 |
| abstract_inverted_index.FMS’s | 112 |
| abstract_inverted_index.Focused | 83 |
| abstract_inverted_index.address | 46 |
| abstract_inverted_index.capture | 58 |
| abstract_inverted_index.certain | 17 |
| abstract_inverted_index.confirm | 97 |
| abstract_inverted_index.develop | 50 |
| abstract_inverted_index.exploit | 120 |
| abstract_inverted_index.largely | 33 |
| abstract_inverted_index.methods | 161 |
| abstract_inverted_index.predict | 111 |
| abstract_inverted_index.remains | 25 |
| abstract_inverted_index.results | 167 |
| abstract_inverted_index.scheme, | 126 |
| abstract_inverted_index.solving | 20 |
| abstract_inverted_index.Notably, | 147 |
| abstract_inverted_index.achieves | 151 |
| abstract_inverted_index.advances | 2 |
| abstract_inverted_index.approach | 150 |
| abstract_inverted_index.behavior | 60 |
| abstract_inverted_index.computed | 130 |
| abstract_inverted_index.describe | 179 |
| abstract_inverted_index.diagrams | 78 |
| abstract_inverted_index.dynamics | 183 |
| abstract_inverted_index.explored | 143 |
| abstract_inverted_index.solution | 141 |
| abstract_inverted_index.valuable | 133 |
| abstract_inverted_index.agreement | 74 |
| abstract_inverted_index.analyzing | 41 |
| abstract_inverted_index.challenge | 168 |
| abstract_inverted_index.designing | 189 |
| abstract_inverted_index.dynamics. | 44 |
| abstract_inverted_index.efficient | 180, 190 |
| abstract_inverted_index.equations | 56, 94, 122 |
| abstract_inverted_index.excellent | 72 |
| abstract_inverted_index.framework | 70 |
| abstract_inverted_index.marginals | 131 |
| abstract_inverted_index.necessary | 177 |
| abstract_inverted_index.nonconvex | 7 |
| abstract_inverted_index.numerical | 99 |
| abstract_inverted_index.problems, | 12 |
| abstract_inverted_index.problems. | 68, 196 |
| abstract_inverted_index.structure | 138 |
| abstract_inverted_index.surpasses | 155 |
| abstract_inverted_index.threshold | 104, 113, 153 |
| abstract_inverted_index.Metropolis | 84 |
| abstract_inverted_index.algorithms | 18, 64, 191 |
| abstract_inverted_index.assumption | 171 |
| abstract_inverted_index.challenge, | 48 |
| abstract_inverted_index.clustering | 116, 157 |
| abstract_inverted_index.constraint | 10, 66 |
| abstract_inverted_index.decimation | 125, 149 |
| abstract_inverted_index.landscapes | 8 |
| abstract_inverted_index.long-range | 173 |
| abstract_inverted_index.prevailing | 170 |
| abstract_inverted_index.stochastic | 145 |
| abstract_inverted_index.(G-WalkSAT) | 89 |
| abstract_inverted_index.algorithmic | 103 |
| abstract_inverted_index.algorithms. | 146 |
| abstract_inverted_index.algorithms: | 82 |
| abstract_inverted_index.approximate | 54 |
| abstract_inverted_index.decimation. | 165 |
| abstract_inverted_index.information | 134 |
| abstract_inverted_index.observation | 100 |
| abstract_inverted_index.performance | 15 |
| abstract_inverted_index.qualitative | 73 |
| abstract_inverted_index.significant | 1 |
| abstract_inverted_index.theoretical | 38 |
| abstract_inverted_index.transition, | 158 |
| abstract_inverted_index.transition. | 117 |
| abstract_inverted_index.understood. | 27 |
| abstract_inverted_index.conventional | 160 |
| abstract_inverted_index.correlations | 174 |
| abstract_inverted_index.optimization | 23, 195 |
| abstract_inverted_index.paradigmatic | 81 |
| abstract_inverted_index.satisfaction | 11, 67 |
| abstract_inverted_index.successfully | 110 |
| abstract_inverted_index.G-WalkSAT’s | 102 |
| abstract_inverted_index.combinatorial | 22, 194 |
| abstract_inverted_index.demonstrating | 127 |
| abstract_inverted_index.outperforming | 159 |
| abstract_inverted_index.understanding | 31 |
| abstract_inverted_index.characterizing | 4 |
| abstract_inverted_index.greedy-WalkSAT | 88 |
| abstract_inverted_index.Propagation-guided | 164 |
| abstract_inverted_index.out-of-equilibrium | 43 |
| abstract_inverted_index.parameter-independent | 107 |
| cited_by_percentile_year | |
| countries_distinct_count | 5 |
| institutions_distinct_count | 6 |
| citation_normalized_percentile.value | 0.83680926 |
| citation_normalized_percentile.is_in_top_1_percent | False |
| citation_normalized_percentile.is_in_top_10_percent | True |