Ciência da Computação

Eu sou apresentado com uma rede de comparação. Como posso determinar se a rede de comparação é uma rede de classificação? Na imagem abaixo, há um exemplo de uma rede de classificação por seleção e inserção. A intenção é ter uma rede de comparação e classificar valores numéricos. Se eu …

9 sorting 

Está invertendo uma matriz na classe Complexidade ?PP\text{P} Desde o tempo de execução, eu diria que sim O (n3)O(n3)\mathcal{O}(n^3) mas a matriz invertida pode conter entradas em que o tamanho não é polinomialmente limitado pela entrada?

9 complexity-theory 

O 2 em um algoritmo de aproximação 2 significa que a solução está dentro de 2 * OPT ou OPT / 2?

9 algorithms  algorithm-analysis  np  approximation  polynomial-time 

Digamos que as listas sejam definidas como List a = Nil | Cons a (List a) Então, em Haskell, List xo maior ou o menos fixo? Estou perguntando porque o lfp deve excluir listas infinitas (mas você pode construí-las em Haskell), enquanto o gfp deve excluir as finitas.

9 programming-languages  type-theory  functional-programming  semantics  category-theory 

StackOverflow me apontou aqui, então a pergunta pode ser um pouco nos termos de um leigo. A Wikipedia define funções puras como Na programação de computadores, uma função pode ser descrita como uma função pura se ambas as instruções sobre a função se mantiverem: A função sempre avalia o mesmo …

9 terminology  functional-programming  semantics 

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 ele que nunca funcionaria, porque …

9 formal-languages  machine-models  logic  boolean-algebra  xor  cryptography  algorithms  machine-learning  algorithms  paging  virtual-memory  programming-languages  object-oriented  algorithms  search-algorithms  strings  binary-search  formal-grammars  context-free  algorithms  algorithms  correctness-proof  greedy-algorithms  permutations  logic  first-order-logic  logic-programming  algorithms  complexity-theory  computability  programming-languages  complexity-theory  complexity-classes  quantum-computing  reductions  formal-languages  programming-languages  semantics  operational-semantics  small-step-semantics  sets  first-order-logic  computer-networks  communication-protocols 

Aparentemente, um byte se estabeleceu como 8 bits (isso está correto?). Normalmente, a RAM e o NOR-flash podem ser acessados ​​em um nível bastante granular, mas cabe à arquitetura do sistema determinar se a menor unidade endereçável é 8 bits, 16 bits ou qualquer outra potência de número de dois …

9 terminology  computer-architecture  memory-management  memory-access 

Segundo a Wikipedia, o problema do conjunto independente é um caso especial do problema de embalagem do conjunto . Mas, parece-me que esses problemas são equivalentes. O problema de pesquisa do Conjunto Independente é: dado um gráficoG(V,E)G(V,E)G(V,E) e um inteiro nnn, encontrar nnn vértices não dois dos quais são adjacentes. …

9 algorithms  graphs  sets  packing 

Dada qualquer linguagem regular infinita eueuL, como posso provar que eueuL pode ser particionado em 2 idiomas regulares infinitos separados eu1,eu2eu1,eu2L_1, L_2? Isso é:eu1∪eu2= Leu1∪eu2=euL_1 \cup L_2 = L, eu1∩eu2= ∅eu1∩eu2=∅L_1 \cap L_2 = \varnothinge eu1eu1L_1 e eu2eu2L_2 são infinitos e regulares. Até agora, pensei em: usando o lema de …

9 formal-languages  regular-languages  finite-automata 

Quero criar uma maneira rápida de detectar se um arquivo pode ou não ser o mesmo. Para quase 100% de certeza, eu usaria um algoritmo de hash existente, por exemplo, SHA256. No entanto, espera-se que os arquivos sejam enormes arquivos de vídeo com vários GB, portanto, o cálculo do hash …

9 hash  performance 

Sabe-se que as lógicas temporais LTL, CTL, CTL * podem ser traduzidas / incorporadas no μμ\mu-cálculo. Em outras palavras, o (modal)μμ\mu-calculus inclui essas lógicas (ou seja, é mais expressivo). Você poderia, por favor, me explicar / apontar para papéis / livros que elaboram esse assunto? Em particular, existem propriedades concretas …

9 logic  simulation  linear-temporal-logic  mu-calculus  computation-tree-logic 

Estou procurando um artigo fácil e introdutório sobre a prova do Teorema de Courcelle . Também estou interessado em sua conexão com a complexidade parametrizada em relação à largura da árvore . Eu sou apenas um iniciante neste campo. Alguma sugestão?

9 complexity-theory  graph-theory  reference-request  discrete-mathematics  parameterized-complexity 

É possível usar tipos dependentes na implementação existente do Typed Racket ? (ou seja, eles existem nele?) É razoavelmente possível implementar um sistema de tipos dependentes usando raquete digitada?

9 programming-languages  typing  type-checking  dependent-types  lisp 

Eu implementei uma rede neural (usando CUDA) com 2 camadas. (2 neurônios por camada). Estou tentando fazê-lo aprender duas funções polinomiais quadráticas simples usando a retropropagação . Mas, em vez de convergir, é divergente (a saída está se tornando infinita) Aqui estão mais alguns detalhes sobre o que eu tentei: …

9 machine-learning  artificial-intelligence  neural-networks 

Eu tenho lido alguns artigos formais de teoria da linguagem e me deparei com um termo que não entendo. O documento geralmente se refere a um conjunto "efetivamente fechado sob interseção" ou outras operações. O que "efetivamente" significa aqui? Como isso difere do fechamento normal? Para referência, o artigo em …

9 formal-languages  terminology  computability  automata  closure-properties