Ciência da Computação

Em um curso padrão de algoritmos, aprendemos que o quicksort é em média e no pior caso. Ao mesmo tempo, outros algoritmos de classificação são estudados que são no pior dos casos (como mergesort e heapsort ) e até tempo linear no melhor dos casos (como bubblesort ), mas com …

308 algorithms  sorting 

Estou em um curso sobre computação e complexidade e não consigo entender o que esses termos significam. Tudo o que sei é que NP é um subconjunto de NP-complete, que é um subconjunto de NP-hard, mas não tenho idéia do que eles realmente significam. A Wikipedia também não ajuda muito, …

249 complexity-theory  terminology  complexity-classes  p-vs-np  reference-question 

Percebi que acho muito mais fácil escrever provas matemáticas sem cometer erros do que escrever um programa de computador sem erros. Parece que isso é algo mais difundido do que apenas minha experiência. A maioria das pessoas comete erros de software o tempo todo em sua programação e possui o …

190 correctness-proof  mathematical-foundations  philosophy 

Dando uma olhada na página de Julia , você pode ver alguns benchmarks de vários idiomas em vários algoritmos (horários mostrados abaixo). Como um idioma com um compilador originalmente escrito em C pode superar o código C? Figura: tempos de referência em relação a C (quanto menor, melhor, desempenho de …

175 programming-languages  compilers  efficiency 

Há muitas perguntas sobre como analisar o tempo de execução de algoritmos (ver, por exemplo, tempo de execução, análise e algoritmo de análise ). Muitos são semelhantes, por exemplo, aqueles que solicitam uma análise de custos de loops aninhados ou algoritmos de dividir e conquistar, mas a maioria das respostas …

159 algorithms  algorithm-analysis  runtime-analysis  proof-techniques  reference-question 

Não entendo por que o problema da parada é tão frequentemente usado para descartar a possibilidade de determinar se um programa é interrompido. O Wikipedia [artigo] [1] explica corretamente que uma máquina determinística com memória finita interromperá ou repetirá um estado anterior. Você pode usar o algoritmo que detecta se …

149 computability  halting-problem 

Foi-nos dado o seguinte exercício. Deixei f( n ) = { 10 00 0n ocorre na representação decimal de πoutrof(n)={10n occurs in the decimal representation of π0else\qquad \displaystyle f(n) = \begin{cases} 1 & 0^n \text{ occurs in the decimal representation of } \pi \\ 0 & \text{else}\end{cases} Prove que é …

130 computability  undecidability 

Sou bastante fluente em C / C ++ e posso me orientar nas várias linguagens de script (awk / sed / perl). Comecei a usar muito mais o python porque combina alguns dos aspectos bacanas do C ++ com os recursos de script do awk / sed / perl. Mas …

130 programming-languages 

Deixe-me esclarecer: Dado um gráfico de dispersão de um determinado número de pontos n, se eu quiser encontrar o ponto mais próximo de qualquer ponto do gráfico mentalmente, posso imediatamente ignorar a maioria dos pontos no gráfico, restringindo minhas escolhas a um número pequeno e constante de pontos próximos . …

122 algorithms  computer-vs-human  human-computing 

Estou aprendendo Haskell e sou fascinado pelo idioma. No entanto, eu não tenho matemática séria ou formação em CS. Mas sou um programador de software experiente. Quero aprender a teoria das categorias para me tornar melhor em Haskell. Quais tópicos da teoria das categorias devo aprender para fornecer uma boa …

118 programming-languages  functional-programming  category-theory 

Converter expressões regulares em NFA (mínimo) que aceitam o mesmo idioma é fácil com algoritmos padrão, por exemplo, o algoritmo de Thompson . A outra direção parece ser mais entediante e, às vezes, as expressões resultantes são confusas. Quais algoritmos existem para converter NFA em expressões regulares equivalentes? Existem vantagens …

115 algorithms  formal-languages  finite-automata  regular-expressions  reference-question 

A maior parte da criptografia de hoje, como o RSA, depende da fatoração de número inteiro, que não se acredita ser um problema difícil de NP, mas pertence ao BQP, que o torna vulnerável a computadores quânticos. Eu me pergunto, por que não houve um algoritmo de criptografia baseado em …

109 complexity-theory  np-hard  encryption  cryptography 

Para tentar testar se um algoritmo para algum problema está correto, o ponto de partida usual é tentar executar o algoritmo manualmente em vários casos de teste simples - tente em alguns exemplos de instâncias de problemas, incluindo alguns casos de canto "simples" " Essa é uma ótima heurística: é …

105 algorithms  algorithm-analysis  education  correctness-proof  didactics 

Uma árvore indexada binária tem muito menos ou relativamente nenhuma literatura em comparação com outras estruturas de dados. O único lugar em que é ensinado é o tutorial do codificador topográfico . Embora o tutorial esteja completo em todas as explicações, não consigo entender a intuição por trás dessa árvore? …

99 algorithms  binary-trees  trees 

Existem muitas tentativas de provar ou P ≠ N P , e naturalmente muitas pessoas pensam sobre a questão, tendo idéias para provar qualquer direção.P=NPP=NP\mathsf{P} = \mathsf{NP} P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} Eu sei que existem abordagens que comprovadamente não funcionam, e provavelmente há outras que têm um histórico de falhas. Também …

96 complexity-theory  reference-request  history  p-vs-np  reference-question