Comecei a estudar autômatos não determinísticos usando o livro de Hopcroft e Ullman . Estou preso em um problema que achei muito interessante: Forneça um autômato finito não determinístico, aceitando todas as cadeias que tenham o mesmo valor quando avaliadas da esquerda para a direita e da...
Estou trabalhando em um sistema de classificação que classificará as entradas com base nos votos lançados ao longo de um período de tempo. Estou procurando um algoritmo que calcule uma pontuação que é como uma média, no entanto, gostaria que ela favorecesse pontuações mais recentes que as mais...
Ao configurar um ponto de acesso e selecionar WPA2, é necessário inserir manualmente uma chave pré-compartilhada (uma senha), PSK, no AP e no STA. Ambas as partes, AP e STA, devem se autenticar. Mas eles precisam fazer isso sem revelar o PSK. Ambos têm que provar à outra parte que conhecem o PSK...
Decidi ler conceitos de sistemas operacionais de Silberschatz, Galvin Gagne (8ª edição) durante o verão. Eu cheguei a um tópico que está me confundindo - interrompe e seu papel no que se refere aos sistemas operacionais. O texto diz que um sistema operacional iniciará um primeiro processo como...
Estou preso resolvendo o próximo exercício: Argumente que se é livre de contexto e R é regular, então L / R = { w ∣ ∃ x ∈ ReuLLRRR (ou seja, oquociente certo) é livre de contexto.L / R = { w ∣ ∃ x ∈ Rstw x ∈ L }L/R={w∣∃x∈Rs.twx∈L}L / R = \{ w \mid \exists x \in R \;\text{s.t}\; wx \in L\} Eu sei...
Quais algoritmos de aprendizado de máquina (além dos SVM) usam o princípio de minimização de risco estrutural
É sabido que toda função booleana pode ser realizada usando um circuito booleano de profundidade 2 (sobre as variáveis, negação e valores constantes) contendo portas AND na primeira nível e um único portão OR no nível superior; isso é simplesmente a representação DNF de f...
É um exercício trivial em autômatos finitos para mostrar que não existe um algoritmo capaz de detectar todos os vírus; no entanto, existem muitas empresas de software que vendem software antivírus. Existe alguma parte do CS que lida com vírus e anti-vírus? PS: Eu não estou perguntando sobre a...
Suponha que desejemos unir duas relações em um predicado. Isso está no NC? Percebo que uma prova de que não está na NC equivaleria a uma prova de que , então aceitaria a evidência de que é um problema em aberto como resposta.P≠NCP≠NCP\not=NC Estou interessado no caso geral e também nos casos...
Penso que no algoritmo de Peterson para exclusão mútua , se o primeiro processo para entrar na seção crítica morresse ou fosse cancelado, o outro processo entraria em loop para sempre, esperando para entrar na seção crítica. Na figura, se o processo 1 for parado, o restante dos processos por trás...
Queremos resolver um problema de fluxo de custo mínimo com um algoritmo genérico de cancelamento de ciclo negativo. Ou seja, começamos com um fluxo válido aleatório e, em seguida, não selecionamos nenhum ciclo "bom" negativo, como ciclos mínimos de custo médio, mas usamos a Bellman-Ford para...
Dado um idioma , como posso dizer diretamente, sem examinar as regras de produção, que esse idioma não é regular?L={anbncn}L={anbncn} L= \{a^n b^n c^n\} Eu poderia usar o lema de bombeamento, mas alguns caras estão dizendo apenas olhando para a gramática que essa não é regular. Como isso é...
Existem bons recursos da Web para o aprendizado de matemática discreta com conjuntos de
Dado dois conjuntos AAA e BBB cada um contendo nnn pontos disjuntos no plano, calcule a menor distância entre um ponto em AAA e um ponto em BBB , ou seja, min { dist(p,q) | p∈A∧q∈B }min { dist(p,q) | p∈A∧q∈B }\min \space \{\mbox{ } \text{dist}(p, q) \mbox{ } | \mbox{ } p \in A \land q \in B...
Um algoritmo de rede neural artificial poderia ser expresso em termos de operações de redução de mapa? De maneira geral, também estou interessado em métodos de paralelização aplicados às RNAs e sua aplicação na computação em nuvem. Eu acho que uma abordagem envolveria executar uma RNA completa em...
No problema de Subconjunto de soma, alguns dos números fornecidos podem a1,a2,a3,…,ana1,a2,a3,…,ana_1,a_2,a_3,\dots,a_nser o mesmo? Por exemplo, podemos ter[1,1,1,2,3,4][1,1,1,2,3,4][1,1,1,2,3,4] e o alvo é 555? Posso assumir que tenho uma solução específica com números222 e 333 e 1,1,11,1,11,1,1 e...
No artigo Analisando expressões por descendência recursiva de Theodore Norvell (1999), o autor começa com a seguinte gramática para expressões aritméticas: E --> E "+" E | E "-" E | "-" E | E "*" E | E "/" E | E "^" E | "(" E ")" | v o que é bastante ruim, porque é ambíguo e recursivo à...
Normalmente, as universidades ensinam matemática discreta / estrutura discreta. Minha pergunta é: quanta matemática é preciso saber para entender essa área? O cálculo é necessário ou o pré-cálculo será bom? É preciso ter feito provas antes para poder entender esta área? Obrigado a todos por suas...
Estou tentando me ensinar diferentes abordagens à verificação de software. Eu li alguns artigos. Até onde eu aprendi, a lógica proposicional com temporal geralmente usa verificação de modelo com solucionadores SAT (em sistemas reativos contínuos), mas e a lógica de primeira ordem com temporal? Ele...
O requisito da codificação como livre de prefixo resulta em árvores grandes, pois a árvore precisa estar completa. Existe um limite em que o armazenamento de dados não codificado de comprimento fixo seja mais eficiente do que codificar os