FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2935986323> ?p ?o ?g. }

• W2935986323 abstract "For several models of random constraint satisfaction problems, it was conjectured by physicists and later proved that a sharp satisfiability transition occurs. For random $k$-SAT and related models it happens at clause density $alpha$ around $2^k$. Just below the threshold, further results suggest that the solution space has a structure of a large bounded number of near-orthogonal clusters inside the space of variable assignments ${0,1}^N$. In the unsatisfiable regime, it is natural to consider max-satisfiability: violating the least number of constraints. For a simplified variant, the strong refutation problem, there is strong evidence that an algorithmic transition occurs around $alpha = N^{k/2-1}$. For $alpha$ bounded in $N$, a very precise estimate of the max-sat value was obtained by Achlioptas, Naor, and Peres (2007), but it is not sharp enough to indicate the nature of the energy landscape. Later work (Sen, 2016; Panchenko, 2016) shows that for $alpha$ very large (roughly, above $64^k$) the max-sat value approaches the mean-field (complete graph) limit: this is conjectured to have an structure where near-optimal configurations form clusters within clusters, in an ultrametric hierarchy of infinite depth inside ${0,1}^N$. A stronger form of FRSB was shown in several recent works to have algorithmic implications (again, in complete graphs). Consequently we find it of interest to understand how the model transitions from 1RSB near the satisfiability threshold, to (conjecturally) FRSB for large $alpha$. In this paper we show that in the random regular $k$-NAE-SAT model, the 1RSB description breaks down already above $alpha asymp 4^k/k^3$. This is proved by an explicit perturbation in the 2RSB parameter space, inspired by the bug proliferation mechanism proposed by physicists (Montanari and Ricci-Tersenghi, 2003; Krzakala, Pagnani, and Weigt, 2004)." @default.
• W2935986323 created "2019-04-25" @default.
• W2935986323 creator A5058177862 @default.
• W2935986323 creator A5059480383 @default.
• W2935986323 creator A5069829605 @default.
• W2935986323 date "2019-04-18" @default.
• W2935986323 modified "2023-09-27" @default.
• W2935986323 title "Breaking of 1RSB in random MAX-NAE-SAT" @default.
• W2935986323 cites W132471885 @default.
• W2935986323 cites W1532831879 @default.
• W2935986323 cites W1572652170 @default.
• W2935986323 cites W1594874645 @default.
• W2935986323 cites W1818081266 @default.
• W2935986323 cites W1964281249 @default.
• W2935986323 cites W1980276492 @default.
• W2935986323 cites W1980731606 @default.
• W2935986323 cites W2010142728 @default.
• W2935986323 cites W2019219533 @default.
• W2935986323 cites W2022749269 @default.
• W2935986323 cites W2049204972 @default.
• W2935986323 cites W2071318745 @default.
• W2935986323 cites W2072802070 @default.
• W2935986323 cites W2083715726 @default.
• W2935986323 cites W2092526846 @default.
• W2935986323 cites W2095058792 @default.
• W2935986323 cites W2107052785 @default.
• W2935986323 cites W2108446739 @default.
• W2935986323 cites W2132891419 @default.
• W2935986323 cites W2138341424 @default.
• W2935986323 cites W2168290833 @default.
• W2935986323 cites W2345432430 @default.
• W2935986323 cites W2548129158 @default.
• W2935986323 cites W2566505556 @default.
• W2935986323 cites W2574497079 @default.
• W2935986323 cites W2605280783 @default.
• W2935986323 cites W2897972648 @default.
• W2935986323 cites W2904197926 @default.
• W2935986323 cites W2906886359 @default.
• W2935986323 cites W2962950054 @default.
• W2935986323 cites W2963229940 @default.
• W2935986323 cites W2963892318 @default.
• W2935986323 cites W2964041306 @default.
• W2935986323 cites W3009374184 @default.
• W2935986323 cites W2101683832 @default.
• W2935986323 hasPublicationYear "2019" @default.
• W2935986323 type Work @default.
• W2935986323 sameAs 2935986323 @default.
• W2935986323 citedByCount "1" @default.
• W2935986323 countsByYear W29359863232022 @default.
• W2935986323 crossrefType "posted-content" @default.
• W2935986323 hasAuthorship W2935986323A5058177862 @default.
• W2935986323 hasAuthorship W2935986323A5059480383 @default.
• W2935986323 hasAuthorship W2935986323A5069829605 @default.
• W2935986323 hasConcept C105795698 @default.
• W2935986323 hasConcept C111919701 @default.
• W2935986323 hasConcept C114614502 @default.
• W2935986323 hasConcept C118615104 @default.
• W2935986323 hasConcept C132525143 @default.
• W2935986323 hasConcept C134306372 @default.
• W2935986323 hasConcept C151201525 @default.
• W2935986323 hasConcept C168773769 @default.
• W2935986323 hasConcept C198043062 @default.
• W2935986323 hasConcept C199622910 @default.
• W2935986323 hasConcept C2778572836 @default.
• W2935986323 hasConcept C33923547 @default.
• W2935986323 hasConcept C34388435 @default.
• W2935986323 hasConcept C41008148 @default.
• W2935986323 hasConcept C47458327 @default.
• W2935986323 hasConcept C49937458 @default.
• W2935986323 hasConcept C61067352 @default.
• W2935986323 hasConcept C6943359 @default.
• W2935986323 hasConceptScore W2935986323C105795698 @default.
• W2935986323 hasConceptScore W2935986323C111919701 @default.
• W2935986323 hasConceptScore W2935986323C114614502 @default.
• W2935986323 hasConceptScore W2935986323C118615104 @default.
• W2935986323 hasConceptScore W2935986323C132525143 @default.
• W2935986323 hasConceptScore W2935986323C134306372 @default.
• W2935986323 hasConceptScore W2935986323C151201525 @default.
• W2935986323 hasConceptScore W2935986323C168773769 @default.
• W2935986323 hasConceptScore W2935986323C198043062 @default.
• W2935986323 hasConceptScore W2935986323C199622910 @default.
• W2935986323 hasConceptScore W2935986323C2778572836 @default.
• W2935986323 hasConceptScore W2935986323C33923547 @default.
• W2935986323 hasConceptScore W2935986323C34388435 @default.
• W2935986323 hasConceptScore W2935986323C41008148 @default.
• W2935986323 hasConceptScore W2935986323C47458327 @default.
• W2935986323 hasConceptScore W2935986323C49937458 @default.
• W2935986323 hasConceptScore W2935986323C61067352 @default.
• W2935986323 hasConceptScore W2935986323C6943359 @default.
• W2935986323 hasLocation W29359863231 @default.
• W2935986323 hasOpenAccess W2935986323 @default.
• W2935986323 hasPrimaryLocation W29359863231 @default.
• W2935986323 hasRelatedWork W1610636547 @default.
• W2935986323 hasRelatedWork W1954245352 @default.
• W2935986323 hasRelatedWork W1966384494 @default.
• W2935986323 hasRelatedWork W2036139215 @default.
• W2935986323 hasRelatedWork W2052952091 @default.
• W2935986323 hasRelatedWork W2176897270 @default.
• W2935986323 hasRelatedWork W2810817316 @default.
• W2935986323 hasRelatedWork W2896182840 @default.

• next