English
Related papers

Related papers: Phase Transitions in Decision Problems Over Odd-Si…

200 papers

I present an analytic approach to establishing the presence of phase transitions in a large set of decision problems. This approach does not require extensive computational study of the problems considered. The set -- that of all paddable…

Computational Complexity · Computer Science 2025-01-27 Andrew Jackson

Phase transitions in many complex combinational problems have been widely studied in the past decade. In this paper, we investigate phase transitions in the knowledge compilation empirically, where DFA, OBDD and d-DNNF are chosen as the…

Artificial Intelligence · Computer Science 2011-06-06 Jian Gao , Minghao Yin , Ke Xu

We report on the phase transition of finding a complete subgraph, of specified dimensions, in a bipartite graph. Finding a complete subgraph in a bipartite graph is a problem that has growing attention in several domains, including…

Artificial Intelligence · Computer Science 2016-09-20 Roberto Alonso , Raúl Monroy , Eduardo Aguirre

We discuss how phase-transitions may be detected in computationally hard problems in the context of Anytime Algorithms. Treating the computational time, value and utility functions involved in the search results in analogy with quantities…

Statistical Mechanics · Physics 2015-05-18 B. Ashok , T. K. Patra

In the last 30 years it was found that many combinatorial systems undergo phase transitions. One of the most important examples of these can be found among the random k-satisfiability problems (often referred to as k-SAT), asking whether…

Data Analysis, Statistics and Probability · Physics 2010-02-02 K. A. Zweig , G. Palla , T. Vicsek

Phase transitions in combinatorial problems have recently been shown to be useful in locating "hard" instances of combinatorial problems. The connection between computational complexity and the existence of phase transitions has been…

Computational Complexity · Computer Science 2016-11-17 Gabriel Istrate

We consider a network coding setting where some of the messages and edges have fixed alphabet sizes, that do not change when we increase the common alphabet size of the rest of the messages and edges. We prove that the problem of deciding…

Information Theory · Computer Science 2022-02-11 Cheuk Ting Li

Non-uniform hypergraphs appear in various domains of computer science as in the satisfiability problems and in data analysis. We analyse a general model where the probability for an edge of size $t$ to belong to the hypergraph depends of a…

Combinatorics · Mathematics 2015-03-06 Elie de Panafieu

We review connections between phase transitions in high-dimensional combinatorial geometry and phase transitions occurring in modern high-dimensional data analysis and signal processing. In data analysis, such transitions arise as abrupt…

Statistics Theory · Mathematics 2015-05-13 David L. Donoho , Jared Tanner

The organization of interactions in complex systems can be described by networks connecting different units. These graphs are useful representations of the local and global complexity of the underlying systems. The origin of their…

Physics and Society · Physics 2015-09-30 Luís F Seoane , Ricard Solé

We examine the phase transition phenomenon for the Knapsack problem from both a computational and a human perspective. We first provide, via an empirical and a theoretical analysis, a characterization of the phenomenon in terms of two…

Artificial Intelligence · Computer Science 2018-06-28 Nitin Yadav , Carsten Murawski , Sebastian Sardina , Peter Bossaerts

In a physical system, changing parameters such as temperature can induce a phase transition: an abrupt change from one state of matter to another. Analogous phenomena have recently been observed in large language models. Typically, the task…

Machine Learning · Computer Science 2024-05-28 Julian Arnold , Flemming Holtorf , Frank Schäfer , Niels Lörch

Heuristic methods for solution of problems in the NP-Complete class of decision problems often reach exact solutions, but fail badly at "phase boundaries", across which the decision to be reached changes from almost always having one value…

Disordered Systems and Neural Networks · Physics 2007-05-23 R. Monasson , R. Zecchina , S. Kirkpatrick , B. Selman , L. Troyansky

Session types are behavioural types for guaranteeing that concurrent programs are free from basic communication errors. Recent work has shown that asynchronous session subtyping is undecidable. However, since session types have become…

Programming Languages · Computer Science 2018-02-13 Mario Bravetti , Marco Carbone , Gianluigi Zavattaro

A phase transition, like the one already found on Boolean satisfiability problem by Kirkpatrick and Selman, is found on max clique problem on ER graphs. Although number of the datapoints is limited, the transition seems to obey finite size…

Statistical Mechanics · Physics 2008-01-12 Kazuhito Shida

Let $\mathbb{S}_g$ be the orientable surface of genus $g$. We prove that the component structure of a graph chosen uniformly at random from the class $\mathcal{S}_g(n,m)$ of all graphs on vertex set $[n]=\{1,\dotsc,n\}$ with $m$ edges…

Combinatorics · Mathematics 2017-08-28 Mihyun Kang , Michael Moßhammer , Philipp Sprüssel

We find a series of topological phase transitions of increasing order, beyond the more standard second-order phase transition in a one-dimensional topological superconductor. The jumps in the order of the transitions depend on the range of…

Statistical Mechanics · Physics 2018-04-04 P. Cats , A. Quelle , O. Viyuela , M. A. Martin-Delgado , C. Morais Smith

Recent research indicates that many convex optimization problems with random constraints exhibit a phase transition as the number of constraints increases. For example, this phenomenon emerges in the $\ell_1$ minimization method for…

Information Theory · Computer Science 2014-04-29 Dennis Amelunxen , Martin Lotz , Michael B. McCoy , Joel A. Tropp

Phase transition is an important feature of SAT problem. For random k-SAT model, it is proved that as r (ratio of clauses to variables) increases, the structure of solutions will undergo a sudden change like satisfiability phase transition…

Artificial Intelligence · Computer Science 2007-05-23 Ke Xu , Wei Li

In this work, we performed a detailed study of the fractional order phase transition (FPT) for several AdS black hole prototypes [1]. Our objective is to see whether the FPT 4/3 order at critical points reported in [2] is universal. Our…

High Energy Physics - Theory · Physics 2022-05-31 Mohamed Chabab , Samir Iraoui
‹ Prev 1 2 3 10 Next ›