Примеры использования This conjecture на Английском языке и их переводы на Русский язык
{-}
-
Official
-
Colloquial
This conjecture still remains open.
A property satisfying this conjecture is called evasive.
This conjecture was proven by Ian Agoi.
Snarks form the difficult case for this conjecture: if it is true for snarks, it is true for all graphs.
This conjecture was controversial at first.
In 1996, Alexander Givental posted a paper that claimed to prove this conjecture of Kontsevich.
This conjecture was proved by Simon Brendle in 2012.
The historian Martin Brett feels that Alexander probably served as a royal chaplain early in his career,although no sources support this conjecture.
This conjecture has been verified for initial terms up to 106, but has not been proved.
These shapes were conjectured by Bonnesen& Fenchel(1934)to have the minimum volume among all shapes with the same constant width, but this conjecture remains unsolved.
This conjecture(for the k-SAT problem) is known as the exponential time hypothesis.
Because of these apparent connections with the prime numbers, some mathematicians have suggested that these properties may be found in a larger class of sets of numbers generatedby sieves of a certain unknown form, although there is little theoretical basis for this conjecture.
This conjecture is a generalization of the four color theorem, which arises at d=3.
Tait conjectured that every cubic polyhedral graph(that is, a polyhedral graph in which each vertex is incident to exactly three edges)has a Hamiltonian cycle, but this conjecture was disproved by a counterexample of W. T. Tutte, the polyhedral but non-Hamiltonian Tutte graph.
This conjecture was put to rest in 2004 with a formal proof given by Souradyuti Paul and Bart Preneel.
An immediate consequence of this conjecture would be the truth of Lehmer's conjecture, albeit without an explicit lower bound.
This conjecture is still open, although several special graph properties have shown to be evasive for all n.
Today we know that this conjecture has been totally refuted and never has life been spontaneously created from the inanimate.
This conjecture was proved for polytopal spheres by Peter McMullen in 1970 and by Richard Stanley for general simplicial spheres in 1975.
He also observed that this conjecture would imply the existence of an algorithm to decide whether a given finite set of Wang tiles can tile the plane.
This conjecture is a strengthened form of the four color theorem, because any graph containing the Petersen graph as a minor must be nonplanar.
Jaeger showed that if this conjecture is true, then so are the 5-cycle-double-cover conjecture and the Berge-Fulkerson conjecture. .
This conjecture was resolved by Rivest& Vuillemin(1975) by showing that at least n2/16 queries are needed to test for any nontrivial monotone graph property.
The statement that Ulam made this conjecture is in OEIS OEIS: A002858, but Ulam does not address the density of this sequence in Ulam(1964a), and in Ulam(1964b) he poses the question of determining its density without conjecturing a value for it.
If this conjecture be well founded, Sir William Thomson's startling prediction of the final decrepitude of the universe through the dissipation of its energy falls to the ground.
Known as homological mirror symmetry, this conjecture formalizes mirror symmetry as an equivalence of two mathematical structures: the derived category of coherent sheaves on a Calabi-Yau manifold and the Fukaya category of its mirror.
This conjecture, now known as Euler's sum of powers conjecture, was a natural generalization of the Fermat's Last Theorem, the latter having been proved for the fourth power by Pierre de Fermat himself.
This conjecture is false if topological manifolds and homeomorphisms are replaced by smooth manifolds and diffeomorphisms; counterexamples can be constructed by taking a connected sum with an exotic sphere.
This conjecture was formulated by E. R. Scheinerman in his Ph.D. thesis(1984), following earlier results that every planar graph could be represented as the intersection graph of a set of simple curves in the plane Ehrlich, Even& Tarjan 1976.
The Panel notes this conjecture but notes too that the production of maraging steel is technically demanding, and it has no evidence that the Democratic People's Republic of Korea has acquired the relevant technologies.