Вопросы с тегом «algebra»

29
Добавляют ли подзапросы выразительную силу к запросам SQL?

Нужны ли SQL подзапросы? Представьте себе достаточно обобщенную реализацию языка структурированных запросов для реляционных баз данных. Поскольку структура канонического оператора SQL на SELECTсамом деле очень важна для того, чтобы это имело смысл, я не обращаюсь непосредственно к реляционной...

28
Генерация комбинаций из набора пар без повторения элементов

У меня есть набор пар. Каждая пара имеет форму (x, y), так что x, y принадлежат целым числам из диапазона [0,n). Итак, если n равно 4, то у меня есть следующие пары: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) У меня уже есть пары. Теперь я должен построить комбинацию, используя n/2пары, чтобы ни одно из...

28
Почему пустой тип C не аналогичен пустому / нижнему типу?

Википедия, а также другие источники, которые я обнаружил в списке voidтипа C как тип единицы, а не пустой тип. Мне кажется, что это сбивает с толку, так как мне кажется, что оно voidлучше подходит под определение пустого / нижнего типа voidНасколько я могу судить, ценности не обитают . Функция с...

22
Автоматическая оптимизация умножения 0-1 матричного вектора

Вопрос: Существует ли установленная процедура или теория для генерации кода, который эффективно применяет умножение матрицы на вектор, когда матрица плотна и заполнена только нулями и единицами? В идеале оптимизированный код должен систематически использовать ранее вычисленную информацию для...

20
Существует ли нетривиальный тип, равный его собственной производной?

Статья под названием «Производный регулярного типа - это тип контекста с одним отверстием» показывает, что «молния» типа - его контексты с одним отверстием - следуют правилам дифференцирования в алгебре типов. У нас есть:...

19
Добавляет ли операция «разница» выразительность к языку запросов, который уже включает «соединение»?

Оператор разности множеств (например, EXCEPTв некоторых вариантах SQL) является одним из многих фундаментальных операторов реляционной алгебры. Тем не менее, существуют некоторые базы данных, которые не поддерживают оператор разности множеств напрямую, но поддерживают LEFT JOIN(своего рода внешнее...

17
Как построить ворота XOR, используя только 4 шлюза NAND?

xorворота, теперь мне нужно построить эти ворота, используя только 4 nandворот a b out 0 0 0 0 1 1 1 0 1 1 1 0 the xor = (a and not b) or (not a and b), который является A¯¯¯¯B+AB¯¯¯¯A¯B+AB¯\begin{split}\overline{A}{B}+{A}\overline{B}\end{split} Я знаю ответ, но как получить диаграмму ворот из...

15
Какие части линейной алгебры используются в информатике?

Я читал Линейную Алгебру и ее Приложения, чтобы помочь понять материал информатики (главным образом машинное обучение), но я обеспокоен тем, что большая часть информации не полезна для CS. Например, знание того, как эффективно решать системы линейных уравнений, не кажется очень полезным, если вы не...

14
Сложность вычислительных матриц

Я заинтересован в вычислении nNn «ю мощность матрицы . Предположим, у нас есть алгоритм умножения матриц, который выполняется за время . Тогда можно легко вычислить за время. Можно ли решить эту проблему за меньшее время?n×nN×Nn\times...

13
Матрица цепочек умножения и возведения в степень

Если у меня есть две матрицы AAA и BВB с размерами 1000×21000×21000\times2 и 2×10002×10002\times1000 , соответственно, и я хочу вычислить (AB)5000(AВ)5000(AB)^{5000} , более эффективно сначала переписать выражение как A(BA)4999BA(ВA)4999ВA(BA)^{4999}B и только потом оценивать численно, потому что...

12
Существует ли изоморфизм между (подмножеством) теории категорий и реляционной алгеброй?

Это происходит с точки зрения больших данных. По сути, многие фреймворки (например, Apache Spark) «компенсируют» отсутствие реляционных операций, предоставляя интерфейсы, подобные Functor / Monad, и наблюдается аналогичное движение к преобразованию кошек в SQL (Slick in Scala). Например, нам нужно...

11
Сложность нахождения псевдообратной матрицы

Сколько арифметических операций требуется, чтобы найти псевдообратную матрицу Мура – ​​Пенроуза произвольного поля? Если матрица обратима и имеет комплексное значение, то это просто обратная величина. Нахождение обратного времени занимает , где - константа умножения матриц. Это Теорема 28.2 в...

11
Разрешимость задачи о полиномах

Я столкнулся со следующей интересной проблемой: пусть - многочлены над полем действительных чисел, и предположим, что все их коэффициенты целочисленные (то есть существует конечное точное представление этих многочленов). При необходимости можно предположить, что степень обоих полиномов равна....

10
Краткое и точное доказательство сильной теоремы двойственности для линейного программирования

Рассмотрим линейные программы D u a l : → c ≤ → y T Aпг я м а л :х⃗ ≤ б⃗ макс с⃗ TИкс⃗ прямaL:AИкс→≤б→Максимумс→TИкс→\begin{array}{|ccc|} \hline Primal: & A\vec{x} \leq \vec{b} \hspace{.5cm} & \max \vec{c}^T\vec{x} \\ \hline \end{array} D u a l :с⃗ ≤ у⃗ TAмин...

9
Булевы функции Тьюринга завершены

Булева функция - это функция .е: { 0 , 1 }N→ { 0 , 1 }е:{0,1}N→{0,1}f:\{0,1\}^n\rightarrow\{0,1\} Известно, что логический базис является полным по Тьюрингу, поскольку он позволяет переворачивать любую последовательность или оставлять ее без изменений. То же самое можно сказать о воротах .( ∨ , ∧...

9
Какие существуют алгоритмы для решения линейных систем с натуральными числами?

Я смотрю на следующую проблему: Для заданных мерных векторов натуральных чисел v 1 , … , v m и некоторого входного вектора u , является ли u линейной комбинацией v i с коэффициентами натуральных чисел?nnnv1,…,vmv1,…,vmv_1, \ldots, v_muuuuuuviviv_i т.е. есть ли где u = t 1 v 1 + ⋯ + t m v m...

9
Разрешимость проверки антипроизводных?

Предположим, у меня есть две функции FFF и GGG и я заинтересован в определении F(x)=∫G(x)dx.F(x)=∫G(x)dx.F(x) = \int G(x)dx. Предположим, что мои функции состоят из элементарных функций (полиномов, экспонент, логарифмов и тригонометрических функций), но не, скажем, из ряда Тейлора. Эта проблема...