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

Existe algum limite inferior não trivial no tempo de execução dos algoritmos de gráfico na RAM / PRAM / modelos de computação? Não estou procurando os resultados da dureza NP aqui. A seguir está um resultado que eu pude encontrar [veja ref L92]: 3-A coloração de um ciclo n requer …

8 cc.complexity-theory  reference-request  graph-algorithms  lower-bounds 

Estou interessado em ponteiros para algoritmos (algoritmos de aproximação são bons) que tentam particionar um gráfico em dois subconjuntos, de modo que a soma dos pesos das arestas em cada subconjunto seja (aproximadamente) igual e a soma dos pesos das arestas entre os dois subconjuntos é (aproximadamente) mínimo. Qualquer ponteiro …

8 ds.algorithms  reference-request  graph-theory  graph-algorithms 

A classificação usando comparações de dois elementos tem uma complexidade assintótica de pior caso de (alcançada por mergesort, heapsort, inserção binária, ford-johnson, pelo menos), o que é ideal.nlog2(n)nlog2⁡(n)n \log_2(n) Se classificarmos usando comparações que classificam k elementos como blocos de construção, o limite inferior da teoria da informação é . …

8 cc.complexity-theory  ds.algorithms  reference-request  sorting 

Estou procurando no ML a geração de código mais eficiente (ou seja, heurísticas de tempo de compilação e tempo de execução). Eu tenho um phd (compiladores, hpc), mas muito pouca experiência em ML. Eu apreciaria todas as referências ao trabalho existente. Mais importante, quais técnicas de aprendizado de máquina devo …

8 reference-request  optimization  machine-learning  compilers 

Quais algoritmos / técnicas matemáticas estão disponíveis para contar exatamente / aproximadamente o número de conjuntos independentes? Existe / há uma boa referência / boas referências sobre este tópico? Estou interessado em gráficos regulares.

8 ds.algorithms  reference-request  graph-theory  approximation-algorithms  counting-complexity 

Existem algoritmos fáceis para calcular o envelope superior de um arranjo de linhas no plano. Veja, por exemplo, a seção 2.3 na pesquisa Sequências de Davenport-Schinzel e suas aplicações geométricas . Existem algoritmos / estruturas de dados conhecidos para a versão dinâmica do mesmo problema? Ou seja, queremos manter o …

8 ds.algorithms  reference-request  ds.data-structures  cg.comp-geom 

esta é uma reescrita de outra questão recente [1] que não foi bem estabelecida (tinha uma simplificação semi-óbvia, mea culpa), mas acho que ainda há uma questão não trivial no centro. vi problemas semelhantes na literatura, mas não esse em particular. escreverei em termos de vetores de bits, porque é …

8 cc.complexity-theory  reference-request  circuit-complexity  lower-bounds 

A idéia de um MST com diâmetro restrito é que você mantenha todos os vértices conectados e a uma certa distância um do outro. Mas todos os papéis que eu vi cumprem a exigência de que você produza uma árvore, ao permitir ciclos pode ajudar a reduzir o diâmetro. Alguém …

8 cc.complexity-theory  reference-request  graph-theory 

Estamos trabalhando em um artigo que apresenta alguns algoritmos para encontrar triângulos e motivos de rede (subgráficos de tamanho constante, também conhecidos como gráficos) em uma configuração distribuída. Caracterizamos a troca entre o número de triângulos no gráfico e a carga de comunicação necessária. Estou procurando referências para o trabalho …

8 reference-request  graph-theory  graph-algorithms 

No artigo "Assinaturas curtas do emparelhamento Weil" de Boneh, Lynn e Shacham, eu estava examinando a prova de segurança como qualquer outra assinatura. Mas a técnica usada neste artigo é bastante única. Em vez de usar a interação normal do desafiante e do adversário, eles dividiram a prova em 6 …

8 reference-request  cr.crypto-security 

Recentemente, participei de um workshop sobre pseudo-aleatoriedade no Instituto de Matemática de Chennai sobre pseudo-aleatoriedade. Venkat Guruswami fez a seguinte declaração bonita durante sua palestra (sobre a teoria da codificação): É notável o quanto se pode provar usando o simples fato de que um grau polinomial sobre um campo pode …

8 reference-request  polynomials 

Os fechamentos lexicais são uma técnica de implementação em linguagens com funções de primeira classe. Estou interessado em uma descrição operacional simples do fechamento de funções. Alguém sabe dessa descrição?

8 reference-request  pl.programming-languages  semantics  compilers 

Recebemos pilhas que contêm "itens" de cores diferentes e uma máquina que pode processar vários itens da mesma cor de uma só vez. Em cada etapa, podemos remover um item da parte superior de cada pilha e colocá-lo em nossa máquina (para que a máquina possa processar no máximo itens …

8 ds.algorithms  reference-request  scheduling 

Estou procurando trabalho em sistemas semelhantes às sequências de ordem superior de K. Dosen ("Sequent Systems for Modal Logic", JSL 50 ). O único trabalho que conheço é o trabalho recente de Iemhoff e Metcalfe ("Teoria da prova de regras admissíveis", Annals of Pure and Applic Logic 159 (1-2), 2009). …

8 reference-request  lo.logic  proof-theory 

Quais são as melhores referências para auto-estudo no DATALOG? Estou particularmente interessado em poder expressivo, resultados de complexidade, métodos de avaliação, extensões de DATALOG com negação, etc. Existem livros ou documentos que cobrem tudo isso?

8 reference-request  lo.logic  db.databases  logic-programming