Geology of Ascension Island other volcanic islands, which only have a few mafic and felsic endmembers such as basalt or rhyolite, Ascension has a full-range from some of the most mafic to most felsic. This includes basalt, hawaiite, mugearite, benmoreite,trachyte and rhyolite. Potassium-argon dating indicates that the oldest rocks exposed above the water are one million year old rhyolites. Geologists have divided the island's mafic and felsic rocks into different named sequences and sub-divided mafic rocks based on their ratio of zirconium and niobium. The Sister's Peak region in northwest Ascension has intermediate mafic lava flows, scoria cones and mafic ash fall deposits near
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