Size: a a a

2020 May 26

CD

Constantine Drozdov in pro.cxx.holywars
блин, надо уже придумать метрику для строк, чтобы кратчайшие не начинали квадратами становиться
источник

KK

Kirill Kaymakov in pro.cxx.holywars
Chris Calvin
Не самой теоремы Пика
Самой
источник

CC

Chris Calvin in pro.cxx.holywars
я про попытки обобщить на пространства выше двух
источник

CC

Chris Calvin in pro.cxx.holywars
Kirill Kaymakov
Самой
В теореме Пика да, я неправильно выразился
источник

CD

Constantine Drozdov in pro.cxx.holywars
во, придумал, надо рассматривать строки над простыми числами
источник

CD

Constantine Drozdov in pro.cxx.holywars
а черт
источник

CD

Constantine Drozdov in pro.cxx.holywars
хотя
источник

CD

Constantine Drozdov in pro.cxx.holywars
строки над N0 длины M, расстояние индуцируется с пар, отличающихся на одну букву
если пара отличается заменой в i-ой позиции j на k, то расстояние равно произведению max(j, k) на сумму всех остальных символов строк
источник

/dev/urandon ¯\_(ツ)_... in pro.cxx.holywars
Constantine Drozdov
че там у нас самая упоротая геометрия?) строк с расстоянием Левенштейна?)
Можно упороть дополнительно инверсным преобразованием
источник

/dev/urandon ¯\_(ツ)_... in pro.cxx.holywars
Прямые в окружности перегнать
источник

CD

Constantine Drozdov in pro.cxx.holywars
/dev/urandon ¯\_(ツ)_/¯
Можно упороть дополнительно инверсным преобразованием
Я на самом деле так и не понял, какое преобразование проективной геометрии точки и прямые свопает
источник

CD

Constantine Drozdov in pro.cxx.holywars
Я пытался построить это из инверсии, считая прямыми окружности, проходящие через центр инверсии, но не очень получилось
источник

CD

Constantine Drozdov in pro.cxx.holywars
помню еще пытался обозвать их точками, прямые прямыми, а инцидентность определить как факт касания
источник

/dev/urandon ¯\_(ツ)_... in pro.cxx.holywars
Constantine Drozdov
Я на самом деле так и не понял, какое преобразование проективной геометрии точки и прямые свопает
С точками и прямыми проблематочно. Ведь проективка линейная, а это значит понижение ранга
источник

/dev/urandon ¯\_(ツ)_... in pro.cxx.holywars
Биекции не будет.
источник

/dev/urandon ¯\_(ツ)_... in pro.cxx.holywars
У проективки вводится понятие "бесконечно удалённой" прямой, которая свопнется с другой прямой
источник

CD

Constantine Drozdov in pro.cxx.holywars
Ну смотри
источник

CD

Constantine Drozdov in pro.cxx.holywars
Есть очень забавный факт, что две пересекающиеся прямые и точка задают окружность, которая проходит через точку и касается прямых
источник

CD

Constantine Drozdov in pro.cxx.holywars
есть эээ некоторая сложность
источник

CD

Constantine Drozdov in pro.cxx.holywars
таких две)
источник