Estou curioso, em um sentido amplo, sobre o que é conhecido sobre algoritmos de paralelização em P. Encontrei o seguinte artigo da Wikipedia sobre o assunto: http://en.wikipedia.org/wiki/NC_%28complexity%29 O artigo contém a seguinte frase: Não se sabe se NC = P, mas a maioria dos...
Qual é a relação entre algoritmos de DNA e as classes de complexidade definidas usando máquinas de Turing? O que as medidas de complexidade como tempo e espaço correspondem nos algoritmos de DNA? Eles podem ser usados para resolver instâncias de problemas NP-completos, como o TSP, que as máquinas...
1- Existem propriedades específicas para a matriz de adjacência quando um gráfico é plano? 2- Existe algo especial para calcular a matriz de adjacência permanente quando um gráfico é
(crossposted from MathOverflow) Oi, Eu estava lendo este tópico: /mathpro/16393/finding-a-cycle-of-fixed-length Eu quero encontrar um ciclo de 5 em um gráfico. Na verdade, o que eu realmente quero é um ciclo ímpar mais curto, de pelo menos 5, mas talvez isso seja um pouco irrelevante. Para meus...
Considere o conjunto de gráficos planares em que todas as faces internas são triângulos. Se houver um ponto interno de grau ímpar, o gráfico não poderá ter três cores. Se todo ponto interior possui grau uniforme, ele sempre pode ser de três cores? Idealmente, eu gostaria de um pequeno...
(Este é um acompanhamento para esta pergunta e sua resposta .) Eu tenho o seguinte programa linear inteiro totalmente unimodular (TU) (ILP). Aqui ℓ,m,n1,n2,…,nℓ,c1,c2,…,cm,wℓ,m,n1,n2,…,nℓ,c1,c2,…,cm,w\ell,m,n_{1},n_{2},\ldots,n_{\ell},c_{1},c_{2},\ldots,c_{m},w são números inteiros positivos dados...
Eu já vi (e ouvi) afirmar que é seguro acrescentar o axioma clássico do meio excluído ao Coq, mas não consigo encontrar um documento que apoie essa afirmação. Os artigos que vejo listados no wiki da Coq sobre o meio excluído estão mostrando inconsistência com o conjunto impredicativo. De fato,...
O código de Huffman para uma distribuição de probabilidade ppp é o código de prefixo com a palavra de código ponderado média comprimento mínimo ∑piℓi∑piℓi\sum p_i \ell_i , onde ℓiℓi\ell_i é o comprimento do iii th codword. É um teorema bem conhecido que o comprimento médio por símbolo do código de...
captura a idéia de eficientemente paralelizável, e uma interpretação disso são problemas que são solucionáveis no tempo O ( log c n ) usandoprocessadores paralelos O ( n k ) para algumas constantes c , k . Minha pergunta é se existe uma classe de complexidade análoga em que o tempo é n c e o...
O lema de bombeamento para linguagens regulares pode ser provado considerando-se um autômato de estado finito que reconhece a linguagem estudada, escolhendo uma corda com um comprimento maior que o número de estados e aplicando o princípio do buraco de pombo. O lema de bombeamento para linguagens...
Esta questão é inspirada na conjectura polinomial de Hirsch (APS). Dado um polítopo facetado em , a lacuna espectral do seu gráfico de vértice de arestas (chamada ) é mais baixa delimitada por ? Observe que o gráfico de ciclo em vértices mostra que, mesmo para , o intervalo espectral pode ser tão...
Inspirado pela pergunta que o fatorial é conhecido como P-duro , pergunto-me qual é o atual estado similar de conhecimento sobre a dureza do isomorfismo gráfico. Estou certo de que atualmente não se sabe se GI está em P, mas: qual é a maior classe atualmente conhecida que a IG é mais...
Luca Trevisan mostrou quantas construções de geradores pseudo-aleatórios podem de fato ser consideradas construções de extrator: http://www.cs.berkeley.edu/~luca/pubs/extractor-full.pdf Existe uma conversa significativa? Ou seja, construções "naturais" de extratores podem ser consideradas...
Existe alguma hipótese plausível de complexidade / criptografia que exclua a possibilidade de que os circuitos de tamanho polinomial tenham tamanho subexponencial (isto é, com ϵ < 1 ) de profundidade limitada
Ultimamente, comecei a procurar algoritmos de aproximação para problemas difíceis de NP e estava pensando nas razões teóricas para estudá-los. (A questão não é para ser inflamatória - estou apenas curiosa). Alguma teoria verdadeiramente bela saiu do estudo dos algoritmos de aproximação - a conexão...
Recentemente, trabalhei no problema para calcular a soma aproximada de uma lista de números não negativos classificados. Para qualquer fixo ϵ>0ϵ>0\epsilon>0 , um Esquema do tempo de aproximação foi derivado de modo a que ele dá uma -approximation para a soma. O artigo está publicado em...
Alguém pode explicar a diferença entre: Tipos de dados algébricos (com os quais estou bastante familiarizado) Tipos de dados algébricos generalizados (o que os torna generalizados?) Tipos indutivos (por exemplo, Coq) (Tipos especialmente indutivos.)
O portão AND & OR é um portão que recebe duas entradas e retorna seu AND e seu OR. Os circuitos são feitos apenas a partir da porta AND & OR, sem fanout, capazes de realizar cálculos arbitrários? Mais precisamente, o espaço de log da computação do tempo polinomial é redutível aos circuitos...
Como sabemos, a função -clique pega um subgrafo ( estendendo-se ) de um gráfico -vertex completo , e gera se contém um -clique . As variáveis nesse caso correspondem às arestas de . Sabe-se (Razborov, Alon-Boppana) que, para , essa função requer circuitos monotônicos de tamanho em torno de . C L...
Percebi que as línguas regulares sobre o alfabeto podem ser pensadas naturalmente como um poset e, de fato, uma treliça. Além disso, a concatenação junto com o idioma vazio ϵ define uma estrutura monoidal estrita nessa categoria que é distributiva sobre junções (não tenho certeza sobre os...