What is the translation of " КОНТРПРИМЕР " in English?

• counterexample
• counter-example

Examples of using Контрпример in Russian and their translations into English

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

Франсиско Сантос за контрпример к гипотезе Хирша.
Francisco Santos Leal for a counter-example of the Hirsch conjecture.

В то время это был самый маленький известный контрпример гипотезе Тата.
At that time, it was the smallest known counterexample to the Tutte conjecture.

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

В 2005- м году Эскин, Фишер и Вайт( Eskin, Fisher, Whyte) подтвердили верность контрпримера.
In 2005, Eskin, Fisher, and Whyte confirmed the counterexample.

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

Робинсон описал комбинации числа кубов k и размерности n, для которых возможны контрпримеры.
Robinson(1979) characterized the combinations of k and the dimension n that permit a counterexample.

Но в 1946 году Уильям Татт представил контрпример гипотезе Тэта, граф Татта с 46 вершинами.
William Thomas Tutte provided a counter-example to Tait's conjecture, the 46-vertex Tutte graph, in 1946.

Обобщение на ориентированные графы имеет простой контрпример, как показали Поляк и Редль.
Generalized to directed graphs, the conjecture has simple counterexamples, as observed by Poljak& Rödl 1981.

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

Это достаточно простой граф, используемый в качестве примера и контрпримера для многих задач в теории графов.
It is a small graph that serves as a useful example and counterexample for many problems in graph theory.

Эта группа и ее силовская 2- подгруппа дают контрпример для различных теорем о нормальном p- дополнении для p 2.
This group and its Sylow 2-subgroup provide a counter-example for various normal p-complement theorems for p 2.

В работе получены необходимые и достаточные условия для упомянутой возможности, а также построен один контрпример.
In the paper some necessary and sufficient conditions for this possibility are obtained and one counterexample is constructed.

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

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

Гипотезу высказал в 1884 году П. Г. Тэйт и опроверг в 1946 году У. Т. Татт, построив контрпример с 25 гранями, 69 ребрами и 46 вершинами.
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.

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

В классическом алгоритме CEGAR исследуемый путь программы называется контрпримером и означает путь от начала программы до некоторого ошибочного состояния.
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.

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

Используя те же доводы, они показывают, что контрпример гипотезе Албертсона с хроматическим числом n( если таковой существует) должен иметь менее 4 n вершин.
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.

Минимальный несовершенный граф Бержа не может иметь какую-либо из этих декомпозиций, откуда следует, что контрпример теореме не может существовать.
A minimally imperfect Berge graph cannot have any of these decompositions, from which it follows that no counterexample to the theorem can exist.

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

Тогда для того, чтобы доказать первоначальное заявление, достаточно доказать то, что для любого контрпримера есть меньший контрпример.
In order to prove the original statement, therefore, it suffices to prove something seemingly much weaker: For any counter-example, there is a smaller counter-example.

Обозреватель, который подписал свое имя просто как« S», предоставил контрпример( e- 1/ t) t{\ displaystyle\ scriptstyle( e^{- 1/ t})^{ t}}, и это немного успокоило дебаты.
A commentator who signed his name simply as"S" provided the counterexample of( e- 1/ t) t{\displaystyle\textstyle( e^{ -1/t})^{ t}}, and this quieted the debate for some time.

Одно время было неясно, являются комплексные поверхности с нулевыми q и P1 рациональными или нет, но Федериго Энрикес нашел контрпример поверхность Энрикеса.
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.

В 1980 году Померанц, Селфридж и Вагстафф предложили вознаграждение в размере$ 30 тому, кто отыщет контрпример, то есть найдет составное число, которое проходит этот тест.
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.

Помимо своей премии Фалкерсона, которую ему выдали в 2015 году за контрпример для гипотезы Хирша, он был докладчиком на Международном конгрессе математиков в 2006 году.
As well as being honored by the Fulkerson Prize in 2015 for a counter-example of the Hirsch conjecture, he was a semiplenary speaker at the 2006 International Congress of Mathematicians.

Если ищется контрпример или нужно произвести доказательство, требующее перебора большого объема, может быть использована техника распределенных вычислений для распределения вычисления между компьютерами.
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.

Другое исследование, проведенное в России( 232), не является контрпримером, поскольку оно касается только алкоголя домашнего изготовления и не затрагивает суррогатного алкоголя, такого как медицинский спирт или технический спирт.
Another study from Russia(233) is not a counter-example, as it only deals with home-produced alcohol and not with surrogate alcohol such as medicinal alcohol or industrial alcohol.

Компьютерный поиск, осуществленный Гордоном Ройлом( англ.) русск. и Класом Маркстремом( Klas Markström) показал, что любой контрпример должен иметь минимум 17 вершин и любой кубический контрпример должен иметь минимум 30 вершин.
It is known through computer searches of Gordon Royle and Klas Markström that any counterexample must have at least 17 vertices, and any cubic counterexample must have at least 30 vertices.