Найдите мощность (обозначаемую как A k ( m )) наибольшего подмножества {1, 2, ..., m }, которое не содержит прогрессии из k различных членов. Элементы запрещенных прогрессий не обязаны быть последовательными. Например, A 4 (10) = 8, поскольку {1, 2, 3, 5, 6, 8, 9, 10} не имеет арифметических прогрессий длины 4, в то время как все 9-элементные подмножества {1, 2, ..., 10} имеют одну.
В 1936 году Пол Эрдёш и Пал Туран поставили вопрос, связанный с этим числом [2], и Эрдёш установил премию в размере 1000 долларов за ответ на него. Премию получил Эндре Семереди за решение, опубликованное в 1975 году, которое стало известно как теорема Семереди .
По состоянию на 2020 год [обновлять]самая длинная известная арифметическая прогрессия простых чисел имеет длину 27: [4]
224584605939537911 + 81292139·23#· n , для n = от 0 до 26. ( 23# = 223092870 )
По состоянию на 2011 год самая длинная известная арифметическая прогрессия последовательных простых чисел имеет длину 10. Она была найдена в 1998 году. [5] [6] Прогрессия начинается с 93-значного числа.
^ Йенс Крузе Андерсен, Простые числа в записях арифметической прогрессии. Получено 10 августа 2020 г.
^ Х. Дубнер; Т. Форбс; Н. Лигерос; М. Мизони; Х. Нельсон; П. Циммерман, «Десять последовательных простых чисел в арифметической прогрессии», Math. Comp. 71 (2002), 1323–1328.
^ Проект «Девять и десять простых чисел»
^ Всеволод Ф. Лев (2000). «Одновременные приближения и покрытие арифметическими прогрессиями над Fp». Журнал комбинаторной теории . Серия A. 92 (2): 103–118. doi : 10.1006/jcta.1999.3034 .