What is the translation of " COUNTEREXAMPLE " in Russian?

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

Examples of using 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- м году.

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

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

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

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

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

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.

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

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

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

Although the truth of Barnette's conjecture remains unknown, computational experiments have shown that there is no counterexample with fewer than 86 vertices.
Хотя неизвестно, верна ли гипотеза Барнетта, вычислительные эксперименты показывают, что конрпримера с числом вершин меньше 86 нет.

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

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 англ.

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

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

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 лет до того, как Юлиус Петерсен использовал тот же граф в качестве контрпримера в задаче реберной раскраски.

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.
Обозреватель, который подписал свое имя просто как« S», предоставил контрпример( e- 1/ t) t{\ displaystyle\ scriptstyle( e^{- 1/ t})^{ t}}, и это немного успокоило дебаты.

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

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, является контрпримером для этой задачи.

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 вершинами.

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.

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

As a finite connected vertex-transitive graph that contains no Hamiltonian cycle, the Coxeter graph is a counterexample to a variant of the Lovász conjecture, but the canonical formulation of the conjecture asks for an Hamiltonian path and is verified by the Coxeter graph.
Как конечный связный вершинно- транзитивный граф, не содержащий гамильтонов цикл, граф Коксетера является контпримером варианта гипотезы Лаваша, но каноническая формулировка гипотезы требует наличия гамильтонова цикла.

David W. Barnette(1969) proposed a weakened combination of Tait's and Tutte's conjectures, stating that every bipartite cubic polyhedron is Hamiltonian, or, equivalently, that every counterexample to Tait's conjecture is non-bipartite.
Дэвид В. Барнетт в 1969 предложил ослабленную комбинацию гипотез Тэйта и Татта, утверждающую, что любой двудольный кубический полиэдральный граф гамильтонов, или, эквивалентно, что любой контрпример гипотезы Тэйта не является двудлольным.

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.
Компьютерный поиск, осуществленный Гордоном Ройлом( англ.) русск. и Класом Маркстремом( Klas Markström) показал, что любой контрпример должен иметь минимум 17 вершин и любой кубический контрпример должен иметь минимум 30 вершин.

A stronger conjecture that the two numbers are always coprime was disproved by Stephens(1971) with the counterexample p 17 and q 3313 with common factor 2pq+ 1 112643.
Более строгую гипотезу, что эти два числа всегда взаимно просты, опроверг Стивенс с контрпримером p 17 и q 3313 с общим делителем 2pq+ 1 112643.

As a finite connected vertex-transitive graph that does not have a Hamiltonian cycle, the Petersen graph is a counterexample to a variant of the Lovász conjecture, but the canonical formulation of the conjecture asks for a Hamiltonian path and is verified by the Petersen graph.
Как конечный связный вершинно- транзитивный граф, не имеющий гамильтонова цикла, граф Петерсена является контрпримером варианта гипотезы Ловаса, но каноническая формулировка гипотезы спрашивает о гамильтоновом пути и для графа Петерсена эта гипотеза выполняется.