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

Estou à procura de: Michael O. Rabin, "Grau de dificuldade em calcular uma função e uma ordem parcial de conjuntos recursivos", Universidade Hebraica, Jerusalém, 1960 Resumo: “Tentamos medir a quantidade de trabalho inerente à tarefa de calcular uma determinada função computável (recursiva). Uma noção de grau de dificuldade de computação …

13 cc.complexity-theory  reference-request  ho.history-overview 

Para uma função booleana f:{−1,1}n→{−1,1}f:{−1,1}n→{−1,1}f\colon\{-1,1\}^n \to \{-1,1\} , a influência do iii th variável é definida como Infi[f]=defPrx∼{−1,1}n[f(x)≠f(x⊕i)]Infi⁡[f]=defPrx∼{−1,1}n[f(x)≠f(x⊕i)] \operatorname{Inf}_i[f] \stackrel{\rm def}{=} \Pr_{x\sim\{-1,1\}^n}[ f(x) \neq f(x^{\oplus i})] onde x⊕ix⊕ix^{\oplus i} é a string obtida ao virar oiiiésimo bit dexxx. A influência mínima defffé entãoMinInf[f]=defmini∈[n]Infi[f].MinInf⁡[f]=defmini∈[n]Infi⁡[f].\operatorname{MinInf}[f] \stackrel{\rm def}{=} \min_{i\in[n]}\operatorname{Inf}_i[f]. Dado um parâmetro , …

13 reference-request  pr.probability  boolean-functions 

Como estou interessado em analisadores (principalmente em gramáticas de expressão do analisador), estou me perguntando se há algum trabalho que forneça um tratamento categórico para a análise. Qualquer referência sobre aplicações da teoria de categorias à análise é altamente apreciada. melhor,

13 reference-request  functional-programming  ct.category-theory  parsing 

Enquanto escrevia um pequeno post sobre a complexidade dos videogames Nibbler e Snake ; Descobri que ambos podem ser modelados como problemas de reconfiguração em gráficos planares; e parece improvável que esses problemas não tenham sido bem estudados na área de planejamento de movimento (imagine, por exemplo, uma cadeia de …

13 cc.complexity-theory  reference-request  np-hardness  planar-graphs 

No problema de extensibilidade, recebemos parte da solução e queremos decidir se podemos estendê-la para uma solução completa. Alguns problemas de extensibilidade são solucionáveis ​​com eficiência, enquanto outros problemas de extensibilidade transformam um problema fácil em um difícil. Por exemplo, Konig-Hall teorema afirma que todos os grafos bipartidos cúbicos são …

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

Fundo: A complexidade da árvore de decisão ou a complexidade da consulta é um modelo simples de computação definido da seguinte maneira. Seja uma função booleana. A complexidade da consulta determinística de f , denotada D ( f ) , é o número mínimo de bits da entrada x ∈ …

13 cc.complexity-theory  reference-request  query-complexity  decision-trees 

É bem sabido que a complexidade de distinguir um moeda inclinado a partir de uma feira um é θ ( ε - 2 ) . Existem resultados para distinguir uma moeda p de uma moeda p + ϵ ? Eu posso ver que, para o caso especial de p = …

13 reference-request  time-complexity 

Eu tenho uma redução do seguinte problema de partição para um determinado problema de agendamento: Entrada: Uma lista de números inteiros positivos em ordem não decrescente.uma1⩽ ⋯ ⩽ umnuma1⩽⋯⩽umana_1\leqslant\cdots\leqslant a_n Pergunta: Existe um vetor tal que( x1, … , Xn) ∈ { - 1 , 1 }n(x1,...,xn)∈{-1,1}n(x_1,\ldots,x_n)\in\{-1,1\}^n k ∑ i …

13 cc.complexity-theory  reference-request  partition-problem  subset-sum 

Ao ler as perguntas Exemplos onde a unicidade da solução torna mais fácil de encontrar , uma nova interrogação (? Mais fácil) veio à minha mente: na verdade, não sabemos se o (Gráfico Isomorfismo ) problema está em .G IGEuGIPPP Mas o que acontece se assumirmos que ambos e são …

13 reference-request  graph-isomorphism 

É sabido se o problema de avaliação do circuito está em N C 1 ? Que tal A L o g T i m e (uniforme N C 1 )?NC1NC1\mathsf{NC^1}NC1NC1\mathsf{NC^1}ALogTimeALogTime\mathsf{ALogTime}NC1NC1\mathsf{NC^1} Sabemos que os circuitos de profundidade podem ser avaliados com circuitos de profundidade k + c, onde c é uma …

13 cc.complexity-theory  reference-request  circuit-complexity 

Eu quero definir uma noção de "proximidade" entre duas linguagens regulares de palavras finitas em (e / ou palavras infinitas em Σ w ). A idéia básica é que queremos que dois idiomas estejam próximos se eles não diferirem em muitas palavras. Também poderíamos usar a distância de edição de …

13 reference-request  fl.formal-languages  regular-language 

Motivação: Um co-autor edita um manuscrito e eu gostaria de ver um resumo claro das edições. All "diff" -como ferramentas tendem a ser inútil se você está tanto em movimento texto ao redor (por exemplo, re-organização da estrutura) e fazer edições locais. É realmente tão difícil acertar? Definições: eu gostaria …

13 ds.algorithms  reference-request  parameterized-complexity  string-matching  edit-distance 

É fácil de ver que, se então há total de procurar problemas que não podem ser resolvidos em tempo polinomial (criar um problema total de busca tendo tanto as testemunhas de filiação como as testemunhas de não filiação).N PN P ∩ c o N P ≠ PNP∩coNP≠P\mathsf{NP}\cap\mathsf{coNP} \neq \mathsf{P}N PNP\mathsf{NP} …

13 cc.complexity-theory  reference-request  search-problem 

Parece-me que os especialistas em aprendizado de máquina / mineração de dados estão familiarizados com P e NP, mas raramente falam sobre algumas das classes de complexidade mais sutis (por exemplo, NC, BPP ou IP) e suas implicações para uma análise eficaz dos dados. Existe alguma pesquisa de trabalho fazendo …

13 cc.complexity-theory  reference-request  machine-learning 

A menor fórmula conhecida para o determinante tem tamanho acordo com o folclore (ou com Ran Raz em seu artigo As Fórmulas Multi-Lineares para Permanentes e Determinantes são de Tamanho Super-Polinomial ).nO (logn )nO(registro⁡n)n^{\mathcal O(\log n)} Você tem alguma referência para isso? Em particular, qual é essa fórmula?

13 cc.complexity-theory  reference-request  algebraic-complexity  determinant