Ciência da Computação

De acordo com alguns slides que encontrei no google, a largura de árvore de qualquerk × kk×kk \times k gráfico de grade quadrada GGG é t w ( G ) = ktW(G)=ktw(G) = k. Comecei a pesquisar sobre largura de árvore e decomposição de árvores e, na maioria das vezes, …

8 graph-theory  planar-graphs  square-grid 

Meu problema é encontrar todas as soluções inteiras para um ILP. Como exemplo, estou usando um ILP com duas variáveis, mas posso ter mais de duas variáveis. Descrevo o método que atualmente uso para resolver esse problema próximo ao fim, mas estou interessado em saber se existe um algoritmo ou …

8 linear-programming 

Ontem, o StackOverflow ficou inoperante por meia hora. Mais tarde, eles escreveram um post sobre o assunto , detalhando que o problema surgiu da inesperadamente alta complexidade da correspondência de expressões regulares. Em resumo, a expressão regular a+b, quando executada na string aaaaaaaaaaaaaac, é executada emO(n2)O(n2)O(n^2) hora em que nnné …

8 algorithms  time-complexity  regular-expressions 

Em complexidade computacional: Abordagem moderna de Arora e Barak , é mencionado que No entanto, exigiremos que S( n ) > lognS(n)>registro⁡nS(n)> \log n desde que a fita de trabalho tenha comprimento nnn, e gostaríamos que a máquina conseguisse pelo menos lembrar o índice da célula da fita de entrada …

8 complexity-theory  turing-machines  space-complexity 

Eu trabalho em energia renovável. Minha empresa coleta muitos dados de equipamentos. Isso normalmente inclui dados do processo (como temperatura do transformador, tensões de linha, correntes, etc.) e alarmes discretos (por exemplo, disparo do disjuntor, valores de alarme do inversor, alarme de superaquecimento do transformador). Este é um exemplo aproximado …

8 machine-learning  data-mining  pattern-recognition  time-series-analysis 

Nos tipos dependentes, a unificação de padrões de Miller é usada para resolver um fragmento decidível da unificação de ordem superior. Isso permite que idiomas de tipo dependente contenham metavariáveis ​​ou argumentos implícitos. Existem muitos trabalhos que descrevem, dado um problema de unificação no fragmento de padrão, como encontrar uma …

8 reference-request  lambda-calculus  type-theory  dependent-types  unification 

fundo Eu estava jogando o jogo para PC "Darkest Dungeon" recentemente. No jogo, você precisa explorar as masmorras, que consistem em salas conectadas, como mostrado na figura abaixo. Aqui estão as regras: Você começa em sala fixa (entrada). Você não pode escolher por onde começar. O objetivo é visitar todos …

8 algorithms  graphs  optimization  shortest-path 

Um gráfico geométrico aleatório ( https://en.wikipedia.org/wiki/Random_geometric_graph ) é construído escolhendo pontos em aleatoriamente, de acordo com alguma distribuição, e definindo se , para alguns parâmetros r . Gráficos geométricos são úteis na modelagem de redes do mundo real.nnnRdRd\mathbb{R}^dpi∼pjpi∼pjp_i \sim p_j∥pi−pj∥&lt;r‖pi−pj‖&lt;r\|p_i - p_j\|<rrrr Por exemplo, podemos modelar um mapa de transporte …

8 algorithms  graphs 

Dado o fato de os qbits terem superposições e maior poder representacional em relação aos circuitos, existem problemas que requerem pelo menos tempo exponencial para garantir uma solução com um computador quântico? Eu verifiquei o Complexity Zoo e não consegui encontrar nenhuma classe de complexidade mencionada lá que se encaixa …

8 complexity-theory  quantum-computing 

Qual é a relação e a diferença entre um modelo de programação e um paradigma de programação? (especialmente ao falar sobre o modelo de programação e o paradigma de programação para uma linguagem de programação.) A Wikipedia tenta responder à minha pergunta em 1: Os paradigmas de programação também podem …

8 terminology  programming-languages  computation-models  programming-paradigms 

O idioma é obviamente regular - por exemplo, corresponde à expressão regular . Mas o seguinte argumento do lema de bombeamento parece mostrar que não é regular. O que deu errado?L={02n | n≥0}L={02n | n≥0}L = \{0^{2n} \space |\space n \ge 0 \}(00)∗(00)∗(00)^* Eu encontrei uma maneira de dividir uma …

8 formal-languages  regular-languages  proof-techniques  pumping-lemma  reference-question 

Os métodos de passagem em árvore explicados neste artigo da Wikipedia são pré-encomenda, pós-encomenda e em ordem. Esses métodos são limitados a árvores binárias? O algoritmo parece ser definido em termos de filho esquerdo e direito. Se pode ser usado para árvores n-árias, como? Uma árvore n-ária possui 1 pai …

8 graph-theory  trees  graph-traversal 

Comecei a ler sobre sistemas distribuídos pela primeira vez. Há uma prova bastante clara da impossibilidade de consenso em um modelo assíncrono usando alguma topologia combinatória. Por outro lado, existem vários protocolos de consenso usados ​​em sistemas práticos para sincronizar máquinas de estado distribuídas como Paxos e Raft. Parece que …

8 distributed-systems 

Eu tenho lido sobre o algoritmo Rabin Karp e fiquei pensando qual é o grande problema em manter nossos valores de hashes rotativos limitados por um valor Q? Eu pensava que, como nossa representação de número inteiro no computador típico é de 2 complementos, na verdade é exatamente equivalente a …

8 algorithms  strings  rolling-hash 

Dado um não dirigida, ligado, gráfico ponderada , onde é a função de ponderação e uma árvore de cobertura mínima (MST) de . Agora vamos diminuir o peso por de uma borda que não não pertencem a . G=(V,E,w)G=(V,E,w)G = (V,E,w)wwww:E→Rw:E→Rw: E \to \mathbb{R}TTTGGGkkkeeeTTT Como atualizar eficientemente para torná-lo um …

8 algorithms  graph-theory  correctness-proof  weighted-graphs  minimum-spanning-tree