Declaração do problema: Seja MMM um autômato pushdown (potencialmente não determinístico) e seja AA\cal A seu alfabeto de entrada. Existe uma palavra w∈A∗w∈A∗w \in \cal A^* st |w|≤k|w|≤k|w| \leq k que é aceito por MMM ? Esse problema está completo? Foi estudado? Existe um algoritmo que permita...
Quais classificadores de aprendizado de máquina são os mais paralelizáveis? Se você tivesse um problema de classificação difícil, tempo limitado, mas uma LAN decente de computadores para trabalhar, com quais classificadores você tentaria? Por um lado, parece-me com alguns classificadores padrão...
David Rodríguez - dribeas escreveu em um comentário no StackOverflow que "Nem todas as coleções podem ser implementadas sem bloqueios". Não tenho certeza se isso é verdade e não consigo encontrar provas de qualquer maneira. Essa declaração não é muito precisa, mas deixe-me reformulá-la de uma...
A norma de corte de uma matriz real é o máximo entre todos os da quantidade.||A||C||A||C||A||_CA=(ai,j)∈Rn×nA=(ai,j)∈Rn×nA = (a_{i,j}) \in \mathcal{R}^{n\times n}I⊆[n],J⊆[n]I⊆[n],J⊆[n]I \subseteq [n], J \subseteq [n]∣∣∑i∈I,j∈Jai,j∣∣|∑i∈I,j∈Jai,j|\left|\sum_{i \in I, j \in J}a_{i,j}\right| Defina a...
Dado um circuito booleano em variáveis (que usa apenas portas NOT, AND e OR), qual é a maneira mais eficiente de extrair a fórmula booleana representada pelo circuito? Existe um algoritmo polytime para esse
Eu estava analisando o artigo seminal de Les Valiant e tive um momento difícil com a Proposição 4.3 na página 10 do artigo. Não vejo por que, se existe um gerador com determinados valores para com base , existe algum gerador com os mesmos valores para qualquer base \ {(xa_1, yb_1) \ ldots (xa_r,...
Existe uma maneira de um provador convencer um verificador de que alguma expressão HORN-SAT é satisfatória? Claro que isso pode parecer bobagem, já que existem algoritmos de tempo lineares para o HORN-SAT. Por outro lado, HORN-SAT é P-completo, o que significa que não possui algoritmos de espaço...
O MCTS / UCT é um método de pesquisa em árvore de jogo que usa um algoritmo de bandido para selecionar nós promissores a serem explorados. Os jogos são concluídos aleatoriamente e os nós que levam a mais vitórias são explorados com mais intensidade. O algoritmo bandido mantém um equilíbrio entre...
A soma de Minkowski de dois conjuntos de vetores é dada porA , B ∈ RdUMA,B∈RdA, B \in R^d A ⊕ B = { a + b ∣ a ∈ A , b ∈ B }UMA⊕B={uma+b∣uma∈UMA,b∈B} A \oplus B = \{ a + b \mid a \in A, b \in B \} Acabei de ouvir um problema interessante (atribuído a Dan Halperin): Dada a forma , existe uma forma...
Eu estava brincando com a pergunta muito interessante e ainda aberta " Alfabeto da máquina de Turing de fita única " (de Emanuele Viola) e surgiu com o seguinte idioma: L = { x ∈ { 0 , 1 }n st | x | = n = 2m e c o u n t 1 ( x ) = K * m ;n , m , k ≥ 1
Sou um programador profissional autodidata. Eu sou muito bom nisso (Ruby, Unix, Clojure, Java, Objective-C), mas agora estou pensando em levá-lo para o próximo nível, talvez se candidatando a um programa de mestrado ou doutorado em CS. Quais tópicos de matemática devo estudar para me preparar para...
Estou interessado nos exemplos explícitos de gráficos para os quais a aplicação do algoritmo de Goemans e Williamson para aproximar o máximo de cortes resulta em 0,878 ... fator de aproximação. O algoritmo para criar tais instâncias seria perfeito, exemplos e referências explícitos são...
Estamos trabalhando em computadores distribuídos e descobrimos um problema de complexidade que reduz a um caminho mínimo que cobre o problema. Atualmente, não sabemos como resolvê-lo. O problema é o seguinte: Vamos ser algum número inteiro, e deixá- Z k ser um gráfico contendo k ( k + 1...
Estou interessado em exemplos de construções na teoria da complexidade que são melhores do que construções aleatórias. O único exemplo dessa construção que eu sei é no campo dos códigos de correção de erros. Os códigos de geometria algébrica são melhores em alguns parâmetros do que os códigos...
Existem muitos exemplos em combinatória e ciência da computação em que podemos analisar um problema teórico dos grafos, mas para o análogo do hipergrafo do problema, nossas ferramentas estão faltando. Por que você acha que os problemas geralmente se tornam muito mais difíceis em relação aos...
Seja uma linguagem livre de contexto. Definir p p c ( G ) ser o encerramento pré e pós-fixa de L , por outras palavras, p p c ( G ) contém todos G 's prefixos e sufixos, e, portanto, G si. Minha pergunta: se L é livre de contexto e possui uma gramática não ambígua, o mesmo vale para p p c ( L )...
f, gf,gf,gf( N ) logf( n ) = o ( g( N ) )f(n)logf(n)=o(g(n))f(n) \log f(n) = o(g(n))f , g f ( n + 1 ) = o ( g ( n ) )D TEuME( f( N ) ) ⊊ D TEuME( g( N ) )DTIME(f(n))⊊DTIME(g(n)) DTIME(f(n)) \subsetneq DTIME(g(n))f, gf,gf,gf( n + 1 ) = o ( g( N ) )f(n+1)=o(g(n))f(n+1)=o(g(n))é NTEuME( f( n ) ) ⊊...
A publicação está relacionada a: /mathpro/59631/lovasz-theta-function-and-independence-number-of-product-of-simple-odd-cycles A que distância o Lovasz está vinculado à capacidade de erro zero dos gráficos regulares? Existem exemplos em que se sabe que o limite de Lovasz não é igual à capacidade...
Um programa span é uma maneira algébrica-linear de especificar uma função booleana apresentada aqui . Recentemente, esse modelo foi usado para mostrar que o método adversário negativo fornece uma caracterização rígida (pelo menos até ) da complexidade da consulta quântica.registron /...
Considere o problema de conjunto dominante em gráficos gerais e seja o número de vértices em um gráfico. Um algoritmo de aproximação ganancioso fornece uma garantia de aproximação do fator , ou seja, é possível encontrar em tempo polinomial uma solução tal que , em que é o tamanho de um conjunto...