Mount Pleasant Caldera rock. The Intercaldera Sequence comprises formations that crop out from overlying flows in triangularly shaped area, and includes thick volcanic ash (tuff), thick breccia layers, and intermediate to felsic igneous rocks that tend to intrude the above layers and are typically located along caldera margin faults. The Exocaldera Sequence contains ash flow tuffs, mafic lavas, alluvial redbeds, and porphyritic felsic lavas that are distributed across five different layers. The late Caldera-Fill Sequence contains rocks that are similar to those of the outflows of the other, older layers, and comprises two formations and two relatively minor intrusive lava flows. The volcanic
NP-intermediate NPI, although this problem is artificial and otherwise uninteresting. It is an open question whether any "natural" problem has the same property: Schaefer's dichotomy theorem provides conditions under which classes of constrained Boolean satisfiability problems cannot be in NPI. Some problems that are considered good candidates for being NP-intermediate are the graph isomorphism problem, factoring, and computing the discrete logarithm. NP-intermediate In computational complexity, problems that are in the complexity class NP but are neither in the class P nor NP-complete are called NP-intermediate, and the class of such problems is called NPI. Ladner's theorem, shown in 1975 by Richard