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

Ao tentar resolver um problema, acabei expressando parte dele como o seguinte programa linear inteiro. Aqui são números inteiros positivos dados como parte da entrada. Um subconjunto especificado das variáveis x i j é definido como zero e o restante pode assumir valores integrais positivos:ℓ , m , n1, n2, …

13 reference-request  linear-programming  polynomial-time  integer-programming  integrality-gap 

Recentemente, eu estava revisando uma introdução aos algoritmos holográficos. Me deparei com alguns objetos combinatórios chamados Pfaffians. Eu realmente não sei muito sobre isso no momento e me deparei com alguns usos surpreendentes que eles podem usar. Por exemplo, soube que eles podem ser usados ​​para contar com eficiência o …

13 reference-request  co.combinatorics  counting-complexity 

a complexidade computacional envolve grandes quantidades de combinatória e teoria dos números, algumas ingridiências da estocástica e uma quantidade emergente de álgebra. No entanto, como analista, pergunto-me se existem aplicações de análise nesse campo, ou talvez idéias inspiradas pela análise. Tudo o que sei que corresponde ligeiramente a isso é …

13 cc.complexity-theory  reference-request  soft-question  big-picture 

Ao explorar diferentes técnicas de provar limites inferiores para algoritmos distribuídos, ocorreu-me que a seguinte variante do teorema de Ramsey pode ter aplicações - se isso for verdade. Parâmetros: , K , n são dados e, em seguida, N é escolhido para ser suficientemente grande. Terminologia: um subconjunto m é …

13 reference-request  co.combinatorics  ramsey-theory 

Existem dois tipos principais de falhas de processador nos modelos de computação distribuída: (1) Falhas de falha: um processador para e nunca inicia novamente. (2) Falhas bizantinas: os processadores se comportam de maneira adversa e maliciosa. Minha pergunta é: Quais são alguns outros tipos de falhas de processador que foram …

13 reference-request  dc.distributed-comp 

O problema da fofoca em sistemas distribuídos é o seguinte. Temos um gráfico com n vértices. Cada vértice v possui uma mensagem m v que deve ser enviada para todos os nós.GGGnnnvvvmvmvm_v Agora, minha pergunta está no contexto do modelo de rede ad-hoc (supomos que um nó não tenha nenhum …

13 reference-request  dc.distributed-comp 

Antecedentes: No aprendizado de máquina, geralmente trabalhamos com modelos gráficos para representar funções de densidade de probabilidade dimensional alta. Se descartamos a restrição de que uma densidade se integra (soma) a 1, obtemos uma função de energia estruturada em gráfico não normalizada . Suponha que tenhamos uma função energética, , …

13 reference-request  machine-learning  lg.learning  boolean-functions 

A pergunta O que há de novo em estruturas de dados puramente funcionais desde Okasaki? , e a resposta épica do jbapple, mencionada usando listas de diferenças na programação funcional (em oposição à programação lógica), algo em que recentemente me interessei. Isso me levou a encontrar a lista de diferenças …

13 reference-request  ds.data-structures  pl.programming-languages  functional-programming  logic-programming 

Sabe-se que determinar se um determinado coletor triangular 3 é uma esfera tridimensional está em NP, através do trabalho de Saul Schleimer em 2004: "O reconhecimento da esfera está em NP" arXiv: math / 0407047v1 [math.GT] . Gostaria de saber se isso foi estabelecido para ser NP-completo nos últimos cinco …

13 cc.complexity-theory  reference-request  open-problem  topology 

Diz-se que duas árvores de busca binária são linearmente equivalentes quando concordam em suas travessias em ordem. O seguinte teorema explica por que as rotações das árvores são tão fundamentais: Sejam A e B árvores de pesquisa binárias. Então A e B são linearmente equivalentes se, e somente se, estiverem …

13 reference-request  ds.data-structures 

É fácil verificar se, dada a grade dimensional d dos pontos inteiros , com a adjacência regular, é possível encontrar um separador de tamanho n d - 1 (basta escolher qualquer hiperplano médio e remover todos os seus vértices). Também não é muito difícil (mas definitivamente não é imediato) verificar …

13 reference-request  cg.comp-geom  lower-bounds 

Sabe-se, graças a Immerman e Szelepcsényi, que se (mesmo para funções construtivas não espaciais).f = Ω ( log )N S P A C E (f) = C O N S P A C E ( f)NSPACE(f)=coNSPACE(f){\rm NSPACE}(f)={\rm coNSPACE}(f)f= Ω ( log )f=Ω(log)f=\Omega(\log) No mesmo artigo, Immerman declara que a hierarquia …

13 cc.complexity-theory  reference-request  space-bounded  alternating-hierarchy 

Existem livros recentes sobre algoritmos on-line? Conheço apenas dois livros sobre o assunto. Computação on-line e análise competitiva de Allan Borodin e Ran El-Yaniv: este é um livro clássico, mas antigo, e não contém muitos avanços recentes no campo. O projeto de algoritmos on-line competitivos por meio de uma abordagem …

13 reference-request  big-list  online-algorithms 

A largura da árvore e a largura do caminho são parâmetros populares, medindo a proximidade de um gráfico a uma árvore ou um caminho, respectivamente. De fato, parece que a largura da árvore é tão popular que é apresentada em muitos artigos, livros e notas de aula que dão (mesmo …

13 reference-request  graph-algorithms  parameterized-complexity 

Sabe-se se o problema do conjunto de vértices de feedback em gráficos planas não direcionados de grau delimitado é duro?NPNP\mathsf{NP}

13 cc.complexity-theory  reference-request  graph-algorithms  np-hardness