Non interactive simulation of correlated distributions is decidable.
Anindya DeElchanan MosselJoe NeemanPublished in: SODA (2018)
Keyphrases
- probability distribution
- first order logic
- random variables
- statistically independent
- exponential distributions
- model checking
- highly correlated
- joint distribution
- independent and identically distributed
- computation tree logic
- information systems
- log normal
- statistical distributions
- datalog programs
- power law
- transitive closure
- description logics
- relational databases
- case study