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

Como acompanhamento da minha pergunta anterior , resolvida por Hsien-Chih Chang, aqui está outra tentativa de encontrar uma generalização apropriada do teorema de Ramsey. (Você não precisa ler a pergunta anterior; esta postagem é independente.) Parâmetros: números inteiros são dados e, em seguida, é escolhido para ser suficientemente grande. Terminologia: …

9 reference-request  co.combinatorics  ramsey-theory 

Seja um conjunto de formas retangulares em D- dimensional. Para d ∈ { 1 , . . . , D } e v ∈ V , w d ( v ) ∈ Q + descreve o comprimento de v na dimensão d . A mesma notação é usada para o …

9 cc.complexity-theory  reference-request  np-hardness  packing 

Gostaria de saber se existem abordagens que formulam um problema de roteamento de veículo com Windows de tempo ( VRPTW ) (como um problema de decisão) como uma instância de SAT / SMT? (alternativa: TSP) Por exemplo: "Existe uma solução válida para visitar todos os clientes dentro de suas janelas …

9 ds.algorithms  reference-request  sat  reductions  tsp 

Suponha que recebamos um gráfico GGG e os parâmetros k,ϵk,ϵk,\epsilon . Existem intervalos de valores para kkk (ou é possível para todos os kkk ) para os quais é possível testar se GGG é ϵϵ\epsilon - longe de ter um conjunto independente de tamanho pelo menos kkk no tempo O(n+poly(1/ϵ))O(n+poly(1/ϵ))O(n …

9 ds.algorithms  graph-theory  reference-request  property-testing 

Estou (lentamente) escrevendo uma resenha do Handbook of Chemoinformatics Algorithms for SIGACT News. Um capítulo discute as implementações atuais de software, e as pesquisas no banco de dados (e outros aplicativos) não parecem tirar o máximo proveito possível das informações sobre os gráficos. Por outro lado, talvez mais algoritmos teóricos …

9 reference-request 

Alguém já explorou qual é a complexidade do circuito de problemas clássicos de decisão, como Primes ou Isomorfismo de Gráfico, para o tamanho pequeno de entrada ?NNN Enquanto a maioria das pessoas está interessada em saber como a escala vai como , acho que também seria interessante ver como isso …

9 cc.complexity-theory  reference-request  circuit-complexity 

Estou fazendo um curso de pós-graduação em teoria da informação e fico constantemente impressionado com a quantidade de otimização convexa existente nesse assunto. No entanto, as provas parecem evitar o uso de toda a maquinaria da teoria do relaxamento, da dualidade etc. Isso é compreensível, pois você não deseja exigir …

9 reference-request  it.information-theory  convex-optimization 

Considere um problema no qual você recebe uma grade 2D (por exemplo, um tabuleiro de xadrez) em que certos quadrados estão ocupados e você precisa colocar o número mínimo de retângulos sem sobreposição de qualquer tamanho wxh em que w = 1 ou h = 1 (ou seja, "quadrado" segmentos …

9 reference-request  np-hardness  planar-graphs  packing  polynomial-time 

Da Wikipedia : VPVP\mathsf{VP} : A classe VP é o análogo algébrico de P; é a classe de polinômios de grau polinomial que têm circuitos de tamanho polinomiais sobre um campo fixo .fffKKK VNPVNP\mathsf{VNP} : A classe VNP é o análogo do NP. O VNP pode ser considerado como a …

8 cc.complexity-theory  reference-request  quantum-computing  circuit-complexity 

Isso é uma confusão de referência. Às vezes, vejo as pessoas usarem o termo "metalinguagem computacional de Moggi" para se referir ao cálculo apresentado por Moggi e, às vezes, ao "cálculo lambda computacional de Moggi". Às vezes eles usam λm lλmeu\lambda_{ml} e às vezes λcλc\lambda_c . Eu sempre presumi que …

8 reference-request  typed-lambda-calculus  monad 

Algum de vocês conhece uma referência para o seguinte resultado (surpreendentemente tedioso para provar)? Dado um gráfico plano conectado com n vértices e n + t arestas, ele possui um separador de vértices de tamanho O ( √GGGnnnn+tn+tn+t.O(t√+1)O(t+1)O( \sqrt{t}+1)

8 reference-request  planar-graphs  separation 

Considere o problema de interseção de conjuntos: Alice e Bob recebem um subconjunto de e gostariam de saber se seus conjuntos se cruzam. Esse é um problema canônico de complexidade da comunicação, e é sabido que protocolos aleatórios para esse problema requerem bits de comunicação ( consulte a pesquisa aqui …

8 reference-request  communication-complexity 

O #P foi introduzido pela primeira vez em [1] ? [1] Valiant, Leslie G. "A complexidade de computar o permanente". Teoria da computação 8.2 (1979): 189-201.

8 cc.complexity-theory  reference-request  counting-complexity  ho.history-overview 

Eu estive pensando por um tempo sobre a origem dos nomes "imune" e "simples". Também fiz a mesma pergunta a Andrea Sorbi, que por sua vez envolveu mais alguns colegas na discussão. Sobre "simples", temos algumas conjecturas. Martin Davis sugere que o nome deriva de uma analogia com grupos simples. …

8 reference-request  lo.logic  computability  philosophy 

Primeiro, peça desculpas se esta pergunta é apropriada ou trivial para este site. Sou físico procurando ajuda fora de sua zona de conforto. Em PRL 87 167902 (2001) , alega-se que "... para um arbitrariamente pequeno , existe um código de correção de erros com (para alguma constante ) tal …

8 reference-request  lower-bounds  quantum-information