DP
Корректность программы на си почти нереально доказать
а на forth?
Size: a a a
2020 December 21
A
а на forth?
Не знаю
A
Возможно, проще
A
Есть ещё Idris и Agda, с ними тоже все хорошо
A
@practical_fm
Вот чат по этой теме
Вот чат по этой теме
2020 December 22
MB
господа, подскажите в какую сторону копать. Есть более 10.000 точек на условной карте, необходимо обнаружить скопления точек, ну например если в области диаметром X, есть >N точек, то отмечаем эту область и т.д.
A
господа, подскажите в какую сторону копать. Есть более 10.000 точек на условной карте, необходимо обнаружить скопления точек, ну например если в области диаметром X, есть >N точек, то отмечаем эту область и т.д.
Sparce hashing.
Есть разные алгоритмы, простые допустим
Есть разные алгоритмы, простые допустим
A
Но у них проблема коллизии
A
Она очень маловероятна но не невозможна
A
Есть бумага в которой описывалось как сделать алгоритм хешинга без коллизии
A
Но он сложный
A
Ну, терпимый, если время есть можно реализовать
A
Но быстрый по поиску
MB
ну коллизии можно регулировать расстоянием
A
Не такие коллизии :D
A
Точно не уверен но когда один и тот же хеш указывает на разные координаты
MB
понял
A
Или не так, когда несколько координат совершенно разных превращаются в один хеш
A
Обычно это редко очень происходит