Вклад участника
3 января 2017
XOR-SAT
Описание
м+7
XOR-SAT
Решение XOR-SAT задачи методом Гаусса
+9
XOR-SAT
Вычислительная сложность
+496
XOR-SAT
Описание
+2
XOR-SAT
Описание
-6
XOR-SAT
Описание
XOR-SAT
Описание
+256
2 января 2017
Дискретная математика, алгоритмы и структуры данных
Булевы функции
+30
XOR-SAT
Решения XOR-SAT задачи методом Гаусса
м-5
XOR-SAT
Новая страница: «{{Задача |definition = <b><tex>\mathrm {XORSAT}</tex></b> (XOR-satisfiability) выполнимость функции — задача распределе...»
Файл:Булева выполнимость.png
загружена новая версия «Файл:Булева выполнимость.png»: Формула с 2-мя дизъюнктами может быть неудовлетворена(красный),3-SAT(зелёный),XOR-3-SAT(си�
Файл:Булева выполнимость.png
Формула с 2-мя дизъюнктами может быть неудовлетворены(красный),3-SAT(зелёный),XOR-3-SAT(синий) ,ИЛИ/И 1-in-3-SAT, в зависимости от количества переменных
