O SQL precisa de subconsultas? Imagine uma implementação suficientemente generalizada da linguagem de consulta estruturada para bancos de dados de relações. Como a estrutura da SELECTinstrução SQL canônica é realmente muito importante para que isso faça sentido, não apelo diretamente à álgebra...
Eu tenho um conjunto de pares. Cada par tem a forma (x, y) tal que x, y pertencem a números inteiros do intervalo [0,n). Portanto, se n é 4, tenho os seguintes pares: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) Eu já tenho os pares. Agora, eu tenho que construir uma combinação usando n/2pares de...
A Wikipedia e outras fontes que eu encontrei listam o voidtipo de C como um tipo de unidade, em vez de um tipo vazio. Acho isso confuso, pois me parece que voidmelhor se ajusta à definição de um tipo vazio / inferior. Nenhum valor habita void, até onde eu sei. Uma função com um tipo de retorno de...
Questão: Existe procedimento ou teoria estabelecida para gerar código que aplique eficientemente uma multiplicação de vetor de matriz, quando a matriz é densa e preenchida apenas com zeros e uns? Idealmente, o código otimizado faria uso sistemático de informações previamente calculadas para...
Como expressar um portão AND usando apenas portões
Um artigo chamado A derivada de um tipo regular é seu tipo de contexto de um furo mostra que o "zíper" de um tipo - seus contextos de um furo - segue as regras de diferenciação na álgebra de tipos. Nós
O operador de diferença definida (por exemplo, EXCEPTem algumas variantes SQL) é um dos muitos operadores fundamentais da álgebra relacional. No entanto, existem alguns bancos de dados que não suportam diretamente o operador de diferença definida, mas que suportam LEFT JOIN(um tipo de junção...
xorportão, agora preciso construir este portão usando apenas quatro nandportão a b out 0 0 0 0 1 1 1 0 1 1 1 0 o xor = (a and not b) or (not a and b), que é A¯¯¯¯B+AB¯¯¯¯A¯B+AB¯\begin{split}\overline{A}{B}+{A}\overline{B}\end{split} Eu sei a resposta, mas como obter o diagrama da porta da...
Eu tenho lido a Álgebra Linear e seus Aplicativos para ajudar a entender o material da ciência da computação (principalmente aprendizado de máquina), mas estou preocupado que muitas informações não sejam úteis para o CS. Por exemplo, saber como resolver com eficiência sistemas de equações lineares...
Estou interessado no cálculo do 'th poder de um matriz . Suponha que tenhamos um algoritmo para multiplicação de matrizes que é executado no tempo . Então, pode-se calcular facilmente em . É possível resolver esse problema em menor complexidade de tempo?n × n A O ( M ( n ) ) A n O ( M ( n ) log ( n...
Se eu tiver duas matrizes e , das dimensões e , respectivamente, e quiser calcular , é mais eficiente reescrever a expressão como e só então avaliar numericamente, porque é da dimensão mas é da dimensão
Vem da perspectiva do big data. Basicamente, muitas estruturas (como o Apache Spark) "compensam" a falta de operações relacionais, fornecendo interfaces do tipo Functor / Monad e há um movimento semelhante em relação às conversões de gatos para SQL (Slick in Scala). Por exemplo, precisamos de...
Quantas operações aritméticas são necessárias para encontrar uma matriz pseudo-inversa de Moore-Penrose de um campo arbitrário? Se a matriz é invertível e com valor complexo, então é apenas o inverso. Encontrar o inverso leva tempo O(nω)O(nω)O(n^\omega) , onde ωω\omega é a constante de...
Eu me deparei com o seguinte problema interessante: sejam polinômios sobre o campo dos números reais e suponhamos que seus coeficientes sejam todos inteiros (ou seja, existe uma representação exata finita desses polinômios). Se necessário, podemos supor que o grau de ambos os polinômios seja igual....
Considere os programas lineares Primal:Ax⃗ ≤b⃗ maxc⃗ Tx⃗ Primal:Ax→≤b→maxc→Tx→\begin{array}{|ccc|} \hline Primal: & A\vec{x} \leq \vec{b} \hspace{.5cm} & \max \vec{c}^T\vec{x} \\ \hline \end{array} Dual:c⃗ ≤y⃗ TAminy⃗ Tb⃗ Dual:c→≤y→TAminy→Tb→\begin{array}{|ccc|} \hline Dual: & \vec{c} \leq...
Uma função booleana é uma função .f: { 0 , 1 }n→ { 0 , 1 }f:{0 0,1 1}n→{0 0,1 1}f:\{0,1\}^n\rightarrow\{0,1\} A base booleana é conhecida por ser Turing completa, pois permite que qualquer sequência s ∈ { 0 , 1 } seja invertida ou permaneça inalterada. O mesmo pode ser dito dos portões X O R.( ∨ ,...
Estou olhando para o seguinte problema: Dados vetores dimensionais dos números naturais e algum vetor de entrada , é uma combinação linear dos com coeficientes numéricos naturais?nnn u u v iv1 1, … , Vmv1,…,vmv_1, \ldots, v_mvocêuuvocêuuvEuviv_i ou seja, existem alguns que ? u = t 1 v 1 + ⋯ + t m...
Recentemente, conversei com um amigo sobre um site que propunha desafios regex, combinando principalmente um grupo de palavras com uma propriedade especial. Ele estava procurando por um regex que corresponda a cadeias de caracteres como ||||||||onde o número de |é primo. Eu imediatamente disse a...
Vamos supor que eu tenho duas funções FFF e GGG e estou interessado em determinar se F(x)=∫G(x)dx.F(x)=∫G(x)dx.F(x) = \int G(x)dx. Vamos supor que minhas funções sejam compostas por funções elementares (polinômios, exponenciais, logs e funções trigonométricas), mas não, digamos, séries de...
Eu tenho uma matriz de banda - uma matriz esparsa, quadrada e simétrica cuja estrutura se parece com a seguinte:N×NN×NN \times N Aqui, a área sob as listras azuis são os elementos diferentes de zero; tudo o resto é zero Existe um algoritmo para inverter esse tipo de matriz que é simples, mas...