Se temos um gráfico grande (direcionado) GGG e uma árvore com raízes menores , qual é a complexidade mais conhecida para encontrar subgráficos de isomórficos para ? Estou ciente dos resultados do isomorfismo da subárvore, onde e são árvores e também onde é planar ou limitou a largura de árvore (e...
fundo Uma fórmula de leitura única sobre um conjunto de portas (também chamada de base) é uma fórmula na qual cada variável de entrada aparece uma vez. As fórmulas de leitura única são comumente estudadas na base De Morgan (que possui as portas de 2 bits AND e OR e a porta de 1 bit NÃO) e na base...
Considere uma coleção de conjuntos em um conjunto de base que e , e deixá- kF={F1,F2,…,Fn}F={F1,F2,…,Fn}F=\{F_1,F_2,\dotsc,F_n\}U={e1,e2,…,en}U={e1,e2,…,en}U=\{e_1,e_2,\dotsc,e_n\}|Fi||Fi||F_i| ≪≪\ll nnnei∈Fiei∈Fie_i \in F_ikk ser um número inteiro positivo. O objetivo é encontrar uma outra...
Esta é uma pergunta subsequente a esta sobre gráficos infinitos. As respostas e os comentários a essa pergunta listam objetos e situações que são modelados naturalmente por gráficos infinitos. Mas também existem numerosos teoremas sobre gráficos infinitos (ver capítulo 8 no livro de Diestel), dos...
Eu sou auto-aprendizagem de métodos formais. Ouvi dizer que métodos formais são usados (e geralmente usados apenas) para criar software de missão crítica (como controlador de reator nuclear, controlador de vôo de aeronave, controlador de sonda espacial). É por isso que estou interessado em...
O sistema de prova probabilística é comumente referido como uma restrição de , onde Arthur pode usar apenas bits aleatórios e apenas examinar g (n) bits do certificado de prova enviado por Merlin (consulte http://en.wikipedia.org/wiki/Interactive_proof_system#PCP
Existe um algoritmo linear de riffle shuffle no tempo linear? Este é o algoritmo que algumas mãos especialmente hábeis são capazes de executar: dividir uniformemente uma matriz de entrada de tamanho uniforme e depois intercalar os elementos das duas metades. Mathworld tem uma breve página sobre...
Em geral, estou interessado no método de forçar usado por Baker-Gill-Solovay e Cohen. Estou procurando o maior número possível de fontes sobre a própria técnica ou seu uso. Alguém tem
Para sistemas sem tipos dependentes, como o sistema de Hindley-Milner, os tipos correspondem a fórmulas da lógica intuicionista. Sabemos que seus modelos são álgebras de Heyting e, em particular, para refutar uma fórmula, podemos restringir a uma álgebra de Heyting em que cada fórmula é...
Edit: Como não recebo nenhuma resposta / comentário há uma semana, gostaria de acrescentar que estou feliz em saber algo sobre o problema. Eu não trabalho na área, portanto, mesmo que seja uma observação simples, talvez eu não saiba. Mesmo um comentário como "Eu trabalho na área, mas não vi uma...
Eu estava lendo um capítulo em LYAH que realmente não fazia sentido para mim. Entendo que os zíperes podem atravessar arbitrariamente uma estrutura semelhante a uma árvore, mas preciso de alguns esclarecimentos. Além disso, os zíperes podem ser generalizados para qualquer estrutura de...
Se você observar os combinadores recursivos no cálculo lambda sem tipo, como o combinador Y ou o combinador ômega: É claro que todos esses combinadores acabam duplicando uma variável em algum lugar de sua definição.ωY==( λ x .xx )( λ x .xx )λ f.( λ x .f( xx ) )( λ x .f( xx )...
Considere (X,≤)(X,≤)(X, \leq) um poset finita sobre itens, e um predicado monótona desconhecido através (isto é, para qualquer , , se e , em seguida, ). Eu posso avaliar fornecendo um nó e descobrindo sennnPPPXXXxxxy∈Xy∈Xy \in XP(x)P(x)P(x)x≤yx≤yx \leq yP(y)P(y)P(y)PPPx∈Xx∈Xx \in XP(x)P(x)P(x) é...
fundo A memória externa, ou modelo DAM, define o custo de um algoritmo pelo número de E / Ss realizadas (essencialmente, o número de falhas de cache). Esses tempos de execução geralmente são dados em termos de MMM , tamanho da memória e BBB , número de palavras que podem ser transferidas para a...
Esta pergunta é sobre lógica proposicional e todas as ocorrências de "resolução" devem ser lidas como "resolução proposicional". Essa questão é extremamente básica, mas está me incomodando há algum tempo. Vejo pessoas afirmarem que a resolução proposicional está completa, mas também vejo pessoas...
Sabe-se que minimizar o tamanho de uma expressão regular é completo no PSPACE, mesmo que tenhamos um DFA como especificação da linguagem . Quais são os resultados se o idioma for finito? Pode-se considerar esse problema em dois modelos: A entrada é todas as strings do idioma e medimos o...
Eu esperava que alguém pudesse me explicar por que exatamente o problema do produto do subconjunto é fortemente NP-difícil, enquanto o problema da soma do subconjunto é fracamente NP-difícil. Subconjunto Soma: Dado e T , existe um subconjunto X ′ tal que ∑ i ∈ X ′X={x1,...,xn}X={x1,...,xn}X =...
Há um trabalho fantástico realizado no Permanente nas últimas duas décadas. Eu tenho pensado há algum tempo sobre a possibilidade de um algoritmo Smooth P para as Matrizes Permanentes de Não-Negativas. Obviamente, existe o famoso algoritmo JSV, mas este é um exemplo. Pensando em outro trabalho...
Recebi como entrada um DAG de vértices em que cada vértice é adicionalmente rotulado com algum .n x S ( x ) ⊆ { 1 , … , n }GGGnnnxxxS(x)⊆{1,…,n}S(x)⊆{1,…,n}S(x) \subseteq \{1, \ldots, n\} Um tipo topológico de é uma bijeção dos vértices de para modo que, para todo , , se houver um caminho de para...
Existe alguma maneira natural de entender a essência da semântica relacional do polimorfismo paramétrico? Acabei de começar a ler sobre a noção de parametridade relacional, como "Tipos, abstração e polimorfismo paramétrico" de John Reynolds, e estou tendo problemas para entender como a semântica...