Ciência da Computação

No final dos anos 90, quando eu estava na faculdade, o jornal JH Saltzer; DP Reed; DD Clark: Argumentos de ponta a ponta no design do sistema . ACM Trans. Comput. Syst. 2 (4): 277-288, 1984. DOI = 10.1145 / 357401.357402 era praticamente uma leitura obrigatória em todas as classes …

10 computer-architecture  operating-systems  distributed-systems  computer-networks 

Na Meta Matemática de Chaitin ! The Quest For Omega , ele fala brevemente sobre o 10º Problema de Hilbert. Ele então diz que qualquer equação diofantina pode ser alterada em dois polinômios iguais com coeficientes inteiros positivos: .p = 0p = 0p=0p=0p = 0⟺p1 1= p2p=0⟺p1=p2p=0 \iff p_1 = …

10 logic  halting-problem 

O ponto flutuante atual (flutuante ANSI C, duplo) permite representar uma aproximação de um número real. Existe alguma maneira de representar números reais sem erros ? Aqui está uma ideia que tive, que é tudo menos perfeita. Por exemplo, 1/3 é 0,33333333 ... (base 10) ou 0,01010101 ... (base 2), …

10 binary-arithmetic  arithmetic  floating-point  real-numbers  number-formats 

Tivemos várias perguntas sobre a relação das reduções de Cook e Karp . É claro que as reduções de Cook (reduções de Turing no tempo polinomial) não definem a mesma noção de completude de NP que as reduções de Karp (reduções de muitos-um no tempo polinomial), que geralmente são usadas. …

10 complexity-theory  reference-request  np-complete  reductions 

Estou apenas começando a entrar na teoria da computação, que estuda o que pode ser calculado, com que rapidez, usando quanta memória e com qual modelo computacional. Eu tenho uma pergunta bem básica, mas realmente espero que alguns de vocês possam me ajudar a entender o conceito por trás disso: …

10 complexity-theory  formal-languages 

Descreva um idioma comum que não possa ser aceito por nenhum DFA que possua apenas três estados. Não sei muito bem por onde começar e queria saber se alguém poderia me dar algumas dicas ou conselhos. Entendo que o lema de bombeamento pode ser usado para provar que um idioma …

10 formal-languages  regular-languages  finite-automata  pumping-lemma 

A partir da prova de Miller-Rabin , se um número passa no teste de primalidade de Fermat , ele também deve passar no teste de Miller-Rabin com a mesma base (uma variável na prova). E a complexidade da computação é a mesma.aaa O seguinte é do teste de primalidade de …

10 algorithms  primes 

Considere os programas lineares Primal:Ax⃗ ≤b⃗ maxc⃗ Tx⃗ Primal:Ax→≤b→maxc→Tx→\begin{array}{|ccc|} \hline Primal: & A\vec{x} \leq \vec{b} \hspace{.5cm} & \max \vec{c}^T\vec{x} \\ \hline \end{array} Dual:c⃗ ≤y⃗ TAminy⃗ Tb⃗ Dual:c→≤y→TAminy→Tb→\begin{array}{|ccc|} \hline Dual: & \vec{c} \leq \vec{y}^TA \hspace{.5cm} & \min \vec{y}^T\vec{b} \\ \hline \end{array} O teorema da dualidade fraca afirma que se x⃗ x→\vec{x} …

10 algorithms  reference-request  linear-programming  linear-algebra  duality 

Estou trabalhando em um pequeno compilador de cálculo lambda que possui um sistema de inferência do tipo Hindley-Milner em funcionamento e agora também oferece suporte a vamos recursivos (não no código vinculado), que eu entendo que deve ser suficiente para torná-lo completo . O problema agora é que não tenho …

10 lambda-calculus  type-theory  type-inference 

Introdução e anotações: Aqui está uma versão nova e simples do meu algoritmo que parece terminar (de acordo com meus experimentos), e agora eu gostaria de provar isso. Deixe a notação referir-se a um ponto de dados dimensionais (um vetor). Eu tenho três conjuntos A, B e C, de modo …

10 algorithms  complexity-theory  algorithm-analysis  optimization 

Que notação é usada para discutir os coeficientes de funções na notação big-O? Eu tenho duas funções: f(x)=7x2+4x+2f(x)=7x2+4x+2f(x) = 7x^2 + 4x +2 g(x)=3x2+5x+4g(x)=3x2+5x+4g(x) = 3x^2 + 5x +4 Obviamente, ambas as funções são , de fato , mas isso não permite uma comparação além disso. Como discuto os coeficientes …

10 terminology  asymptotics  landau-notation 

Meu problema é assim: Eu tenho um layout físico representado como um gráfico. Os nós representam ganchos / dutos onde um fio pode ancorar e as arestas são a conexão possível entre 2 nós de onde o fio pode ir. Existem alguns nós especiais, chamados divisores, nos quais um único …

10 algorithms  graph-theory  optimization 

A notação Big-O esconde fatores constantes; portanto, existem alguns algoritmos inviáveis ​​para qualquer tamanho de entrada razoável, porque o coeficiente no termo é muito grande.O ( n )O(n)O(n)nnn Existem algoritmos conhecidos cujo tempo de execução é mas com algum termo de baixa ordem que é tão grande que, para tamanhos …

10 algorithms  asymptotics 

Para funções ou cálculos, temos termos como: Determinístico - Determinismo Pure - Pureza Agora, qual é o substantivo correspondente correto para livre de efeitos colaterais ? "Efeito colateral sem efeito"? "Liberdade de efeitos colaterais"? "Não tem efeito colateral"?

10 terminology  programming-languages 

Vi sites que pretendem "provar" que o HTML5 + CSS é Turing Complete. Eu já vi sites que pretendem "provar" que o SQL é Turing Complete. Eu já vi vários sites que pretendem "explicar" o que significa ser Turing Complete. O suficiente! Onde posso encontrar um livro (escrito por um …

10 computability  turing-machines  automata  turing-completeness  church-turing-thesis