| Computational experiments have shown that, if a counterexample exists, it would have to have more than 177 vertices. | Вычислительные эксперименты показали, что если контрпример существует, он будет иметь более 177 вершин. |
| A minimally imperfect Berge graph cannot have any of these decompositions, from which it follows that no counterexample to the theorem can exist. | Минимальный несовершенный граф Бержа не может иметь какую-либо из этих декомпозиций, откуда следует, что контрпример теореме не может существовать. |
| The Perko pair gives a counterexample to a "theorem" claimed by Little in 1900 that the writhe of a reduced diagram of a knot is an invariant (see Tait conjectures), as the two diagrams for the pair have different writhes. | Пара Перко даёт контрпример «теоремы», объявленной Литтлом в 1900, что число закрученности приведённой диаграммы узла является инвариантом (см. Гипотезы Тэйта), так как две диаграммы пары имеют различные числа закрученности. |
| 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 вершин. |
| The existence of smoother counterexamples remained an open question until 1993 when Krystyna Kuperberg constructed a very different C ∞ {\displaystyle C^{\infty}} counterexample. | Существование более гладких контрпримеров оставалось неизвестным до 1993 года, когда Кристина Куперберг, используя технику ловушек, не построила C ∞ {\displaystyle C^{\infty}} -гладкий контрпример (пример Куперберг). |