Ciência da Computação Teórica

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 

Paridade-L, também conhecida como L, é o conjunto de idiomas reconhecidos por uma máquina de Turing não determinística que só pode distinguir entre um número par ou um número ímpar de caminhos de "aceitação". Uma pergunta relacionada recente foi feita por Niel de Beaudrap.⊕⊕\oplus Minha pergunta é a seguinte: Sabemos …

13 cc.complexity-theory  counting-complexity 

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 

O capítulo 1 do livro The Probabilistic Method, de Alon e Spencer menciona o seguinte problema: Dado um gráfico , decida se a conectividade da borda é pelo menos n / 2 ou não.GGGn/2n/2n/2 O autor menciona a existência de um algoritmo por Matula e melhora-lo para O ( n …

13 ds.algorithms  open-problem  graph-algorithms 

Essa pergunta é motivada por uma pergunta do MathOverflow de Peng Zhang . Valiant mostrou que contar cliques máximos em um gráfico geral é # P-completo, mas e se restringirmos aos gráficos de incomparabilidade (ou seja, queremos contar os antichains máximos em um posito finito)? Essa questão parece suficientemente natural …

13 cc.complexity-theory  counting-complexity  partial-order  clique 

O popular algoritmo DEFLATE usa a codificação Huffman em cima do Lempel-Ziv. Em geral, se tivermos uma fonte aleatória de dados (= entropia de 1 bit / bit), nenhuma codificação, incluindo Huffman, provavelmente a compactará em média. Se Lempel-Ziv fosse "perfeito" (que se aproxima da maioria das classes de fontes, …

13 ds.algorithms  it.information-theory  coding-theory  encoding 

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 

Antecedentes Esta questão é motivada por um jogo de tabuleiro chamado 'Drácula'. Neste jogo, há um vampiro e quatro caçadores, o objetivo dos caçadores é capturar o vampiro. O jogo acontece na Europa. O jogo é o seguinte: 1. O jogador caçador coloca todos os caçadores nas cidades. Mais de …

13 graph-theory  co.combinatorics  board-games  combinatorial-game-theory 

Considere o seguinte problema - Dado máxima planar gráficos e L 2 , encontrar o gráfico G com o número máximo de arestas de modo a que haja um subgráfico (induzida não necessariamente) em ambos G 1 e G 2 que é isomorfa a L .G1G1G_1G2G2G_2GGGG1G1G_1G2G2G_2GGG Isso pode ser feito …

13 ds.algorithms  graph-algorithms  planar-graphs 

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 

Toda vez que ensino NP-Completeness, os alunos perguntam "existem problemas conhecidos por não pertencerem a NP?" Como você responderia? Normalmente, dou a eles um problema indecidível como exemplo, mas isso geralmente não resulta bem: (a) se eu der a eles o Problema da Parada, eles acham que é algum caso …

13 cc.complexity-theory  complexity-classes  teaching 

Dado nnn denominações de moedas, com e sendo números aleatórios distribuídos uniformemente no intervalo . Assintoticamente, para qual fração de moedas o algoritmo ganancioso gera uma mudança ótima usando esse conjunto de denominações?c1= 1c1=1c_1=1c2&lt; c3&lt; . . &lt; cnc2&lt;c3&lt;..&lt;cnc_2<c_3<..<c_{n}[ 2 , N][2,N][2,N] A resposta é conhecida por 3 denominações ; …

13 ds.algorithms 

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