Ciência da Computação

Estou construindo um autômato finito determinístico (DFA) para um idioma de todas as strings definidas sobre cujo comprimento é par e o número de s é ímpar. Eu construí cada DFA separadamente e depois combinei:{0,1}{0,1}\{0,1\}111 O procedimento fornecido para combinar DFAs está correto? EDIT: Originalmente escreveu união; realmente fazendo o …

7 automata  regular-languages  finite-automata 

L1L1L_1é uma linguagem recursivamente enumerável sobre algum alfabeto . Um algoritmo enumera eficazmente as suas palavras como . é outro idioma sobre como Considere as seguintes afirmações.ΣΣ\Sigmaw1,w2,...w1,w2,...w_1, w_2, ... L2L2L_2Σ∪{#}Σ∪{#}\Sigma \cup \{\#\}{wi#wj:wi,wj∈L1,i&lt;j}{wi#wj:wi,wj∈L1,i&lt;j}\{w_i\#w_j : w_i, w_j \in L_1, i < j\} L1L1L_1 é recursivo implica é recursivoL2L2L_2 L2L2L_2 é recursivo implica …

7 formal-languages  computability 

Pode haver um grande número de algoritmos propostos para gerar gráficos que satisfaçam algumas propriedades comuns (por exemplo, coeficiente de agrupamento, comprimento médio do caminho mais curto, distribuição de graus, etc.). Minha pergunta diz respeito a um caso específico: quero gerar alguns gráficos regulares não direcionados (ou seja, cada nó …

7 algorithms  graph-theory  graphs  sampling 

Tenho dificuldades para entender a definição da classe Max-SNP (variante de otimização de NP estrito ), portanto, tenho que seguir a pergunta básica: If a problem is known to be Max-SNP hard, does this imply NP-hardness of the problem?

7 complexity-theory  np-hard 

Eu tenho uma pergunta sobre herança em linguagens de programação OO do tipo Java. Ele surgiu na minha classe de compilador, quando expliquei como compilar métodos e sua invocação. Eu estava usando Java como exemplo de linguagem de origem para compilar. Agora considere este programa Java. class A { public …

7 programming-languages  semantics  typing  object-oriented  java 

Existem N jogadores e M objetos, cada um dos objetos tem um valor. Cada jogador tem uma estratégia na escolha de um objeto. A cada rodada que um jogador escolhe um objeto, muitos jogadores podem escolher o mesmo objeto. No entanto, o valor de cada objeto é dividido igualmente entre …

7 machine-learning  probability-theory  modelling 

Fiz uma pergunta pedindo que eu escolhesse o idioma inerentemente ambíguo entre um conjunto de opções. eu1 1= {umanbmcmdn|m , n ≥ 1 } ∪ {umanbncmdm|m , n ≥ 1 }L1={anbmcmdn|m,n≥1}∪{anbncmdm|m,n≥1}L_1 = \{a^nb^mc^md^n \;|\; m,n \geq 1\}\cup \{a^nb^nc^md^m \;|\; m,n \geq 1\} um n dandand eu2= {umanbmcm|m , n ≥ …

7 formal-languages  formal-grammars  context-free  ambiguity 

A maioria dos exemplos clássicos de algoritmos de programação dinâmica possui tempos de execução como ou . Existem exemplos naturais com um tempo de execução ?nnnn2n2n^2O ( n logn )O(nregistro⁡n)O(n \log n)

7 algorithms  reference-request  dynamic-programming 

Eu tenho dois programas de espaço de log FFF e GGG. Programa FFF receberá entrada na matriz A [ 1 .. n ]UMA[1 ..n]A[1..n] e criará a matriz de saída B [ 1 .. n ]B[1 ..n]B[1..n]. Programa GGG receberá como entrada BBB como criado por FFF e criar a …

7 algorithms  complexity-theory  simulation  space-complexity 

Eu sei que a estrutura de dados do conjunto separado é usada para acompanhar os componentes conectados de um gráfico não direcionado quando as arestas são adicionadas ao gráfico dinamicamente. Eu também sei que isso é usado no algoritmo de Kruskal para árvores de abrangência mínima . Quais são as …

7 algorithms  graph-theory  data-structures  graphs 

Não sei como desenhar paralelo entre o algoritmo Wagner-Fischer e o dtw algo. Nos dois casos, queremos encontrar a distância de cada combinação de índice (i, j). Em Wagner-Fischer, iniciamos a distância pelo número de inserções que teríamos que fazer de uma sequência vazia para outra. let wagnerFischer (s: string) …

7 algorithms  dynamic-programming  string-metrics  edit-distance  time-series-analysis 

Eu sou novo neste tópico e, em alguns artigos científicos que tenho lido sobre previsão em esportes, encontrei o termo raciocínio baseado em regras. É este termo o mesmo que um raciocínio semântico (onde as duas direções principais estão encadeadas para frente e para trás?). Se sim, você pode apontar …

7 terminology  artificial-intelligence  data-mining 

Introdução: Estou trabalhando com um enorme conjunto de dados que preciso plotar no navegador e, como pode haver até 1 milhão de pontos, minha ideia foi criar representações diferentes para diferentes níveis de zoom digamos que eu tenho 100k pontos, eu calcularia a média de dois a dois até obter …

7 computational-geometry  approximation  graphics 

Um certo partido político quer incentivar as mulheres a participar de suas eleições primárias, então elas decidem que a 4ª posição é reservada para uma mulher. Ou seja, se não houver mulher nas 4 primeiras posições, a mulher com o maior número de votos será promovida para a 4ª posição …

7 game-theory  voting 

Estou procurando uma aproximação de ΘΘ\ThetaT( n ) = T( n - 1 ) + cn2T(n)=T(n−1)+cn2T(n) = T(n-1) + cn^{2} Isto é o que eu tenho até agora: T( n - 1 )T( N )T( n - 2 )T( N )T( n - 3 )T( N )= T( n - …

7 time-complexity  algorithm-analysis  proof-techniques  recurrence-relation