Estou bastante confuso sobre a relação exata entre a expansão de um gráfico e sua condutância. Minha primeira pergunta é: Alguém poderia me indicar uma referência que discuta essas duas noções? (Encontrei várias notas de aula sobre tópicos relacionados, mas estes parecem se concentrar tanto na...
Eu estava pensando outro dia, e me ocorreu que todos os programas de computador parecem representáveis como um gráfico (uma árvore de sintaxe abstrata, por exemplo) ou, uma vez que expressões comuns são combinadas, um gráfico de sintaxe abstrata. Ocorreu-me que talvez qualquer programa de...
Existem pesquisas ou resultados que discutem o isomorfismo de grafos no contexto da teoria espectral de grafos? Dois teoremas conhecidos da teoria dos grafos espectrais são: Dois gráficos são chamados isospectral ou cospectral se as matrizes de adjacência dos gráficos tiverem multisets iguais de...
Estou ajudando a projetar uma atividade relacionada à CS para um concurso Let's Talk Science , que promove STEM entre estudantes do ensino médio. Na competição, equipes de seis estudantes passarão de estação para estação, tentando concluir cada uma delas o mais rápido possível. Uma estação pode...
Dada uma matriz de números inteiros, encontre uma sub-matriz cuja soma é máxima. Se houver apenas uma linha ou apenas uma coluna, isso equivale a encontrar um subconjunto máximo .n × mn×mn\times mUMAUMAA A versão 1D pode ser resolvida em tempo linear por programação dinâmica. A versão 2D pode ser...
Conseguimos uma construção simples, aparentemente contradizendo um artigo que pressupõe conjecturas plausíveis. Como é improvável que a conjectura seja falsa, o que há de errado com o argumento? De um papel Uma compactação AND é um algoritmo determinístico de tempo polinomial que mapeia um...
Nós deixamos α=α1α2α3…α=α1α2α3…\alpha = \alpha_1\alpha_2\alpha_3\ldots uma sequência aleatória infinita (sob a medida uniforme) em que αiαi\alpha_i talvez 111 ou 000e defina a função booleana BkBkB_k: Bk(α1…αk)={1 if at least ⌈k/2⌉ of its inputs are 10 otherwiseBk(α1…αk)={1 if at least ⌈k/2⌉ of...
Eu sei que existe algo chamado correção parcial, mas eu queria saber se havia uma maneira de saber quão próximo um programa semi-correto está de um programa totalmente correto. Por exemplo, se você tivesse um programa de classificação que classifique quase completamente uma matriz, poderia usar a...
Estou procurando um algoritmo que receba como entrada um vértice e encontre os caminhos mais curtos de para todos os vértices no gráfico do complemento (não direcionado). O algoritmo deve ser executado no tempo , onde é o número de arestas no gráfico original (não no gráfico do...
Estou lendo a programação The Art of Multiprocessor e tentando entender seu conceito de bloqueios inconsistentes. Especificamente, na página 37 , a definição 2.8.1 de um bloqueio inconsistente não está clara para mim, assim como o Lema 2.8.1. Definição 2.8.1. Um estado de objeto de bloqueio s é...
Problema (tl; dr) Dada uma gramática livre de contexto, , encontre um conjunto de strings que conduzam a toda produção que ela possui pelo menos uma vez.GGGGGG Como e com que rapidez isso pode ser feito? fundo Estou trabalhando em um compilador cujo analisador é implementado com uma ferramenta...
Estou procurando uma boa técnica de coleta de lixo para o meu idioma e encontrei este artigo , onde Benjamin Goldberg descreve uma técnica de coleta de lixo para linguagens fortemente tipadas, o que elimina a necessidade de informações de tipo durante o tempo de execução. Resumidamente, isso é...
Sejak ∈ Nk∈Nk\in \mathbb N Estou procurando uma compilação NFA pequena para a linguagem de concatenação de duas palavras do comprimento que são diferentes em termos de índice, ou seja,kkkeuk= { u ⋅ v ∈Σ∗: | u | = | v | = k ∧ ∀ i ,vocêEu≠vEu}Lk={u⋅v∈Σ∗:|u|=|v|=k∧∀i,ui≠vi}L_k=\{u\cdot v \in \Sigma^*...
Considere um gráfico ponderado não direcionado , em que modo que os pontos sejam 3D, e o peso de uma aresta seja igual à distância (euclidiana) entre seus pontos finais. Observe que não recebemos as coordenadas dos pontos em V. Podemos nem mesmo ter todas as distâncias aos pares, portanto o gráfico...
Um hypervisor (1º tipo) é um software que cria e executa máquinas virtuais, gerenciando as solicitações dos sistemas operacionais dos hóspedes ao hardware. Um exokernel é um kernel do sistema operacional, que permite que os programas acessem diretamente o hardware ou, com o apoio de bibliotecas...
Deixei ΠΠ\Pium problema de contagem parametrizado , em que o parâmetro é o custo da solução, por exemplo, contar o número dekkkde vértice de tamanho médio em um gráfico, parametrizado por kkk. Assuma isso ΠΠ\Pi é #W#W\#W[1] -complete (um problema conhecido, por exemplo, seria contar o número de...
Portanto, sabe-se que o PCP é indecidível, mesmo quando fixamos o número de blocos para n ≥ 7n≥7n \geq 7. Gostaria de saber, algo semelhante pode ser dito quando existe um tamanho fixo de palavra? Para ser mais preciso, aqui está o problema: Dado fixo mmm e nnncom n ≥ 7n≥7n \geq 7e palavras...
Eu estava resolvendo essa pergunta. É como segue Joe escolhe um número inteiro a partir da lista de com uma probabilidade de colheita para todos . Ele então tenta Jason adivinhar seu número. Em cada palpite, Joe dirá a Jason se seu número é maior ou menor que o palpite de Jason. Se Jason...
No artigo "Modelos de memória livre de raça heterogênea" [1], os autores afirmam que um programa que consiste apenas de atômico é livre de raça no SC-DRF, mas não no direto na HRF. Não consigo entender por que isso acontece. Alguém pode explicar como isso pode acontecer? [1] Derek R. Hower et al....
Estou aprendendo sobre metateoria da linguagem e sistemas de tipos e estou usando coq para formalizar meu estudo. Uma das coisas que eu gostaria de fazer é examinar os sistemas de tipos que incluem tipos dependentes , o que eu entendo estar muito envolvido: poder confiar no coq seria...