Perguntas com a marcação «reference-request»

O seguinte problema interessante surgiu recentemente em minha pesquisa: INSTÂNCIA: Gráfico .G(V,E)G(V,E)G(V, E) SOLUÇÃO: Uma conclusão do ciclo ímpar sem corda, definida como um superconjunto do conjunto de arestas modo que o gráfico completo tenha a propriedade de que toda aresta em esteja contida em um ciclo ímpar sem corda. …

20 cc.complexity-theory  reference-request  graph-theory  np-hardness 

Quais são alguns resultados conhecidos para encontrar um subarray n-dimensional exato dentro de uma matriz n-dimensional? Em 1D, é apenas um problema de correspondência de cadeias, o KMP faz isso em tempo linear. Em 2D, este artigo mostrou que isso pode ser feito em tempo linear com pouco espaço extra. …

20 ds.algorithms  reference-request  string-matching 

Estou procurando um material tutorial que cubra as provas de correção do compilador, de preferência usando métodos denotacionais, no nível de um estudante iniciante. Como alternativa, você conhece alguns exemplos simples de compilador que eu poderia usar para ilustrar os problemas? (O primeiro exemplo que me ocorreu foi um tradutor …

20 reference-request  pl.programming-languages  semantics  compilers 

Suponha que um gráfico com vértices seja apresentado como um fluxo de arestas, mas várias passagens são permitidas no fluxo.n mGGGnnnmmm Monika Rauch Henzinger, Prabhakar Raghavan e Sridar Rajagopalan observaram que o espaço é necessário para determinar se existe um caminho entre dois vértices fornecidos em , se passes são …

20 reference-request  graph-algorithms  ds.data-structures  lower-bounds  data-streams 

Houve pesquisas para implementar construções de extratores aleatórios? Parece que as provas do extrator fazem uso do Big-Oh, deixando a possibilidade de grandes constantes ocultas, tornando as implementações programáticas potencialmente irrealistas. Algum contexto: estou interessado em usar extratores de aleatoriedade como uma fonte rápida de (provavelmente?) Números aleatórios para uso …

20 reference-request  cr.crypto-security  randomness  implementation  application-of-theory 

Um problema clássico na teoria da probabilidade é expressar a probabilidade de um evento em termos de eventos mais específicos. No caso mais simples, pode-se dizer P[ A ∪ B ] = P[ A ] + P[ B ] - P[ A ∩ B ]P[UMA∪B]=P[UMA]+P[B]-P[UMA∩B]P[A \cup B] = P[A] + …

20 reference-request  pr.probability 

Estou procurando uma boa pesquisa sobre algoritmos e complexidade da álgebra linear (operações como rank, inverso, autovalores, ... para matrizes booleanas, e números inteiros / racionais) com ênfase nos algoritmos paralelo ( hierarquia N C ) e polytime . Não consegui encontrar uma recente.FpFp\mathbb{F}_pNCNCNC Você conhece uma boa pesquisa recente …

20 cc.complexity-theory  ds.algorithms  reference-request  dc.parallel-comp  linear-algebra 

Na classe de complexidade , existem alguns problemas conjecturados para NÃO pertencer à classe N C , ou seja, problemas com algoritmos paralelos determinísticos. O problema de fluxo máximo é um exemplo. E acredita-se que haja problemas em N C , mas uma prova ainda não foi encontrada.PP\mathsf{P}NCNC\mathsf{NC}NCNC\mathsf{NC} Perfeito Matching …

20 cc.complexity-theory  ds.algorithms  reference-request  graph-algorithms  dc.parallel-comp 

Existe uma grande literatura sobre "teste de propriedade" - o problema de fazer um pequeno número de consultas de caixa preta em uma função para distinguir entre dois casos:f: { 0 , 1 }n→ Rf:{0,1}n→Rf\colon\{0,1\}^n \to R fff é membro de alguma classe de funçõesCC\mathcal{C} fff é de todas as …

20 reference-request  lg.learning  metrics  property-testing  black-box 

Uma cadeia de adição é uma sequência de números inteiros positivos que e cada índice , temos para alguns índices . O comprimento da cadeia de adição é ; o alvo da cadeia de adição é .x 1 = 1 i ≥ 2 x i = x j + x …

20 reference-request  np-hardness 

A classe de complexidade PPAD (por exemplo, computando vários equilíbrios de Nash) pode ser definida como o conjunto de problemas de pesquisa total polytime redutíveis para FIM DA LINHA : FIM DA LINHA : Dados os circuitos S e P com n bits de entrada e n bits de saída …

20 reference-request  combinatory-logic  graph-theory  ppad 

Essa pergunta é semelhante a uma pergunta mais geral sobre qual é o modelo teórico correto de um computador para projetar estruturas de algoritmos e dados. Aqui, pergunto especificamente sobre os atuais computadores de alto desempenho (como os listados como os 500 principais ) ou mesmo sobre próximos supercomputadores. Dado …

20 reference-request  soft-question  machine-models 

Pergunta Principal / Geral Seja LLL uma linguagem. Defina os idiomas LiLiL_i com L0=LL0=LL_0 = L e Li={xwy:xy∈Li−1,w∈L}Li={xwy:xy∈Li−1,w∈L}L_i = \{xwy : xy \in L_{i-1}, w \in L\} para i≥1i≥1i \geq 1 . Considere L = ⋃ L i . Então, nós repetidamente "incorporar" L para dentro de si para se …

19 reference-request  fl.formal-languages 

Qual é a complexidade do tempo (não a complexidade da consulta) do algoritmo de Grover? Parece-me claro que é pois existem iterações e cada iteração requer o uso da operação de reflexão que, por sua vez, leva tempo usando qualquer conjunto padrão de portas universais.Ω( √Ω ( log( N) N--√)Ω(log⁡(N)N)\Omega(\log(N) …

19 reference-request  quantum-computing  time-complexity 

Na computação quântica adiabática (AQC), codifica-se a solução para um problema de otimização no estado fundamental de um [problema] Hamiltoniano . Para chegar a esse estado fundamental, você começa em um estado inicial facilmente refrigerável ( H ) com Hamiltoniano H i e "recozido" (perturbado adiabaticamente) em direção a H …

19 reference-request  quantum-computing  physics  topology