Perguntas com a marcação «cc.complexity-theory»

Estou iniciando meu doutorado neste outono e planejo trabalhar na teoria da complexidade para minha tese. Estou compilando uma lista de artigos importantes que todo teórico da complexidade deve conhecer. Que papéis você sugeriria para uma pessoa como eu? E, por favor, explique brevemente por que você acha que o …

14 cc.complexity-theory  reference-request  big-list 

Estou procurando informações sobre a complexidade computacional da multiplicação de matrizes de matrizes retangulares. A Wikipedia afirma que a complexidade de multiplicar por é (multiplicação de livros escolares). B ∈ R n × p O ( m n p )A ∈ Rm × nA∈Rm×nA \in \mathbb{R}^{m \times n}B ∈ Rn …

14 cc.complexity-theory  time-complexity  linear-algebra  matrix-product 

Qual é a complexidade de consulta mais conhecida do algoritmo de aprendizado Goldreich-Levin? As notas da palestra do blog de Luca Trevisan , Lemma 3, afirmam . Isso é o mais conhecido em termos de dependência de n ? Ficarei particularmente grato por uma referência a uma fonte citável!O ( …

14 cc.complexity-theory  reference-request  lg.learning  fourier-analysis 

Qual é a complexidade computacional da otimização de várias funções sobre o grupo unitário ?você( N )você(n)\mathcal{U}(n) Uma tarefa típica, surgindo muitas vezes em teoria da informação quântica, seria maximizar a quantidade do tipo (ou polinômios de ordem superior em ) sobre todo unitário matrizes . Esse tipo de otimização …

14 cc.complexity-theory  reference-request  optimization  quantum-information 

Estou interessado no histórico inicial de resultados publicados sobre compensações de espaço-tempo de uso geral. Em particular, quero saber quem primeiro descreveu o seguinte tipo de algoritmo para avaliar uma computação com um gráfico de fluxo de dados arbitrário com grau O (1) usando espaço proporcional à profundidade (não largura) …

14 cc.complexity-theory  ho.history-overview  space-time-tradeoff 

No artigo de Ben-Dor / Halevi [1], é apresentada outra prova de que a permanente é -completa. Na parte posterior do documento, eles mostram a cadeia de redução enquanto o valor permanente é preservado ao longo da cadeia. Como o número de atribuições satiesfying de uma fórmula 3SAT pode ser …

14 cc.complexity-theory  counting-complexity  permanent 

Resposta: desconhecida. As perguntas são naturais, abertas e aparentemente difíceis; a questão agora é um wiki da comunidade. Visão geral A questão procura dividir as linguagens pertencentes à classe de complexidade - junto com as máquinas de decisão de Turing (TMs) que aceitam essas linguagens - em duas subclasses complementares:PPP …

14 cc.complexity-theory  polynomial-time  undecidability  independence 

O problema da largura de banda do gráfico é definido da seguinte maneira. Dado um gráfico , um layout f de G é um mapeamento individual dos vértices de G para os números inteiros { 1 , … , | V | } . A largura de banda de f …

14 cc.complexity-theory 

Questão. Em seu artigo Simulação aprimorada de circuitos estabilizadores , Aaronson e Gottesman afirmam que a simulação de um circuito CNOT é completa em L (sob reduções no espaço de log). É claro que está contido em ⊕L ; como se mantém o resultado da dureza? Equivalentemente: há uma redução …

14 cc.complexity-theory  counting-complexity  linear-algebra  logspace 

Eu sei que (muitas chamadas logaritmicamente para o NP oracle) é equivalente a P N P | | (número polinomial de consultas paralelas ao oracle NP). Fiquei pensando se a versão "função" dessas classes também é equivalente, ou seja, sePNP[logn]PNP[log⁡n]\mathsf{P}^{\mathsf{NP}[\log n]}PNP||PNP||\mathsf{P}^{\mathsf{NP}||} Se se sabe que é verdade, um ponteiro seria …

14 cc.complexity-theory  complexity-classes 

Esta pergunta está relacionada a uma das minhas perguntas anteriores, problemas difíceis de NP em árvores . Estou procurando problemas que sejam P completos nas árvores.

14 cc.complexity-theory  graph-theory  tree  p-hardness 

A maneira mais comum pela qual os oráculos ocorrem na teoria da complexidade é a seguinte: Um oráculo fixo é disponibilizado para, digamos, uma máquina de Turing com certos recursos limitados e estuda-se como o oráculo aumenta o poder computacional da máquina. Há, no entanto, outra maneira pela qual os …

14 cc.complexity-theory  oracles 

Existem vários problemas na teoria da representação combinatória e na geometria algébrica para os quais nenhuma fórmula positiva é conhecida. Existem vários exemplos em que estou pensando, mas deixe-me tomar como exemplo o coeficiente de computação Kronecker . Normalmente, a noção de "fórmula positiva" não é definida precisamente na combinatória, …

14 cc.complexity-theory  counting-complexity  lower-bounds 

Beigi, Shor e Watrous têm um excelente artigo sobre o poder das provas interativas quânticas com mensagens curtas. Eles consideram três variantes de 'mensagens curtas', e a que mais me interessa é a segunda variante em que qualquer número de mensagens pode ser enviado, mas o tamanho total da mensagem …

14 cc.complexity-theory  quantum-computing  interactive-proofs 

Sabe-se há muito tempo que, dado qualquer grau de repetição, existe um grupo finitamente apresentado cujo problema de palavras se encontra nesse grau. Minha pergunta é se o mesmo se aplica aos graus de Turing no tempo polinomial arbitrário . Especificamente, dado um conjunto decidível, , existe um grupo finitamente …

14 cc.complexity-theory  computability  gr.group-theory