Ciência da Computação

A programação linear (LP) está em P e a programação inteira (IP) é NP-hard. Mas como os computadores só podem manipular números com precisão finita, na prática um computador está usando números inteiros para programação linear. Por esse motivo, LP e IP não deveriam estar na mesma classe de complexidade?

35 complexity-theory  polynomial-time 

O ( n lnn )O(nln⁡n)O(n \ln n) Apenas um lembrete, no local significa que ele usa a matriz transmitida e o algoritmo de classificação só pode usar espaço extra constante. Estável significa que os elementos com a mesma chave aparecem na mesma ordem na matriz classificada como no original. O …

35 algorithms  reference-request  sorting  in-place 

Na teoria dos autômatos, todos nós lemos autômatos como autômatos finitos, desde o início. O que eu quero saber é: por que os autômatos são finitos? Para ser claro, o que é um autômato finito - o alfabeto, a linguagem, as seqüências de caracteres feitas com expressões regulares ou o …

35 automata  finite-automata 

Eu sei que Idris tem tipos dependentes, mas não está completo. O que isso não pode fazer ao abrir mão da integridade de Turing, e isso está relacionado a ter tipos dependentes? Acho que essa é uma pergunta bastante específica, mas não sei muito sobre tipos dependentes e sistemas de …

35 computability  programming-languages  type-theory  dependent-types 

De acordo com a Wikipedia : A entropia de Shannon mede as informações contidas em uma mensagem em oposição à parte da mensagem que é determinada (ou previsível). Exemplos deste último incluem redundância na estrutura da linguagem ou propriedades estatísticas relacionadas às frequências de ocorrência de pares de letras ou …

35 information-theory  data-compression  entropy 

Classicamente, existem três maneiras populares de pensar sobre computação: máquina de Turing, circuitos e cálculo lambda (eu uso isso como uma captura para a maioria das visualizações funcionais). Todas as três foram formas proveitosas de pensar sobre diferentes tipos de problemas, e campos diferentes usam formulações diferentes por esse motivo. …

35 lambda-calculus  quantum-computing  reference-request  computation-models 

Muitos de nós aprendemos programação usando linguagens de programação "textuais", como Basic, C / C ++ e Java. Eu acredito que é mais natural e eficiente para os humanos pensarem visualmente. A programação visual permite que os desenvolvedores escrevam programas manipulando elementos gráficos. Eu acho que o uso de programação …

35 programming-languages 

Como educador de CS em nível universitário, a questão de qual linguagem de programação ensinar no primeiro curso de programação geralmente é discutida. Existem milhares de idiomas para escolher e muita febre religiosa (ou fevour) apoiando um campo de idiomas em detrimento de outro. Todo esse viés subjetivo em torno …

35 programming-languages  education 

Aqui está o pseudocódigo padrão para a primeira pesquisa de largura: { seen(x) is false for all x at this point } push(q, x0) seen(x0) := true while (!empty(q)) x := pop(q) visit(x) for each y reachable from x by one edge if not seen(y) push(q, y) seen(y) := true …

35 algorithms  graphs 

Um colega meu e eu acabamos de fazer algumas anotações de um de nossos professores. As notas indicam que existem tarefas que são possíveis de resolver em tempo polinomial (estão na classe de PF), mas NÃO são verificáveis ​​em tempo polinomial (NÃO são da classe de NPF). Para elaborar sobre …

34 complexity-theory  np 

Alguém pode sugerir-me um algoritmo de tempo linear, que recebe como entrada um dirigido acíclico gráfico e dois vértices e e devolve o número de caminhos simples de a em . Eu tenho um algoritmo no qual executarei um DFS (Depth First Search), mas se o DFS encontrar , ele …

34 algorithms  graphs 

Como as linguagens do Tipo 3 da Hierarquia Chomsky podem ser reconhecidas por uma máquina de estado sem memória externa (por exemplo, um autômato finito), o Tipo 2 por uma máquina de estado com uma única pilha (por exemplo, um autômato push-down) e o Tipo 0 por uma máquina de …

34 formal-languages  applied-theory  computability  automata  formal-grammars 

Pode parecer uma pergunta estúpida, mas estou realmente curioso para saber como um computador sabe disso ? Além disso, como um computador sabe que a ordem do número inteiro é 1 , 2 , 3 , 4 , 5 , … e o alfabeto é A, B, C, D, ...? …

34 computer-architecture  reference-question 

Gostaria de saber se existe uma maneira padrão de medir a "ordenação" de uma matriz? Uma matriz com o número médio de inversões possíveis seria considerada maximamente sem classificação? Com isso, quero dizer que é basicamente o mais longe possível de ser classificado ou reverso.

34 algorithms  algorithm-analysis  sorting  arrays 

Vejo que a maioria das definições do que é ser completo em Turing é tautológica até certo ponto. Por exemplo, se você pesquisar no Google "o que significa ser completo de Turing", você obtém: Um computador é Turing completo se puder resolver qualquer problema que uma máquina de Turing possa …

34 turing-machines  turing-completeness