Ciência da Computação Teórica

Quais são os bons papéis / livros para entender melhor o poder da Decomposição Modular e suas propriedades? Estou particularmente interessado em aspectos algorítmicos da Decomposição Modular. Ouvi dizer que é possível encontrar uma decomposição modular de um gráfico em tempo linear. Existe um algoritmo relativamente simples para isso? Que …

15 ds.algorithms  reference-request  graph-theory  graph-algorithms 

Se você observar os combinadores recursivos no cálculo lambda sem tipo, como o combinador Y ou o combinador ômega: É claro que todos esses combinadores acabam duplicando uma variável em algum lugar de sua definição.ωY==( λ x .xx )( λ x .xx )λ f.( λ x .f( xx ) )( …

15 lo.logic  pl.programming-languages  linear-logic 

Em nosso trabalho recente, resolvemos um problema computacional que surgiu no contexto combinatório, pressupondo que , onde ⊕EXP≠⊕EXPEXP≠⊕EXP\mathsf{EXP} \ne \mathsf{\oplus{}EXP} é aversão E X P de ⊕⊕EXP⊕EXP\mathsf{\oplus{}EXP}EXPEXP\mathsf{EXP} . O único artigo sobre ⊕⊕P⊕P\mathsf{\oplus{}P} que encontramos foi o artigo de Beigel-Buhrman-Fortnow, de1998,citado noComplexity Zoo. Entendemos que podemos ter versões paritárias deproblemascompletosde …

15 cc.complexity-theory  complexity-classes  conditional-results  structural-complexity 

Eu estava lendo um capítulo em LYAH que realmente não fazia sentido para mim. Entendo que os zíperes podem atravessar arbitrariamente uma estrutura semelhante a uma árvore, mas preciso de alguns esclarecimentos. Além disso, os zíperes podem ser generalizados para qualquer estrutura de dados?

15 ds.data-structures  functional-programming  tree 

Se temos um gráfico grande (direcionado) GGG e uma árvore com raízes menores , qual é a complexidade mais conhecida para encontrar subgráficos de isomórficos para ? Estou ciente dos resultados do isomorfismo da subárvore, onde e são árvores e também onde é planar ou limitou a largura de árvore …

15 ds.algorithms  reference-request  graph-theory 

O problema Seja um autômato Büchi, reconhecendo um idioma . Nós assumimos que tem uma estratégia de aceitação no seguinte sentido: existe uma função que pode ser usado para corridas piloto de . Formalizamos isso pelas seguintes condições:L ⊆ Σ co Uma σ : Σ * → Q UmA=⟨Σ,Q,q0,F,Δ⟩A=⟨Σ,Q,q0,F,Δ⟩A=\langle \Sigma, …

15 fl.formal-languages  automata-theory  regular-language  nondeterminism 

A classe de complexidade BQP corresponde a sub-rotinas quânticas de tempo polinomial, recebendo entradas clássicas e emitindo uma saída clássica probabilística. O aconselhamento quântico modifica isso para incluir cópias de alguns estados pré-determinados de aconselhamento quântico, mas com informações clássicas, como de costume. Qual é a classe de complexidade para …

15 cc.complexity-theory  complexity-classes  quantum-computing 

Costumamos considerar classes de complexidade em que estamos limitados na quantidade de espaço que nossa máquina de Turing pode usar, por exemplo: ou NSPACE ( f ( n ) ) . Parece que no início da teoria da complexidade houve muito sucesso com essas classes, como o teorema da hierarquia …

15 cc.complexity-theory  complexity-classes  quantum-computing  space-bounded 

Qual é a variação seguinte na capa do conjunto conhecida como? Dado um conjunto S, uma coleção C de subconjuntos de S e um número inteiro positivo K, existem conjuntos de K em C de modo que cada par de elementos de S esteja em um dos subconjuntos selecionados. Nota: …

15 np-hardness  set-cover  cc.complexity-theory 

Eu tenho um politopo PPP definido por {x:Ax≤b,x≥0}{x:UMAx≤b,x≥0 0}\{ x : Ax \leq b, x \geq 0\} . Pergunta: Dado um vértice vvv de PPP , existe um algoritmo de tempo polinomial para amostrar uniformemente os vizinhos de vvv no gráfico de PPP ? (Polinômio na dimensão, o número de …

15 reference-request  np-hardness  counting-complexity  linear-programming  polytope 

Existe alguma maneira natural de entender a essência da semântica relacional do polimorfismo paramétrico? Acabei de começar a ler sobre a noção de parametridade relacional, como "Tipos, abstração e polimorfismo paramétrico" de John Reynolds, e estou tendo problemas para entender como a semântica relacional é motivada. A semântica de conjuntos …

15 type-theory  parametricity 

Os solucionadores SAT oferecem uma maneira poderosa de verificar a validade de uma fórmula booleana com um quantificador. Por exemplo, para verificar a validade de ∃ x . φ ( x )∃x.φ(x)\exists x . \varphi(x) , podemos usar um solucionador SAT para determinar se é satisfatório. Para verificar a validade …

15 ds.algorithms  lo.logic  sat  boolean-functions 

Problema relacionado: O Teorema de Veblen afirma que "Um gráfico admite uma decomposição de ciclo se e somente se for par". Os ciclos são separados por arestas, mas não necessariamente separados por nós. Em outras palavras, "O conjunto de arestas de um gráfico pode ser dividido em ciclos se e …

15 cc.complexity-theory  graph-theory  co.combinatorics 

A altura da estrela (generalizada) de um idioma é o agrupamento mínimo de estrelas Kleene necessárias para representar o idioma por uma expressão regular estendida. Lembre-se de que uma expressão regular estendida sobre um alfabeto finito UMAUMAA satisfaz o seguinte: (1) e um são estendidos expressões regulares para toda a …

15 fl.formal-languages  lower-bounds  regular-expressions 

Na minha introdução ao curso de programação, estamos aprendendo sobre o método Initialization-Maintenance-Termination de provar que um algoritmo faz o que esperamos. Mas apenas tivemos que provar que um algoritmo já conhecido como correto está correto. Nunca fomos solicitados a mostrar que um algoritmo não está correto. Existem exemplos clássicos …

15 ds.algorithms  proofs