14052 - О нахождении чисел van der Waerden

Н. Лигерос
Перевод с греческого Артур Карагезидис

В начале 90-х годов нам пришлось достаточно интенсивно заняться теорией Ramsey , в рамках которой мы изучили проблему van der Waerden. С помощью вычислений мы оценили нижние пределы чисел van der Waerden. В сотрудничестве с Chaunier нам удалось создать различные варианты программ с помощью вычислительных средств той эпохи. Целью являлось как практическая оптимизация границ теоремы Berlekamp, так и нахождение смысла теоремы Shelah. Мы беседовали с Pouzet , чтобы показать наши первые результаты, но он, не являясь специалистом в такого рода вычислениях, посоветовал обратиться в Университет Bielefeld.
Нам были известны результаты, полученные Chvatal в 1970г. : w(2,3)=9 и w(2,4)=35, а так же число w(2,5)=178, найденное в 1978г. Stevens и Shantaram. Таким образом, мы сосредоточились на числе w(2,6). Нам удалось обнаружить, что это число должно быть больше числа 1131, так как мы нашли последовательность данной величины, которая исключала обратное. К сожалению уровень реакции и соответствующих действий со стороны специалистов Университета оказался ниже ожидаемого, и наш результат остался неизвестным в соответствующих научных кругах. Лишь годы спустя, в 2005 г. Kouril нашел последовательность той же величины и в 2008г, с помощью Paul доказал, что число w(2,6) равно 1132.
Все изложенное подтверждает тот факт, что даже специалисты, в той или иной области, не всегда оказываются готовыми проявить новый, нестандартный подход. Поэтому очень важно публиковать результаты молодых ученых, даже если они не являются окончательными. Именно в этих рамках нам удалось, вместе с Chaunier обнаружить числа P12 и P13 в области классификации не изоморфных множеств в 1991 и 1992 гг.