Lava Vesuvius between May 14 and June 4, 1737. Serao described "a flow of fiery lava" as an analogy to the flow of water and mud down the flanks of the volcano following heavy rain. The composition of almost all lava of the Earth's crust is dominated by silicate minerals, mostly feldspars, olivine, pyroxenes, amphiboles, micas and quartz. Igneous rocks, which form lava flows when erupted, can be classified into three chemical types: "felsic", "intermediate", and "mafic" (four if one includes the super-heated "ultramafic"). These classes are primarily chemical, however, the chemistry of lava also tends to correlate with the magma
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