Ciência da Computação Teórica

O teorema de Rice afirma que todas as propriedades não triviais do conjunto reconhecidas por alguma máquina de Turing são indecidíveis. Estou procurando pelo teorema do tipo Rice, teórico da complexidade, que nos diz quais propriedades não triviais dos conjuntos NP são intratáveis.

14 cc.complexity-theory  computability  np 

Quem introduziu a ideia de recursão ? Alguém pode explicar de onde veio e como afetou a ciência da computação?

14 reference-request  ho.history-overview  recursion 

Robin Milner definiu bigraphs como um tipo de estrutura gráfica com estrutura semelhante a gráfico, mas onde os nós podem ser aninhados. Eles generalizam os cálculos de processos como o CCS e o cálculo, mas Milner parece ter pretendido que eles fossem usados ​​de maneira muito mais geral: as notas …

14 process-algebra  ho.history-overview 

Seja G uma árvore em 2n vértices. A largura de árvore de G, tw (G) = 1. Agora, suponha que adicionemos n arestas a G para obter um gráfico H. Um limite superior fácil de tw (H) é n + 1. Isso é essencialmente o melhor possível? Parece de alguma …

14 upper-bounds  treewidth 

Se você estiver familiarizado com a verificação do programa, provavelmente preferirá ler a pergunta antes do plano de fundo . Se você não estiver familiarizado com a verificação do programa, ainda poderá responder a essa pergunta, mas é provável que prefira ler o Plano de fundo primeiro. fundo Afirma-se frequentemente …

14 cc.complexity-theory  lo.logic  program-verification  program-logic 

Recentemente, aprendi sobre a conjectura gananciosa do menor problema das supercordas . Nesse problema, recebemos um conjunto de seqüências de caracteres e queremos encontrar as menores supercordas ou seja, tais que cada apareça como uma subcadeia de .s1, … , Sns1,...,sns_1,\dots, s_n ssssEusEus_isss Esse problema é difícil para NP e, …

14 reference-request  approximation-algorithms  greedy-algorithms 

Para uma teoria de tipos, por consistência, quero dizer que ela tem um tipo que não é habitado. Da forte normalização do cubo lambda, segue-se que o sistema FFF e o sistema FωFωF_\omega são consistentes. Os tipos indutivos de MLTT + também têm uma prova de normalização. No entanto, todos …

14 type-theory  proof-theory 

Seja uma linguagem, então definimos a congruência sintática como e o quociente monoid é chamado o monoid sintática de .L⊆X∗L⊆X∗L \subseteq X^{\ast}u∼v:⇔∀x,y∈X∗:xuy∈L↔xvy∈Lu∼v:⇔∀x,y∈X∗:xuy∈L↔xvy∈L u \sim v :\Leftrightarrow \forall x, y\in X^{\ast} : xuy \in L \leftrightarrow xvy \in L X∗/∼LX∗/∼LX^{\ast} / \sim_LLLL Agora, quais monoides surgem como monoides sintáticos de idiomas? …

14 fl.formal-languages  automata-theory  regular-language  algebra  monoid 

Com base no livro Introdução aos algoritmos , a correção de um algoritmo ganancioso exige que um problema tenha duas propriedades: propriedade escolha ganancioso subestrutura ideal É fácil criar exemplos contrários para os quais uma solução gananciosa falha devido à falta da propriedade de escolha gananciosa, por exemplo, o problema …

14 greedy-algorithms 

Estou procurando exemplos de resultados que vão contra a intuição das pessoas para uma conversa na audiência geral. Resultados que, se perguntados a não especialistas "o que sua intuição lhe diz?", Quase todos entendem errado. A declaração de resultados deve ser facilmente explicável aos alunos de graduação em cs / …

14 big-list  teaching  intuition 

Pode-se falar da treewidth de um circuito booleano, definindo-o como o treewidth do gráfico "moralizada" em fios (vértices) obtida da seguinte forma: os fios de conexão umaumaa e bbb quando bbb é a saída de uma porta tendo umaumaa como entrada (ou vice-versa); fios de conexão umaumaa e bbb quando …

14 circuit-complexity  pr.probability  treewidth  arithmetic-circuits 

Parece-me que a maioria dos teóricos da complexidade geralmente acredita na seguinte regra filosófica: Se não podemos descobrir um algoritmo eficiente para o problema , e nós podemos reduzir problema para o problema , então provavelmente não há um algoritmo eficiente para o problema , também.A B BAUMAAAUMAABBBBBB É por …

14 cc.complexity-theory  big-picture  reductions 

Como estudante de ciência da computação, fui apresentado à teoria dos jogos, mas não vi muitos detalhes sobre o assunto. Eu pesquisei no Google e olhei para alguns livros sobre teoria dos jogos e eles confirmaram seu uso na ciência da computação. Comecei um estudo formal da teoria dos jogos …

14 reference-request  gt.game-theory 

Gostaria de saber como encontrar a circunferência de um gráfico esparso e não direcionado. Por esparso, quero dizer . Por ótimo, quero dizer a menor complexidade de tempo.|E|=O(|V|)|E|=O(|V|)|E|=O(|V|) Pensei em alguma modificação no algoritmo de Tarjan para gráficos não direcionados, mas não encontrei bons resultados. Na verdade, eu pensei que …

14 ds.algorithms  graph-theory  open-problem 

A declaração de pesquisa de JM Siskind afirma: Stalin é um compilador de otimização para o Scheme que executa análise estática de todo o programa e usa os resultados dessa análise para gerar código extremamente eficiente. Stalin utiliza uma grande coleção de técnicas de análise estática. Ele executa uma nova …

14 compilers