Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Look up keyword or section
Like this
1Activity

Table Of Contents

1. Introduction
1.1 Synopsis of Proof
Conditional Independence
2.1 Conditional Independence
orem
2.3 Factor Graphs
2.5 I-maps andD-maps
3.1 Two Kinds of poly(logn)-parameterizations
3.1.1 Range Limited Interactions
3.1.2 Value Limited Interactions
3.1.3 On the Atypical Nature of poly(logn)-parameterization
3.1.4 Our Treatment of Range and Value Limited Distributions
4.1 Inductive Definitions and Fixed Points
4.2 Fixed Point Logics for P andPSPACE
Independence
5.1 The Limitations of LFP
5.1.1 Locality of First Order Logic
5.2 Simple Monadic LFP and Conditional Indepen-
5.4 Aggregate Properties of LFP over Ensembles
6. The 1RSB Ansatz of Statistical
6.1 Ensembles and Phase Transitions
6.2 The d1RSB Phase
6.2.1 Cores and Frozen Variables
6.2.2 Performance of Known Algorithms in the d1RSB Phase
7. Random Graph Ensembles
7.1 Properties of Factor Graph Ensembles
7.1.1 Locally Tree-Like Property
7.1.2 Degree Profiles in Random Graphs
8. Separation of Complexity Classes
8.2 Generating Distributions from LFP
8.2.1 Encoding k-SAT into Structures
8.2.2 The LFP Neighborhood System
8.2.3 Generating Distributions
8.4 Parametrization of the ENSP
8.5 Separation
8.6 Some Perspectives
A.1 The Transitivity Theorem for LFP
0 of .
Results for:
No results containing your search query
P. 1
pnp12pt

pnp12pt

Ratings: (0)|Views: 9|Likes:
Published by jc_david

More info:

Published by: jc_david on Feb 21, 2011
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

11/16/2011

pdf

text

original

You're Reading a Free Preview
Pages 4 to 11 are not shown in this preview.
You're Reading a Free Preview
Pages 15 to 69 are not shown in this preview.
You're Reading a Free Preview
Pages 73 to 88 are not shown in this preview.
You're Reading a Free Preview
Pages 92 to 121 are not shown in this preview.

You're Reading a Free Preview

Download
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->