Temagami Greenstone Belt phases of volcanic activity. These two sequences, known as the Older and Younger volcanic complexes, consist of volcanic rocks ranging in composition from felsic to mafic. The Older Volcanic Complex is composed mainly of felsic lava flows and pyroclastic deposits with smaller amounts of mafic volcanic rocks. It underlies a large portion of northwestern Strathy Township and is penetrated by mafic intrusions, although the Kanichee Intrusion consists of peridotite and pyroxenite, which are ultramafic rocks. Just to the southeast, the Younger Volcanic Complex consists mainly of mafic volcanic rocks that form four geologic formations. The Arsenic Lake Formation is composed
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