Войти в систему

Home
    - Создать дневник
    - Написать в дневник
       - Подробный режим

LJ.Rossia.org
    - Новости сайта
    - Общие настройки
    - Sitemap
    - Оплата
    - ljr-fif

Редактировать...
    - Настройки
    - Список друзей
    - Дневник
    - Картинки
    - Пароль
    - Вид дневника

Сообщества

Настроить S2

Помощь
    - Забыли пароль?
    - FAQ
    - Тех. поддержка



Пишет flaass ([info]flaass)
@ 2009-02-11 21:43:00


Previous Entry  Add to memories!  Tell a Friend!  Next Entry
свухь-2: быть или казаться
Еще одна свухь, которая может оказаться податливее предыдущей.

Вообще, если у структуры достаточно много автоморфизмов, то с ней работать легко. Это не значит, что "тривиально", а лишь, что "в принципе доступно для человека на нынешнем уровне математики".
Например, дистанционно транзитивные графы. Это если любую пару вершин можно перевести в любую другую на том же расстоянии.
Таких много, но не очень, и можно считать, что все они известны.
Но есть и другие, которые внещне лишь кажутся дистанциооно транзитивными. Их можно определить на "родном" языке графов, без отсылки к группам: если взять любую пару вершин на расстоянии a и посчитать, в сколько треугольников со сторонами a,b,c она входит, то получится одно и то же число, зависящее только от значений a,b,c. Это дистанционно регулярные. Вопрос, когда они существуют - типичная свухь. Известно очень много с обеих сторон: сильные необходимые условия, куча разных конструкций. Местами эти берега очень близко сходятся, но между ними остается "серая зона".
Иные части этой серой зоны ощущаются как доступные: пару красивых идей придумать, и разберемся (например, описание параметров, подходящих под необходимые условия; задача про целочисленность некоторых явно выписанных алгебраических выражений). Другие - типичная свухь.

Детали, если интересно, я могу рассказать подробнее. Но хочется услышать, какая имеется свухь, скажем, в алгебраической топологии.


(Добавить комментарий)


[info]rus4@lj
2009-02-11 16:43 (ссылка)
какая имеется свухь, скажем, в алгебраической топологии

Топологи пока молчат, я тихоньку и без претензий предположу, что может быть, вычисление гомотопических групп хотя бы сфер?

(Ответить) (Ветвь дискуссии)


[info]flaass@lj
2009-02-12 18:49 (ссылка)
Что значит "вычисление"?
В смысле, что нет даже алгоритма, пусть сколь угодно трудоемкого, который для данных m,n дает представление этой группы?

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]rus4@lj
2009-02-13 17:34 (ссылка)
http://en.wikipedia.org/wiki/Homotopy_groups_of_spheres

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]flaass@lj
2009-02-13 18:55 (ссылка)
Да, типичная свухь. Очень привлекательно выглядит.

(Ответить) (Уровень выше)