Вклад участника
7 января 2017
XOR-SAT
Пример решения XORSAT
-16
XOR-SAT
Решение XOR-SAT задачи методом Гаусса
+282
XOR-SAT
Решение XOR-SAT задачи методом Гаусса
+478
XOR-SAT
Описание
-1
XOR-SAT
Вычислительная сложность
+35
XOR-SAT
Описание
+24
5 января 2017
XOR-SAT
Решение XOR-SAT задачи методом Гаусса
+1889
XOR-SAT
Решение XOR-SAT задачи методом Гаусса
+9850
XOR-SAT
Решение XOR-SAT задачи методом Гаусса
+1062
XOR-SAT
Вычислительная сложность
+11
XOR-SAT
Вычислительная сложность
+44
XOR-SAT
Описание
-14
XOR-SAT
Вычислительная сложность
+204
XOR-SAT
Решение XOR-SAT задачи методом Гаусса
+33
XOR-SAT
Вычислительная сложность
-110
XOR-SAT
Описание
-39
XOR-SAT
Описание
м+1
XOR-SAT
Источники информации
м-3
XOR-SAT
Описание
м+1
XOR-SAT
Решение XOR-SAT задачи методом Гаусса
XOR-SAT
Решение XOR-SAT задачи методом Гаусса
-4
XOR-SAT
Описание
+89
XOR-SAT
Описание
+49
XOR-SAT
Описание
XOR-SAT
Описание
XOR-SAT
Описание
XOR-SAT
Описание
+6
XOR-SAT
Описание
-6
XOR-SAT
Описание
-28
XOR-SAT
Описание
+1
XOR-SAT
Источники информации
+4
XOR-SAT
Решение XOR-SAT задачи методом Гаусса
+19
XOR-SAT
Описание
+68
4 января 2017
XOR-SAT
Решение XOR-SAT задачи методом Гаусса
-3267
XOR-SAT
Вычислительная сложность
мXOR-SAT
Описание
м+2
XOR-SAT
Описание
+28
3 января 2017
XOR-SAT
Решение XOR-SAT задачи методом Гаусса
+26
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, в зависимости от количества переменных