Ciência da Computação Teórica

Estou procurando obter uma resposta definitiva para a pergunta do título. Existe um conjunto de regras que traduz qualquer programa em uma configuração de peças finitas em um tabuleiro infinito, de modo que, se preto e branco executam apenas movimentos legais, o jogo termina em um tempo finito se o …

16 computability  turing-machines  board-games  halting-problem  recreational 

O problema a seguir é PTIME ou coNP-hard: Dadas duas expressões booleanas e e 2 nas variáveis x 1 , … , x n , sem negação (ou seja, as expressões são totalmente construídas via ∧ e ∨ ). Decida se e 1 ≡ e 2 , ou seja, eles …

16 cc.complexity-theory  time-complexity  boolean-functions  monotone 

Existem casos em que publicações extras podem prejudicar seu registro? Isso evita os casos óbvios em que você publica resultados incorretos ou controversos. Evitando também o caso do tempo finito: você só tem muito tempo para pensar e escrever; portanto, escrever um artigo pode fazer com que você perca tempo …

16 soft-question  advice-request  career 

fundo Uma árvore de decisão binária é uma árvore com raiz onde cada nó interno (e raiz) é marcado por um índice j ∈ { 1 , . . . , n } de modo que nenhum caminho da raiz para a folha repita um índice, as folhas são rotuladas …

16 ds.algorithms  query-complexity  decision-trees 

A análise de casos piores e médios são medidas bem conhecidas para a complexidade de um algoritmo. A análise suavizada recentemente surgiu como outro paradigma para explicar por que alguns algoritmos exponenciais no pior dos casos funcionam tão bem na prática, por exemplo, o algoritmo simplex. Minha pergunta é - …

16 cc.complexity-theory  average-case-complexity  smoothed-analysis 

Há evidências teóricas de que a construção ingênua de produto cartesiano para a interseção de DFAs é "o melhor que podemos fazer". E a concatenação de dois DFAs? A construção trivial envolve a conversão de cada DFA em um NFA, adicionando uma transição épsilon e determinando o NFA resultante. Podemos …

16 cc.complexity-theory  fl.formal-languages  automata-theory  dfa 

O manuscrito a seguir está disponível publicamente? Dana Scott, 1969, uma teoria das funções computáveis ​​do tipo superior . Notas não publicadas do seminário, 7 páginas, University of Oxford. Há uma discussão deste artigo na seção 8.1.2, Tipos como conjuntos , em Cardone & Hindley, 2006 History of Lambda-calculus and …

16 reference-request  lo.logic  type-theory  domain-theory 

Faça um gráfico direcionado onde as bordas são decoradas com um número natural. Queremos o conjunto de todos os caminhos P entre dois vértices v 1 e v 2, de modo que cada aresta sucessiva no caminho seja decorada com um número natural que seja maior que o número natural …

16 ds.algorithms  reference-request  graph-algorithms  terminology 

Existe alguma teoria da linguagem de programação descrevendo interfaces de função estrangeira (FFI) e várias ligações de linguagem? Eu perguntei alguns problemas de implementação no stackoverflow , o que não é adequado aqui. Mas gostaria de perguntar a partir da visualização deste site e ver o que eu poderia obter …

16 pl.programming-languages  semantics 

Fiquei me perguntando se existe uma boa bibliografia de tentativas de investigar a conjectura de Collatz como uma gramática formal. (ou quaisquer outras tentativas na comunidade de CS para lidar com essa classe de fenômenos generativos e suas propriedades de "interrupção").

16 fl.formal-languages  nt.number-theory  halting-problem 

Uma das coisas surpreendentes da ciência da computação é que a implementação física é, em certo sentido, "irrelevante". As pessoas construíram computadores com sucesso em vários substratos diferentes - relés, tubos de vácuo, transistores discretos etc. Em breve, as pessoas poderão construir computadores completos de Turing a partir de materiais …

16 computability  turing-machines  terminology  physics  natural-computing 

Muitas vezes queremos definir um objeto acordo com algumas regras de inferência. Estas regras denotar uma função de geração de que, quando ele é monótona, produz um ponto fixo menos . Tomamos para ser a "definição indutiva" de . Além disso, a monotonicidade de nos permite argumentar com o "princípio …

16 lo.logic  pl.programming-languages  type-theory  proof-assistants  coq 

Depois de trabalhar com 2-3 árvores de dedos, fiquei impressionado com a velocidade deles na maioria das operações. No entanto, o único problema que encontrei é a grande sobrecarga associada à criação inicial de uma grande árvore de dedos. Como a construção é definida como uma sequência de operações de …

16 ds.data-structures  functional-programming 

É sabido que as fórmulas aleatórias de CNF sobre n variáveis ​​com cláusulas c n são insatisfatórias (isto é, são contradições) com alta probabilidade, para uma constante suficientemente grande c . Assim, as fórmulas aleatórias de k- CNF (para c suficientemente grandes) constituem uma distribuição natural sobre fórmulas booleanas insatisfatórias …

16 cc.complexity-theory  reference-request  lo.logic  sat  random-k-sat 

Seja K(x)K(x)K(x) denotado a complexidade Kolmogorov de uma string . Existe uma cadeia de caracteres tal que . (Aqui é a concatenação de consigo). Uma pergunta semelhante, mas diferente, foi feita aqui , mas o contra-exemplo dado na resposta a essa pergunta não funciona para essa.xxxK(xx)&lt;K(x)K(xx)&lt;K(x)K(xx)<K(x)xxxxxxxxx

16 cc.complexity-theory  kolmogorov-complexity