A menor fórmula conhecida para o determinante tem tamanho acordo com o folclore (ou com Ran Raz em seu artigo As Fórmulas Multi-Lineares para Permanentes e Determinantes são de Tamanho Super-Polinomial ).nO (logn )nO(registron)n^{\mathcal O(\log n)} Você tem alguma referência para isso? Em...
Estou tentando entender a qual classe de complexidade o seguinte problema pertence: Problema de raiz polinomial exponencial (EPRP) Seja um polinômio com deg ( p ) ≥ 0 com coeficientes extraídos de um campo finito G F ( q ) com q um número primo e r uma raiz primitiva para esse campo. Determine as...
Estou no meu segundo ano em um mestrado que não se relaciona muito com o TCS, embora eu desejasse. É basicamente sobre teoria de controle, sinais e sistemas e participei de aulas em sistemas avançados (robusto, não linear, ideal, estocástico), processamento avançado de sinais e otimização...
Atualmente, estou fazendo uma pesquisa em Linguagem Formal envolvendo classes de idiomas acima do Regular, mas abaixo do Contexto Livre. Estou olhando para coisas como máquinas multicounter com limite de reversão, máquinas de balcão de pilha única, CFLs determinísticas, etc. Gostaria de saber se...
Hoje em dia, a programação linear é muito bem compreendida. Temos muito trabalho que caracteriza a estrutura de soluções viáveis e a estrutura de soluções ideais. Temos a forte dualidade, algoritmos de poli-tempo, etc. Mas o que se sabe sobre soluções mínimas máximas de LPs? Ou,...
Fiz essa pergunta há algumas semanas no mathoverflow , mas não obtive resposta. Aqui, por grade 3D de comprimento lateral , refiro-me ao gráfico com e , ou seja, os nós são colocados em coordenadas inteiras tridimensionais entre 1 e , e um nó é conectado ao at mais 6 outros nós que diferem...
Sabemos que a hierarquia não colapso ( para todos os d )?TC0TC0\mathsf{TC^0} dTC0d⊊TC0d+1TCd0⊊TCd+10\mathsf{TC^0_d} \subsetneq \mathsf{TC^0_{d+1}}ddd A entrada Zoo para TC0TC0\mathsf{TC^0} menciona apenas a separação entre as profundidades 2 e 3. Também existe uma referência padrão para o fato de...
CMSOL é Counting Monadic Second Order Logic, ou seja, uma lógica de gráficos em que o domínio é o conjunto de vértices e arestas, existem predicados para adjacência vértice-vértice e incidência de aresta-vértice, quantificação sobre arestas, vértices, conjuntos de arestas e vértices conjuntos, e...
Dado composto peneira campo número geral é melhor conhecido algoritmo fatoração para fatoração número inteiro de . É um algoritmo aleatório e obtemos uma complexidade esperada de para fator . N O ( e √N∈NN∈NN\in\Bbb
O que se sabe sobre o seguinte problema? Dada uma coleção de funções , encontre a maior sub-coleção sujeita à restrição de que VC-Dimension para algum número inteiro .f : { 0 , 1 } n → { 0 , 1 } S ⊆ C ( S ) ≤ k kCCCf: { 0 , 1 }n→ { 0 , 1 }f:{0,1}n→{0,1}f:\{0,1\}^n\rightarrow\{0,1\}S⊆ CS⊆CS...
Estou procurando uma boa referência para os caminhos mais curtos de gargalo. Especificamente, dados os vértices s e t em um gráfico não direcionado com pesos das arestas, você deseja o caminho mais curto de s a t, em que o comprimento de um caminho é a aresta máxima nesse caminho. Isso pode ser...
Podemos pensar na complexidade de Kolmogorov de uma string como o comprimento do programa mais curto P e inserir y de modo que x = P ( y ) . Normalmente, esses programas são extraídos de um conjunto completo de Turing (como P pode ser a descrição de uma máquina de Turing ou pode ser um programa em...
Se é um gráfico com o máximo de grau 3 e é um menor de H , então L é um menor topológica de H .GGGHHHGGGHHH A Wikipedia cita este resultado da "Teoria dos Gráficos" de Diestel. Ele está listado como Prop 1.7.4 na versão mais recente do livro. O livro carece de prova ou citação. O paradeiro é...
Estou procurando uma referência (não uma prova, o que posso fazer) à seguinte extensão de Chernoff. Deixe- X1,..,XnX1,..,XnX_1,..,X_n são variáveis aleatórias booleanas, não necessariamente independentes . Em vez disso, é garantido que
em 1979, Hopcroft / Ullman escreveu que o LPSP é conhecido como PSpace, mas o LPSP é a única contenção adequada (e trivial) conhecida, embora todos sejam conjecturados como contenções adequadas e "onde as coisas ainda estão" ~ 4 décadas depois . desde então, existem conexões conhecidas entre L ⊊...
SAT exclusivo é o problema bem conhecido: dada a fórmula CNF , é verdade que tem exatamente um modelo?FFFFFFF Estou interessado no problema «Exatamente -SAT»: dada uma fórmula CNF e um número inteiro , é verdade que tem exatamente modelos?F m > 1 F mmmmFFFm > 1m>1m>1FFFmmm Ambos os...
Idiomas dyck são definidos pela seguinte gramática S → S SD y c k (k)Dyck(k)\mathsf{Dyck}(k) sobre o conjunto de símbolos { ( 1 , … , ( k , ) 1 , … , ) k } . Linguagens intuitivamente dyck são as linguagens de parênteses balanceados de k tipos diferentes. Por exemplo, (S→...
Portanto, uma rápida pesquisa na web me levou a acreditar que "o APXHardness implica que não existe QPTAS para um problema, a menos que [alguma classe de complexidade] esteja incluída em alguma [outra classe de complexidade]" e também é bem conhecido! Parece que todo mundo sabe disso, exceto eu....
O algoritmo simplex é frequentemente tratado dentro da aritmética real ou no mundo discreto com cálculos exatos. No entanto, parece ser implementado com mais frequência com aritmética de ponto flutuante. Isso leva à questão de saber se o algoritmo simplex deve ser considerado como um algoritmo...
Espero que alguém conheça isso, por isso não preciso ler a literatura ... x1, … , Xnx1,…,xnx_1, \ldots, x_nn - 1n−1n-1[ x1, x2] , [ x2, x3] , … , [ Xn - 1, xn][x1,x2],[x2,x3],…,[xn−1,xn][x_1, x_2], [x_2, x_3], \ldots, [x_{n-1},x_n]kkkkkkpEu= ( i , xEu)pi=(i,xi)p_i =(i,x_i)kkk kkkO ( n logk...