Ciência da Computação

Eu tenho uma pergunta muito genérica a fazer. Está relacionado à pesquisa. Estou interessado na teoria dos grafos. Eu fiz um curso nele. Fiz alguns tópicos relacionados à teoria dos grafos como ponto de vista de fazê-lo como estudante de matemática e também estudei alguns algoritmos de grafos. Vou para …

12 graph-theory  graphs 

O problema da árvore de abrangência ligada a é onde você tem um gráfico não direcionado G ( V , E ) e você precisa decidir se ela tem ou não uma árvore de abrangência, de modo que cada vértice tenha um grau de no máximo k .kkkG ( V, …

12 spanning-trees 

Costumávamos ter computadores analógicos há várias décadas. Os computadores modernos são digitais. E os computadores Quantum? É analógico ou digital? Estou perguntando isso, já que o qubit pode ser muitas coisas ao mesmo tempo.

12 quantum-computing 

Eu tenho um conjunto de pontos CCC e tenho a distância entre cada ponto . Essas distâncias são euclidianas, mas os pontos estão realmente em um espaço de feição.D ( PEu, Pj)D(PEu,Pj)D(P_i,P_j) Dos pontos eu quero escolher um subconjunto de pontos. Chame esse subconjunto de . Quero escolher este subconjunto …

12 optimization 

As coletas de lixo precisam visitar todos os objetos que estão vivos, para encontrar a memória que pode ser recuperada. (Ter muitas gerações atrasa um pouco isso) Sendo tudo igual, é claramente melhor visitar primeiro o objeto que já está paginado na RAM, antes de paginar outro bloco e, portanto, …

12 memory-management  paging  garbage-collection 

Em primeiro lugar, gostaria de dizer que meu texto abaixo pode conter erros, portanto, sinta-se à vontade para apontar quaisquer erros na minha formulação da pergunta. Considere um cálculo lambda sem tipo com booleanos e instruções if cujos termos são dados por esta sintaxe: t ::= v | t t …

12 programming-languages  lambda-calculus 

Eu sei que isso pode parecer um pouco fora da caixa, na verdade eu costumava pensar sempre dentro da caixa, mas recentemente eu tenho pensado, possivelmente porque a ciência da computação oferece um alto grau de liberdade, sobre maneiras de conceber programas diferentes de os ensinados na universidade. Considere a …

12 algorithms 

Um comentário sobre o tex.SE me fez pensar. A afirmação é essencialmente: Se eu posso escrever um compilador para o idioma X no idioma X, X é Turing-complete. Em termos de computabilidade e linguagens formais, é o seguinte: Se decidir e , então .MMML⊆LTML⊆LTML \subseteq L_{\mathrm{TM}}⟨M⟩∈L⟨M⟩∈L\langle M \rangle \in LFL=REFL=REF_L …

12 computability  turing-completeness 

Aqui está o problema: Prove que as Máquinas de Turing de fita única que não podem gravar na parte da fita que contém a sequência de entrada reconhecem apenas idiomas regulares. Minha idéia é provar que essa TM específica é equivalente a um DFA. O uso desta TM para simular …

12 formal-languages  computability  regular-languages  turing-machines  automata 

Estou tentando resolver um problema de SAT de 5k de cláusulas de 25k. Como está em funcionamento há uma hora (precosat) e gostaria de resolver os maiores depois, estou procurando um SAT-Solver com vários núcleos. Como parece haver muitos SAT-Solvers, estou bastante perdido. Alguém poderia me indicar o melhor para …

12 algorithms  reference-request  parallel-computing  sat-solvers 

Estou usando redes neurais para prever uma série temporal. A questão que estou enfrentando agora é como codificar data / hora / número de série. de cada entrada definida como uma entrada para a rede neural? Devo usar uma codificação C (usada para categorias de codificação) conforme descrito aqui ? …

12 machine-learning  artificial-intelligence  neural-networks 

A integridade do coNP implica dureza do NP? Em particular, tenho um problema que demonstrei ser coNP-completo. Posso afirmar que é NP-difícil? Percebo que posso reivindicar dureza de coNP, mas não tenho certeza se essa terminologia é padrão. Estou satisfeito com a afirmação de que, se um problema de NP …

12 complexity-theory  np-hard 

Nos é dado um array com todos .a [ 1 ... n ]uma[1...n]a[1 \ldots n]a [ i ] > 0uma[Eu]>0 0a[i]>0 Agora precisamos descobrir quantas somas distintas podem ser formadas a partir de suas sub-matrizes (onde uma sub-matriz é um intervalo contíguo da matriz, ou seja, para alguns , a …

12 arrays  substrings  suffix-array 

Não sei se foi uma piada, mas uma vez li o que foi referido como uma definição formal de um arquivo em um sistema de versão, como git, hg ou svn. Era algo como um objeto matemático como um homeomorfismo. Isso foi uma piada ou existe realmente uma teoria da …

12 terminology  reference-request 

Recentemente, percebi que existe algum tipo de relação entre a teoria de tipos russelliana e os sistemas de tipos, como encontrado, por exemplo, em Haskell. Na verdade, algumas das notações para tipos em Haskell parecem ter precursores na teoria dos tipos. Mas, IMHO, a motivação de Russell em 1908 foi …

12 programming-languages  type-theory