Class Description

C₌L: Exact-Counting L

Has the same relation to L as C₌P does to P.

C₌L^C=L = L^C=L [ABO99].

Linked From

SPL: Stoic PL

Has the same relation to PL as SPP does to PP.

Contains the maximum matching and perfect matching problems under a pseudorandom assumption [ARZ99].

Contains UL.

Contained in C₌L and Mod_kL.

Equals the set of problems low for GapL.

More about...