Матрица Редхеффера

В математике матрица Редхеффера, изученная Редмондом Редхеффером - это (0,1)-матрица, элементы a_ij которой равны 1, если i делит j или если j = 1, в остальных случаях a_ij = 0.

Свойства

Определитель квадратной nxn-матрицы Редхеффера задаётся функцией Мертенса M(n).

Число собственных значений матрицы Редхеффера, равных 1, при n > 1 равно $n-\lfloor \log _{2}n\rfloor -1$ .

Пример

Матрица Редхеффера порядка 12 × 12 имеет вид:

\left({\begin{smallmatrix}1&1&1&1&1&1&1&1&1&1&1&1\\1&1&0&1&0&1&0&1&0&1&0&1\\1&0&1&0&0&1&0&0&1&0&0&1\\1&0&0&1&0&0&0&1&0&0&0&1\\1&0&0&0&1&0&0&0&0&1&0&0\\1&0&0&0&0&1&0&0&0&0&0&1\\1&0&0&0&0&0&1&0&0&0&0&0\\1&0&0&0&0&0&0&1&0&0&0&0\\1&0&0&0&0&0&0&0&1&0&0&0\\1&0&0&0&0&0&0&0&0&1&0&0\\1&0&0&0&0&0&0&0&0&0&1&0\\1&0&0&0&0&0&0&0&0&0&0&1\end{smallmatrix}}\right)

Ссылки

Redheffer, Ray (1977), "Eine explizit lösbare Optimierungsaufgabe", Numerische Methoden bei Optimierungsaufgaben, Band 3 (Tagung, Math. Forschungsinst., Oberwolfach, 1976), Basel, Boston, Berlin: Birkhäuser, pp. 213—216, MR: 0468170

Внешние ссылки

Weisstein, Eric W. Redheffer matrix (англ.) на сайте Wolfram MathWorld.

Похожие исследовательские статьи

Информацио́нная энтропи́я — мера неопределённости некоторой системы, в частности, непредсказуемость появления какого-либо символа первичного алфавита. В последнем случае при отсутствии информационных потерь энтропия численно равна количеству информации на символ передаваемого сообщения.

Ма́трица — математический объект, записываемый в виде прямоугольной таблицы элементов кольца или поля, который представляет собой совокупность строк и столбцов, на пересечении которых находятся его элементы. Количество строк и столбцов задаёт размер матрицы. Матрицу можно также представить в виде функции двух дискретных аргументов. Хотя исторически рассматривались, например, треугольные матрицы, в настоящее время говорят исключительно о матрицах прямоугольной формы, так как они являются наиболее удобными и общими.

Алгоритм Штрассена предназначен для быстрого умножения матриц. Он был разработан Фолькером Штрассеном в 1969 году и является обобщением метода умножения Карацубы на матрицы.

$\text{[math]}$ — наибольшая особая простая группа Ли. $\text{[math]}$ была открыта Вильгельмом Киллингом в 1888—1890 годах, а современное её обозначение пришло из классификации простых алгебр Ли, которую ввели Эли Картан и Вильгельм Киллинг. Классификация выделяет четыре бесконечных семейства простых алгебр Ли, обозначаемых $\text{[math]}$ , $\text{[math]}$ , $\text{[math]}$ , $\text{[math]}$ , и пять особых случаев, обозначаемых E₆, E₇, E₈, F₄ и G₂.

Матрица смежности — один из способов представления графа в виде матрицы.

Умноже́ние ма́триц — одна из основных операций над матрицами. Матрица, получаемая в результате операции умножения, называется произведе́нием ма́триц. Элементы новой матрицы получаются из элементов старых матриц в соответствии с правилами, проиллюстрированными ниже.

<span class="mw-page-title-main">Регулярный граф</span> граф, степени всех вершин которого равны

Регуля́рный (одноро́дный) граф — граф, степени всех вершин которого равны, то есть каждая вершина имеет одинаковое количество соседей. Степень регулярности является инвариантом графа и обозначается $\text{[math]}$ . Для нерегулярных графов $\text{[math]}$ не определено. Регулярные графы представляют особую сложность для многих алгоритмов.

Матрица Кирхгофа — одно из представлений конечного графа с помощью матрицы. Матрица Кирхгофа представляет дискретный оператор Лапласа для графа. Она используется для подсчета остовных деревьев данного графа, а также в спектральной теории графов.

<span class="mw-page-title-main">Диэдральная группа</span>

Диэдральная группа — группа симметрии правильного многоугольника, включающая как вращения, так и осевые симметрии. Диэдральные группы являются простейшими примерами конечных групп и играют важную роль в теории групп, геометрии и химии. Хорошо известно и совершенно тривиально проверяется, что группа, образованная двумя инволюциями с конечным числом элементов в области определения является диэдральной группой.

Алгоритм Берлекэмпа — алгоритм, предназначенный для факторизации унитарных многочленов над конечным полем. Разработан Элвином Берлекэмпом в 1967 году. Может использоваться также для проверки неприводимости многочленов над конечными полями. Основная идея алгоритма заключается в возможности представления исходного многочлена в виде произведения наибольших общих делителей самого многочлена и некоторых многочленов, которые с точностью до свободного члена являются $\text{[math]}$ -разлагающими.

Функция Мертенса — числовая функция, определяемая для натуральных чисел $\text{[math]}$ формулой:

\text{[math]}

Спектральное разложение матрицы или разложение матрицы на основе собственных векторов — это представление квадратной матрицы $\text{[math]}$ в виде произведения трёх матриц $\text{[math]}$ , где $\text{[math]}$ — матрица, столбцы которой являются собственными векторами матрицы $\text{[math]}$ , $\text{[math]}$ — диагональная матрица с соответствующими собственными значениями на главной диагонали, $\text{[math]}$ — матрица, обратная матрице $\text{[math]}$ .

В математике, особенно в теории матриц и комбинаторике, ма́трица Паска́ля — это бесконечная матрица, элементами которой являются биномиальные коэффициенты. Существует три варианта расположения элементов в матрице: в виде верхнетреугольной, нижнетреугольной или симметричной матрицы. 5×5-ограничения таких матриц имеют вид:

В теории графов графом без треугольников называется неориентированный граф, в котором никакие три вершины не образуют треугольник из рёбер. Графы без треугольников можно определить также как графы с кликовым числом ≤ 2, графы с обхватом ≥ 4, графы без порождённых 3-циклов, или как локально независимые графы.

Квадратный корень из матрицы — расширение понятия числового квадратного корня на кольцо квадратных матриц.

В математике термин матрица Картана имеет три значения. Все они названы по имени французского математика Эли Картана. Фактически, матрицы Картана в контексте алгебр Ли впервые исследовал Вильгельм Киллинг, в то время как форма Киллинга принадлежит Картану.

FSB — это набор криптографических хеш-функций, созданный в 2003 году и представленный в 2008 году как кандидат на конкурс SHA-3. В отличие от многих хеш-функций, используемых на текущий момент, криптографическая стойкость FSB может быть доказана в определённой степени. Доказывает стойкость FSB то, что взломать FSB столь же трудно, как решить некоторую NP-полную задачу, известную как регулярное синдромное декодирование. Хоть всё же и не известно, являются ли NP-полные задачи разрешимы за полиномиальное время, как правило считается, что нет.

Поверхность Иноуэ — это некоторые комплексные поверхности Кодайры класса VII. Поверхности названы именем Масахита Иноуэ, который привёл первые нетривиальные примеры поверхностей Кодайры класса VII в 1974.

Алгоритм четырёх русских — в информатике представляет собой метод ускорения алгоритмов с использованием булевых матриц или, в более общем смысле, алгоритмов с использованием матриц, в которых каждая ячейка может принимать только ограниченное число возможных значений.

Круги Гершгорина — набор кругов на комплексной плоскости, определяемых по квадратной матрице, таких, что все собственные значения данной матрицы заведомо лежат внутри каких-то из этих кругов. Таким образом, они позволяют получить априорное ограничение на расположение собственных значений квадратной матрицы. Впервые их описание было опубликовано советским математиком Семёном Ароновичем Гершгориным в 1931 году.

Эта страница основана на статье Википедии.
Текст доступен на условиях лицензии CC BY-SA 4.0; могут применяться дополнительные условия.
Изображения, видео и звуки доступны по их собственным лицензиям.