Como mostrado no artigo "Circuitos monótonos para a função majoritária", é possível construir um circuito booleano monótono para a função majoritária em n variáveis com tamanho O (n ^ 3) e profundidade 5,3 log (n) + O (1). http://link.springer.com/chapter/10.1007/11830924_38 Minha pergunta...
Li as partes introdutórias de alguns livros sobre semântica da linguagem de programação (Gordon, Winskel, Nielson & Nielson, Allison, Stump, Schmidt) e, embora compreenda o que eles querem dizer com categorias sintáticas ou domínios sintáticos , não entendi. não encontre uma definição rigorosa...
Talvez esteja faltando algo óbvio, mas não consigo encontrar referências sobre a complexidade da contagem de correspondências (não correspondências perfeitas) em gráficos bipartidos. Aqui está o problema formal: Entrada: um gráfico bipartido comE ⊆ U × VG=(U,V,E)G=(U,V,E)G = (U, V, E)E⊆U×VE⊆U×VE...
Estou tentando entender o documento ΠΣ: Tipos dependentes sem o Sugar , implementando um intérprete e um verificador de tipos para o idioma. Ao fazer isso, vi que a unfold t as x -> usintaxe para definições recursivas (a sintaxe é definida na Seção 2.1) vincula uma variável, mas não vejo por que...
Parece ser sabido que as linguagens de programação não podem ter somas, produtos e não-terminação juntos. Q1 . Isso é verdade? Abaixo (ou no link acima que eu dei) está um argumento parcial. No entanto, a programação genérica de Hinze com adições ignora a questão, mesmo depois de discutir um...
Eu já fiz essa pergunta no Programmers.SE , sem sucesso. Estou procurando recursos escritos de aprendizado sobre como projetar estruturas de dados simultâneas. Estou mais interessado no processo de design (por exemplo, na identificação dos invariantes corretos) do que no produto final (uma lista...
Você recebe uma matriz binária de tamanho .nnn Quero mostrar que nenhum algoritmo pode fazer o seguinte (ou surpreender-se e descobrir que esses algoritmos existem afinal): 1) Pré-processe a matriz de entrada usando tempo ilimitado, mas apenas usando bits .O ( n )O(n)O(n) 2) Responda às...
Considere o seguinte problema de decisão. Seja e deixe ser adequado enumeração dos subconjuntos de que possuem no máximo elementos.q=∑n/4i=0(ni)q=∑i=0n/4(ni)q = \sum_{i=0}^{n/4} \binom{n}{i}(Cn0,Cn1,…,Cnq−1)(C0n,C1n,…,Cq−1n)(C_0^n,
Estou procurando exemplos de problemas para os quais é fácil obter algoritmos em execução no tempo ou 2 O ( n c ) para alguns c > 1, mas para os quais não se sabe se existe um algoritmo em execução no tempo 2 O ( n ) .2O ( n logn )2O(nregistron)2^{O(n\log n)}2O ( nc)2O(nc)2^{O(n^c)}c >...
Em poucas palavras, minha pergunta é: a prova original de Karp está reduzindo o SAT para 3SAT desnecessariamente elaborado? Os detalhes são os seguintes. Em seu artigo de 1972, Redutibilidade entre problemas combinatórios , Karp provou que o SAT se reduz a 3SAT, afirmando: Substituir um...
Muitas estruturas de árvore balanceadas (árvores vermelhas / pretas, árvores espalhadas etc.) e algumas outras estruturas de dicionário classificadas (skiplists) oferecem suporte a uma operação de junção que realiza dois dicionários em que todas as chaves na primeira estrutura são menores que todas...
A largura do caminho do gráfico bipartido completo K_ com conjuntos de de tamanho e é no máximo . Estou interessado em planejar este gráfico pelo seguinte processo:K3,nK3,nK_{3,n}333nnn333 Desenhe-o no plano de modo que nenhuma aresta contenha um vértice em seu interior e que não mais que 2...
O que se sabe sobre a complexidade dos problemas difíceis de NP nos gráficos de Cayley? Suponha que o gráfico seja fornecido explicitamente como a tabela de multiplicação do grupo e a lista de geradores. Portanto, o comprimento da entrada é o tamanho do gráfico. Podemos resolver problemas...
Depois de ler Efeitos como Sessões, Sessões como Efeitos , fiquei pensando como seria uma prova de equivalência entre os dois, ou mesmo uma prova dos tipos de Sessões como sendo um Sistema de Tipo e Efeito. De uma maneira mais genérica, como se pode provar uma relação (por exemplo, equivalência)...
Qual é a primeira publicação do conceito de otimização de mesclagem por identificar sequências de posições consecutivas em ordens crescentes (também conhecidas como execuções) em tempo linear; então mesclando repetidamente as duas seqüências mais curtas e adicionando o resultado dessa mesclagem...
Deixe ser um parâmetro gráfico (ex. De diâmetro, o número de domínio, etc)sss Uma família de gráficos possui a propriedade -treewidth se houver uma função tal que, para qualquer gráfico , a largura de árvore de seja no máximo . s f G ∈ F G f ( s )FF\mathcal{F}sssfffG∈FG∈FG\in...
Dado um gráfico não direcionado G, podemos dizer que G é quase bipartido se a exclusão de k arestas (ou vértices) o tornasse bipartido. Existem algoritmos de tempo poli para determinar se um gráfico é exatamente ou aproximadamente quase
(Este é o "extremidade superior" da minha pergunta de mais de 10 meses atrás em cs.stackexchange. Essa pergunta eo "limite inferior" Eu perguntei aqui mais de 8 meses atrás , que eu também tenho uma recompensa por, são ambos sem resposta. Estes são capturas de tela de como essa postagem deve...
Comparado aos espectros de gráficos não direcionados, que correspondem a matrizes simétricas, o espectro de gráficos direcionados não é muito conhecido: Sabe-se que um gráfico direcionado possui uma matriz de adjacência cujos valores próprios são binários se for a-cíclico. Isto segue classificando...
Estou confuso sobre o exemplo dado no artigo da Wikipedia sobre gramática sensível ao contexto: https://en.wikipedia.org/wiki/Context-sensitive_grammar Disclamer : Eu já mudei a seção discutida no artigo da wikipedia, portanto, o estado atual do artigo será diferente do que estou discutindo nesta...