É 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
Eu uso o Mathematica para resolver problemas. Eu tenho uma pergunta sobre matriz inversa. se eu quero apenas um elemento da matriz inversa, existe um algoritmo mais rápido do que usar Inversepara calcular toda a matriz inversa e extrair o elemento que eu
Eu tenho aprendido sobre redes neurais e SVMs. Os tutoriais que li enfatizaram a importância da kernelização para os SVMs. Sem uma função do kernel, os SVMs são apenas um classificador linear. Com a kernelização, os SVMs também podem incorporar recursos não lineares, o que os torna um classificador...
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
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...
Parece-me estranho que o TSP negue a possibilidade de cidades repetidas. O objetivo deste vendedor ambulante é ir o mais rápido possível e visitar todas as cidades, certo? E se for mais rápido viajar por uma cidade em que você já
Um dos meus idosos teve uma entrevista de emprego e ele foi perguntado por que é chamado de dinâmico. Ele não conseguiu responder e, depois de desistir, o entrevistador disse que não havia nada de dinâmico nisso, é chamado assim. Isso é difícil de acreditar. Refere-se ao fato de que os...
Fundo.Estou escrevendo um código para a classificação semi-automática, usando a classificação por pares como parte do processo de classificação. Os alunos recebem pares de ensaios de cada vez, e os alunos têm um controle deslizante para escolher qual é o melhor e o quanto é melhor. por exemplo, o...
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...
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...
Dado um dígrafo ponderado e uma função de peso , normalmente é possível usar o algoritmo de Dijkstra para obter o caminho mais curto. O que me interessa é como obter o caminho mais curto curto e assim por diante.G = V, EG=V,EG=V,Ed( u , v )d(você,v)d(u,v)2n d2nd2^{nd}3r d3rd3^{rd} Questões:...
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 SHA256 pode...
Estou ciente de que alguns ints têm maior ou menor complexidade de Kolmogorov. Por exemplo, o número 5.41126806512tem uma complexidade muito baixa, como pode ser expresso por 17/pi. Também estou ciente de que, embora o KC varie dependendo da linguagem da expressão, é sempre o mesmo até uma...
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...
Estou procurando a implementação do tipo de dados definido. Ou seja, temos que mantenha um subconjunto dinâmico SSS (de tamanho nnn ) do universo U={0,1,2,3,…,u–1}U={0,1,2,3,…,u–1}U = \{0, 1, 2, 3, \dots , u – 1\} de tamanho uuu com operações insert(x)(adicione um elemento xa SSS ) e...
Conhecendo as frequências de cada símbolo, é possível determinar a altura máxima da árvore sem aplicar o algoritmo de Huffman? Existe uma fórmula que dê altura a essa
Como se pode selecionar o número adequado de parâmetros para um algoritmo genético modelar um determinado sistema? Por exemplo, suponha que você queira otimizar a produção de carros e tenha 1.000 medições de eficiência horária em várias tarefas para cada um dos 1.000 funcionários diferentes....
Para muitos projetos de aprendizado de máquina que realizamos, começamos com o classificador k vizinho mais próximo. Este é um classificador inicial ideal, pois geralmente temos tempo suficiente para calcular todas as distâncias e o número de parâmetros é limitado (k, distância métrica e...
Estou tentando reconhecer cursos de água a partir de fotografias aéreas (digamos, do Google Maps). Os governos locais costumam ter dados GIS que indicam onde estão as vias navegáveis (e estradas, edifícios etc.), mas os dados da água neles são geralmente um tanto imprecisos e podemos ser capazes...
Sou estudante de graduação apenas começando a ler sobre computação reversível. Eu sei que, por causa do princípio de Landauer, cálculos irreversíveis dissipam calor (e reversíveis não). Eu falei com meu professor, que nunca tinha ouvido falar em computação reversível antes, e ele estava tendo...