Ciência da Computação Teórica

17
Aleatorizar ou não?

Esta pergunta é inspirada na camiseta do Georgia Tech Algorithms and Randomness Center , que pergunta "Randomize or not ?!" Existem muitos exemplos em que a randomização ajuda, especialmente quando operando em ambientes adversos. Existem também algumas configurações em que a randomização não ajuda...

17
Satisfação de restrição aberta ou interativa

No passado, implementei modelos de coordenação usando SAT e satisfação regular de restrições como o cavalo de batalha principal em seus motores. Continuando nesta linha de trabalho, gostaria de tornar os modelos mais interativos, e a melhor maneira de fazer isso é abrir o solucionador de restrições...

17
Um computador pode simular-se como parte de um mundo simulado?

Digamos que você construa um computador que calcule o estado de todos os átomos no Universo em determinado momento futuro. Como o Universo é, por definição, tudo o que existe (e tudo o que interage com o resto), também inclui o computador que você está construindo. Você pode calcular o estado de...

17
Conjuntos de graus para gráficos de extensão linear

Uma extensão linear de um poset é uma ordem linear nos elementos de , de modo que em implica em para todos os .P P x ≤ y P x ≤ y L x , y ∈ PLLLPP\mathcal{P}PP\mathcal{P}x≤yx≤yx \leq yPP\mathcal{P}x≤yx≤yx \leq yLLLx , y∈ Px,y∈Px,y\in\mathcal{P} Um gráfico de extensão linear é um gráfico no conjunto...

17
Algoritmos para embalagem de conjunto

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...

17
Pesquisa sucinta de estruturas de dados?

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 ....