| Computational experiments have shown that, if a counterexample exists, it would have to have more than 177 vertices. | Вычислительные эксперименты показали, что если контрпример существует, он будет иметь более 177 вершин. |
| 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-связный граф всегда гамильтонов. |
| 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 предложил ослабленную комбинацию гипотез Тэйта и Татта, утверждающую, что любой двудольный кубический полиэдральный граф гамильтонов, или, эквивалентно, что любой контрпример гипотезы Тэйта не является двудлольным. |
| 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. | Если ищется контрпример или нужно произвести доказательство, требующее перебора большого объёма, может быть использована техника распределённых вычислений для распределения вычисления между компьютерами. |
| But, if Fermat's last theorem were false for the exponent n = 4 {\displaystyle n=4}, then squaring one of the three numbers in any counterexample would also give three numbers that solve this equation. | Но если бы великая теорема Ферма не была бы верна для экспоненты n = 4 {\displaystyle n=4}, то любой контрпример был бы теми самыми тремя квадратами, которые удовлетворяют уравнению. |