Proof Supplement - Learning Sparse Causal Models is not NP-hard (UAI2013)

11/06/2014
by   Tom Claassen, et al.
0

This article contains detailed proofs and additional examples related to the UAI-2013 submission `Learning Sparse Causal Models is not NP-hard'. It describes the FCI+ algorithm: a method for sound and complete causal model discovery in the presence of latent confounders and/or selection bias, that has worst case polynomial complexity of order N^2(k+1) in the number of independence tests, for sparse graphs over N nodes, bounded by node degree k. The algorithm is an adaptation of the well-known FCI algorithm by (Spirtes et al., 2000) that is also sound and complete, but has worst case complexity exponential in N.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
09/26/2013

Learning Sparse Causal Models is not NP-hard

This paper shows that causal model discovery is not an NP-hard problem, ...
research
02/17/2022

The Complexity of SPEs in Mean-payoff Games

We establish that the subgame perfect equilibrium (SPE) threshold proble...
research
02/12/2019

Polynomial Invariant Generation for Non-deterministic Recursive Programs

We present a sound and complete method to generate inductive invariants ...
research
05/19/2019

The algorithm by Ferson et al. is surprisingly fast: An NP-hard optimization problem solvable in almost linear time with high probability

Ferson et al. (Reliable computing 11(3), p. 207--233, 2005) introduced a...
research
08/24/2015

A note on the complexity of the causal ordering problem

In this note we provide a concise report on the complexity of the causal...
research
02/28/2022

A Note on the Hardness of Problems from Cryptographic Group Actions

Given a cryptographic group action, we show that the Group Action Invers...
research
11/06/2020

Efficient Permutation Discovery in Causal DAGs

The problem of learning a directed acyclic graph (DAG) up to Markov equi...

Please sign up or login with your details

Forgot password? Click here to reset