What is the translation of " A COUNTEREXAMPLE " in Russian?

• контрпример
• контрпримером
• контрпримера

Examples of using A counterexample in English and their translations into Russian

Now Ubuntu GNU/Linux has become a counterexample.
И вот дистрибутив Ubuntu GNU/ Linux стал контрпримером.

A counterexample was proposed by Diestel and Leader in 2001.
Контрпример был представлен Рейнхардом Дистелем( Reinhard Diestel) и Имре Лидером( Imre Leader) в 2001- м году.

The ZetaGrid project was set up to search for a counterexample to the Riemann hypothesis.
Проект ZetaGrid был инициирован для поиска контпримера гипотезе Римана.

Show with a counterexample that the Hückel rule is not a necessary condition for aromaticity.
Покажите с помощью контрпримера, что правило Хюккеля не является необходимым условием ароматичности.

In Corollary 1.4 the arc I cannot be replaced by S1: the standard 3-winding is a counterexample 8.
В Следствии 1. 4 отрезок I нельзя заменить на окружность S1: стандартная 3- намотка является контрпримером 8.

However, in a 1904 paper he described a counterexample to this claim, a space now called the Poincaré homology sphere.
В 1904 году он же нашел контрпример, называемый теперь сферой Пуанкаре.

A counterexample near 1018 would require a prime gap fifty million times the size of the average gap.
Контрпример около 1018 должен иметь промежуток в пятьдесят миллионов раз больше среднего промежутка.

The court does not always look at the auto-examination already done and prefers to do a counterexample.
Суд не всегда смотрит на уже проведенную автоэкспертизу и предпочитает делать встречную автоэкспертизу.

Computational experiments have shown that, if a counterexample exists, it would have to have more than 177 vertices.
Вычислительные эксперименты показали, что если контрпример существует, он будет иметь более 177 вершин.

If a counterexample is being sought or a large-scale proof by exhaustion is being attempted, distributed computing techniques may be used to divide the calculations between multiple computers.
Если ищется контрпример или нужно произвести доказательство, требующее перебора большого объема, может быть использована техника распределенных вычислений для распределения вычисления между компьютерами.

He showed that the conjecture has a counterexample, which he estimated to be around 1.845× 10361.
Гипотеза была опровергнута в 1958 году Хейзелгроувом, показавшим, что существует контрпример, и оценившим его в примерно 1, 845× 10361.

Therefore, if a counterexample to the Erdős-Straus conjecture exists, the smallest n forming a counterexample would have to be a prime number, and it can be further restricted to one of six infinite arithmetic progressions modulo 840.
По этой причине наименьшее n{\ displaystyle n} в контрпримере, если таковой существует, должно быть простым числом и должно быть сравнимо с членом одной из шести бесконечных арифметических прогрессий по модулю 840.

Tait conjectured that all amphichiral knots had even crossing number, but a counterexample was found by Morwen Thistlethwaite et al. in 1998.
Тэт высказал гипотезу, что все амфихиральные узлы имеют четное число пересечений, но Морвен Тислуэйт в 1998 году нашел контрпример.

Therefore, it is a counterexample to Tait's conjecture that every 3-regular polyhedron has a Hamiltonian cycle.
Таким образом, он служит контрпримером к гипотезе Тэйта, предполагавшей, что любой 3- регулярный многогранник имеет гамильтонов цикл.

The Kittell graph is named after Irving Kittell, who used it as a counterexample to Alfred Kempe's flawed proof of the four-color theorem.
Граф назван именем Ирвига Киттелля, который использовал его в качестве контрпримера доказательству Альфреда Кемпе теоремы о четырех красках.

This publication marks the first known appearance of the Petersen graph in the mathematical literature, 12 years before Julius Petersen's use of the same graph as a counterexample to an edge coloring problem.
Эта публикация является первым известным источником в математической литературе, в котором появился граф Петерсена, за 12 лет до того, как Юлиус Петерсен использовал тот же граф в качестве контрпримера в задаче реберной раскраски.

In the other directions, Kelmans showed that a counterexample could be transformed into a counterexample to the original Barnette conjecture.
В другом направлении Келман показал, что конртпример этому утверждению можно преобразовать в контрпример оригинальной гипотезы Барнетта.

One way of proving a statement about the objects of S is to assume the existence of a counterexample and deduce a contradiction.
Одним из способов доказательства утверждения об объектах из S является предположение о существовании контрпримера и получение противоречия.

Published in 1973, it provides a counterexample to the Crispin Nash-Williams conjecture that every 4-regular 4-vertex-connected graph is Hamiltonian.
Опубликованный в 1973 граф представил контрпример гипотезе Криспина Нэша- Уильямса, что любой 4- регулярный вершинно 4- связный граф всегда гамильтонов.

It was proposed by P. G. Tait(1884) and disproved by W. T. Tutte(1946), who constructed a counterexample with 25 faces, 69 edges and 46 vertices.
Гипотезу высказал в 1884 году П. Г. Тэйт и опроверг в 1946 году У. Т. Татт, построив контрпример с 25 гранями, 69 ребрами и 46 вершинами.

Using the same reasoning, they show that a counterexample to Albertson's conjecture for the chromatic number n(if it exists) must have fewer than 4n vertices.
Используя те же доводы, они показывают, что контрпример гипотезе Албертсона с хроматическим числом n( если таковой существует) должен иметь менее 4 n вершин.

In a classical CEGAR algorithm a path in a program to be explored is called a counterexample and it means a path to the error state.
В классическом алгоритме CEGAR исследуемый путь программы называется контрпримером и означает путь от начала программы до некоторого ошибочного состояния.

It can thus be used as a counterexample against the idea that every Artinian module is Noetherian whereas every Artinian ring is Noetherian.
В таком качестве она является контрпримером к возможному утверждению о том, что любой артинов модуль нетеров( в то время как любое артиново кольцо действительно является нетеровым). quasicyclic group англ.

In 1980 the authors Pomerance, Selfridge, and Wagstaff offered $30 for the discovery of a counterexample, that is, a composite number that passed this test.
В 1980 году Померанц, Селфридж и Вагстафф предложили вознаграждение в размере$ 30 тому, кто отыщет контрпример, то есть найдет составное число, которое проходит этот тест.

Robertson, Seymour& Thomas(1993a) used this fact in their proof of the case k 6 of the Hadwiger conjecture, the statement that every 6-chromatic graph has the complete graph K6 as a minor: they showed that any minimal counterexample to the conjecture would have to be an apex graph, but since there are no 6-chromatic apex graphs such a counterexample cannot exist.
Робертсон, Сеймур и Томас использовали этот факт для доказательства случая k 6 гипотезы Хадвигера, утверждения, что любой 6- хроматический граф имеет полный граф K6 в качестве минора- они показали, что любой минимальный контрпример гипотезе должен быть верхушечным графом, но верхушечных 6- хроматических графов нет, так что такого контрпримера не существует.

If an analyzed property is violated during the verification process and a counterexample is generated, then an error can be localized inside the verified MSC.
Если в результате верификации проверяемое свойство оказывается ложным и найден контрпример, то место ошибки может быть локализовано в исходной МSС- спецификации.

At one time it was unclear whether a complex surface such that q and P1 both vanish is rational, but a counterexample(an Enriques surface) was found by Federigo Enriques.
Одно время было неясно, являются комплексные поверхности с нулевыми q и P1 рациональными или нет, но Федериго Энрикес нашел контрпример поверхность Энрикеса.

For k 8, this is not true: a graph found by Catlin(1979) as a counterexample to Hajós's conjecture that k-chromatic graphs contain a subdivision of Kk, also serves as a counterexample to this problem.
Для k= 8 это неверно- граф, который нашел Катлин в качестве контрпримера гипотезе Хадвигера, что k- хроматический граф стягиваем к полному графу Kk, является контрпримером для этой задачи.

Francisco(Paco) Santos Leal(born May 28, 1968) is a Spanish mathematician at the University of Cantabria, known for finding a counterexample to the Hirsch conjecture in polyhedral combinatorics.
Франсиско Сантос Леал( исп. Francisco Santos Leal; род. 28 мая 1968 Вальядолид, Испания)- испанский математик, известен своим контрпримером к гипотезе Хирша в многогранной комбинаторике.

Moreover, it is even not necessarily a closed set: a counterexample is a sphere passing through the origin, with the conical hull being an open half-space plus the origin.
Более того, коническая оболочка компакта даже не обязательно будет замкнутым множеством- контрпримером служит сфера, проходящая через начало координат, конической оболочкой которой является открытое полупространство плюс начало координат.