Ciência da Computação Teórica

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 )( …

25 ds.algorithms  ds.data-structures  lower-bounds 

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, qual é o limite inferior da …

25 cc.complexity-theory  np  p-vs-np 

O Lema de Regularidade de Szemeredi diz que todo gráfico denso pode ser aproximado como uma união de O(1)O(1)O(1) muitos gráficos expansores bipartidos. Mais precisamente, existe uma partição da maioria dos vértices nos conjuntos O(1)O(1)O(1) , de modo que a maioria dos pares de conjuntos forma expansores bipartidos (o número …

25 graph-theory  co.combinatorics  expanders 

Volume III de Knuth de The Art of Computer Programming (capítulo 5, versículo 3.2) inclui o seguinte tabela listando o exato número mínimo de comparações necessárias para selecionar o th menor elemento de um conjunto indiferenciado de tamanho , para todos . Esta tabela, juntamente com as conhecidas expressões de …

25 ds.algorithms  reference-request  co.combinatorics  sorting  selection 

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 prestígio (por exemplo, MFCS, FCT, …

25 soft-question  career 

Recentemente, Ryan Willams provou que a Construtividade na Prova Natural é inevitável para derivar uma separação de classes de complexidade: N E X PNEXP\mathsf{NEXP} e . T C0 0TC0 0\mathsf{TC}^{0} A construtividade na prova natural é uma condição que todas as provas combinatórias na complexidade do circuito satisfazem e que …

25 cc.complexity-theory  complexity-classes  circuit-complexity  gct  barriers 

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} b^i | i \geq 0\} S→ …

25 fl.formal-languages  context-free  context-free-languages 

Essa questão surge da pura curiosidade (surgiu quando pensamos em embaralhar uma string , mas não tenho certeza se ela está realmente relacionada), por isso espero que seja apropriado. Existem vários produtos gráficos e estou interessado em qualquer um deles aqui. Qual é a complexidade de determinar se um gráfico …

25 cc.complexity-theory  graph-algorithms 

O que se sabe sobre a complexidade computacional de fatorar números inteiros em campos numéricos gerais? Mais especificamente: Sobre os números inteiros, representamos números inteiros por meio de suas expansões binárias. Quais são as representações análogas de números inteiros nos campos numéricos gerais? É sabido que a primalidade sobre os …

25 cc.complexity-theory  nt.number-theory  comp-number-theory 

O que se sabe sobre a complexidade do seguinte problema: Dado: números racionais x1&lt;x2&lt;…&lt;xnx1&lt;x2&lt;…&lt;xnx_1 < x_2 < \dotso < x_n . Saída: números inteiros y1≤y2≤…≤yny1≤y2≤…≤yny_1 \le y_2 \le \dotso \le y_n . Objetivo: minimizar ∑1≤i&lt;j≤ne(i,j),∑1≤i&lt;j≤ne(i,j),\sum_{1 \le i < j \le n} e(i,j), onde e(i,j)=|(yj−yi)−(xj−xi)|.e(i,j)=|(yj−yi)−(xj−xi)|.e(i,j) = | (y_j-y_i) - (x_j-x_i)|. Ou …

25 ds.algorithms  reference-request  optimization 

Dado um gráfico não-direcionado e não ponderado e um número inteiro par , qual é a complexidade computacional da contagem de conjuntos de vértices modo que e o subgrafo de restrito ao conjunto de vértices admite uma combinação perfeita? A complexidade é # P-completa? Existe uma referência para este problema?k …

25 cc.complexity-theory  co.combinatorics  counting-complexity 

Estarei participando da minha primeira conferência de ciência da computação e, depois de ler os conselhos sobre como melhorar as conferências , notei que várias sugestões eram sobre alunos de pós-graduação que participavam de sua primeira conferência. Que conselho você daria para um estudante de graduação que participe de sua …

25 soft-question  big-list  conferences 

Os solucionadores SAT são muito importantes em ataques algébricos , por exemplo, walkinsat e minisat . No entanto, ao resolver os problemas de benchmark disponíveis aqui, há uma enorme diferença de desempenho entre os dois - o Walksat é muito mais rápido que o minisat para esses problemas. Por que …

25 ds.algorithms  sat 

O resultado por Robertson e Seymour demonstra um algoritmo para testar se um gráfico fixo é um menor de . Eu tenho duas perguntas e meia sobre este tópico:G HO(n3)O(n3)O(n^3)GGGHHH 1) Parece que houve melhorias nesse algoritmo desde então. Qual é o algoritmo mais conhecido atualmente? 2a) O que as …

25 reference-request  graph-theory  co.combinatorics  graph-algorithms 

Como afirmado no título, pergunto-me qualquer relação e diferença entre CIC e ITT. Alguém poderia me explicar ou apontar alguma literatura que compara esses dois sistemas? Obrigado.

25 type-theory