Ciência da Computação Teórica

Isso é parecido com " Algoritmos do livro ". Embora as reduções também sejam algoritmos, achei duvidoso que se pensasse em uma redução na resposta à pergunta sobre algoritmos do livro. Daí uma consulta separada! Reduções de todos os tipos são bem-vindas. Começarei com a redução realmente simples da cobertura …

22 ds.algorithms  np-hardness  big-list  reductions 

A redação exata do título deve-se a Anand Kulkarni (que propôs a criação deste site). Esta pergunta foi feita como exemplo, mas estou insanamente curiosa. Eu sei muito pouco sobre geometria algébrica e, de fato, também só tenho uma compreensão superficial dos obstáculos em jogo na questão P / poli …

22 cc.complexity-theory  np-hardness  lower-bounds  gct  barriers 

x∈Rnx∈Rnx \in \mathbb{R}^n∥x∥0&lt;k‖x‖0&lt;k\|x\|_0 < kAxAxAxAAARRRnnnR≪nR≪nR \ll nAAAkkk-parte com tão pequeno quanto . Talvez eu não tenha os parâmetros mais conhecidos, mas essa é a ideia geral.xxxRRRO(kno(1))O(kno(1))O(k n^{o(1)}) Minha pergunta é: existem fenômenos semelhantes em outras configurações? O que quero dizer é que o sinal de entrada pode vir de alguma …

22 ds.algorithms  ds.data-structures  compressed-sensing 

Alguém conhece um programa de código aberto para calcular a decomposição em árvore de gráficos para um "k" (largura) fixo? Eu sei que o problema de encontrar a Decomposição em Árvore é NP-Difícil para a variável "k", mas minhas instâncias de entrada serão realmente pequenas (~ 10 nós) e "k" …

22 ds.algorithms  graph-theory  graph-algorithms  software  treewidth 

todo mundo sabe que existem muitos problemas de decisão que são difíceis de NP em gráficos gerais, mas estou interessado em problemas que são difíceis de NP quando o gráfico subjacente é um caminho. Então, você pode me ajudar a coletar esses problemas? Eu já encontrei uma pergunta relacionada sobre …

22 graph-theory  np-hardness 

Eu estava lendo " O P Versus NP é formalmente independente? ", Mas fiquei intrigado. É amplamente aceito na teoria da complexidade que . Minha pergunta é sobre o que se não for possível (digamos no ). (Vamos supor que descobrimos apenas que é independente do mas não há mais …

22 cc.complexity-theory  np-hardness  big-picture  proofs  p-vs-np 

Estou procurando idiomas que "provavelmente não são livres de contexto", mas não podemos (des) provar isso usando técnicas padrão conhecidas. Existe uma pesquisa recente sobre o assunto ou uma seção de problemas abertos de uma conferência recente? Provavelmente, não existem muitos idiomas que não são conhecidos por CF, portanto, se …

21 reference-request  big-list  context-free 

Recentemente, passei pela dolorosa experiência divertida de explicar informalmente o conceito de complexidade computacional a um jovem programador autodidata talentoso, que nunca havia feito um curso formal de algoritmos ou complexidade antes. Não surpreendentemente, muitas noções pareciam estranhas a princípio, mas faziam sentido em alguns exemplos (PTIME, intratabilidade, incomputabilidade) , …

21 cc.complexity-theory  ds.algorithms  np-hardness 

É sabido que o seguinte problema está completo no PSPACE: Dada a expressão regular , ?L ( β ) = Σ ∗ββ\betaL ( β) = Σ∗L(β)=Σ∗L(\beta) = \Sigma^* E quanto a determinar a equivalência a outras expressões regulares (fixas) ?αα\alpha Dada a expressão regular , ?L ( β ) = …

21 cc.complexity-theory  automata-theory  regular-expressions  pspace 

Existe algum problema natural em P para o qual o limite de tempo de execução mais conhecido seja da forma , em que é uma constante irracional ?αO ( nα)O(nα)O(n^\alpha)αα\alpha

21 cc.complexity-theory  time-complexity  polynomial-time 

Estou escrevendo trabalhos em ciência da computação teórica, às vezes, sendo um autor único não anônimo. Anteriormente, usei a 1ª pessoa do plural nesses documentos, por exemplo: Mostraremos que as classes de complexidade X e Y coincidem. Não sou falante nativo de inglês nem sou muito bom em inglês. Recentemente, …

21 soft-question  paper-review  writing 

O seguinte problema apareceu recentemente em minha pesquisa. Como não sou especialista em questões algorítmicas, pesquisei bastante no Google em busca de problemas adequados para reduzir. Não vejo como o 3SAT funcionaria e, embora o ZOE seja semelhante em espírito, uma redução não é óbvia. Outra possibilidade seria a teoria …

21 cc.complexity-theory 

Vamos chamar uma função superpolinomial se for válido para cada c&gt; 0 .f( N )f(n)f(n) c &gt; 0limn → ∞nc/ f( n ) = 0limn→∞nc/f(n)=0\lim_{n\rightarrow\infty} n^c/f(n)=0c &gt; 0c&gt;0c>0 É claro que, para qualquer idioma L ∈ PL∈PL\in {\mathsf P} ele sustenta que L ∈ D T I M E ( …

21 cc.complexity-theory  ds.algorithms  complexity-classes 

Quando ensino limites de cauda, ​​uso a progressão usual: Se seu rv for positivo, você pode aplicar a desigualdade de Markov Se você tiver independência e também variância limitada, poderá aplicar a desigualdade de Chebyshev Se cada rv independente também tiver todos os momentos limitados, você poderá usar um limite …

21 reference-request  pr.probability  randomized-algorithms 

Encontrei o seguinte resultado durante minha pesquisa. limn→∞E[#{|ai−aj|,1≤i,j≤m}n]=1limn→∞E[#{|ai−aj|,1≤i,j≤m}n]=1\lim\limits_{n\to \infty} \mathbb{E}\left[ \frac{\#\{|a_i-a_j|,1\le i,j\le m \}}{n} \right] = 1 onde m=ω(n−−√)m=ω(n)m=\omega(\sqrt n) e a1,⋯,ama1,⋯,ama_1,\cdots,a_m são escolhidos aleatoriamente entre [n][n][n] . Estou à procura de uma referência / uma prova direta. Crossposted on MO

21 reference-request  co.combinatorics  pr.probability