Неотрицательный ранг (линейная алгебра)
В линейной алгебре неотрицательный ранг — неотрицательной матрицы это концепция, аналогичная обычному линейному рангу вещественной матрицы, но с добавлением требования о том, что определенные коэффициенты и элементы векторов/матриц должны быть неотрицательными.
Например, линейный ранг матрицы — это наименьшее количество векторов, при котором каждый столбец матрицы можно записать как линейную комбинацию этих векторов. Для неотрицательного ранга требуется, чтобы векторы имели неотрицательные элементы, а также чтобы коэффициенты в линейных комбинациях были неотрицательными.
Формальное определение
[ редактировать ]Существует несколько эквивалентных определений, каждое из которых слегка модифицирует определение линейного ранга . Помимо данного выше определения, существует следующее: Неотрицательный ранг неотрицательной m×n -матрицы A равен наименьшему числу q, такому, что существуют неотрицательная m×q -матрица B и неотрицательная q×n -матрица. C такой, что A = BC (обычное матричное произведение). Чтобы получить линейный ранг, отбросьте условие, согласно которому B и C должны быть неотрицательными.
Кроме того, неотрицательный ранг - это наименьшее количество неотрицательных матриц ранга один, на которые матрица может быть разложена аддитивно:
где R j ≥ 0 означает « R j неотрицательен». [1] (Чтобы получить обычный линейный ранг, отбросьте условие Rj неотрицательности .)
Учитывая неотрицательное значение матрица A неотрицательный ранг удовлетворяет A
Заблуждение
[ редактировать ]Ранг матрицы A — это наибольшее количество столбцов, которые линейно независимы, т. е. ни один из выбранных столбцов не может быть записан как линейная комбинация других выбранных столбцов. Неправда, что добавление неотрицательности к этой характеристике дает неотрицательный ранг: неотрицательный ранг обычно меньше или равен наибольшему числу столбцов, так что ни один выбранный столбец не может быть записан как неотрицательная линейная комбинация других выбранных столбцов.
Связь с линейным рангом
[ редактировать ]Всегда верно, что Rank(A) ≤ Rank + (A) . Фактически, Rank + (A) = Rank(A) выполняется всякий раз, когда Rank(A) ≤ 2 .
в случае Rank(A) ≥ 3 Однако Rank(A) < Rank + (A) возможен . Например, матрица
удовлетворяет Rank(A) = 3 < 4 = Rank + (A) .
Эти два результата (включая приведенный выше пример матрицы 4×4) были впервые предоставлены Томасом в ответе. [2] на вопрос, заданный в 1973 году Берманом и Племмонсом. [3]
Вычисление неотрицательного ранга
[ редактировать ]Неотрицательный ранг матрицы можно определить алгоритмически. [4]
Доказано, что определение того, является ли является NP-трудным. [5]
Очевидные вопросы, касающиеся сложности вычисления неотрицательного ранга, до сих пор остаются без ответа. сложность определения неотрицательного ранга матриц фиксированного ранга k Например, неизвестна при k > 2 .
Дополнительные факты
[ редактировать ]Неотрицательный ранг имеет важные применения в комбинаторной оптимизации : [6] Минимальное число граней расширения многогранника P равно неотрицательному рангу его так называемой слабой матрицы . [7]
Ссылки
[ редактировать ]- ^ Авраам Берман и Роберт Дж. Племмонс . Неотрицательные матрицы в математических науках , SIAM
- ^ Л. Б. Томас. «Решение проблемы 73–14, ранговая факторизация неотрицательных матриц», SIAM Review 16 (3), 393–394, 1974 г.
- ^ Берман А., Племмонс Р.Дж.: «Ранговая факторизация неотрицательных матриц», SIAM Review 15 (3), 655, 1973.
- ^ Дж. Коэн и У. Ротблюм. «Неотрицательные ранги, разложения и факторизациинеотрицательных матриц». Линейная алгебра и ее приложения , 190:149–168, 1993.
- ^ Стивен Вавасис, О сложности факторизации неотрицательной матрицы, SIAM Journal on Optimization 20 (3) 1364-1377, 2009.
- ^ Михалис Яннакакис. Выражение задач комбинаторной оптимизации с помощью линейных программ. Дж. Компьютер. Сист. Sci., 43(3):441–466, 1991.
- ^ См. эту публикацию в блоге. Архивировано 7 октября 2014 г. на Wayback Machine.