Ciência da Computação Teórica

Pense no modelo de célula-sonda. Existe uma estrutura de dados que pode alocar blocos contíguos de memória de qualquer tamanho (como, por exemplo, malloc em C), e liberá-los, evitando a segmentação de memória, e executa todas as operações no pior momento determinístico de O (log n) em que n é …

12 ds.data-structures  memory 

Estou procurando uma lista sobre a complexidade conhecida ou desconhecida de vários problemas teóricos / algébricos de números. Por exemplo, GCD em está aberto,NC1NC1NC^1 factoring em é aberto,PPP a cohomologia do feixe de computação é -hard# P#P\#P , Arora e Barak afirmam que uma variante de fatoração é completa (embora …

12 cc.complexity-theory  big-list  algebra  open-problem 

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 

Quais são os problemas com as seguintes propriedades: 1) são restrições de (possivelmente bem conhecidos) problemas que são completos no PSPACE; 2) as versões restritas estão no PSPACE, mas é um problema aberto se estiverem completas com o PSPACE (ou mesmo se forem difíceis de NP). Quatro exemplos de "puzzles …

12 big-list  open-problem 

Existem algoritmos para reordenar dados para otimizar a compactação? Entendo que isso seja específico dos dados e do algoritmo de compactação, mas existe uma palavra para este tópico? Onde posso encontrar pesquisas nessa área? Especificamente, tenho uma lista json de 1,5 milhão de strings e quero reordená-las para que a …

12 optimization  permutations 

A barreira das provas naturais de Razborov e Rudich afirma que, sob suposições criptográficas confiáveis, não se pode esperar separar NP de P / poly encontrando propriedades combinatórias de funções construtivas, grandes e úteis. Existem vários resultados bem conhecidos que conseguem escapar à barreira. Também existem vários artigos discutindo possíveis …

12 cc.complexity-theory  circuit-complexity 

No artigo "Sobre a complexidade de alguns jogos de colorir", Bodlaender faz algumas perguntas em aberto sobre a complexidade de decidir se o jogador 1 ou 2 tem uma estratégia vencedora em alguns jogos de colorir gráficos. Alguém sabe se eles foram resolvidos? 1) Em um jogo, dois jogadores se …

12 graph-colouring  pspace  two-player-games 

Eu tenho tentado entender o que, por que e como do -calculus, mas não consigo entender o porquê "funciona"?λλ\lambda "Intuitivamente", obtenho o modelo de computabilidade da Turing Machines (TM). Mas essa distração me deixa confusa.λλ\lambda Vamos supor que as TMs não existem - então como alguém pode ser "intuitivamente" convencido …

12 soft-question  computability  lambda-calculus  ho.history-overview  intuition 

Existem exemplos de aplicações práticas de jogos de paridade, isto é, sistemas, no mundo real, que podem ser representados como jogos de paridade? A documentação geralmente relacionada aos jogos de paridade quase nunca tem um exemplo prático desse aplicativo.

12 lo.logic  two-player-games 

Seja uma constante. Como podemos comprovadamente construir um gerador pseudo-aleatório que engana os autômatos finitos do estado d ?dddddd Aqui, um -state finito autómatos tem d nodos, um nó de início, um conjunto de nodos que representam aceitar os estados, e duas arestas dirigidas rotulado 0, 1 saindo de cada …

12 automata-theory  pseudorandomness  pseudorandom-generators 

Eu não sou um cientista da computação teórico. Sou um teórico estável da homotopia usando -categories. Vi aplicações da teoria das categorias e da teoria topos à ciência da computação teórica, e fiquei imaginando se havia alguma maneira de usar -categories (e de preferência para mim, a teoria da homotopia …

12 lo.logic  soft-question  ct.category-theory 

Seja uma função booleana com sensibilidade s ( f ) e bloqueie a sensibilidade b s ( f ) .fffs ( f)s(f)s(f)b s ( f)bs(f)bs(f) A conjectura de conjectura de sensibilidade de bloco de sensibilidade afirma que existe um tal que ∀ f , b s ( f ) ≤ …

12 cc.complexity-theory  big-picture  boolean-functions  survey 

Como alguém mostra que uma determinada propriedade não pode ser expressa em 2-CNF (2-SAT)? Existem jogos, como jogos de seixos? Parece que o clássico jogo de pedras negras e preto e branco é inadequado para isso (eles são completos para o PSPACE, de acordo com Hertel e Pitassi, SIAM J …

12 sat  lower-bounds  combinatorial-game-theory 

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 

Existem problemas completos de NP (ou mesmo NP-difícil ou NP) que possuem boas propriedades topológicas para estudar. Os problemas de PN têm formulações teóricas de nós? Sabemos sobre os resultados # sobre o polinômio de Jones. Problemas gráficos (incorporações?), Especificamente cores dos gráficos, podem ter boas propriedades teóricas dos nós. …

12 ct.category-theory  np