Ciência da Computação Teórica

Na semana passada, eu estava lendo novamente o transcrito de Leslie de Lamport, de 1982, de uma conferência que ele deu sobre problemas resolvidos, problemas não resolvidos e não problemas em simultâneo . O artigo é de fácil leitura, mas uma das coisas que me fez pensar é a seguinte …

13 reductions  dc.distributed-comp  concurrency 

Estou procurando uma estrutura de dados que mantenha uma tabela inteira ttt de tamanho nnn e permita as seguintes operações no tempo O(logn)O(log⁡n)O(\log n) . increase(a,b)increase(a,b)\text{increase}(a,b) , que aumentat[a],t[a+1],…,t[b]t[a],t[a+1],…,t[b]t[a],t[a+1],\ldots,t[b] . , que diminui t [ a ] , t [ a + 1 ] , … , t [ b …

13 ds.data-structures  cg.comp-geom 

Fora da academia, quais são os usos dos meus 'poderes'? O que posso fazer além de ensinar e publicar artigos? Onde todos posso aplicar meus poderes? Por uma questão de argumento: Por favor, assuma que eu tenho um PhD em algoritmos / TCS e aprendi uma grande quantidade de 'coisas' …

13 soft-question  big-picture  career 

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 

Recorde-se que a largura de uma resolução refutation de uma fórmula CNF M é o número máximo de literais em qualquer cláusula que ocorre em R . Para cada w , existem fórmulas insatisfatórias F no 3-CNF st. Cada refutação de resolução de F requer largura pelo menos w .RRRFFFRRRWwwFFFFFFWWw …

13 cc.complexity-theory  lo.logic  sat  proof-complexity 

O problema de partição é fracamente NP-completo, pois possui algoritmo de tempo polinomial (pseudo-polinomial) se os números inteiros de entrada estiverem delimitados por algum polinômio. No entanto, 3-Partition é um problema fortemente completo de NP, mesmo que números inteiros de entrada sejam limitados por um polinômio. Supondo, , podemos provar …

13 cc.complexity-theory  np-hardness  partition-problem 

É 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 

Esta questão é sobre problemas de programação quadrática com restrições de caixa (box-QP), ou seja, problemas de otimização do formulário minimizar sujeito a .f(x)=xTAx+cTxf(x)=xTAx+cTxf(\mathbf{x}) = \mathbf{x}^T A \mathbf{x} + \mathbf{c}^T \mathbf{x}x∈[0,1]nx∈[0,1]n\mathbf{x} \in [0,1]^n Se fosse semi-definido positivo, tudo seria agradável, convexo e fácil, e poderíamos resolver o problema em tempo …

13 ds.algorithms  optimization  exp-time-algorithms 

Eu encontrei o seguinte jogo. Vou migrar isso conforme solicitado. Um bug está visitando os círculos e um adversário deseja maximizar seu tempo de viagem. O adversário coloca um círculo a cada turno. O bug sai de sua posição atual diretamente em direção ao centro do círculo mais novo e …

13 gt.game-theory 

Dizemos que uma função é construtível no tempo , se existir uma máquina de Turing determinística múltiplas fitas que em todas as entradas de comprimento faça no máximo etapas e para cada existe alguma entrada de comprimento na qual executa exatamente etapas. M n f ( n ) n n …

13 cc.complexity-theory  time-complexity  terminology 

Em [1], Mitchell Wand demonstrado que a adição de FEXPRs para o cálculo lambda puro trivializes a teoria de equivalência contextual, o que significa que dois termos são contextualmente equivalente sse eles são -congruent. Ao explorar o trabalho relacionado, ele foi "o nosso resultado estende uma velha observação de Albert …

13 pl.programming-languages  lisp  scheme 

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 

É possível criar uma implementação mecânica de propósito único (não concluída em Turing), por exemplo, Microsoft Word? É possível implementar coisas como iteradores, funções de primeira ordem, toda a gama de técnicas de programação? As engrenagens e outras partes mecânicas representam estruturas de dados ou até objetos de programa? Em …

13 computability  pl.programming-languages  machine-models  ar.hardware-architecture 

Um algoritmo de teste de distribuição para uma propriedade de distribuição P (que é apenas um subconjunto de todas as distribuições acima de [n]) tem acesso permitido às amostras de acordo com alguma distribuição D e é necessário decidir (whp) se ou ( aqui é geralmente a distância ). A …

13 cc.complexity-theory  machine-learning  query-complexity  property-testing 

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