Ciência da Computação Teórica

Dado um gráfico direcionado com n nós, de modo que cada vértice tenha exatamente duas arestas de saída e um número natural N codificado em binário, dois vértices s e t, Quero contar o número de caminhos (não necessariamente simples) de s a t em N etapas. Este é um …

12 cc.complexity-theory  graph-theory  counting-complexity 

Definir um "problema" para ser um algoritmo aceitar um número natural e retornando 0 ou 1, o qual devolve uma em pelo menos uma n ∈ N . Qualquer um desses n é chamado de "solução" para AAAA111n∈Nn∈Nn \in \mathbb{N}nnnAAA Definir um "solucionador de problemas universal" para ser um algoritmo …

12 cc.complexity-theory  ai.artificial-intel 

Se você receber uma coleção de pedidos parciais, a classificação topológica informará se há uma extensão da coleção para um pedido total (uma extensão nesse caso é um pedido total consistente com cada um dos pedidos parciais). Eu me deparei com uma variação: Fixar um conjunto . Você recebe sequências …

12 ds.algorithms  reference-request  order-theory 

Qual a relação entre a expressividade de LTL , Büchi / QPTL , CTL e CTL * ? Você pode dar algumas referências que abranjam o máximo possível dessas lógicas temporais (especialmente entre o tempo linear e o ramificado)? Um diagrama de Venn com essas lógicas temporais e algumas propriedades …

12 lo.logic  automata-theory  model-checking  temporal-logic 

O livro A = B de Petkovsek, Wilf e Zeilberger descreve algoritmos para calcular diferentes somas de binômios. AFAIK, esses algoritmos ainda estão sendo aprimorados por diferentes autores. Você sabe onde podemos encontrar as implementações mais atualizadas desses algoritmos? E você sabe se existem implementações em alguns softwares gratuitos, como …

12 ds.algorithms  co.combinatorics  implementation 

Arora e Barak mostram que pode ser expresso como ou seja, o conjunto de idiomas que apresentaram reduções aleatórias em 3SAT. também é uma generalização aleatória natural de na medida em que você substitui o verificador determinístico por um verificador aleatório.AMAM\mathsf{AM}BP⋅NPBP⋅NP\mathsf{BP}\cdot \mathsf{NP}MAMA\mathsf{MA}NPNP\mathsf{NP} Existe um sentido em que um deles é …

12 cc.complexity-theory  big-picture 

Espero que alguém conheça isso, por isso não preciso ler a literatura ... x1, … , Xnx1,…,xnx_1, \ldots, x_nn - 1n−1n-1[ x1, x2] , [ x2, x3] , … , [ Xn - 1, xn][x1,x2],[x2,x3],…,[xn−1,xn][x_1, x_2], [x_2, x_3], \ldots, [x_{n-1},x_n]kkkkkkpEu= ( i , xEu)pi=(i,xi)p_i =(i,x_i)kkk kkkO ( n logk )O(nlog⁡k)O( …

12 ds.algorithms  reference-request  sorting 

Existe um algoritmo de tempo linear para dividir o texto uniformemente em linhas de largura máxima. Ele usa SMAWK (ou Knuth & Plass) e significa "uniformemente": http://en.wikipedia.org/wiki/Word_wrap#Minimum_raggedness Existe um algoritmo ou uma função de custo côncavo para o algoritmo acima, que levaria em conta o número de linhas nas quais …

12 ds.algorithms 

Existem problemas decidíveis que, para nenhum algoritmo que resolva o problema, podemos dar um tempo limitado em função do comprimento n da instância de entrada? Cheguei a essa pergunta porque estava pensando no seguinte: Suponha que temos um problema recursivamente enumerável, mas indecidível. Suponha ainda que eu seja uma instância …

12 computability  time-complexity 

Dado um filtro de bloom de tamanho N-bits e K funções hash, dos quais M-bits (onde M <= N) do filtro estão definidos. É possível aproximar o número de elementos inseridos no filtro de bloom? Exemplo Simples Eu estive refletindo sobre o exemplo a seguir, assumindo um BF de 100 …

12 ds.data-structures  pr.probability 

Digamos que um tenha um idioma , mas não se sabe quais strings são realmente parte do idioma. Tudo o que se tem é uma vista finita da língua: um conjunto finito de cordas Um ⊆ L que são conhecidos por estar na língua, e um conjunto finito de cadeias …

12 cc.complexity-theory  fl.formal-languages  automata-theory 

Estou procurando um algoritmo rápido para calcular o fluxo máximo em gráficos dinâmicos. ou seja, dado um gráfico e , temos o fluxo máximo em de para . Em seguida, novos / antigo nó adicionado / eliminadas com as suas arestas correspondentes de modo a formar um gráfico . O …

12 graph-theory  graph-algorithms 

Eu só quero conhecer alguns exemplos das funções que podem ser calculadas pelo cálculo lambda não digitado, mas não pelo cálculo lambda digitado. Como eu sou iniciante, alguma reiteração de informações básicas seria apreciada. Obrigado. Edit: pelo cálculo lambda digitado, eu pretendia conhecer o Sistema F e o cálculo lambda …

12 pl.programming-languages  type-theory  lambda-calculus  computable-analysis 

Geralmente, é mais simples argumentar sobre cálculo onde a limitação é a finitude da computação, em vez de um limite como "computável em quantidade de tempo polinomial". Na teoria das linguagens formais, por exemplo, em vez de usar o para caracterizar o período aperiódico, é mais fácil usar palavras profinidas …

12 cc.complexity-theory  computability 

O peso de uma cadeia binária x ∈ { 0 , 1 } n é o número de unidades na cadeia. O que acontece se estivermos interessados ​​em calcular uma função monótona em entradas com poucas?| x ||x||x|x ∈ { 0 , 1 }nx∈{0,1}nx\in\{0,1\}^n Sabemos que decidir se um gráfico …

12 cc.complexity-theory  lower-bounds  circuit-complexity  parameterized-complexity  monotone