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

Suponha que um tenha um algoritmo UMAAA (BPP) randomizado usando rrr bits de aleatoriedade. Maneiras naturais de ampliar sua probabilidade de sucesso para 1 - δ1−δ1-\delta , para qualquer δ> 0δ>0\delta>0 escolhido , são Execuções independentes + voto da maioria: execute UMAAA independentemente T= Θ ( log( 1 / δ)T=Θ(log⁡(1/δ)T=\Theta(\log(1/\delta) …

12 reference-request  randomness  pseudorandomness  expanders 

Existem pesquisadores mostrando que o apagamento de bit deve consumir energia, agora existem pesquisas sobre o consumo médio de energia do algoritmo com complexidade computacional ? Eu acho que a complexidade computacional F ( n ) está correlacionada com o consumo médio de energia, espero poder obter alguma resposta aqui.F( …

12 cc.complexity-theory  reference-request  it.information-theory  quantum-information  statistical-physics 

Quem foi a primeira pessoa a mostrar que um idioma está no NP se um certificado para o idioma puder ser verificado em tempo polinomial? Temos um artigo que prova isso formalmente? Quando a comunidade do TCS começou a enfatizar o não determinismo em favor da verificabilidade? Pela minha vida, …

12 reference-request 

Digamos que um gráfico tenha a propriedade M se seus vértices puderem ser ordenados v 1 , v 2 , … v n de maneira que o gráfico H i induzido pelos vértices { v 1 , … , v i } tenha d i s t H i ( …

12 reference-request  graph-theory 

Estou procurando um documento de pesquisa dos conceitos importantes no campo do Quantum Automata. Encontrei a Teoria dos Autômatos Quânticos - Uma Revisão por Hirvensalo, mas parece sucinta demais para entender o tópico. Existe uma pesquisa bastante abrangente sobre o tema do Quantum Automata? Além disso, você poderia me indicar …

12 reference-request  quantum-computing  automata-theory 

Eu sou um estudante de matemática interessado em TCS. Eu quero estudar os algoritmos e a complexidade deles para resolver os problemas teóricos do grupo, como encontrar ordem dos elementos, enumeração de coset, encontrar gerador, testar se um determinado subconjunto gera o grupo. Que livro devo ler?

12 ds.algorithms  reference-request  gr.group-theory  books 

em 1979, Hopcroft / Ullman escreveu que o LPSP é conhecido como PSpace, mas o LPSP é a única contenção adequada (e trivial) conhecida, embora todos sejam conjecturados como contenções adequadas e "onde as coisas ainda estão" ~ 4 décadas depois . desde então, existem conexões conhecidas entre L ⊊ …

12 cc.complexity-theory  reference-request  lower-bounds  p-vs-np  conditional-results 

Estou lendo pesquisas de Trevisan e Lovett sobre aplicações de aditivos combinatórios no TCS. A maioria desses aplicativos se enquadra na complexidade computacional , por exemplo, limites mais baixos. Gostaria de saber se a combinatória aditiva também encontrou aplicações no design de algoritmos . A motivação para minha pergunta é …

12 ds.algorithms  reference-request  co.combinatorics 

Tenho certeza de que não sou o primeiro a aceitar a idéia que vou apresentar. No entanto, seria útil encontrar alguma literatura relacionada à idéia. A idéia é construir uma Máquina de Turing M com a propriedade de que, se P = NP, M resolverá o 3-SAT em tempo polinomial. …

12 reference-request  turing-machines  p-vs-np 

Ao responder a essa pergunta sobre a teoria , eu (informalmente) provei rapidamente o seguinte teorema: Teorema : Para qualquer fixo ≥ 3, o probem do ciclo hamiltoniano permanece NP-completo, mesmo que restrito a gráficos bipartidos planas não direcionados de grau máximo 3 que não contenham ciclos de comprimento ≤ …

12 reference-request  np-hardness 

Portanto, uma rápida pesquisa na web me levou a acreditar que "o APXHardness implica que não existe QPTAS para um problema, a menos que [alguma classe de complexidade] esteja incluída em alguma [outra classe de complexidade]" e também é bem conhecido! Parece que todo mundo sabe disso, exceto eu. Infelizmente, …

12 cc.complexity-theory  reference-request 

Idiomas dyck são definidos pela seguinte gramática S → S SD y c k (k)Dyck(k)\mathsf{Dyck}(k) sobre o conjunto de símbolos { ( 1 , … , ( k , ) 1 , … , ) k } . Linguagens intuitivamente dyck são as linguagens de parênteses balanceados de k tipos …

12 reference-request  fl.formal-languages  circuit-complexity  ho.history-overview  context-free 

Li o artigo de Freyd "Algebraically Complete Categories" no famoso Como90 e tenho duas perguntas sobre a noção de compacidade algébrica que ele definiu nesse artigo. (Se você não está familiarizado com a definição, aqui está: Uma categoria é chamada algebricamente compacta se todo endofuncor tiver uma álgebra inicial e …

12 reference-request  type-theory  ct.category-theory 

Estou procurando referências bibliográficas para o seguinte algoritmo / problema: Chamei de "BiSelect" ou "t-ary Select" ou "Selecionar na união de matrizes classificadas", mas acho que foi introduzido anteriormente com outro nome? Problema Considere o seguinte problema: Dado disjuntos ordenada matrizes , dos respectivos tamanhos , e um inteiro , …

12 reference-request 

Estou tentando entender a qual classe de complexidade o seguinte problema pertence: Problema de raiz polinomial exponencial (EPRP) Seja um polinômio com deg ( p ) ≥ 0 com coeficientes extraídos de um campo finito G F ( q ) com q um número primo e r uma raiz primitiva …

12 cc.complexity-theory  reference-request  comp-number-theory  np-intermediate