
randomness in TCS
Sums of independent random variables with unbounded variance ★★
Author(s): Feige
Conjecture If
are independent random variables with
, then

![$ \mathbb{E}[X_i] \leq \mu $](/files/tex/e0268221532981debea25e9446c8ee6f112e1881.png)
![$$\mathrm{Pr} \left( \sum X_i - \mathbb{E} \left[ \sum X_i \right ] < \delta \mu \right) \geq \min \left ( (1 + \delta)^{-1} \delta, e^{-1} \right).$$](/files/tex/03dc1130142ee6fefcc33888e2fb6137211bf327.png)
Keywords: Inequality; Probability Theory; randomness in TCS
Refuting random 3SAT-instances on $O(n)$ clauses (weak form) ★★★
Author(s): Feige
Conjecture For every rational
and every rational
, there is no polynomial-time algorithm for the following problem.


Given is a 3SAT (3CNF) formula on
variables, for some
, and
clauses drawn uniformly at random from the set of formulas on
variables. Return with probability at least 0.5 (over the instances) that
is typical without returning typical for any instance with at least
simultaneously satisfiable clauses.
Keywords: NP; randomness in TCS; satisfiability
