Ciência da Computação

Eu tenho várias perguntas relacionadas sobre esses dois tópicos. Primeiro, a maioria dos textos de complexidade apenas encobre a classe . Existe um bom recurso que cubra a pesquisa com mais profundidade? Por exemplo, algo que discute todas as minhas perguntas abaixo. Além disso, estou assumindo que ainda vê uma …

14 complexity-theory  reference-request  parallel-computing  complexity-classes 

Eu tento me ensinar o uso do bisonte. A página de manual bison (1) diz sobre o bison: Gere um analisador determinístico de LR ou LR generalizado (GLR) empregando tabelas de analisador LALR (1), IELR (1) ou LR (1) canônico. O que é um analisador IELR? Todos os artigos relevantes …

14 formal-languages  terminology  formal-grammars  parsers 

Uma aplicação clássica de dividir e conquistar é resolver o seguinte problema: Dada uma matriz de elementos distintos e comparáveis, conte o número de pares de inversão na matriz: pares modo que e .a[1…n]a[1…n]a[1\dots n](i,j)(i,j)(i,j)a[i]>a[j]a[i]>a[j]a[i] \gt a[j]i<ji<ji \lt j Uma abordagem para isso é fazer uma classificação de mesclagem, mas …

14 algorithms  reference-request  arrays 

Sobre a esta pergunta sobre a contagem de inversão , eu encontrei um papel que prova um limite inferior da complexidade espaço para todos (exatas) streaming de algoritmos . Eu afirmei que esse limite se estende a todos os algoritmos de tempo linear. Isso é um pouco ousado, pois, em …

14 algorithms  streaming-algorithm  simulation  lower-bounds 

Pergunto-me como é que que a seguinte linguagem é em .RR\mathrm R euM1= { ⟨ M2⟩∣∣M2 é uma MT e L ( M1) = L ( M2), and |⟨M1⟩|>|⟨M2⟩|}LM1={⟨M2⟩|M2 is a TM, and L(M1)=L(M2), and |⟨M1⟩|>|⟨M2⟩|}L_{M_1}=\Bigl\{\langle M_2\rangle \;\Big|\;\; M_2 \text{ is a TM, and } L(M_1)=L(M_2), \text{ and } |\langle …

14 computability  undecidability 

De acordo com o artigo da Wikipedia , L em significa "varredura da esquerda para a direita" e "R" significa "derivação mais à direita". No entanto, no artigo original de Knuth sobre gramáticas , ele define (na página 610) como um idioma "traduzível da esquerda para a direita com vinculado …

14 formal-languages  reference-request  terminology  formal-grammars  parsers 

Eu tenho essas perguntas de um exame antigo que estou tentando resolver. Para cada um dos problemas, a entrada é uma codificação de uma máquina de Turing .MMM Para um número inteiro e os três problemas a seguir:c > 1c>1c>1 É verdade que, para cada entrada , M não passa …

14 computability  turing-machines  undecidability 

Dada uma matriz de números inteiros, cada elemento da matriz pode ser aumentado por um número fixo com alguma probabilidade , . Eu tenho que encontrar o número esperado de swaps que ocorrerão para classificar a matriz usando a classificação por bolhas .N b p [ i ] 0 ≤ …

14 algorithms  algorithm-analysis  sorting  average-case 

Se um gráfico GGG estiver conectado e não tiver um caminho com um comprimento maior que kkk , prove que todos os dois caminhos em GGG de comprimento kkk têm pelo menos um vértice em comum. Eu acho que esse vértice comum deve estar no meio dos dois caminhos. Porque …

14 graph-theory  graphs  combinatorics 

Aqui está um problema conhecido. Dada uma matriz de números inteiros positivos, produz o menor número inteiro positivo que não está na matriz.A[1…n]A[1…n]A[1\dots n] O problema pode ser resolvido no espaço e no tempo : leia a matriz, acompanhe no espaço se ocorreu, procure o menor elemento.O ( n ) …

14 complexity-theory  time-complexity  space-complexity 

A maioria dos tutoriais sobre o Cálculo Lambda fornece um exemplo em que números inteiros positivos e booleanos podem ser representados por funções. E quanto a -1 e eu?

14 data-structures  lambda-calculus  integers  real-numbers 

Eu tento resolver o seguinte problema de cobertura. Existem transmissores com área de cobertura de 1 km e n receptores. Decida em O ( n log n ) que todos os receptores são cobertos por qualquer transmissor. Todos os receptores e transmissores são representados por suas coordenadas x e y …

14 algorithms  computational-geometry  search-problem 

Como a Programação Linear Inteira é NP-completa, há uma redução de Karp de qualquer problema no NP. Eu pensei que isso implicava que sempre existe uma formulação de ILP de tamanho polinomial para qualquer problema no NP. Mas já vi artigos sobre problemas específicos de PN, nas quais as pessoas …

14 complexity-theory  np-complete  reductions  linear-programming 

Recebemos um fluxo de pares diferentes de números do conjunto { 1 , … , n } .n−1n−1n-1{1,…,n}{1,…,n}\left\{1,\dots,n\right\} Como posso determinar o número ausente com um algoritmo que lê o fluxo uma vez e usa uma memória de apenas bits?O(log2n)O(log2⁡n)O(\log_2 n)

14 algorithms  integers  online-algorithms 

Quais são os dispositivos e suas interconexões usados ​​junto com os Processadores Quânticos? Eles são compatíveis com dispositivos de hardware como cache, RAM, discos dos computadores atuais?

14 computer-architecture  quantum-computing