The above figure shows some classes from the boolean and bounded-query hierarchies. It is well-known that if either collapses a a given level, then all higher levels collapse to that same level. This is a standard"upward translation of equality" that has bee nknown for over a decade. The issue of whether these hierarchies can translate equality downwards has porven vastly more challenging. In particular, with regard to the figure above
展开▼
