Dado um gráfico misto G=(V,E,A)G=(V,E,A)G=(V,E,A) com as arestas EEE e arcos AAA , encontre uma correspondência em EEE que minimize o número de arcos em G/MG/MG/M , onde G/MG/MG/M é obtido de GGG contratando vértices correspondentes e removendo arcos paralelos. (A versão de decisão) deste problema...
Suponha que seja uma linguagem booleana, de seqüências finitas acima de { 0 , 1 } . Seja L n o número de strings em L com comprimento n . Para uma função d ( n ) dos números inteiros positivos aos números reais positivos, L tem densidade superior d ( n ) se L n ≤ 2 n d ( n ) para todo n...
Estou procurando o texto completo do resultado da camarilha de Moon and Moser de 1965, On Cliques in Graphs (existem gráficos com um número máximo de cliques exponenciais em ). O paywall da minha universidade não tem acesso ao diário específico. (De fato, a visualização fornece as primeiras frases...
Estou procurando notas de aula disponíveis on-line ou outros recursos que ofereçam uma boa introdução à programação paralela, assim como o analógico paralelo de classes básicas em ciência da computação. Meu foco é o seguinte: enquanto sou capaz de falar sobre dividir e conquistar, algoritmos...
Existe um algoritmo de tempo polinomial para encontrar - se houver - uma aranha de abrangência de um determinado gráfico ? Uma aranha é uma árvore com no máximo um nó com grau maior que 2: eu sei que várias condições de grau em G (essencialmente, graus de nó suficientemente grandes) garantem a...
O algoritmo de Deutsch é uma computação quântica bem conhecida f(0)+f(1)mod2f(0)+f(1)mod2f(0) + f(1)\mod{2} com apenas uma avaliação de fff . Se substituirmos +++ por ⋅⋅\cdot o problema parecerá bastante diferente. Minha pergunta é: existe um algoritmo quântico calculando o valor de...
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...
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,...
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 caminho pela soma dos...
Qual é o resultado do estado da arte sobre a complexidade das consultas de fórmulas 2-DNF apropriadas para o aprendizado do PAC com consultas de amostra e com distribuição uniforme ? Ou algum limite não trivial? Como não estou familiarizado com a teoria da aprendizagem e essa pergunta é motivada...
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 Cortes Hierárquicos...
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; os...
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...
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 ≐ t ⇝ θs≐t⇝θs \doteq t...
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...
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...
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 gráficos gerados...
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...
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}...
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,...