Ciência da Computação

De acordo com Immerman , a classe de complexidade associada às consultas SQL é exatamente a classe de consultas seguras em (consultas de primeira ordem e operador de contagem): o SQL captura consultas seguras. (Em outras palavras, todas as consultas SQL têm uma complexidade em \ mathsf {Q (FO (COUNT))} …

20 database-theory  complexity-theory  finite-model-theory  descriptive-complexity 

Gostaria de saber se um tipo universalmente quantificado : é um subtipo ou caso especial, de um tipo quantificado existencialmente com a mesma assinatura:T a = ∀ X : { a ∈ X , f : X → { T , F } } T e T e = ∃ …

20 logic  type-theory  typing 

Considere árvores binárias enraizadas e sem rótulo. Nós podemos comprimir essas árvores: sempre que houver indicações de sub-árvores e com (interpretação a igualdade estrutural), armazenamos (WLOG) e substituir todos os ponteiros para com ponteiros para . Veja a resposta de uli para um exemplo.T ′ T = T ′ = …

20 algorithms  data-structures  trees  binary-trees 

Considere duas possibilidades para o problema P vs. NP: P = NP e P NP.≠≠\neq Seja Q um dos problemas conhecidos de NP-hard. Para provar P = NP, precisamos projetar um algoritmo de tempo polinomial único A para Q e provar que A resolve Q corretamente. Para provar P NP, …

20 complexity-theory  p-vs-np 

Muitos algoritmos de fluxo máximo que eu normalmente vejo implementados, o algoritmo de Dinic, push relabel e outros, podem ter seu custo de tempo assintótico aprimorado através do uso de árvores dinâmicas (também conhecidas como árvores de corte de link). O reencaminhamento por push é executado em ou O ( …

20 reference-request  graphs  data-structures  network-flow 

Considere uma representação de ponto fixo que pode ser considerada como um caso degenerado de um número flutuante. É perfeitamente possível usar o complemento de 2 para números negativos. Mas por que um bit de sinal é necessário para números de ponto flutuante, os bits de mantissa não deveriam usar …

20 computer-architecture  floating-point  number-formats 

Muitas vezes, se as complexidades estão tendo constantes como 3n, negligenciamos essa constante e dizemos O (n) e não O (3n). Não consigo entender como podemos negligenciar essa mudança tríplice? Alguma coisa está variando 3 vezes mais rapidamente que outra! Por que negligenciamos esse fato?

20 complexity-theory  asymptotics  landau-notation 

Gostaria de saber como encontrar a circunferência de um gráfico esparso e não direcionado. Por esparso, quero dizer . Por ótimo, quero dizer a menor complexidade de tempo.|E|=O(|V|)|E|=O(|V|)|E|=O(|V|) Pensei em alguma modificação no algoritmo de Tarjan para gráficos não direcionados, mas não encontrei bons resultados. Na verdade, eu pensei que, …

20 algorithms  time-complexity  graph-theory 

Bem, esta é uma pergunta geral. E se alguém quiser torná-lo específico da implementação, preferirei coisas relacionadas ao Unix. Mas primeiro é necessário conhecer os seguintes problemas em geral: Eu li processo único pode ter vários segmentos. Vários threads do mesmo processo compartilham coisas entre eles. Eu quero saber o …

20 operating-systems  threads 

A linguagem assembly é convertida em linguagem de máquina pelo assembler. Por que um compilador converteria linguagem de alto nível em assembly? Não é possível converter diretamente do idioma de alto nível para o código da máquina?

19 compilers  code-generation  assembly 

É possível que e a cardinalidade de P sejam iguais à cardinalidade de N P ? Ou P ≠ N P significa que P e N P devem ter cardinalidades diferentes?P ≠ N PP≠NP\mathsf{P} \not = \mathsf{NP}PP\mathsf{P}N PNP\mathsf{NP}P ≠ N PP≠NP\mathsf{P} \not = \mathsf{NP}PP\mathsf{P}N PNP\mathsf{NP}

19 complexity-classes  p-vs-np 

Às vezes, é fácil identificar a complexidade de tempo de um algoritmo, examinando-o cuidadosamente. Algoritmos com dois loops aninhados de são obviamente . Algoritmos que explore todas as combinações possíveis de grupos de dois valores são obviamente .N 2 N 2 NNNNN2N2N^2NNN2N2N2^N No entanto, não sei como "detectar" um algoritmo …

19 algorithm-analysis  time-complexity  intuition 

Tenho dados reais que estou usando para um jogo de cartas simulado. Estou interessado apenas nas fileiras das cartas, não nos naipes. No entanto, é um baralho de cartas padrão , portanto, existem apenas de cada nível possível no baralho. O baralho é bem baralhado para cada mão e, em …

19 data-compression 

Como existe apenas uma constante entre as bases dos logaritmos, não é correto escrever , em oposição a , ou qualquer que seja o base pode ser?f( n ) = Ω ( logn )f(n)=Ω(registro⁡n)f(n) = \Omega(\log{n})Ω ( log2n )Ω(registro2⁡n)\Omega(\log_2{n})

19 algorithms  time-complexity 

Na multiplicação de matrizes de Strassen, afirmamos um fato estranho (pelo menos para mim): a multiplicação de matrizes de dois 2 x 2 exige 7 multiplicações. Pergunta: Como provar que é impossível multiplicar duas matrizes 2 x 2 em 6 multiplicações? Observe que as matrizes estão sobre números inteiros.

19 algorithms  complexity-theory  lower-bounds