Ciência da Computação Teórica

Como o termo está sobrecarregado, faça uma breve definição primeiro. Um poset é um conjunto XXX dotado de uma ordem parcial ≤≤\le . Dado dois elementos a,b∈Xa,b∈Xa,b \in X , podemos definir x∨yx∨yx \vee y (junção) como seu limite superior mínimo em XXX e similarmente definir x∧yx∧yx \wedge y (conhecer) …

17 reference-request  co.combinatorics  metrics  lattice  order-theory 

Estou lendo A Implementação de Linguagens de Programação Funcional, de Simon Peyton Jones, e há uma declaração que me surpreendeu um pouco (na página 39): Em uma extensão muito maior do que é o caso das linguagens imperativas, as linguagens funcionais são amplamente variações sintáticas umas das outras, com relativamente …

17 functional-programming  semantics  imperative-programming 

Eu sou novo na teoria das linguagens de programação e estou procurando um bom recurso em um recurso para semântica formal de linguagens de programação. Procurando especificamente por semântica operacional estrutural. Eu tenho algumas recomendações de livros. Mas estou procurando um recurso em um nível mais introdutório. Especialmente tutoriais, recomendações …

17 reference-request  pl.programming-languages  semantics  formal-systems 

É fácil ver que qualquer problema decidível no espaço de registro determinístico ( ) é executado no máximo no tempo polinomial ( P ). Muitos algoritmos de espaço de log conhecidos (por exemplo: conectividade st não direcionada, isomorfismo de gráfico plano) são executados em O ( n k ), onde …

17 cc.complexity-theory  space-bounded  space-time-tradeoff 

Estou procurando descobrir se existem resultados gerais ou exemplos relativos à completude de NP do problema de encontrar uma segunda solução para um problema de NP-completo. Mais precisamente, estou interessado em qualquer problema da seguinte forma: Dada uma solução para uma instância de um problema NP-completo, existe uma solução para …

17 cc.complexity-theory  reference-request  np-hardness  unique-solution 

Dada uma caminhada aleatória em um gráfico, o tempo de cobertura é a primeira vez (número esperado de etapas) em que todos os vértices são atingidos (cobertos) pela caminhada. Para gráficos não direcionados conectados, o tempo de cobertura é conhecido por ser superior ao . Existem dígrafos fortemente conectados com …

17 graph-theory  co.combinatorics  markov-chains  random-walks 

Tanto quanto eu entendo, todos sabem que as regras de pivô determinísticas para algoritmos simplex têm entradas específicas nas quais o algoritmo requer tempo exponencial (ou pelo menos não polinomial) para encontrar o melhor. Vamos chamar essas instâncias de "patológicas", já que geralmente (ou seja, na maioria das entradas) o …

17 cc.complexity-theory  reference-request  linear-programming  simplex 

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 …

17 graph-theory  co.combinatorics 

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 …

17 computability 

Ao ler um artigo sobre o uso de métodos algébricos para detectar alguns subgráficos induzidos, parece que o ideal da aresta é uma ferramenta importante que conecta álgebra comutativa e teoria de grafos. Como não estou familiarizado com cálculos de objetos algébricos, existem boas referências ou livros sobre esse assunto? …

17 ds.algorithms  reference-request  algebra  algebraic-complexity 

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 para que ele …

17 sat  lo.logic  csp 

A distribuição DD\mathcal{D} é dito ϵϵ\epsilon -fool uma função se . E é dito que engana uma classe de funções se ela engana todas as funções nessa classe. Sabe-se que os espaços tendenciosos enganam a classe de paridades sobre subconjuntos. (veja Alon-Goldreich-Hastad-Peralta para algumas construções legais de tais espaços). A …

17 cc.complexity-theory  derandomization  space-bounded  pseudorandomness 

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 ou prejudica. Minha pergunta é: Quais …

17 randomness  big-picture  randomized-algorithms 

Estou interessado em propriedades de gráficos direcionados aleatórios com grau externo fixoddd . Estou imaginando um modelo de gráfico aleatório em que cada vértice escolhe d vizinhos (digamos, com substituição) uar Pergunta : Sabe-se alguma coisa sobre a distribuição estacionária e os tempos de mistura de passeios aleatórios nesses gráficos …

17 graph-theory  co.combinatorics  automata-theory  random-walks 

Encontrei o livro Pairwise Independence and Derandomization sobre o assunto, mas é mais orientado para a pesquisa do que orientado para o tutorial. Eu sou novo no assunto de "Derandomization" e, como tal, queria saber de qual referência começar? Prefiro um que discuta literatura e história, bem como detalhes técnicos.

17 cc.complexity-theory  derandomization  randomized-algorithms