Tenho um problema que suspeito ser NP-completo. É fácil provar que é NP. Minha linha de pensamento atual gira em torno do uso de uma redução da mochila, mas resultaria em instâncias de 0-1-mochila com o valor de cada item igual ao seu peso. Ainda está NP-completo? Ou eu estou esquecendo de alguma...
No capítulo 1 de Fundamentos práticos para linguagens de programação , o autor menciona que as árvores de sintaxe abstratas estão associadas a tipos . Intuitivamente, as classificações são como tipos, mas eu gostaria de saber se elas têm uma definição precisa. Ficaria feliz se algumas referências...
Estou tentando entender por que o quicksort usando a partição Lomuto e um pivô fixo está executando de maneira incorreta, mas de maneira geral ruim, em entradas geradas aleatoriamente. Estou pensando que, embora as entradas sejam geradas aleatoriamente, pode haver muita ordem para as seqüências,...
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...
Estou investigando a aprendizagem do PAC (teoria da aprendizagem computacional) como iniciante, sem nenhum conhecimento prévio de aprendizado de máquina / IA. Estou investigando o modelo principalmente de um ponto de vista histórico. Para isso, as coisas mais importantes são, obviamente, os...
O que são polígonos degenerados? Como se verifica se um determinado par de polígonos é degenerado ou
Eu sou um graduado em CS (mas não sei muito sobre IA, mas não fiz nenhum curso sobre ela, e definitivamente nada sobre NN até recentemente), que está prestes a fazer um projeto escolar em AI, então escolho alguns tópicos sobre indução gramatical (da linguagem livre de contexto e talvez de algum...
Na teoria dos tipos, se alguém permite que o tipo seja um membro de si mesmo, isso torna a teoria inconsistente. Eu o entendo por analogia ao paradoxo de Russel na Teoria dos Conjuntos, mas preferiria ver isso na Teoria dos Tipos. Existe um pequeno exemplo do equivalente na teoria dos...
Estou gerando DFAs aleatórios para testar um algoritmo de redução de DFA neles. O algoritmo que estou usando agora é o seguinte: para cada estado , para cada símbolo no alfabeto c , adicione δ ( q , c ) a algum estado aleatório. Cada estado tem a mesma probabilidade de se tornar um estado...
Para meu diploma de CS, tive a maior parte do conhecimento matemático "padrão": Cálculo: números diferenciais, integrais e complexos Álgebra: praticamente os conceitos até os campos. Teoria dos Números: XGCD e coisas relacionadas, principalmente para criptografia. Álgebra linear: até autovetores...
Eu tentei esse problema no CLRS (página 39, 2.3-4) Podemos expressar a classificação por inserção como um procedimento recursivo da seguinte maneira. Para classificar A[1... n], classificamos recursivamente A[1... n-1]e depois inserimos A[n]na matriz classificada A[1... n-1]. Escreva uma...
Estou tentando entender os sistemas interativos de provas e tentei o seguinte problema como exercício. Sabemos que PH⊆PSPACEPH⊆PSPACEPH \subseteq PSPACE e IP=PSPACEIP=PSPACEIP=PSPACE , então crie sistemas de prova interativos (fáceis de entender) para PHPHPH ? Um sistema de prova interativa para...
Estou procurando uma gramática sensível ao contexto que descreva o seguinte idioma: .L = { w w ∣ w ∈ { a , b }∗, | w | ≥ 1 }L={ww∣w∈{a,b}∗,|w|≥1}L = \{ ww \mid w ∈ \{a,b\}^{\ast}, |w| ≥ 1\} Eu tenho problemas com o fato de que nenhuma regra como é permitida e, portanto, não posso colocar nenhum...
Uma equipe decidiu que todas as manhãs alguém deveria trazer croissants para todos. Não deve ser a mesma pessoa todas as vezes; portanto, deve haver um sistema para determinar de quem é a próxima vez. O objetivo desta pergunta é determinar um algoritmo para decidir de quem será a vez de trazer...
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...
Por que os pesos iniciais das redes neurais são inicializados como números aleatórios? Eu tinha lido em algum lugar que isso é feito para "quebrar a simetria" e isso faz a rede neural aprender mais rápido. Como quebrar a simetria faz com que ela aprenda mais rápido? Será que inicializar os pesos...
Gostaria de provar um ponto uniformemente aleatório em um polígono ... Se provar um número grande, eles provavelmente cairão em duas regiões se tiverem a mesma área. Isso seria bem simples se fosse um quadrado, pois eu usaria dois números aleatórios em [0,1] como minhas coordenadas. A forma que...
Ao inserir um item em uma árvore de dispersão, as rotações são realizadas em pares com base em um padrão em zig-zag ou zig-zig. Quando há um número ímpar de rotações a serem executadas, pode-se fazer a rotação extra começando na folha ou salvar a rotação extra e fazê-lo na raiz. Isso importa? Por...
Dado um programa que consiste em variáveis e instruções que modificam essas variáveis e uma primitiva de sincronização (um monitor, mutex, sincronização de java ou bloqueio de C #), é possível provar que esse programa é seguro para threads? Existe mesmo um modelo formal para descrever coisas...
Como a pergunta indica, como podemos provar que ?NTIME(f(n))⊆DSPACE(f(n))NTIME(f(n))⊆DSPACE(f(n))\textbf{NTIME}(f(n)) \subseteq \textbf{DSPACE}(f(n)) Alguém pode me indicar uma prova ou descrevê-la aqui?