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

No capítulo 13 "Objetos atômicos" do livro "Algoritmos distribuídos" de Nancy Lynch, a linearizabilidade (também conhecida como atomicidade) provou ser uma propriedade de segurança. Ou seja, sua propriedade de rastreio correspondente é não vazia, prefixada e fechada por limite , conforme definido na Seção 8.5.3. Informalmente, uma propriedade de segurança …

10 reference-request  fl.formal-languages  dc.distributed-comp  concurrency 

Ouvi falar de um resultado na coloração aproximada do gráfico, mas não consigo encontrar a fonte. O resultado é: Para cada constante existe uma suficientemente grande k tal que a coloração de um k gráfico -colorable com h k cores é NP-duro.hhhkkkkkkh khkhk Alguém poderia me indicar o jornal relevante?

10 reference-request  approximation-hardness  graph-colouring 

Estou escrevendo minha tese de mestrado em CS e estou trabalhando com análise de alias. O que me interessa é a análise intraprocedimento, sensível ao fluxo, que pode e deve ser um alias para linguagens do tipo Java. Estou procurando textos que descrevam o básico deste assunto de maneira detalhada, …

10 reference-request  pl.programming-languages  compilers  program-analysis 

Estou procurando referências sobre a complexidade do problema de balanceamento de fórmulas booleanas . Em particular, Sabia-se que as fórmulas booleanas podem ser balanceadas em AC0AC0\mathsf{AC^0} ? Existe uma prova simples de que o balanceamento de fórmula booleana esteja em AC0AC0\mathsf{AC^0} ? Por "simples", quero dizer uma prova mais simples …

10 cc.complexity-theory  ds.algorithms  reference-request  lo.logic  boolean-formulas 

Recentemente, tenho lido um número decente de artigos do CoLT. Embora eu não lute com os trabalhos individuais (pelo menos não mais do que normalmente luto com outros trabalhos teóricos), não sinto que tenha uma boa compreensão ampla do campo como um todo. Existe um texto padrão, pesquisas ou notas …

10 reference-request  machine-learning  lg.learning  survey  books 

Seja . Preciso gerar gráficos simples de circunferência modo que o conjunto de todas as -cycles forme uma cobertura de borda dupla de (ou seja, toda aresta é compartilhada por exatamente duas -cycles), e de modo que a interseção de duas -cycles é um vértice, uma aresta ou vazio. Os …

10 ds.algorithms  reference-request  graph-theory  co.combinatorics  pseudorandom-generators 

Alguns anos atrás, encontrei a seguinte regra de esquerda para a igualdade no cálculo sequencial: s ≐ t ⇝ θθ ( Γ ) ⊢ θ ( C)Γ , s ≐ t ⊢ Cs≐t⇝θθ(Γ)⊢θ(C)Γ,s≐t⊢C \frac{s \doteq t \leadsto \theta \qquad \theta(\Gamma) \vdash \theta(C)} {\Gamma, s \doteq t \vdash C} Aqui, s …

10 reference-request  lo.logic  pl.programming-languages  proof-theory  sequent-calculus 

As representações mais simples para gráficos usam matrizes / listas de adjacência, o que significa que cada nó e aresta é representado explicitamente. A importância de representações implícitas para gráficos que apresentam fortes regularidades é reconhecida há muito tempo. Por exemplo, Galperin e Wigderson (1983), Papadimitriou e Yannakakis ( Uma …

10 ds.algorithms  reference-request  graph-theory  survey  binary-decision-diagrams 

A JBV sugeriu que eu transformasse alguns comentários em uma pergunta, então aqui vai. Outra pergunta [1] pergunta sobre aplicações da computação QM. Uma resposta [2] foi "simulando eficientemente a mecânica quântica". Aparentemente, essa idéia remonta aos primeiros escritos de Feynman sobre o assunto; embora eu não tenha uma referência. …

10 reference-request  quantum-computing  application-of-theory 

No artigo Sobre dois problemas da teoria da informação , Erdõs e Rényi estabelecem limites menores no número mínimo de pesagens que se deve fazer para determinar o número de moedas falsas em um conjunto de moedas.nnn Mais formalmente: As moedas falsas têm um peso menor que as moedas certas; …

10 ds.algorithms  reference-request  co.combinatorics  it.information-theory  randomized-algorithms 

Seja um conjunto de bases mutuamente não- (MUB) em , ou seja, cada é uma base ortonormal e para temos . Estamos interessados ​​em discriminar entre vetores arbitrários de . A medida ótima (pior caso ou média com uniforme anterior) é identificada explicitamente em algum lugar da literatura (por exemplo, …

10 reference-request  quantum-information 

Qual é o melhor limite atual para a execução de consultas de contagem de intervalo no meio-espaço em um conjunto de pontos bidimensionais , expressos na forma de uma troca de tempo / espaço. De acordo com o artigo seminal de Matousek, de 1993 (Teorema 6.2, Pesquisa por Gama com …

10 reference-request  ds.data-structures  cg.comp-geom 

Seja um gráfico com arestas ponderadas (positivamente). Quero definir o diagrama de Voronoi para um conjunto de nós / sites , para associar a um nó o subgrafo de induzido por todos os nós estritamente mais próximos de do que qualquer outro nó em , medindo o comprimento de um …

10 reference-request  graph-theory  cg.comp-geom 

Estou bastante familiarizado com a teoria por trás do VC-Dimension, mas agora estou analisando os recentes (últimos 10 anos) avanços na teoria estatística da aprendizagem: médias (locais) de Rademacher, lema de classe finita de Massart, números de cobertura, encadeamento, Dudley's Teorema, Pseudodimensão, Dimensão Fat Shattering, Números de Embalagem, Composição de …

10 reference-request  machine-learning  lg.learning  books  vc-dimension 

Na minha busca por artigos de pesquisa sobre sistemas de tipos para linguagens imperativas, só encontro soluções para uma linguagem com referências mutáveis, mas sem estruturas de controle imperativas genuínas, como operadores compostos, loops ou condicionais. Portanto, não está claro como uma linguagem imperativa com inferência parcial de tipo, como …

10 reference-request  pl.programming-languages  type-theory  type-inference  imperative-programming