| |
| | Complexity Zoo - Qwiki |
 | | Roughly, the analogue of #P for parameterized complexity. |
 | | In descriptive complexity, uniform AC can be characterized as the class of problems expressible by first-order predicates with addition and multiplication operators - or indeed, with ordering and multiplication, or ordering and division (see [Lee02]). |
 | | Finding a maximum flow, which is P-complete, can be done in CP Based on this the authors argue that "P is contained in CP," but this seems hard to formalize, since CP is not a complexity class in the usual sense. |
| qwiki.stanford.edu /wiki/Complexity_Zoo (7564 words) |
|