Eu estou querendo saber o que são os recentes avanços na teoria de banco de dados relacional e domínios relacionados? Estou interessado em novas abordagens, linguagens de consulta (alternativas ao SQL e / ou extensões a ele), produtos (proprietário e código aberto, embora eu esteja muito mais...
Quais são os problemas padrão dos quais podemos reduzir para provar limites inferiores?Ω ( n logn )Ω(nlogn)\Omega(n\log n) Obviamente, declare outros problemas além de classificação e distinção de elementos.
No meu trabalho, surge o seguinte problema: Existe um algoritmo conhecido que aproxima o número cromático de um gráfico sem um conjunto independente de ordem 65? (Portanto, alpha (G) <= 64 é conhecido e | V | / 64 é um valor mais baixo trivial, | V | um limite superior trivial. Mas existem...
Eu encontrei um problema na prova de redução de assunto de Barendregt (Thm 4.2.5 do cálculo Lambda com tipos ). A última etapa da prova (página 60) diz: "e, portanto, pelo lema 4.1.19 (1), . "Γ,x:ρ⊢P:σ′Γ,x:ρ⊢P:σ′\quad\Gamma,x:\rho\vdash P:\sigma' No entanto, de acordo com o Lema 4.1.19 (1) ele...
Considere o seguinte problema de teste de associação ao subgrupo abeliano . Entradas: Um grupo abeliano finito G=Zd1×Zd1…×ZdmG=Zd1×Zd1…×ZdmG=\mathbb{Z}_{d_1}\times\mathbb{Z}_{d_1}\ldots\times\mathbb{Z}_{d_m} com arbitrariamente grande didid_i . Um gerador de conjunto...
Como é sabido, os problemas de otimização de NP-hard podem ter muitas proporções de aproximação diferentes, variando de ter um PTAS a não ser aproximado em nenhum fator. No meio, que tem várias constantes, , p ó l y ( n ) , etc.O ( logn )O(logn)O(\log n)p o l y( N )poly(n)poly(n) O que se sabe...
Estou procurando um idioma L com as seguintes propriedades: L não deve ser livre de contexto. O complemento de L não deve ser livre de contexto. (Tudo o que você vê nos livros didáticos como exemplos principais de linguagens sem contexto parece falhar neste segundo requisito.) Por exemplo, eu sei...
O peso de uma cadeia binária x ∈ { 0 , 1 } n é o número de unidades na cadeia. O que acontece se estivermos interessados em calcular uma função monótona em entradas com poucas?| x ||x||x|x ∈ { 0 , 1 }nx∈{0,1}nx\in\{0,1\}^n Sabemos que decidir se um gráfico possui uma classe é difícil para...
Dado um endofuncor , podemos definir funções de observação como funções polimórficas para qualquer álgebra- , ou seja, é definido para qualquer álgebra- emaranhado . Outra maneira de olhar para as funções de observação é como funções da álgebra final se existir . Obtemos o polimorfismo...
Geralmente, é mais simples argumentar sobre cálculo onde a limitação é a finitude da computação, em vez de um limite como "computável em quantidade de tempo polinomial". Na teoria das linguagens formais, por exemplo, em vez de usar o para caracterizar o período aperiódico, é mais fácil usar...
Eu só quero conhecer alguns exemplos das funções que podem ser calculadas pelo cálculo lambda não digitado, mas não pelo cálculo lambda digitado. Como eu sou iniciante, alguma reiteração de informações básicas seria apreciada. Obrigado. Edit: pelo cálculo lambda digitado, eu pretendia conhecer o...
Digamos que um tenha um idioma , mas não se sabe quais strings são realmente parte do idioma. Tudo o que se tem é uma vista finita da língua: um conjunto finito de cordas Um ⊆ L que são conhecidos por estar na língua, e um conjunto finito de cadeias B ⊆ ( Σ * ∖ G ) que são conhecidos por não ser no...
Estou procurando um algoritmo rápido para calcular o fluxo máximo em gráficos dinâmicos. ou seja, dado um gráfico e , temos o fluxo máximo em de para . Em seguida, novos / antigo nó adicionado / eliminadas com as suas arestas correspondentes de modo a formar um gráfico . O que é um fluxo máximo no...
Dado um filtro de bloom de tamanho N-bits e K funções hash, dos quais M-bits (onde M <= N) do filtro estão definidos. É possível aproximar o número de elementos inseridos no filtro de bloom? Exemplo Simples Eu estive refletindo sobre o exemplo a seguir, assumindo um BF de 100 bits e 5 funções...
Estive procurando uma formalização do teorema da compactação para o FOL, mas não encontrei nenhum. Alguém conhece esse desenvolvimento ou trabalho
Existem problemas decidíveis que, para nenhum algoritmo que resolva o problema, podemos dar um tempo limitado em função do comprimento n da instância de entrada? Cheguei a essa pergunta porque estava pensando no seguinte: Suponha que temos um problema recursivamente enumerável, mas indecidível....
Existe um algoritmo de tempo linear para dividir o texto uniformemente em linhas de largura máxima. Ele usa SMAWK (ou Knuth & Plass) e significa "uniformemente": http://en.wikipedia.org/wiki/Word_wrap#Minimum_raggedness Existe um algoritmo ou uma função de custo côncavo para o algoritmo...
Espero que alguém conheça isso, por isso não preciso ler a literatura ... x1, … , Xnx1,…,xnx_1, \ldots, x_nn - 1n−1n-1[ x1, x2] , [ x2, x3] , … , [ Xn - 1, xn][x1,x2],[x2,x3],…,[xn−1,xn][x_1, x_2], [x_2, x_3], \ldots, [x_{n-1},x_n]kkkkkkpEu= ( i , xEu)pi=(i,xi)p_i =(i,x_i)kkk kkkO ( n logk...
Arora e Barak mostram que pode ser expresso como ou seja, o conjunto de idiomas que apresentaram reduções aleatórias em 3SAT. também é uma generalização aleatória natural de na medida em que você substitui o verificador determinístico por um verificador
O livro A = B de Petkovsek, Wilf e Zeilberger descreve algoritmos para calcular diferentes somas de binômios. AFAIK, esses algoritmos ainda estão sendo aprimorados por diferentes autores. Você sabe onde podemos encontrar as implementações mais atualizadas desses algoritmos? E você sabe se existem...