Downloads provided by UsageCounts
Abstract We extend the convergence law for sparse random graphs proven by Lynch to arbitrary relational languages. We consider a finite relational vocabulary $\sigma $ and a first-order theory $T$ for $\sigma $ composed of symmetry and anti-reflexivity axioms. We define a binomial random model of finite $\sigma $-structures that satisfy $T$ and show that first-order properties have well defined asymptotic probabilities when the expected number of tuples satisfying each relation in $\sigma $ is linear. It is also shown that these limit probabilities are well behaved with respect to several parameters that represent the density of tuples in each relation $R$ in the vocabulary $\sigma $. An application of these results to the problem of random Boolean satisfiability is presented. We show that in a random $k$-CNF formula on $n$ variables, where each possible clause occurs with probability $\sim c/n^{k-1}$, independently any first-order property of $k$-CNF formulas that implies unsatisfiability does almost surely not hold as $n$ tends to infinity.
Teoria dels, Computer Science - Logic in Computer Science, Models, Teoria dels, Random SAT, Convergence law, Asymptotic probability, Àrees temàtiques de la UPC::Matemàtiques i estadística::Lògica matemàtica, Classificació AMS::03 Mathematical logic and foundations::03C Model theory, Models, :Matemàtiques i estadística::Lògica matemàtica [Àrees temàtiques de la UPC], Unsatisfiability certificate, Mathematics - Combinatorics, Model theory, :03 Mathematical logic and foundations::03C Model theory [Classificació AMS], Random hypergraphs
Teoria dels, Computer Science - Logic in Computer Science, Models, Teoria dels, Random SAT, Convergence law, Asymptotic probability, Àrees temàtiques de la UPC::Matemàtiques i estadística::Lògica matemàtica, Classificació AMS::03 Mathematical logic and foundations::03C Model theory, Models, :Matemàtiques i estadística::Lògica matemàtica [Àrees temàtiques de la UPC], Unsatisfiability certificate, Mathematics - Combinatorics, Model theory, :03 Mathematical logic and foundations::03C Model theory [Classificació AMS], Random hypergraphs
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 2 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
| views | 29 | |
| downloads | 33 |

Views provided by UsageCounts
Downloads provided by UsageCounts