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
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...
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...
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...
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 conhece algum artigo que...
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,...
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...
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
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?...
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 é...
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...
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 tempo...
Eu conheço as seguintes variantes de problemas do SUBSETSUM: ( Elberfeld at. Al., 2010 ), NP-complete e NEXP-complete ( link ).S U B S E T S U M S U C C I N C T - S U B S E T S U MvocêN A R Y - S UB S E T S UM ∈ LUNARY-SUBSETSUM∈L \mathtt{UNARY\mbox{-}SUBSETSUM} \in \mathsf{L} S UB S E T S...
Suponha que desejamos encontrar o menor elemento de um conjunto , cujos elementos são indexados de a . Não temos acesso aos valores desses elementos, mas podemos comparar quaisquer dois elementos de para ver qual é menor. Para quaisquer índices e , existe um associado custo para comparar o th e th...
Estou procurando o artigo original em que Hoare (ou outra pessoa, suponho) discute a rescisão (correção total). Ou qualquer outro trabalho inicial sobre rescisão para a lógica Hoare "baunilha" (suponho que quero dizer um HL para uma linguagem de brinquedo do tipo C). Dei uma olhada na base...
Deixe ser um conjunto de tamanho e ser um conjunto de tamanho , para fixa e , e de tal modo que . Qual é a (ou a) família Sperner em para a qual é maximizada?k B ℓ k ℓ A ∩ B = ∅ F A ∪ B F B = { C ∩ B : C ∈ F }UMAAAkkkBBBℓℓ\ellkkkℓℓ\ellA ∩ B = ∅A∩B=∅A\cap B=\emptysetFF\mathcal{F}A ∪ BA∪BA\cup BFB= {...
Thor Johnson, et al., Em seu artigo: Directed Tree Width , introduziram uma definição para a grade direcionada , e eles conjeturaram:JkJkJ_k Para todo número inteiro k existe um número inteiro N tal que todo dígrafo com a largura da árvore N ou mais tem um menor isomórfico para J k...
Net (conhecido também como FreeNet, ou como NetWalk) é um jogo jogado em um grade com os seguintes objetos:n×nn×nn \times n existem computadores ; cada computador ocupa uma célula e possui um cabo de ligação;mmm cada computador deve estar conectado à unidade central que ocupa uma célula e possui...
Eu fui brincar com retomadas recentemente, principalmente a partir de papel clássico de Abramsky Refazendo alguns caminhos em Álgebra de Processos . Eles são bastante lisos (basicamente soluções para a equação de domínio ) e lembram muito as redes Kahn.R=I→(O×R)R=I→(O×R)R = I \to (O \times...
Quais são algumas das aplicações da decomposição modular de gráficos na teoria da complexidade / TCS? Estou especialmente interessado em seu uso em provas ou limites superior / inferior, se ocorrer. [1] Decomposição modular de grafos , Wikipedia. [2] Referências para decomposição modular ,...