Quais são alguns problemas do mundo real que foram resolvidos usando um algoritmo genético? Qual é o problema? Qual é o teste de aptidão utilizado para resolver este
Simplificando: qual é a correspondência entre máquinas de Turing com oráculos e famílias uniformes de circuitos com oráculos? Como são definidas as últimas para obter o mesmo modelo computacional para uma determinada máquina de Turing da Oracle? Essa pode ser uma pergunta elementar, mas não é...
É fácil verificar se, dada a grade dimensional d dos pontos inteiros , com a adjacência regular, é possível encontrar um separador de tamanho n d - 1 (basta escolher qualquer hiperplano médio e remover todos os seus vértices). Também não é muito difícil (mas definitivamente não é imediato)...
Após a discussão sobre limites mais baixos para o 3SAT [ 1 ], estou pensando quais são os principais resultados de limites inferiores formulados como trocas no espaço-tempo. Estou excluindo resultados como, por exemplo, o teorema de Savitch; uma boa entrada focaria em um único problema e seus...
Esta é uma questão inspirado pelo problema corte livre-H . Dado um gráfico, uma partição de seu conjunto de vértices em r partes V 1 , V 2 , … , V r é livre de H se G [ V i ] não induzir uma cópia de H para todos os i , 1 ≤ i ≤ r .VVVrrrV1, V2, … , VrV1,V2,…,VrV_1, V_2, \ldots, V_rHHHG [...
Desigualdades do tipo Chernoff são usadas para mostrar que a probabilidade de que uma soma de variáveis aleatórias independentes se desvie significativamente de seu valor esperado é exponencialmente pequena no valor esperado e no desvio. Existe uma desigualdade do tipo Chernoff para qualquer soma...
Então, eu tenho cerca de 100-200 matrizes booleanas quadradas muito esparsas com comprimento lateral ~ várias dezenas, e preciso calcular o produto delas. Sei que se os multiplicar em série, o produto geralmente permanecerá tão escasso a cada etapa. Existem algoritmos de produtos em cadeia de...
No artigo Passeios aleatórios quânticos atingidos exponencialmente mais rápido ( arXiv: quant-ph / 0205083 ) Kempe fornece uma noção de tempo de acerto para caminhadas quânticas (no hipercubo) que não é muito popular na literatura sobre caminhadas quânticas. É definido da seguinte forma:...
Em um artigo intitulado "Sobre a negação na cadeia de referência comum e no modelo aleatório do Oracle", Rafael Pass escreve: Observamos que, ao provar a segurança de acordo com a definição padrão de conhecimento zero no modelo RO [Oracle aleatório], o simulador tem duas vantagens sobre um...
Como o título diz, qual é a definição correta de -tree? Existem vários artigos que falam sobre árvores- e árvores- parciais como definições alternativas para gráficos com largura de árvore limitada, e eu já vi muitas definições aparentemente incorretas. Por exemplo, pelo menos um local define...
Chong, Han e Lam mostraram que a conectividade st não direcionada pode ser resolvida no EREW PRAM no tempo com os processadores O ( m + n ) . Qual é o algoritmo paralelo mais conhecido para conectividade st direcionada ? Indique o tempo de execução, o algoritmo determinístico / aleatório e o modelo...
Diz-se que duas árvores de busca binária são linearmente equivalentes quando concordam em suas travessias em ordem. O seguinte teorema explica por que as rotações das árvores são tão fundamentais: Sejam A e B árvores de pesquisa binárias. Então A e B são linearmente equivalentes se, e somente se,...
Suponha que você receba um conjunto de n pontos no plano e deseje verificar se eles formam um polígono n convexo, ou seja, se todos estão no casco convexo. Eu queria saber se alguém sabe como fazer isso em tempo (nlogn), ou seja, sem calcular o
Suponha que temos um conjunto S de gráficos (gráficos finitos, mas um número infinito deles) e um grupo P de permutações que atua em S. Instância: Uma permutação p em P. Pergunta: Existe um gráfico g em S que admite o automorfismo p? Esse problema é NP-completo para alguns conjuntos...
Uma fórmula Monotone-2CNF é uma fórmula CNF em que cada cláusula é composta por exatamente 2 literais positivos. Agora, eu tenho uma fórmula Monotone-2CNF . Seja o conjunto de atribuições satisfatórias deEu também tenho um oracle que é capaz de fornecer as seguintes informações:FFFSSSFFFOOO A...
Em um aplicativo que estou considerando, preciso conhecer a complexidade da comunicação do seguinte problema: Dado , seja o conjunto de números inteiros de a . Alice, Bob e Carol recebem um subconjunto de , denotado por , e , respectivamente. Eles querem verificar se , e formam uma partição de ,...
A classe de complexidade PPAD é geralmente definida, afirmando que o fim da linha está completo no PPAD. f( X )f(x)f(x)xxxvvvt ≠ vt≠vt\ne v Recentemente, ouvi uma definição diferente de PPAD. Tanto quanto me lembro, foi baseado no seguinte problema. Um gráfico direcionado (novamente...
A pergunta me ocorreu quando recebi Dana Moshkovitz responder a outro tópico . Deixe ser um NP Idioma, e deixá- R L ser o respectivo NP relação. Sabemos que existe algum polinômio p tal que:euLLReuRLR_Lppp ∀ x ∈ L ,, ∃ w ∈0 , 1p ( | x | )( x , w ) ∈ Reu∀x∈L,,∃w∈0,1p(|x|)(x,w)∈RL\forall x \in L,...
Antecedentes: No aprendizado de máquina, geralmente trabalhamos com modelos gráficos para representar funções de densidade de probabilidade dimensional alta. Se descartamos a restrição de que uma densidade se integra (soma) a 1, obtemos uma função de energia estruturada em gráfico não normalizada...
Sabe-se que determinar se um determinado coletor triangular 3 é uma esfera tridimensional está em NP, através do trabalho de Saul Schleimer em 2004: "O reconhecimento da esfera está em NP" arXiv: math / 0407047v1 [math.GT] . Gostaria de saber se isso foi estabelecido para ser NP-completo nos...