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

Para comemorar o centésimo aniversário de Alan Turing, quero assistir a um documentário sobre sua vida. No entanto, existem vários documentários para escolher. Qual documentário sobre Alan Turing é o seu favorito? Por favor inclua apenas um documentário por resposta.

13 reference-request  soft-question  big-list  ho.history-overview 

Dado um gráfico planar, uma lata incorporá-lo em tempo linear passando livre em um grade. Estou interessado em saber se algum algoritmo eficiente é conhecido por incorporar em linha reta um gráfico planar cruzando livremente em uma grade n c × n c , para alguns c pequenos , de …

13 reference-request  graph-theory  graph-drawing 

Estou interessado na complexidade do problema do conjunto dominante (DSP) em algumas classes gráficas específicas que são subclasses de gráficos cordais . Um gráfico é um gráfico de caminho não direcionado se for o gráfico de interseção de vértices de uma família de caminhos em alguma árvore não direcionada. Seja …

13 reference-request  graph-theory  graph-algorithms  np-hardness 

A definição dos números de Ramsey é a seguinte: Seja um número positivo, de modo que todo gráfico de ordem pelo menos contenha um clique em vértice ou um conjunto estável em vértices.R ( a , b )R(uma,b)R(a,b)R ( a , b )R(uma,b)R(a,b)umaumaabbb Estou trabalhando em alguma extensão do Ramsey …

13 reference-request  co.combinatorics  ramsey-theory 

Estou interessado em modelar objetos, a partir de programação orientada a objetos, na teoria dos tipos dependentes. Como possível aplicação, eu gostaria de ter um modelo em que possa descrever diferentes recursos de linguagens de programação imperativas. Eu só consegui encontrar um artigo sobre modelagem de objetos na teoria dos …

13 reference-request  pl.programming-languages  type-theory  coq  dependent-type 

Eu tenho uma pergunta sobre a redutibilidade do SERF de Impagliazzo, Paturi e Zane e algoritmos subexponenciais. A definição de redutibilidade do SERF fornece o seguinte: Se é SERP-redutível a P 2 e ali ó ( 2 ε n ) algoritmo para P 2 para cada ε > 0 , …

13 cc.complexity-theory  reference-request 

Na definição de tratabilidade de parâmetro fixo (forte), o tempo limite é uma expressão da forma onde a instância de entrada é ( x , k ) com o parâmetro k , p é um polinômio ef é uma função computável .f( K ) . p ( | x | …

13 cc.complexity-theory  reference-request  fixed-parameter-tractable 

Existem problemas que são NP-completos ao usar a geometria euclidiana, mas são bem definidos e solucionáveis ​​em tempo polinomial para alguma geometria não-euclidiana?

13 reference-request  cg.comp-geom 

Ramificação e encadernação é uma heurística eficaz para problemas de pesquisa, e a Wikipedia lista vários problemas difíceis nos quais ramificações e encadernações foram usadas. No entanto, não consegui encontrar referências para sugerir que é mais do que apenas "um método" para resolver esses problemas. Curiosamente, ouvi dizer que algumas …

13 ds.algorithms  reference-request  optimization  heuristics 

Estou procurando uma implementação de um algoritmo para calcular a largura de caminho de um gráfico. É sabido que o cálculo da largura do caminho é equivalente ao cálculo do número de busca do nó, número de separação de vértices ou espessura do intervalo do gráfico. O algoritmo não precisa …

13 ds.algorithms  reference-request  graph-algorithms  implementation 

Contexto. Estou escrevendo sobre temas como o teorema Gottesman-Knill , utilizando grupos de estabilizador Pauli, mas no caso de d qudits dimensionais - onde d pode ter mais de um fator primordial. (Enfatizo isso porque a grande maioria da literatura sobre formalismo estabilizador em "dimensões mais altas" envolve os casos …

13 reference-request  quantum-computing 

No " Conselho para um estudante de graduação iniciante ", de Manuel Blum : LEONID LEVIN acredita, enquanto faço isso, qualquer que seja a resposta para P = NP? problema, não será como você pensa que deveria ser. E ele deu alguns exemplos maravilhosos. Por um lado, ele forneceu um …

13 ds.algorithms  reference-request  factoring 

Estou começando a investigar a possibilidade de contar com um solucionador SAT para resolver um problema de otimização que me interessa e atualmente estou procurando uma pesquisa que contenha exemplos de transformações "inteligentes" em variantes de SAT (ou seja, transformações resultantes em um problema de tamanho razoável, já que não …

13 ds.algorithms  reference-request  sat  optimization 

O que me refiro como contagem é o problema que consiste em encontrar o número de soluções para uma função. Mais precisamente, dada uma função (não necessariamente caixa-preta), aproximados # { x ∈ N | f ( x ) = 1 } = | f - 1 ( 1 ) …

13 ds.algorithms  reference-request  counting-complexity  time-complexity 

Parâmetro fixo e aproximação são abordagens totalmente diferentes para resolver problemas difíceis. Eles têm motivação diferente. A aproximação procura resultados mais rápidos com a solução aproximada. O parâmetro fixo procura uma solução exata com complexidade de tempo em termos da função exponencial ou de alguma função da função polinomial de …

13 cc.complexity-theory  reference-request  approximation-algorithms  fixed-parameter-tractable