Ciência da Computação Teórica

O tempo de comutação em um gráfico conectado é definido como o número esperado de etapas em uma caminhada aleatória iniciando em , antes que o nó seja visitado e o nó seja alcançado novamente. É basicamente a soma dos dois tempos de acerto e .i j i H ( …

22 graph-theory  co.combinatorics  random-walks  pr.probability 

Alguém sabe de referências que explicitam precisamente a conexão entre o algoritmo de unificação e a eliminação gaussiana? Estou particularmente interessado na relação entre substituições triangulares e decomposições de LU. Wayne Snyder e Jean Gallier mencionam essa analogia de passagem em seu artigo, Unificação de ordem superior revisitada: conjuntos completos …

22 reference-request  lo.logic 

Existem muitos resultados de inadequação que se baseiam na conjetura de jogos únicos. Por exemplo, Assumindo a conjectura exclusiva dos jogos, é NP difícil aproximar o problema de corte máximo dentro de um fator R para qualquer R > R GW constante . (Aqui R GW = 0,878… é a …

22 cc.complexity-theory  approximation-hardness  unique-games-conjecture 

Ao mexer na análise de LR não-canônica, pensei em um método de análise (com tabelas de tamanho infinito, o que o torna um tanto impraticável ) capaz de analisar exatamente as gramáticas inequívocas no tempo , e me perguntei se é possível fazer melhor. :O ( n2)O(n2)O(n^2) Todas as gramáticas …

22 reference-request  fl.formal-languages  time-complexity  parsing  context-free 

Existe uma descrição útil de futuros ou promessas em termos de teoria de categorias? Em particular, qual poderia ser o dual categórico do futuro?

22 pl.programming-languages  ct.category-theory  concurrency 

A estrutura de Post , descrita por Emil Post em 1941, é basicamente um diagrama de inclusão completo de conjuntos de funções booleanas que são fechadas sob composição: por exemplo, as funções monótonas, as funções lineares sobre GF (2) e todas as funções. (Post não presumiu que as constantes 0 …

22 circuit-families 

Como não permite computação não-terminativa, Coq não é necessariamente completo em Turing. Qual é a classe de funções que a Coq pode calcular? (existe uma caracterização interessante?)

22 computability  pl.programming-languages  coq 

Em um jogo de defesa de torre, você tem uma grade NxM com um início, um acabamento e várias paredes. Os inimigos seguem o caminho mais curto do início ao fim sem passar por nenhuma parede (eles geralmente não são restritos à grade, mas por uma questão de simplicidade, digamos …

22 cc.complexity-theory  ds.algorithms  graph-theory  graph-algorithms 

O estado de nosso conhecimento sobre circuitos aritméticos gerais parece ser semelhante ao estado de nosso conhecimento sobre circuitos booleanos, ou seja, não temos bons limites inferiores. Por outro lado, temos limites inferiores de tamanho exponencial para circuitos booleanos monótonos . O que sabemos sobre circuitos aritméticos monótonos ? Temos …

22 cc.complexity-theory  circuit-complexity  boolean-functions  monotone  arithmetic-circuits 

Ao ler uma resposta de Peter Shor e uma pergunta anterior de Adam Crume , percebi que tenho alguns conceitos errados sobre o que significa ser PP\mathsf{P} duro. Um problema é PP\mathsf{P} difícil se houver algum problema em PP\mathsf{P} com reduções de LL\mathsf{L} (ou se você preferir NCNC\mathsf{NC} ). Um …

22 cc.complexity-theory  complexity-classes 

Em um artigo científico de 2002, Mezard, Parisi e Zecchina apresentaram a heurística de propagação de crenças para o 3SAT aleatório. As experiências indicam que a heurística funciona bem para proporções de restrições por variável para as quais é provável que exista uma atribuição satisfatória. Minhas perguntas são: (1) E …

22 ds.algorithms  randomness  linear-equations 

Um tensor é uma generalização de vetores e matrizes para dimensões mais altas e a classificação de um tensor também generaliza a classificação de uma matriz. Ou seja, a classificação de um tensor é o número mínimo de grau um tensores que soma a T . Um vetor e uma …

22 ds.algorithms  reference-request  computability  tensor-rank 

Fiquei me perguntando quais papéis eu deveria ler para entender esta pergunta Uma conexão inesperada com outras áreas da matemática, como geometria algébrica ou cohomologia superior. Talvez até uma área da matemática ainda não desenvolvida. Talvez alguém desenvolva uma direção totalmente nova para a matemática, a fim de lidar com …

22 cc.complexity-theory  reference-request  gct  algebraic-topology 

É sobre a eficácia com que podemos expressar um algoritmo em questão. Eu preciso disso para o meu ensino de graduação. Entendo que não existe uma maneira padrão de escrever um pseudo-código. Diferentes autores seguem diferentes convenções. Seria útil se as pessoas aqui indicassem o modo como seguem e pensam …

22 ds.algorithms  soft-question  advice-request  writing 

Estou interessado na complexidade de decidir se um determinado polígono não simples é quase simples, em um dos dois sentidos formais diferentes: fracamente simples ou não-auto-atravessante . Como esses termos não são amplamente conhecidos, deixe-me começar com algumas definições. PPPp0,p1,p2,…,pn−1p0,p1,p2,…,pn−1p_0, p_1, p_2, \dots, p_{n-1}pipip_ipipi+1modnpipi+1modnp_i p_{i+1\bmod n} Um polígono é simples …

22 ds.algorithms  cg.comp-geom  polygon