Ciência da Computação Teórica

Hipercomputação refere-se a modelos de computação que não são possíveis de simular usando máquinas de Turing. (Os hipercomputadores não são necessariamente realizáveis ​​fisicamente!) Alguns hipercomputadores têm acesso a um recurso que permite resolver o problema de parada das máquinas de Turing padrão. Chame isso de "superpotência": um hipercomputador com uma …

17 computability  hypercomputation 

como mostrar que relação existe entre "conjectura de jogos únicos" e "teorema do PCP"? como explicar "conjectura de jogos únicos" é a forma mais forte de "teorema do PCP"?

17 cc.complexity-theory  pcp  unique-games-conjecture 

Teaser Como o problema é longo, aqui está um caso especial que captura sua essência. Problema: Seja A um algoritmo detrminístico para o 3-SAT. É o problema de simular completamente o algoritmo A (em todas as instâncias do problema). Espaço P difícil? (Mais precisamente, existem razões para acreditar que esta …

17 cc.complexity-theory  big-picture  structural-complexity 

Estou procurando um exemplo fácil de dois sistemas de transição equivalentes a LTL, mas não equivalentes a traços. Li a prova de que a Equivalência de traços é mais refinada do que a Equivalência de LTL no livro "Princípios de verificação de modelos" (Baier / Katoen), mas não tenho certeza …

17 lo.logic  model-checking  linear-temporal-logic 

É sabido que, se você jogar n bolas em n compartimentos, é altamente provável que a bandeja mais carregada tenha . Em geral, pode-se perguntar sobre bolas em caixas. Um artigo da RANDOM 1998 de Raab e Steger explora isso com alguns detalhes, mostrando que à medida que aumenta, a …

17 reference-request  pr.probability 

Minha idéia de uma carreira de sonho é uma carreira em pesquisa industrial, onde se consegue lidar com problemas desafiadores e também de uso prático. Para isso, é ruim fazer um doutorado em TCS (estou interessado em tópicos como algoritmos distribuídos / paralelos, algoritmos on-line)? Tenho a noção de que …

17 soft-question  advice-request  career 

E se alguma coisa for conhecida sobre a complexidade parametrizada da computação do número de interseção de um gráfico (o menor número de cliques necessário para cobrir todas as suas arestas)? Há muito que se sabe que o NP está completo, e obviamente é o FPT porque possui um núcleo: …

17 ds.algorithms  reference-request  graph-algorithms  parameterized-complexity 

Entendo que a integridade de Turing requer memória ilimitada e tempo ilimitado. No entanto, há uma quantidade finita de átomos nesse serviço, tornando a memória limitada. Por exemplo, mesmo que seja irracional, não há como armazenar mais do que um certo número de dígitos, mesmo que todos os átomos do …

17 computability  upper-bounds 

Na teoria dos autômatos (autômatos finitos, autômatos de empilhamento, ...) e na complexidade, existe a noção de "ambiguidade". Um autômato é ambíguo se houver uma palavra com pelo menos duas execuções de aceitação distintas. Uma máquina é ambígua se, para cada palavra aceita pela máquina, houver no máximo execuções distintas …

17 lo.logic  automata-theory  regular-language  nondeterminism  finite-model-theory 

Dado um gráfico acíclico direcionado, , é possível oferecer suporte eficiente às seguintes operações?G(V,E)G(V,E)G(V,E) L um bisConnected(G,a,b)isConnected(G,a,b)isConnected(G,a,b) : determina se existe um caminho em do nó para o nóGGGaaabbb a b Glink(G,a,b)link(G,a,b)link(G,a,b) : Adiciona uma aresta de a no gráficoaaabbbGGG a b Gunlink(G,a,b)unlink(G,a,b)unlink(G,a,b) : remove a aresta de para emaaabbbGGG …

17 ds.algorithms  graph-algorithms  directed-acyclic-graph  online-algorithms 

Como é sabido, o PARITY não pode ser feito em circuitos de profundidade constante de tamanho poli e, de fato, os circuitos const-dept requerem número de portas EXP. E os circuitos QUANTUM? a) O PARITY pode ser feito com um circuito quântico que tenha profundidade constante e número poli de …

17 cc.complexity-theory  quantum-computing  circuit-complexity 

O artigo de Fischer este mês me lembrou o pouco que sei sobre a arte de estruturas sucintas de dados e algoritmos para usá-las. Para aqueles que não conhecem estruturas de dados sucintas: Dada uma estrutura combinatória, com configurações diferentes (n) e uma representação "útil" conhecida . Existe uma estrutura …

17 ds.data-structures  lower-bounds 

Parece haver muito trabalho, para alguns problemas NP-Hard, no desenvolvimento de algoritmos exatos de tempo exponencial rápido (ou seja, resultados da forma: Algoritmo A resolve o problema no tempo O (c ^ n), com c pequeno). Parece haver uma boa quantidade de trabalho nesse sentido para alguns problemas difíceis de …

17 ds.algorithms 

Eu tenho tentado ler “ Projeto Pérolas do algoritmo funcional ” e, posteriormente, “ A álgebra da programação ”, e há uma correspondência óbvia entre tipos de dados definidos recursivamente (e polinomialmente) e objetos combinatórios, com a mesma definição recursiva e, posteriormente, levando para a mesma série formal de poder …

17 cc.complexity-theory  co.combinatorics  functional-programming  ct.category-theory 

O problema que consideramos aqui é a extensão do conhecido problema de coloração por intervalo. Em vez de intervalos, consideramos retângulos com lados paralelos aos eixos. O objetivo é colorir os retângulos usando o número mínimo de cores, para que dois retângulos sobrepostos tenham cores diferentes. Esse problema é conhecido …

17 ds.algorithms  approximation-algorithms  cg.comp-geom  graph-colouring  online-algorithms