Не особо понимаю, какой смысл в двух отдельных статьях. Первое про одномерный массив, второе - про двумерный? Так в плане технической реализации никакой принципиальной разницы нет. И в Энвики одно - редирект на другое. Zero Children (обс.) 18:42, 8 декабря 2021 (UTC)
- Мне кажется, принципиальная разница тут в том, что матрица предназначена для матричных операций; главное — для умножения. То есть по сути представление разреженной матрицы — это не только способ её хранения, но и прилагающийся к нему алгоритм умножения матриц, не тратящий 100 лет на распаковку. Но в самой статье про алгоритмы обращения с ними пара предложений, и те вода. Медведь Никита (обс.) 08:11, 13 декабря 2021 (UTC)
- Так ведь и массив участвует в матричных вычислениях, он там "вектором" называется. Несомненно, оптимизация матричных вычислений это отдельная тема для разговора. Но опять же, не вижу принципиальной разницы между одномерным вектором и многомерной матрицей. Zero Children (обс.) 19:20, 13 декабря 2021 (UTC)
- Возможны ситуации хранения информации, не несущей алгебраический смысл. Тогда её логично называть разреженным массивом (вне зависимости от размерности). И наоборот — одномерный разреженный вектор я бы тоже назвал разреженной матрицей, если в наши планы входит делать арифметические действия. Но, конечно, то мои рассуждения — а нужно бы узнать про АИ. Медведь Никита (обс.) 20:01, 13 декабря 2021 (UTC)
- Раз АИ, два АИ. В АИ разреженные матрицы преимущественно рассматриваются с точки зрения "а как хранить". Если они где-то и обсуждаются как математический объект, мне таких АИ с ходу найти не удается. Zero Children (обс.) 21:25, 13 декабря 2021 (UTC)
- Возможны ситуации хранения информации, не несущей алгебраический смысл. Тогда её логично называть разреженным массивом (вне зависимости от размерности). И наоборот — одномерный разреженный вектор я бы тоже назвал разреженной матрицей, если в наши планы входит делать арифметические действия. Но, конечно, то мои рассуждения — а нужно бы узнать про АИ. Медведь Никита (обс.) 20:01, 13 декабря 2021 (UTC)
- Так ведь и массив участвует в матричных вычислениях, он там "вектором" называется. Несомненно, оптимизация матричных вычислений это отдельная тема для разговора. Но опять же, не вижу принципиальной разницы между одномерным вектором и многомерной матрицей. Zero Children (обс.) 19:20, 13 декабря 2021 (UTC)
Предварительный итог править
На обсуждении выражено мнение, что разрежённая матрица — объект линейно-алгебраический, и его характеристики мы описываем на основании литературы по вычислительной математике, а разрежённый массив — структура данных, изучаемая в информатике, одна из основных задач которой, конечно же, представлять разрежённую матрицу, но интересна, прежде всего, как структура с эффективным хранением элементов произвольной природы, а не только элементов линейного пространства (когда нам интересна в первую очередь вычислительная часть). Соответственно, и источники, и содержание статей оказывается разным, поэтому эти связанные друг с другом объекты вполне достойны раздельных энциклопедических статей как разные по предмету сущности. Если в течение пары недель не будет возражений, то оставим как есть, bezik° 12:59, 28 декабря 2022 (UTC)
- Возражение очень простое - покажите хоть один учебник линейной алгебры, в котором есть понятие "разрежённой матрицы". И чтоб два раза не вставать - покажите учебник алгебры, в котором в принципе встречаются словосочетания "косвенная адресация", "скоростью доступа к элементам" и "Сжатое хранение строкой". А то я, видимо, пропустил соответствующую главу, когда эту линейную алгебру изучал. Представление системы линейных уравнений как матрицы коэффициентов помню, умножение матрицы на вектор помню, чего-то там разрежённого или списочного не помню. Зато, я прекрасно помню все эти "адресации" в учебных материалах по программированию. Zero Children (обс.) 20:24, 30 декабря 2022 (UTC)
- Гипотетически это объект линейно-алгебраический, конечно, но на практике в статье Разреженная матрица ничего про алгебраическую структуру нету и неочевидно, что про неё можно что-то в достаточном объёме сказать. Я бы скорее объединил в единую статью Разреженная матрица с пониманием, что тут использование термина «матрица» несколько условно. Викизавр (обс.) 13:56, 2 января 2023 (UTC)
- Не поддерживаю объединения. Мы же не объединяем, скажем, вектор с массивом только по тому, что в вычтехнике вектор можно представить массивом, а в математике - массив вектором. Есть целое направление - sparse matrix computation, так что по всей видимости понятия разные. Массив - это больше о структуре данных, а матрица - это больше к математике относится. Что касается конкретного содержания статьи - то естественно какие-то технические вещи людям проще в статью добавлять, чем абстрактные математические. Вот и получается перекос в нейтральности. РоманСузи (обс.) 14:54, 28 января 2023 (UTC)
- Открываем первую попавшуюся книгу по этому "направлению", смотрим в оглавление и видим там "Design and Analysis of Elimination Algorithms", "Optimization, Least Squares and Linear Programming", а также "Mathematical Software". А особенно радует подраздел "A FAST, STABLE IMPLEMENTATION OF THE SIMPLEX METHOD USING BARTELS-GOLUB UPDATING". Интересно, каким местом это похоже на математику? Направление то может и есть, только посвящено оно именно что кодингу. Ну да, кодингу не на каком-то конкретном языке, а вообще. Ну так "Искусство программирования" тоже про алгоритмы "вообще", но никто его пособием по математике не называет (хотя, базовый матан там таки дается). Zero Children (обс.) 19:28, 28 января 2023 (UTC)
- Linear Programming, aka линейное программирование — это очень даже раздел математики (теории оптимизации), который имеет «программирование» в названии скорее по историческим причинам, так как в то время математическое программирование использовалось как зонтичный термин для всех задач оптимизации. adamant.pwn — contrib/talk 19:37, 14 ноября 2023 (UTC)
- Ок, принято. Но как вы верно заметили ниже, именно как математический объект ни одна из статей матрицу или вектор не рассматривает. Что там, что там, только "хранение элементов произвольной природы". Zero Children (обс.) 00:44, 18 ноября 2023 (UTC)
- Linear Programming, aka линейное программирование — это очень даже раздел математики (теории оптимизации), который имеет «программирование» в названии скорее по историческим причинам, так как в то время математическое программирование использовалось как зонтичный термин для всех задач оптимизации. adamant.pwn — contrib/talk 19:37, 14 ноября 2023 (UTC)
- Открываем первую попавшуюся книгу по этому "направлению", смотрим в оглавление и видим там "Design and Analysis of Elimination Algorithms", "Optimization, Least Squares and Linear Programming", а также "Mathematical Software". А особенно радует подраздел "A FAST, STABLE IMPLEMENTATION OF THE SIMPLEX METHOD USING BARTELS-GOLUB UPDATING". Интересно, каким местом это похоже на математику? Направление то может и есть, только посвящено оно именно что кодингу. Ну да, кодингу не на каком-то конкретном языке, а вообще. Ну так "Искусство программирования" тоже про алгоритмы "вообще", но никто его пособием по математике не называет (хотя, базовый матан там таки дается). Zero Children (обс.) 19:28, 28 января 2023 (UTC)
- Ну не то, чтоб прям линейно-алгебраический… Скорее именно из вычислительной математики, в то время как разреженные массивы «в общем» изучаются больше в информатике в целом, а не в вычмате.Но в целом да, это достаточно специфический подтип разреженных массивов, который обычно изучается именно с точки зрения того, как эффективно применять методы линейной алгебры к ним. Есть быстрые алгоритмы для подсчёта определителя, решения систем линейных уравнений, etc с разреженными матрицами (которые в большей степени зависят от числа ненулевых элементов, чем от размерности матрицы). По таким алгоритмам было бы уместно иметь отдельную статью, а не прописывать их в общую статью о разреженных массивах.Правда, текущая статья о разреженных матрицах не удиляет им особого внимания… adamant.pwn — contrib/talk 19:45, 14 ноября 2023 (UTC)