Ciência da Computação Teórica

Existem exemplos de casos em que a simulação clássica de um algoritmo quântico para um problema supera o melhor algoritmo clássico conhecido anteriormente para esse problema? "Supera desempenho" não precisa significar classe de complexidade diferente; poderia simplesmente ser melhor dimensionado. Esta questão foi inspirada no caso de simulação clássica eficiente …

10 cc.complexity-theory  quantum-computing  quantum-information 

O que você pensa sobre ler regularmente jornais fora do próprio campo, mesmo aqueles que não estão relacionados à sua área? Minha intuição é que ele pode dar uma perspectiva ou técnica totalmente diferente que pode me ajudar em meus próprios problemas. Mas, ao mesmo tempo, sou um pouco cético …

10 soft-question  advice-request 

Deixe ser uma máquina determinística em tempo polinomial que podem fazer perguntas para algum oráculo . Inicialmente está vazio, mas isso pode ser alterado após um jogo que será descrito abaixo. Seja uma string.MMMUMAAAUMAUMAAxxx Considere o seguinte jogo de Alice e Bob. Inicialmente, Alice e Bob têm e dólares, respectivamente. …

10 cc.complexity-theory  complexity-classes  gt.game-theory 

Existe um algoritmo de classificação baseado em comparação que usa uma média de comparações ?lg(n!)+o(n)lg(n!)+o(n)\mathrm{lg}(n!)+o(n) A existência do pior algoritmo de comparação é um problema em aberto, mas o caso médio é suficiente para um algoritmo aleatório com o esperado comparações para cada entrada. O significado de é que ele …

10 cc.complexity-theory  ds.algorithms  sorting 

Me deparei com dois exemplos de dureza hipotética de alguns problemas gráficos. Dureza hipotética significa que refutar algumas conjecturas implicaria a completude NP do respectivo problema gráfico. Por exemplo, a conjectura de Barnette afirma que todo gráfico bipartido cúbico planar cúbico de 3 conexões é hamiltoniano. Feder e Subi provaram …

10 cc.complexity-theory  graph-theory  np-hardness 

Teorema de Mahaney nos diz que se há uma escassa conjunto -completo sob de tempo polinomial muitos one-reduções, então P = N P . (Veja " Conjuntos completos esparsos para NP: solução de uma conjectura de Berman e Hartmanis ")NPNPNPP= NPP=NPP = NP Existem consequências conhecidas da existência de conjuntos …

10 cc.complexity-theory  complexity-classes  reductions  polynomial-time  logspace 

O termo inversão de programa tem várias tonalidades de significado, mas provavelmente começou com o trabalho de J. McCarthy, de 1956, The Inversion of Functions Defined by Turing Machines no contexto da IA. Até agora, muitas conexões entre inversão de programa e outros campos foram descobertas, por exemplo, programação reversível …

10 reference-request  lambda-calculus  typed-lambda-calculus  reversible-computing 

Considere o seguinte problema. Existem valores desconhecidos v 1 , ⋯ , v n ∈ R . A tarefa é encontrar o índice do maior usando apenas consultas do seguinte formulário. Uma consulta é especificada por um conjunto S ⊆ { 1 , ⋯ , n } e a resposta …

10 approximation-algorithms  randomized-algorithms  search-problem  random-walks  binary-trees 

Considere o seguinte jogo para 2 jogadores: A natureza escolhe aleatoriamente um programa Cada jogador toca um número em [0, infinito], inclusive em resposta ao movimento da natureza Pegue o mínimo dos números dos jogadores e execute o programa por (até) muitas etapas (a menos que ambos os jogadores tenham …

10 lo.logic  computability  gt.game-theory 

Deixe ser um grupo abeliano finito, e deixá- P ser o poliepítopo em R Γ definido como sendo os pontos x satisfaçam as seguintes desigualdades:ΓΓ\GammaPPPRΓRΓ\mathbb{R}^\Gammaxxx ∑g∈Gxg≤|G|xg≥0∀G≤Γ∀g∈Γ∑g∈Gxg≤|G|∀G≤Γxg≥0∀g∈Γ\begin{array}{cl} \sum_{g\in G} x_g \le |G| & \forall G \le \Gamma \\ x_g \ge 0 & \forall g \in \Gamma \end{array} onde significa G é …

10 gr.group-theory  fourier-analysis  convex-geometry 

Estou interessado em determinar a complexidade do seguinte problema de decisão: Dados dois inteiros e (cada um com no máximo m bits), decida se o bit mais significativo da multiplicação é 1 (onde o resultado é impresso em 2m bits com 0s possivelmente à frente)?l 2 l 1 ⋅ l …

10 cc.complexity-theory  circuit-complexity 

Existe uma noção de computabilidade em conjuntos diferentes dos números naturais? Por uma questão de argumento, vamos dizer em conjuntos SSS que biject com NN\mathbb{N} . É tentador dizer "sim, eles são aquelas funções da forma , onde g é qualquer bijection N → S e f é qualquer função …

10 computability 

Nos são dados pares de objetos (digamos, números). Cada objeto aparece no máximo em qqq pares. Nosso objetivo é distribuir os pares em compartimentos de tamanho igual, de modo que cada objeto ocorra com o menor número possível de compartimentos diferentes. Mais precisamente, estamos interessados ​​em uma função fff com …

10 combinatorics 

Suponha que é uma linguagem parametrizada em relação a algum alfabeto . A fatia de é , o conjunto de instâncias em que têm o parâmetro . A classe de complexidade contém as linguagens parametrizadas modo que para cada , possivelmente com um algoritmo diferente e tempo de execução polinomial …

10 cc.complexity-theory  reference-request  parameterized-complexity 

Motivação : Ao desenvolver ferramentas para controle de versão de dados, acabamos analisando algoritmos para "diferenciar" dois conjuntos de números inteiros, criando uma sequência de transformações que levam um conjunto de números inteiros para o outro. Conseguimos reduzir esse problema ao seguinte problema muito natural que parece ter conexões para …

10 cc.complexity-theory  ds.algorithms  reference-request  string-matching  edit-distance