juna писал(а):
VAL писал(а):
Интересно, это минимально возможные решения?
Да. По крайней мере, если сравнивать самые большие числа в пятерках.
Цитата:
Интересно также, как Вы их нашли - формировали базу из более коротких типа (104, 296, 380) и потом искали пересечения или по-другому?
Вот слегка подредактированная цитата из обсуждения ММ27
Цитата:
Теперь займемся поиском четырехвершинных клик. Пусть вершины x, y, z и t образуют
клику. Тогда они удовлетворяют системе:
x + y = a
y + z = b
z + t = c
x + z = d
x + t = e
y + t = f,
где a, b, c, d, e, f - различные квадраты (кубы).
Легко видеть, что эта система разрешима тогда и только тогда, когда
a + c = b + e = d + f. (1)
Таким образом, для отыскания клики нужно найти число, представимое в виде суммы
квадратов (кубов) не менее чем тремя способами. В случае разрешимости решением
системы будет набор:
((a-b+d)/2, (a+b-d)/2, (-a+b+d)/2, (a-b+2c-d)/2).
Поэтому выполнения только условия (1) мало для построения клики. Необходимо,
чтобы все числа набора (2) были целыми и положительными. Ясно, что в минимальном решении
a, b, c, d не могут быть одновременно четны (иначе бы оно не было минимальным).
Поэтому для того, чтобы все числа в (2) были целыми, надо чтобо среди чисел a, b,
d было ровно одно четное.
Вопросы о представимости натуральных чисел суммой двух квадратов и количестве
таких представлений не вызывают затруднений (см., например, А.А.Бухштаб.
Теория чисел). Перебирая небольшие числа, имеющие достаточное количество
представлений в виде суммы двух квадратов, находим, что четырехвершинная клика
впервые встречается в графе G(2,n) при n = 3362.
Вот эта клика: 2, 359, 482, 3362.
Значительно сложнее обстоит дело с поиском четырехвершинных клик в графах G(3,n).
Я искал числа, имеющие не менее трех представлений в виде суммы двух кубов,
перебором (глядя на приводимый ниже ответ легко понять, что этот
перебор был существенно оптимизирован). Основная трудность заключается в том,
что кубы даже близких между собой чисел отличаются весьма существенно. Поэтому
достаточно сложно подыскать представление (1), удовлетворяющее условию положительности
всех чисел набора (2). Сложно, но можно. Итак, впервые четырехвершинная клика
встречается в графе G(3,n) при n = 51114333631. Вот эта клика:
1493580092, 2510949380, 7071213244, 51114333631.
PS:
Борис Бух любезно указал мне книгу, в которой изложена теория представления чисел в виде суммы двух кубов:
Melvyn Nathanson "Additive number theory: classical bases"
volume 164 of Graduate Texts in Mathematics, Springer
Что же касается пятивершинных клик, то я действительно искал их, стартуя с четырехвершинных.