Geology of the Northwest Territories province from dikes and mafic lava flows, overlain by deep ocean turbidite deposits. These rocks are believed to be the remains of oceanic crust that ended up preserved, surrounded on all sides by felsic volcanic rocks and granitoid plutons. In the area of Snofleld Lake in the northern part of the Slave Province, the remains of Archean stromatolites are preserved in a dolomite unit between felsic volcanic and greywacke-mudstone turbidites, some of the earliest evidence of life, forming in the shallows around volcanic islands. Around 1.27 billion years ago in the Proterozoic, a series of major magmatic events affected the
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