Perguntas com a marcação «reference-request»

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 que a hierarquia AC0dACd0\mathsf{AC^0_d} não diminui ?

12 cc.complexity-theory  reference-request  complexity-classes  circuit-complexity  bounded-depth 

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 alguém conhece um bom livro ou …

12 reference-request  co.combinatorics  fl.formal-languages  automata-theory  research-practice 

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 numérico, em particular como …

12 ds.algorithms  reference-request  optimization  linear-programming  na.numerical-analysis 

Se você receber uma coleção de pedidos parciais, a classificação topológica informará se há uma extensão da coleção para um pedido total (uma extensão nesse caso é um pedido total consistente com cada um dos pedidos parciais). Eu me deparei com uma variação: Fixar um conjunto . Você recebe sequências …

12 ds.algorithms  reference-request  order-theory 

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 )O(nlog⁡k)O( …

12 ds.algorithms  reference-request  sorting 

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 problemas …

12 cc.complexity-theory  reference-request  np-hardness  sat  reductions 

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 Pr(Xi=1|C)<pPr(Xi=1|C)<pPr(X_i=1|C)(1+\lambda)np\right) Desde já, obrigado!

12 reference-request  pr.probability  chernoff-bound 

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 …

12 reference-request  graph-theory  co.combinatorics  graph-minor 

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 …

12 reference-request  computability  kolmogorov-complexity 

Existe uma pesquisa (em papel, capítulo de livro, tutorial, links, ...) da semântica de vários recursos da linguagem de programação? Eu estava inicialmente impressionado com os recursos de D aqui http://www.digitalmars.com/d/2.0/comparison.html Gostaria de ver o que eu poderia obter daqui, apesar de ter feito uma pergunta semelhante no stackoverflow e …

12 reference-request  pl.programming-languages  survey 

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 …

12 ds.algorithms  reference-request  graph-algorithms 

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 …

12 reference-request  approximation-algorithms  cg.comp-geom  lg.learning  vc-dimension 

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 existe um predicado que expressa se …

12 ds.algorithms  reference-request  graph-algorithms  descriptive-complexity  cliquewidth 

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 …

12 reference-request  graph-theory  co.combinatorics  treewidth  integer-lattice 

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, equivalentemente, soluções mínimas máximas? …

12 cc.complexity-theory  ds.algorithms  reference-request  linear-programming  optimization