Бичок, В. В.Васалатій, А.Циганкова, О. В.Хмельницький, М. О.2024-10-182024-10-182024Використання SAT-розв’язувача в n-ках Шура / В. В. Бичок, А. Васалатій, О. В. Циганкова, М. О. Хмельницький // Теоретичні і прикладні проблеми фізики, математики та інформатики : матерiали XXII Всеукраїнської науково-практичної конференцiї студентiв, аспiрантiв та молодих вчених, [Київ], 13−17 травня 2024 р. / КПІ ім. Ігоря Сікорського. – Київ, 2024. – С. 301-303.https://ela.kpi.ua/handle/123456789/69987В даній роботі розглядаються можливості використання SAT-розв’язувачів для розробки алгоритмів розбиття множини на підмножини, в яких відсутні 𝑛-ки Шура. SAT-розв’язувачі відомі своєю здатністю швидко знаходити рішення булевих задач, але їх потенціал у сфері розбиття множини на підмножини ще не був повністю досліджений. Основна ідея полягає в тому, щоб перетворити задачу розбиття множини на підмножини у задачу задоволення булевої формули, де кожна змінна відповідає присутності або відсутності кожного елемента у підмножині.ukSAT-задачаSAT-розв’язувачалгоритм розбиттямножинапідмножинаn-ки ШураArticleС. 301-303517