Bimodal volcanism of back-arc basin formation and in the products of both continental and oceanic hotspots (e.g. Yellowstone and the Canary Islands). Bimodal volcanism is normally explained as a result of partial melting of the crust, creating granitic magmas, during the emplacement of large volumes of relatively hot basaltic magma from a mantle source. The two magma types then form separate magma chambers giving rise to periodic eruption of both types of lava. Bimodal volcanism Bimodal volcanism is the eruption of both mafic and felsic lavas from a single volcanic centre with little or no lavas of intermediate composition. This type of
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