Ciência da Computação

Estou um pouco confuso sobre qual é exatamente o significado de uma 'chave' na ciência da computação. Entendo pares de valores-chave, chaves primárias, etc ... Mas não consigo encontrar uma definição do que o termo 'chave' significa por si só. Tanto quanto posso dizer, significa apenas um pedaço de dados. …

14 terminology 

Posso provar as seguintes declarações usando provadores de teoremas automatizados disponíveis? .( a + b )2= a2+ b2+ 2 a b(uma+b)2=uma2+b2+2umab(a+b)^2=a^2+b^2+2ab Se , então .11 ∣ 2 a - 3 b11∣2uma-3b 11 \mid 2a-3b11 ∣ 7 a - 5 b11∣7uma-5b 11 \mid 7a-5b Se , .a x2+ b x + …

14 automated-theorem-proving 

Se eu entendi direito, um algoritmo que calcula o valor de uma função real tem complexidade computacional se o seguinte for válido: Quando computamos com precisão requer da ordem de etapas .O ( g ( n ) ) f δfffO(g(n))O(g(n))O(g(n))fffδδ\deltag(n)g(n)g(n) No entanto, e se tivermos um algoritmo que primeiro "encontre …

14 complexity-theory 

Alguns dos trabalhos de Conor McBride, Diff , Dissect , relacionam a derivada de tipos de dados ao seu "tipo de contextos de um buraco". Ou seja, se você pegar a derivada do tipo, ficará com um tipo de dado que mostra como o tipo de dado fica por dentro …

14 graph-theory  type-theory 

Estou lendo sobre o problema do fluxo máximo aqui . Eu não conseguia entender a intuição por trás do gráfico residual. Por que estamos considerando as arestas traseiras ao calcular o fluxo? Alguém pode me ajudar a entender o conceito de gráfico residual? Como o algoritmo muda nos gráficos não …

14 algorithms  graphs  graph-theory  network-flow 

Estou lendo o livro do HoTT e tenho uma pergunta (provavelmente muito ingênua) sobre as coisas do capítulo um. O capítulo apresenta o tipo de função e o generaliza, tornando B dependente de x : A B : A → U ,f:A→Bf:A→B f:A\to B BBBx:Ax:Ax:A e isso é chamado detipo …

14 type-theory  dependent-types  homotopy-type-theory 

Portanto, como é sabido, o problema de decisão 0-1 da ILP é NP-completo. É fácil mostrar que está no NP e a redução original foi do SAT; desde então, muitos outros problemas do NP-Complete demonstraram ter formulações de ILP (que funcionam como reduções desses problemas para o ILP), porque o …

14 np-complete  reductions  satisfiability  integer-programming 

Existe um algoritmo ganancioso para encontrar uma cobertura mínima de vértice de uma árvore que usa a travessia do DFS. Para cada folha da árvore, selecione seu pai (ou seja, seu pai está na cobertura mínima de vértice). Para cada nó interno: se algum de seus filhos não estiver selecionado, …

14 algorithms  trees  greedy-algorithms 

Fiquei me perguntando quando os idiomas que continham o mesmo número de instâncias de duas substrings seriam regulares. Eu sei que o idioma que contém o número igual de 1s e 0s não é regular, mas é um idioma como , onde = número de instâncias da substring "001" é …

14 formal-languages  regular-languages  pumping-lemma 

Dado um DAG não ponderado (gráfico acíclico direcionado) e dois vértices e , é possível encontrar o caminho mais curto e mais longo de para em tempo polinomial? Os comprimentos do caminho são medidos pelo número de arestas.D = ( V, A )D=(V,UMA)D = (V,A)ssstttsssttt Estou interessado em encontrar o …

14 algorithms  graphs  shortest-path  polynomial-time 

Eu me deparei com uma experiência estranha em programação C. Considere este código: int main(){ int array1[6] = {0, 1, 2, 3, 4, 5}; int array2[6] = {6, 7, 8, 9, 10, 11}; printf("%d\n", array1[-1]); return 0; } Ao compilar e executar isso, não recebo erros ou avisos. Como meu …

14 programming-languages  arrays  c 

Eu sou um homem de 16 anos que recentemente recebeu uma grande enciclopédia em ciência da computação por um amigo meu. Normalmente, não estou tão interessado em computadores e tecnologia, mas a ciência da computação começou a me fascinar. Contudo, pretendo estudar Física e / ou Matemática e não CS, …

14 reference-request  education 

Compreendo a importância de que cientistas da computação ou qualquer engenheiro relacionado ao desenvolvimento de software tenham entendido o estudo da lógica básica como base. Mas existem tarefas / trabalhos que exigem explicitamente o conhecimento sobre eles, além das tarefas que exigem qualquer tipo de representação de conhecimento usando Knowledge …

14 logic 

Enquanto fazia o segundo código kata (que solicita a implementação de um algoritmo de pesquisa binária cinco vezes, cada vez com um método diferente), criei uma solução ligeiramente diferente que funciona da seguinte maneira: Se eu tiver uma matriz classificada com o comprimento 100 e vejo que o campo inicial …

14 algorithms  terminology  search-algorithms  binary-search 

Um número de ponto flutuante IEEE-754 <1 (ou seja, gerado com um gerador de números aleatórios que gera um número> = 0,0 e <1,0) pode ser multiplicado por algum número inteiro (na forma de ponto flutuante) para obter um número igual ou maior que esse número inteiro devido ao arredondamento? …

13 numerical-analysis  floating-point  rounding