Ciência da Computação Teórica

Eu tenho lido muito sobre sistemas de tipos e coisas desse tipo e entendo por que eles foram introduzidos (para resolver o paradoxo de Russel). Eu também entendo aproximadamente sua relevância prática em linguagens de programação e sistemas de prova. No entanto, não estou totalmente confiante de que minha noção …

25 lo.logic  type-theory  proof-theory 

Em conexão com a Slither Fazer a ligação quebra-cabeça, eu estive pensando: Suponha que eu tenho um grade de células quadrados, e eu quero encontrar um ciclo simples de bordas de grade, uniformemente de forma aleatória entre todos os ciclos simples possíveis.n×nn×nn\times n Uma maneira de fazer isso seria usar …

25 ds.algorithms  randomness  markov-chains  integer-lattice 

Li em vários artigos que se acredita amplamente na existência de funções de mão única . Alguém pode esclarecer por que esse é o caso? Que argumentos temos para apoiar a existência de funções unidirecionais?

25 cc.complexity-theory  cr.crypto-security  big-picture  one-way-function 

Suponha que tenhamos uma classe de objetos (digamos gráficos, seqüências de caracteres) e uma relação de equivalência nesses objetos. Para gráficos, isso pode ser isomorfismo gráfico. Para strings, poderíamos declarar duas strings equivalentes se forem anagramas uma da outra. Estou interessado em calcular um representante para uma classe de equivalência. …

25 cc.complexity-theory 

Como não houve resposta no Lambda the Ultimate , tentei novamente aqui: sistemas de reescrita de termos são usados, por exemplo, em teoremas automatizados que provam um cálculo simbólico e, é claro, para definir gramáticas formais. Existem algumas linguagens de programação baseadas na reescrita de termos, mas até onde eu …

25 pl.programming-languages  terminology  term-rewriting-systems 

É um algoritmo de tempo polinomial determinístico conhecido pelo seguinte problema: Entrada: um número natural (em codificação binária)nnn Saída: um número primo .p > np>np > n (De acordo com uma lista de problemas em aberto de Leonard Adleman, o problema foi aberto em 1995.)

25 cc.complexity-theory  open-problem  nt.number-theory  polynomial-time  primes 

Eu estava lendo isso . Diz ... Você não se sentirá faminto por fundos como a Matemática Pura. (Você sempre ficará faminto por financiamento.) ... Por que matemáticos puros precisam de financiamento? (Opa, sua pergunta sobre o excesso de matemática) Por que alguém que faz pesquisa teórica precisaria de financiamento? …

25 soft-question  career 

1) Qual é a relação entre tipagem estática e gramáticas formais? 2) Em particular, seria possível para um autômato limitado linear verificar se, digamos, um programa C ++ ou SML foi bem digitado? Um autômato de pilha aninhado? 3) Existe uma maneira natural de expressar regras de digitação estática em …

25 automata-theory  fl.formal-languages  pl.programming-languages  type-theory  type-inference 

Geralmente, constrói-se um gráfico e, em seguida, faz-se perguntas sobre a decomposição do autovalor da matriz de adjacência (ou algum parente próximo como o Laplaciano ) (também chamado de espectro de um gráfico ). Mas e o problema inverso? Dados valores próprios, é possível (eficientemente) encontrar um gráfico que possua …

25 ds.algorithms  graph-theory  graph-algorithms  spectral-graph-theory 

Questão: Qual é o limite inferior do tamanho da fórmula mais conhecido para uma função explícita no AC 0 ? Existe uma função explícita com um limite inferior Ω(n2)Ω(n2)\Omega(n^2) ? Fundo: Como a maioria dos limites inferiores, os limites inferiores do tamanho da fórmula são difíceis de encontrar. Estou interessado …

25 cc.complexity-theory  lower-bounds  circuit-complexity  formulas 

A complexidade do seguinte problema foi estudada? Entrada : um gráfico cúbico (ou regular) , um limite superior naturalG = ( V , E ) t333G = ( V, E)G=(V,E)G=(V,E)ttt Pergunta : existe uma partição de em partes do tamanho tal forma que a soma das ordens dos subgráficos correspondentes …

25 graph-theory  np-hardness  co.combinatorics 

Recentemente, eu estava lendo o analisador Earley e acho que é um dos algoritmos mais elegantes que já vi até hoje. No entanto, o algoritmo em seu sentido tradicional é um reconhecedor e não um analisador, o que significa que ele pode detectar se uma sequência corresponde a um CFG …

25 fl.formal-languages  parsing 

Desculpas por fazer uma pergunta que certamente deve estar em muitas referências padrão. Estou curioso sobre exatamente a pergunta no título, em particular estou pensando em circuitos booleanos, sem limite de profundidade. Coloquei "menor" entre aspas para permitir a possibilidade de haver várias classes diferentes, não conhecidas por se incluirem, …

25 cc.complexity-theory  circuit-complexity 

Olá pessoal, entendo que o truque de preenchimento nos permite traduzir classes de complexidade para cima - por exemplo, . O preenchimento funciona "inflando" a entrada, executando a conversão (digamos, de para ), que produz um algoritmo "mágico" que você pode executar na entrada preenchida. Embora isso faça sentido técnico, …

25 cc.complexity-theory  complexity-classes  padding 

A classificação de sinal de uma matriz A com entradas + 1, -1 é a menor classificação (acima dos reais) de uma matriz B que possui o mesmo padrão de sinal de A (ou seja, para todos os i , j ) Essa noção é importante na complexidade da comunicação …

25 lg.learning  open-problem  communication-complexity  matrices