Temagami Greenstone Belt shear throughout the Link Lake Deformation Zone. These dark compressed pyroclastics have been interpreted to be pumice. Some of the subsequence pyroclastic deposits contain fragments of pyrite and quartz, suggesting that discharged sulfide hydrothermal activity took place throughout the volcanic source area. Resedimented felsic, epiclastic and turbiditic sediments compose the Turtle Lake Formation. The base of this formation consists of a heterolithic, volcaniclastic, matrix-supported conglomerate unit that overlies felsic lava flows and pillowed, calc-alkaline basalts of the Link Lake Formation. Many rounded to subangular felsic and mafic volcanic fragments are known to occur in the unit, as well as rare
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