Espero que essa não seja uma pergunta politicamente incorreta, mas para um estudante de doutorado que geralmente publica no CCC / ITCS / ICALP (e ocasionalmente no FOCS / STOC), poderia ser prejudicial (em termos de carreira) publicar trabalhos menos significativos em conferências de menor...
Em muitos trabalhos que envolvem gramáticas livres de contexto (CFGs), os exemplos de tais gramáticas apresentadas frequentemente admitem caracterizações fáceis da linguagem que geram. Por exemplo: S→ a a SbS→umaumaSbS \to a a S b S→S→S \to gera ,{ a2 ibEu| i≥0}{uma2EubEu|Eu≥0 0}\{ a^{2i}...
Esta resposta para os principais problemas não resolvidos em ciência da computação teórica? pergunta afirma que está aberto se um problema específico no NP exigir tempo .Ω ( n2)Ω(n2)\Omega(n^2) Observar os comentários em resposta me fez pensar: Além do preenchimento e de truques semelhantes,...
Suponha que e um algoritmo rápido de tempo linear para SAT apareça amanhã. De repente, a RSA fica insegura, grande parte do nosso sistema de comunicação moderno está quebrado e precisamos reconsiderar como manter segredos um do outro.P= NPP=NPP = NP Pergunta: Existe uma boa referência única (ou...
De acordo com D. den Hertog, Abordagem de ponto interior para programação linear, quadrática e convexa, 1994 , um programa linear com variáveis, n restrições e precisão L é solucionável em O ( n 3 L ) . Isso foi melhorado?nnnnnneueuLO ( n3L
Você conhece conseqüências interessantes de conjecturas (padrão) na teoria da complexidade em outros campos da matemática (isto é, fora da ciência da computação teórica)? Eu preferiria respostas em que: a conjectura da teoria da complexidade é tão geral e padrão quanto possível; Também estou...
Preciso calcular a mediana em execução: Entrada: nnn , kkk , vetor .( x1, x2, … , Xn)(x1,x2,…,xn)(x_1, x_2, \dotsc, x_n) Saída: vetor , em que é a mediana de .y i ( x i , x i + 1 , … , x i + k - 1 )( y1, y2, … , Yn - k + 1)(y1,y2,…,yn−k+1)(y_1, y_2, \dotsc, y_{n-k+1})yEuyiy_i( xEu, xi + 1, … , Xi...
Uma característica bem conhecida das instâncias -SAT é a razão do número de cláusulas sobre o número de variáveis , ou seja, o quociente . Para cada , existe um valor limite st \ para , a maioria das instâncias é satisfatória e para maioria das instâncias não é satisfatória. Tem havido uma série de...
ACSL (Ansi C Specification Language), é uma especificação para código C, anotada com comentários especiais, que permite que o código C seja formalmente verificado. Ainda não examinei, mas imagino que os métodos formais usados nos verificadores ACSL seriam semelhantes ao Hoare Logic. Porém, para...
É claro que alguns resultados de complexidade podem entrar em colapso para idiomas unários, mas eu me pergunto se existe em algum lugar uma pesquisa resumindo os resultados conhecidos nesse caso: uma espécie de zoológico de complexidade para idiomas unários. Você saberia de tal...
Para qualquer , digo que uma sequência de números inteiros em é completa se, para cada permutação de , escrita como uma sequência de números inteiros distintos , a sequência é uma subsequência de , ou seja, existede modo que para todos os .s { 1 , … , n } n p { 1 , … , n } p 1 , … , p n p s 1 ≤ i 1...
Existe uma linguagem NP completa (de preferência natural) L⊆{0,1}∗L⊆{0,1}∗L\subseteq \{0,1\}^* , de modo que para cada seja ? Em outras palavras, contém precisamente metade de todas as instâncias de bits.n≥1n≥1n\geq 1 L n|L∩{0,1}n|=2n−1|L∩{0,1}n|=2n−1|L\cap...
Além de se tornar totalmente acadêmico e obter um doutorado / pós-doutorado, ou procurar um emprego mais ou menos 'padrão' no desenvolvimento de software, quais são algumas outras opções de carreira no campo de CS completo ou
Quais são as consequências de ter problemas completos no ?NP∩ c o NPNP∩coNPNP\cap
Existe um análogo paralelo natural às árvores de vermelho-preto com propriedades semelhantes ou até mesmo terrivelmente piores para atualizações, sendo razoavelmente eficiente no trabalho? De um modo mais geral, o que podemos fazer de melhor para pesquisas paralelas com atualizações?...
A Wikipedia define um segundo ataque de pré-imagem como: dada uma mensagem fixa m1, encontre uma mensagem diferente m2, tal que hash (m2) = hash (m1). A Wikipedia define um ataque de colisão como: encontre duas mensagens diferentes arbitrárias m1 e m2, de modo que hash (m1) = hash (m2). A...
Estou procurando expansores desequilibrados que sejam "bons" e "com eficiência de espaço". Especificamente, um gráfico regular esquerdo bipartido , | Um | = n , | B | = m , com o grau esquerdo d, é um expansor ( k , ϵ ) se, para qualquer S ⊂ A de tamanho no máximo k , o número de vizinhos distintos...
O emaranhamento é frequentemente sustentado como o principal ingrediente que torna os algoritmos quânticos bem ... quânticos, e isso pode ser rastreado até os estados de Bell que destroem a idéia da física quântica como um modelo probabilístico de estado oculto. Na teoria da informação quântica (do...
O algoritmo de Coppersmith – Winograd é o algoritmo conhecido mais rapidamente assintoticamente para multiplicar duas matrizes quadradas. O tempo de execução de seu algoritmo é o mais conhecido até o momento. Qual é a complexidade espacial deste algoritmo? Está em ?O ( n 2.376 ) Θ ( n 2 )n × nn×nn...
Sabe-se que é NP-completo testar se existe um ciclo hamiltoniano em um gráfico tridimensional, mesmo que seja plano (Garey, Johnson e Tarjan, SIAM J. Comput. 1976) ou bipartido (Akiyama, Nishizeki, e Saito, J. Inform. Proc. 1980) ou para testar se existe um ciclo hamiltoniano em um gráfico de 4...