TGViewer
(sci)Berloga Всех Наук и Технологий (sci)Berloga Всех Наук и Технологий @sberlogabig · 7.97K subscribers
Post #701 1.71K

Forwarded from Data, Stories and Languages

​​CayleyPy: Professor Tetraminx puzzle

Месяц назад я рассказывал как участвовал в ресерч соревнованиях Cayley. С тех пор я поучаствовал в ещё одном соревновании - Professor Tetraminx.

Напоминаю, что суть задачи - из рандомного состояния головоломки (после N поворотов) дойти в исходное за минимальное количество шагов.

Поскольку это по факту групповой ресерч, не были цели собрать топ-решения самостоятельно - мы хотели вместе сделать топ решение.

Я начал тогда, когда лучшее доступное решение было 28863 и улучшил его до 28467, получив новый лучший результат и обойдя мирового эксперта Tomas!

Блогпост с деталями напишу позже, но пока расскажу, что нового было сделано по сравнению с моим прошлым подходом:
- Как известно, решить такую головоломку брутфорсом нельзя. Но вполне можно с помощью BFS подсчитать все состояния после 6-9 шагов. Так что теперь мой подход не пытается дойти до финального состояния, а просто до состояния, которое находится на расстоянии 6-7 до финального. Это довольно важно, ибо иногда поиск останавливается лишь в нескольких шагах от успеха - и этот подход спасает такие кейсы
- Sparse Q - новая голова для нейронки (по предложению Vlad Kuznetsov), которая даёт скор сразу для всех возможных переходов из текущего состояния - это сильно ускоряет обчение и инференс
- многократное расширение датасета с разными подходами по сбору данных
- PieceTransformer в качестве модели и его бленд с обычным ResMLP
- V-consistency - хитрый подход для улучшения beam search. Простыми словами: если одна голова модели говорит, что мы в 10 шагах от цели, а другая голова говорит, что после одного шага мы будем в 15 шагах - это неправильно; а если головы выдают 10 и 9 - значит мы движемся в правильном направлении

Теперь продолжу участвовать в других соревнованиях этой серии и всем рекомендую :)

#kaggle #datascience
  • 🔥 9
  • ❤ 8
More from @sberlogabig
  1. Sep 21, 2026Мастер-класс: превращаем сырой код в отчет или презентацию за 5 минут с Quarto Привет, это…
  2. Sep 20, 2026Друзья! Давно ничего не писал — исправляюсь. Во-первых, следующая тема канала — избыточное…
  3. Sep 20, 2026Нашли интересный канал посвященный теории кодирования и применениям матеиатики - рекоменду…
  4. Sep 18, 2026Как дочь Байрона придумала программирование Ада Байрон родилась в 1815 году и была единств…
  5. Sep 13, 2026🚀 @SBERLOGASCI webinar on data science: 👨‍🔬 Никита Бухал: "Пример разработки агентов" ⌚…
  6. Sep 12, 2026Коллеги, мы сейчас пытаемся заставить ллм продвигать математику. В нашем проекте CayleyPy…
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →