Максимальная выполнимость формул в 2-КНФ: различия между версиями

Символы <math>\mathbb{R}</math> и <math>\mathbb{Z}</math> обозначают множества вещественных и целых чисел, соответственно. Буква <math>\omega</math> обозначает наименьшее действительное число, такое, что для всех <math>\epsilon > 0</math> умножение матрицы размера <math>n \times n</math> над кольцом может быть выполнено за <math>О(n^{\omega + \epsilon})</math> кольцевых операций. В настоящее время известно, что <math>\omega < 2,376</math> [4]. Кольцевое матричное произведение двух матриц A и B обозначается как <math>A \times B</math>.