Ciência da Computação

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 P?

12 complexity-theory  polynomial-time 

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 …

12 algorithms  shortest-path  heuristics 

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, …

12 turing-machines  number-theory  busy-beaver 

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, então a prova …

12 computability  computation-models  turing-completeness  church-turing-thesis 

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 "endógena", sendo as outras lógicas "exógenas". Com …

12 logic  linear-temporal-logic  temporal-logic 

Você pode obter o número Gödel de uma RAM, fazendo dele uma lista de comandos e fazendo dessa lista um número inteiro. Então, o que eu pensei é algo como "A RAM que retornaria seu próprio número Gödel (digamos, ) teria que ter as informações , para que o número …

12 computability 

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 …

12 algorithms  optimization  randomized-algorithms  network-flow  scheduling 

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 fator, FACTOR={(m,r):∃s such that1<s<r and s divides …

12 complexity-theory  factoring 

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 pudesse usar apenas …

12 formal-languages  regular-languages  regular-expressions  kleene-star 

Uma das perguntas mais populares sobre estruturas de dados e algoritmos, principalmente feita em entrevista por telefone.

12 algorithms  data-structures  linked-lists 

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 depois …

12 complexity-theory  decision-problem  np 

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 não …

12 complexity-theory  p-vs-np 

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 impressão de …

12 computer-architecture  concurrency  functional-programming 

A distância de edição Levenshtein-Distance entre listas é um problema bem estudado. Mas não consigo encontrar muitas melhorias possíveis, se soubermos que nenhum elemento ocorre mais de uma vez em cada lista . Vamos supor também que os elementos são comparáveis ​​/ classificáveis ​​(mas as listas a serem comparadas não …

12 algorithms  strings  string-metrics  edit-distance 

Eu sou novo em autômatos e recebi uma breve introdução às expressões regulares apenas ontem. Eu li as várias regras para definir uma expressão regular. Mas não sou capaz de diferenciar expressões regulares e gramática de um idioma (não aprendi a gramática para expressões regulares). Entendo que a gramática nos …

12 automata  formal-grammars  regular-expressions