Використання SAT-розв’язувача в n-ках Шура

Скорочена інформація про документ
dc.contributor.authorБичок, В. В.
dc.contributor.authorВасалатій, А.
dc.contributor.authorЦиганкова, О. В.
dc.contributor.authorХмельницький, М. О.
dc.date.accessioned2024-10-18T13:18:34Z
dc.date.available2024-10-18T13:18:34Z
dc.date.issued2024
dc.description.abstractВ даній роботі розглядаються можливості використання SAT-розв’язувачів для розробки алгоритмів розбиття множини на підмножини, в яких відсутні 𝑛-ки Шура. SAT-розв’язувачі відомі своєю здатністю швидко знаходити рішення булевих задач, але їх потенціал у сфері розбиття множини на підмножини ще не був повністю досліджений. Основна ідея полягає в тому, щоб перетворити задачу розбиття множини на підмножини у задачу задоволення булевої формули, де кожна змінна відповідає присутності або відсутності кожного елемента у підмножині.
dc.format.pagerangeС. 301-303
dc.identifier.citationВикористання SAT-розв’язувача в n-ках Шура / В. В. Бичок, А. Васалатій, О. В. Циганкова, М. О. Хмельницький // Теоретичні і прикладні проблеми фізики, математики та інформатики : матерiали XXII Всеукраїнської науково-практичної конференцiї студентiв, аспiрантiв та молодих вчених, [Київ], 13−17 травня 2024 р. / КПІ ім. Ігоря Сікорського. – Київ, 2024. – С. 301-303.
dc.identifier.urihttps://ela.kpi.ua/handle/123456789/69987
dc.language.isouk
dc.publisherКПІ ім. Ігоря Сікорського
dc.publisher.placeКиїв
dc.sourceТеоретичні і прикладні проблеми фізики, математики та інформатики : матерiали XXII Всеукраїнської науково-практичної конференцiї студентiв, аспiрантiв та молодих вчених (13−17 травня 2024 р., м. Київ, Україна)
dc.subjectSAT-задача
dc.subjectSAT-розв’язувач
dc.subjectалгоритм розбиття
dc.subjectмножина
dc.subjectпідмножина
dc.subjectn-ки Шура
dc.subject.udc517
dc.titleВикористання SAT-розв’язувача в n-ках Шура
dc.typeArticle

Файли

Контейнер файлів
Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
Pp-301-303.pdf
Розмір:
112.01 KB
Формат:
Adobe Portable Document Format
Завантажити
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
8.98 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Зібрання

Теоретичні і прикладні проблеми фізики, математики та інформатики (22 ; 2024 ; Київ)