Eu tenho uma pergunta de viabilidade que pode ser estruturada da seguinte maneira. Recebi um ponto em um espaço vetorial dimensional e quero encontrar o ponto mais próximo a que satisfaça um conjunto de " restrições" do formuláriod q p ℓ 0pppdddqqqpppℓ0 0ℓ0\ell_0 Dado um conjunto , no máximo um...
Hiroimono é um quebra-cabeça completo de popular . Estou interessado na complexidade computacional de um quebra-cabeça relacionado.NPNPNP O problema é: Entrada : Dado um conjunto de pontos em em um x grade quadrada e inteiron knnnnnnkkk Pergunta : Existe um polígono retilíneo (seus lados...
Seja uma permutação. Observe que enquanto atua em um domínio infinito, sua descrição pode ser finita. Por descrição , quero dizer um programa que descreve a funcionalidade do \ pi . (Como na complexidade de Kolmogorov.) Veja as explicações abaixo.π:{0,1}∗→{0,1}∗π:{0,1}∗→{0,1}∗\pi \colon \{0,1\}^*...
Na Universal Blind Quantum Computation, os autores descrevem um protocolo baseado em medições que permite a um usuário quase clássico realizar cálculos arbitrários em um servidor quântico sem revelar quase nada sobre o conteúdo da computação. Na descrição do protocolo, os autores mencionam...
Alguém conhece um conjunto de problemas que variam uniformemente e abrangem uma das hierarquias "interessantes" de complexidade e computabilidade? Por interessante, quero dizer, por exemplo, a Hierarquia Polinomial, a Hierarquia Aritmética ou a Hierarquia Analítica. Ou talvez (N) P, (N) EXP, 2 (N)...
Pergunta : A previsão (conforme definida abaixo) de seqüências computáveis é tão difícil quanto o problema de parada? Elaboração : "Predizer" significa prever com sucesso, o que significa cometer apenas erros finitos na tarefa de tentar prever o n-ésimo bit da sequência com acesso aos n-1 bits...
Primeiro de tudo, ainda não tenho certeza se a história está bem adaptada para essa pergunta, por isso não ficarei ofendida se a multidão achar que não é o caso ... No marketing de mecanismos de pesquisa, vários problemas são interessantes. O desenho de mecanismos de leilão justos (e lucrativos) e...
Harvey Friedman mostrou que há um resultado puro de ponto fixo que não pode ser provado no ZFC (a teoria dos conjuntos de Zermelo-Frankel usual com o Axiom of Choice). Muitas lógicas modernas são construídas sobre operadores de ponto fixo, então eu me perguntava: existem consequências conhecidas do...
A resolução é um esquema para provar a insatisfação dos CNFs. Uma prova na resolução é uma dedução lógica da cláusula vazia para as cláusulas iniciais do CNF. Em particular qualquer cláusula inicial pode ser inferida, e a partir de dois cláusulas A ∨ xA∨xA \lor x e B ∨ ¬ xB∨¬xB \lor \neg{x} a...
Ao lidar com as categorias teóricas de domínio (como CPO e CPO), frequentemente desejo um dicionário para o idioma da teoria de categorias na teoria de domínios.ωω\omega Ou seja, dado um conceito, digamos seta mônica, eu poderia procurar no dicionário e ver quais são as caracterizações conhecidas...
Estou tentando elaborar uma taxonomia de algoritmos para transformar expressões regulares em autômatos, a fim de executar alguns testes empíricos de suas propriedades de complexidade em domínios específicos. Estou ciente de vários nomes 'maiores', por exemplo, Thompson "Algoritmo de pesquisa...
O capítulo de Smyth no manual de lógica em ciência da computação e outras referências descrevem como os espaços métricos podem ser usados como domínios. Entendo que espaços métricos completos fornecem pontos fixos exclusivos, mas não entendo por que os espaços métricos são importantes. Eu...
fundo A complexidade do circuito é definida como o conjunto de famílias de circuitos (ou seja, sequências de circuitos, uma para cada tamanho de entrada) de profundidade limitada e tamanho polinomial construído usando a ventoinha ilimitada AND, OR e NOT.AC0AC0AC^0 A função de paridade com entrada...
Em uma pergunta anterior sobre hierarquia de tempo, aprendi que as igualidades entre duas classes podem ser propagadas para classes mais complexas e as desigualdades podem ser propagadas para classes menos complexas, com argumentos usando preenchimento. Portanto, uma pergunta vem à mente. Por que...
Seja uma árvore binária enraizada. Todo caminho da raiz de até uma folha tem comprimento . Cada nó de sempre tem um nó filho esquerdo e um direito, mas é possível que sejam os mesmos (portanto, sempre existem caminhos possíveis). O tamanho de é limitado por . Um nó com nós filhos diferentes é...
Esta questão segue o mesmo discurso inspirador dos alunos do último ano do ensino médio . Meu Ph.D. orientador me pediu para dar uma palestra inspiradora para o novo M.Sc. alunos. O assunto são fundamentos da criptografia , que é melhor ilustrada pelo livro de Goldreich . A conversa vai demorar...
Eu li um pouco sobre as seguintes estruturas de dados: O Hash ideal de Bagwell tenta Tabelas hash dinâmicas de Larson Árvores vermelho-pretas Patricia árvores ... e tenho certeza que existem muitos outros por aí. Eu tenho visto muito pouco sobre o que cada um é mais adequado, ou por que eu...
Em esta questão , foi mencionado que existem versões de complexidade descritivos do teorema de Rice. Encontrei uma prova do seguinte teorema: Dada uma classe de complexidade C , propriedades não triviais de idiomas em C não podem ser computadas em C Eu já havia postado a prova que encontrei,...
Eu tenho a seguinte teoria digitada |- 1_X : X -> X f : A -> B, g : B -> C |- compose(g,f) : A -> C F, f : A -> B |- apply(F,f) : F(A) -> F(B) com equações para todos os termos: f : A -> B, g : B -> C, h : C -> D |- compose(h,compose(f,g)) = compose(compose(h,f),g) f...
Dado um plano finito, tenho um mosaico hexagonal desse plano com um hexágono regular de tamanho fixo. Em seguida, calculo o gráfico G de Delaunay para o mosaico. Dado esse gráfico G, excluo conjuntos específicos de nós nesse gráfico para gerar vários subgráficos de G. Preciso determinar se esses...