Mafic The mafic rocks also typically have a higher density than felsic rocks. The term roughly corresponds to the older "basic rock" class. Mafic lava, before cooling, has a low viscosity, in comparison with felsic lava, due to the lower silica content in mafic magma. Water and other volatiles can more easily and gradually escape from mafic lava. As a result, eruptions of volcanoes made of mafic lavas are less explosively violent than felsic-lava eruptions. Most mafic-lava volcanoes are shield volcanoes, like those in Hawaii. Mafic Mafic is an adjective describing a silicate mineral or igneous rock that is rich in
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