Há alguma alteração que possa ser feita nas CPUs para que elas tenham um desempenho melhor em tempos de execução simultâneos como o Rust? Por exemplo, há alterações nas implementações de previsão de ramificação ou nos tamanhos de cache que ajudariam nos tempos de execução simultâneos? Tenho a...
Acabei de ler algumas páginas do livro de Sipser Introdução à teoria da computação sobre o problema pós-correspondência, e estou pensando que o PCP está realmente em NP. O certificador é: para uma configuração de entrada da pilha concatenando como uma string concatenando como uma cadeia de , e...
Estou ciente de que isso parece uma pergunta muito estúpida (ou óbvia demais para afirmar). No entanto, estou confuso em algum momento. Podemos mostrar que P NP=== se e somente se pudermos projetar um algoritmo que resolva qualquer instância de problema em NP em tempo polinomial. No entanto, eu...
Atualmente, estou lendo a introdução aos algoritmos e vim pelo algoritmo de Johnson, que depende de garantir que todos os caminhos sejam positivos. o algo depende de encontrar uma nova função de peso (w ') que seja positiva para todas as arestas e mantenha a correção das relações de caminhos mais...
Eu pensei que todos os idiomas regulares pudessem ser expressos com expressões regulares (se um idioma for regular, pode ser expresso com regex), mas me disseram que você precisa das três operações regulares (concatenação, união e estrela) para isso segurar. Por exemplo, me disseram que se eu...
Estou tendo problemas para entender os problemas PRIME, COMPOSITE, FACTOR e como eles estão relacionados em termos de complexidade. Entendo que o PRIME demonstrou estar em pelo teste de primalidade da AKS, e acredito que isso funcione também para o COMPOSITE.PPP Quanto ao
Parece que as pessoas se cansaram do gerenciamento manual de memória e inventaram a coleta de lixo, e a vida era razoavelmente boa. Mas e todos os outros tipos de recursos? Descritores de arquivos, soquetes ou mesmo dados criados pelo usuário, como conexões com o banco de dados? Parece uma...
Uma das perguntas mais populares sobre estruturas de dados e algoritmos, principalmente feita em entrevista por
Eu já vi algumas perguntas neste site sobre o Deep Dream, no entanto, nenhuma delas parece realmente falar sobre o que o DeepDream está fazendo, especificamente. Até onde eu entendi, eles parecem ter alterado a função objetivo e também a retropropagação, de modo que, em vez de atualizar pesos,...
Alice, uma aluna, tem muito dever de casa nas próximas semanas. Cada item da lição de casa leva exatamente um dia. Cada item também tem um prazo e um impacto negativo em suas notas (assuma um número real, pontos de bônus por apenas assumir comparabilidade), se ela não cumprir o prazo. Escreva...
Para descobrir a diferença, acabei de encontrar afirmações abaixo sobre lógica temporal na Wikipedia : outra variante da lógica modal, que compartilha muitas características comuns da lógica dinâmica, difere de todas as lógicas acima mencionadas por ser o que Pnueli caracterizou como lógica...
Se temos algum programa de computador arbitrário que pode modificar suas instruções, é possível simular esse programa com um programa que não pode modificar suas instruções? Editar: Eu sou novo no stackexchange, então não tenho certeza se posso fazer uma nova pergunta aqui, mas aqui vai: Ok,...
Temos muitos problemas, como a fatoração, que são fortemente conjectura, mas não comprovadas, estar fora P. Há alguma pergunta com a propriedade oposto, ou seja, que eles são fortemente conjeturou, mas não provou ser dentro de
Uma função heurística h ( n )h(n)h (n) é ... Consistente se o custo estimado do nó nnn à meta não for maior que o custo da etapa para o seu sucessor n′n′n' mais o custo estimado do sucessor à meta. Admissível se h ( n )h(n)h(n) nunca superestimar o custo real para o estado da meta. O livro do...
Antecedentes: Sou um leigo completo em ciência da computação. Eu estava lendo sobre os números do Busy Beaver aqui e encontrei a seguinte passagem: A humanidade pode nunca conhecer o valor de BB (6) com certeza, muito menos o de BB (7) ou qualquer número superior na sequência. De fato, os...
Atualmente, tenho que aprender Coq e não sei como lidar com or: Como exemplo, por mais simples que seja, não vejo como provar: Theorem T0: x \/ ~x. Eu realmente aprecio isso, se alguém puder me ajudar. Para referência, eu uso esta folha de dicas . Também um exemplo de uma prova que tenho em...
O problema de programação linear: encontre um algoritmo de tempo fortemente polinomial que para a matriz A ∈ Rm × n eb ∈ Rm decida se existe x ∈ Rn com Ax ≥ b. Eu sei que o de Steve Smale lista alguns dos problemas não resolvidos em matemática. Mas esse problema de programação linear é até agora...
Em Fundamentos Práticos para Linguagens de Programação , Robert Harper diz Se uma proposição para ser verdadeira significa ter uma prova dela, o que significa que uma proposição seja falsa? Isso significa que a refutamos , mostrando que não pode ser provado. Ou seja, uma proposição é falsa se...
Ou: precisamos de Rupert para receber presentes? Questões de roteamento à parte, o Papai Noel enfrenta o seguinte problema (muitas e muitas vezes): Dado um saco com capacity¹ CCC e um conjunto de presentes {p1,…,pn}{p1,…,pn}\{p_1, \dots, p_n\} , cada um com tamanho sisis_i , ele quer fazer as...
Atualmente, estou escrevendo algum código para gerar dados binários. Eu preciso especificamente gerar números de 64 bits com um determinado número de bits definidos; mais precisamente, o procedimento deve levar cerca de e retornar um número pseudo-aleatório de 64 bits com exatamente n bits definido...