Ciência da Computação

Eu sou um estudante iniciante em CS e estou aprendendo algoritmos. Ouvi dizer que, mesmo com computadores quânticos, esses algoritmos de classificação geral nunca podem ter tempo melhor que . No entanto, eu também sei que algoritmos de fatoração seriam muito mais rápidos. Em termos gerais, que tipo de algoritmos …

11 algorithms  quantum-computing 

Eu sei que é bobagem, mas consegui me confundir e preciso de ajuda para resolver isso Suponha que , então claramente para todo oráculo A temos P A = N P A que contradiz o fato de que existe algum oráculo A para o qual P A ≠ N P …

11 complexity-theory  p-vs-np  oracle-machines 

O que sabemos é que π é infinito e provavelmente contém todas as seqüências finitas de dígitos possíveis ( sequência disjuntiva ). Eu vi recentemente algum protótipo de πfs que pressupõe que todos os arquivos que você criou (ou qualquer outra pessoa) ou que você criará, já estão lá, por …

11 algorithms  data-compression  mathematical-programming 

Estou tentando reproduzir as redes sintéticas (gráficos) descritas em alguns papéis. Afirma-se que o modelo Barabasi-Albert foi usado para criar "redes sem escala com distribuições de graduação em direito do poder, ".PUMA( K ) α k- λPA(k)∝k−λP_A(k) ∝ k^{-λ} PUMAPAP_A é uma distribuição de probabilidade que retorna a probabilidade de …

11 algorithms  graph-theory  graphs  randomness  sampling 

A existência de problemas indecidíveis implica imediatamente a imprevisibilidade dos sistemas físicos? Vamos considerar o problema da parada, primeiro construímos um UTM físico, digamos usando a construção habitual baseada em circuito. Então não pode haver uma teoria física decidível que possa determinar, dada qualquer configuração de entrada dos circuitos, se …

11 computability  turing-machines  undecidability  physics 

No caso de gráficos não rotulados, o problema do isomorfismo do gráfico pode ser resolvido por vários algoritmos que apresentam um desempenho muito bom na prática. Ou seja, embora o pior caso de tempo de execução seja exponencial, geralmente se tem um tempo de execução polinomial. Eu esperava que a …

11 algorithms  graph-theory  graph-isomorphism 

Eu li que sistemas operacionais como Android e iOS são de alguma forma otimizados para melhorar a vida útil da bateria. Meu entendimento é que uma CPU executa um certo número de operações em um determinado período de tempo, então eu acho que você pode acelerar os aplicativos reduzindo o …

11 computer-architecture  operating-systems  performance  program-optimization 

Vamos ser algum problema de contagem, que é conhecido por ser # P -Complete .ΠΠ\PiPPP Isso implica que é A P X- difícil (ou seja, não existe PTAS para o problema, a menos que P = N P )?ΠΠ\PiAPXAPXAPXP=NPP=NPP=NP

11 complexity-theory  complexity-classes  approximation  counting 

Eu estou querendo saber se existem problemas -Hard que são `` polinomial" no caso da média. Eu acho que existem duas maneiras de interpretar isso?NPNPNP Se , pode haver um algoritmo de resolução de um N P problema -Hard com amortizado (caso médio) tempo de execução O ( n k …

11 complexity-theory  reference-request  np-complete  probabilistic-algorithms  amortized-analysis 

Eu estou olhando para o Cálculo de Construções e seu lugar no Cubo Lambda . Se bem entendi, cada eixo do cubo pode ser considerado como adicionando outra operação envolvendo tipos ao cálculo de tipo simples, . O primeiro eixo adiciona operadores de tipo a termo, o segundo operador de …

11 terminology  lambda-calculus  type-theory  dependent-types 

O que é um algoritmo de aproximação bicritério? Isso continua aparecendo no caso de cluster de fluxo de dados. Isso está relacionado à otimização de múltiplos objetivos? Foi aqui que me deparei com: cis.upenn.edu/~sudipto/mypapers/datastream.pdf. O artigo trata de uma versão em fluxo contínuo do algoritmo k-means. Existem referências no artigo, …

11 optimization  approximation 

Estou procurando uma estrutura de dados persistente semelhante à matriz (mas imutável), permitindo operações rápidas de indexação, acréscimo, pré-acréscimo e iteração (boa localidade). O Clojure fornece Vector persistente, mas é apenas para anexação rápida. O vetor de Scala efetivamente anexa e pré-anexa em tempo constante, mas não consigo entender como …

11 data-structures  functional-programming  persistent-data-structure 

Quantas operações aritméticas são necessárias para encontrar uma matriz pseudo-inversa de Moore-Penrose de um campo arbitrário? Se a matriz é invertível e com valor complexo, então é apenas o inverso. Encontrar o inverso leva tempo O(nω)O(nω)O(n^\omega) , onde ωω\omega é a constante de multiplicação da matriz. É o Teorema 28.2 …

11 algorithms  linear-algebra 

Você pode me dar algumas sugestões sobre um bom livro introdutório (mas abrangente) sobre lógica e computação? Alguns tópicos difusos que tenho em mente são: Presburger artihm., PA, ZF, ZFC, HOL Teoria dos conjuntos, Teoria dos tipos Computação de modelagem (máquinas de Turing) em diferentes teorias Links com complexidade computacional …

11 reference-request  logic  books 

No problema do posto de gasolina, temos nnn cidades {0,…,n−1}{0,…,n−1}\{ 0, \ldots, n-1 \} e estradas entre elas. Cada estrada tem extensão e cada cidade define o preço do combustível. Uma unidade de estrada custa uma unidade de combustível. Nosso objetivo é ir de uma fonte a um destino da …

11 algorithms  graphs  recurrence-relation