Eu tenho lido sobre as diferenças entre serializabilidade e linearizabilidade , que são critérios de consistência para sistemas replicados, como bancos de dados replicados. No entanto, não sei em quais casos a linearizabilidade seria necessária, mesmo que seja mais forte que a serialização. Você...
Vamos linguagem L⊆Σ∗L⊆Σ∗\mathcal{L} \subseteq \Sigma^* ser regular. Uma fatoração de LL\mathcal{L} é um par máximo (X,Y)(X,Y)(X,Y) de conjuntos de palavras com X⋅Y⊆LX⋅Y⊆LX \cdot Y \subseteq \mathcal{L} X≠∅≠YX≠∅≠YX \neq \emptyset \neq Y , onde X⋅Y={xyX⋅Y={xyX \cdot Y = \{xy | x∈X,y∈Y}x∈X,y∈Y}x...
Existe alguma maneira natural ou notável de relacionar ou vincular grupos de matemática e linguagens formais de CS ou algum outro conceito central de CS, por exemplo, máquinas de Turing? Estou à procura de referências / aplicações. No entanto, note que estou ciente do vínculo entre semigrupos e...
Estou tentando entender o que se entende por "determinístico" em expressões como "gramática determinística livre de contexto". (Existem "coisas" mais determinísticas neste campo). Eu apreciaria um exemplo mais do que a explicação mais elaborada! Se possível. Minha principal fonte de confusão é não...
Usando o seguinte algoritmo recursivo de Fibonacci: def fib(n): if n==0: return 0 elif n==1 return 1 return (fib(n-1)+fib(n-2)) Se eu inserir o número 5 para encontrar fib (5), sei que isso produzirá 5, mas como examino a complexidade desse algoritmo? Como calculo as etapas...
Qual é a complexidade de e \ text {MAX-2-XOR-SAT} ? Eles estão em P? Eles são NP-difíceis?MIN-2-XOR-SATMIN-2-XOR-SAT\text{MIN-2-XOR-SAT}MAX-2-XOR-SATMAX-2-XOR-SAT\text{MAX-2-XOR-SAT} Para formalizar isso com mais precisão, vamos Φ(x)=∧niCi,Φ(x)=∧inCi,\Phi\left(\mathbf...
Estou procurando um algoritmo eficiente para o seguinte problema ou uma prova de dureza NP. Deixe ΣΣ\Sigma ser um conjunto e um ⊆ P ( Σ )A⊆P(Σ)A\subseteq\mathcal{P}(\Sigma) um conjunto de subconjuntos de ΣΣ\Sigma . Encontrar uma sequência w ∈ Σ *w∈Σ∗w\in \Sigma^* de menos comprimento tal que, para...
Eu estava lendo a entrada da Wikipedia sobre Complexidade Kolmogorov ( graças a esta pergunta ), que afirma: Pode-se mostrar que a complexidade Kolmogorov de qualquer string não pode ser mais do que alguns bytes maior que o comprimento da própria string. Por que você precisaria de algo além da...
A programação funcional tem o muito elegante Lambda Calculus e suas variantes como uma teoria de backup. Existe algo assim para OOP? O que é uma abstração para o modelo orientado a
Defina o idioma como . Em outras palavras, contém as palavras que não podem ser expressas como algumas palavras repetidas duas vezes. é livre de contexto ou não?LLLL={a,b}∗−{ww∣w∈{a,b}∗}L={a,b}∗−{ww∣w∈{a,b}∗}L = \{a, b\}^* - \{ww\mid w \in \{a, b\}^*\}LLLLLL Tentei cruzar com , mas ainda não posso...
Eu gostaria de um exemplo de quine no cálculo lambda puro . Fiquei bastante surpreso por não encontrar um pesquisando no Google. A página quine lista os quines para muitos idiomas "reais", mas não para o cálculo lambda. Obviamente, isso significa definir o que quero dizer com uma solução no...
É um fato bem conhecido que "Correlação não é igual a causalidade", mas o aprendizado de máquina parece ser quase inteiramente baseado em correlação. Estou trabalhando em um sistema para estimar o desempenho dos alunos em perguntas com base em seus desempenhos anteriores. Ao contrário de outras...
Eu li na Wikipedia e alguns outros textos que O problema de parada é [...] decidível para máquinas determinísticas de autômatos limitados lineares (LBAs) [e] com memória finita. Mas, anteriormente, está escrito que o problema de parada é um problema indecidível e, portanto, a TM não pode...
Apropois à sugestão de Raphael sobre a interseção de dois NPDAs : Deixe e A 2 NPDA para linguagens sem contexto L 1 e L 2 , respectivamente. Supondo que sabemos que L = L 1 ∩ L 2 é livre de contexto, podemos (efetivamente) construir o NPDA A para L ?A1A1A_1A2A2A_2L1L1L_1L2L2L_2L=L1∩L2L=L1∩L2L =...
Estou pensando sobre a relação entre complexidade computacional e a hierarquia de Chomsky, em geral. Em particular, se eu souber que algum problema é NP-completo, segue-se que o idioma desse problema não é livre de contexto? Por exemplo, o problema do clique é NP-completo. Segue-se que a...
A página da Wikipedia sobre algoritmos de multiplicação menciona uma página interessante de Donald Knuth . Basicamente, envolve combinar a multiplicação por transformada de fourier com uma tabela pré-computada de multiplicações de tamanho logaritmicamente. É executado em tempo linear. O artigo age...
Eu pensei que esta pergunta é melhor atendida na parte CS do Stack Exchange. Agora que temos GPGPUs com idiomas como CUDA e OpenCL, as extensões SIMD multimídia (SSE / AVX / NEON) ainda servem a um propósito? Li recentemente um artigo sobre como as instruções SSE poderiam ser usadas para acelerar...
Nossos computadores atuais usam bits, então eles usam o sistema de números binários. Mas ouvi dizer que os futuros computadores quânticos usarão qubits em vez de bits simples. Como na palavra "qubit" existe a palavra "bi", pensei primeiro que isso significava que computadores quânticos usariam...
Quando ocorre uma interrupção, o processador antecipa o processo atual e chama o código do kernel para lidar com a interrupção. Como o processador sabe onde entrar no kernel? Entendo que existem manipuladores de interrupção que podem ser instalados para cada linha de interrupção. Mas como o...
Alguns hipervisores otimizam o uso da memória usando um método chamado balão (pelo menos é o que a KVM chama), esse método deduplica a memória entre VMs e define páginas comuns como somente leitura com cópia na gravação. É o oposto de uma chamada de bifurcação. É possível implementar no nível do...