Ciência da Computação Teórica

Funções lineares em uma variável têm dimensão VC = 3 e eu lembro de ler em algum lugar que o VC para polinômios de grau é .ddd(d2+3d+2)/2(d2+3d+2)/2(d^2 + 3d + 2)/2 Estou procurando idéias que possam provar a afirmação acima (e talvez generalize também para muitas variáveis, embora isso pareça …

8 cg.comp-geom  vc-dimension 

Eu estava lendo sobre o problema da altura das estrelas e notei que a família de expressões regulares de Eggan segue um padrão simples que pode ser descrito por uma expressão regular. Minha pergunta é: existem resultados interessantes sobre expressões regulares que descrevem famílias de expressões regulares? Esse processo pode …

8 fl.formal-languages  regular-language  regular-expressions 

Estou procurando o artigo original em que Hoare (ou outra pessoa, suponho) discute a rescisão (correção total). Ou qualquer outro trabalho inicial sobre rescisão para a lógica Hoare "baunilha" (suponho que quero dizer um HL para uma linguagem de brinquedo do tipo C). Dei uma olhada na base axiomática de …

8 reference-request  lo.logic  pl.programming-languages  program-verification  program-logic 

No meu trabalho surgiu o problema da classificação CFL em imagens de funções racionais. Em outros termos, o que classe de linguagens formar línguas , para contexto fixo linguagem livre e transdutor de estados finitos determinística . Obtive alguns resultados fáceis, como a linguagem Dyck com duas chaves corresponde à …

8 fl.formal-languages  context-free-languages 

É possível encontrar uma redução na contagem de #SAT para #HornSAT? Eu não encontrei esta pergunta postada aqui, então decidi verificar se alguém tem alguma resposta para isso. Deixe-me explicar o que quero dizer com contagem de redução. Suponha que são dois problemas de contagem. Por exemplo, #SAT pergunta como …

8 cc.complexity-theory  complexity-classes  sat  counting-complexity  reductions 

Eu gostaria de um método eficiente para calcular o número mínimo de transposições necessárias para classificar uma lista. Não preciso saber quais são realmente as transposições. Por exemplo, a lista [1, 1, 2, 0] requer 2 transposições: [1, 1, 2, 0] // Start [1, 1, 0, 2] // Swap index …

8 ds.algorithms  sorting  permutations  edit-distance 

Isso é conhecido sobre linguagens reconhecidas pelo autômato determinístico bidirecional bidirecional ou pelo logspace TM com contador (modelo equivalente)? Esta classe chamada Aux2DC no meu conselheiro papel . Ou sobre essa classe não determinística? Eu obtive que a classe de idiomas reconhecidos por esses maschines não determinísticos inclui NL e …

8 cc.complexity-theory  complexity-classes  fl.formal-languages  logspace  counter-automata 

Alguém conhece algum trabalho que vincule Ciência da Computação Teórica e Energia Barata / Sustentável? ou seja, existe algum trabalho no TCS com o aplicativo em energia barata / sustentável.

8 application-of-theory 

Eu gostaria de saber a importância do TCS na pesquisa de malware. Devido ao grande volume de novas variantes de malware recebidas por dia (~ 50.000 amostras / dia, de acordo com a McAfee), os pesquisadores de malware dependem fortemente da análise dinâmica (por exemplo, executando as amostras em uma …

8 cr.crypto-security  security 

Qual é o maior conjunto que admite um algoritmo determinístico de busca quântica, para um único elemento marcado, que opera com apenas uma chamada para o oráculo? A questão é interessante, já que o algoritmo de Grover, que para pesquisa não estruturada em um conjunto de elementos requer chamadas para …

8 quantum-computing  quantum-information 

Estou procurando fontes sobre a noção formalizada de programas. Isso parece estar intimamente relacionado à correspondência de Curry-Howard, mas também se pode rastrear isso na Universal Turing Machines e em sua capacidade de ler a descrição e a entrada de qualquer TM. Ao ler sobre a correspondência de Curry-Howard, sinto …

8 pl.programming-languages  universal-computation  type-systems  program-verification  formal-methods 

Suponha que desejamos encontrar o menor elemento de um conjunto , cujos elementos são indexados de a . Não temos acesso aos valores desses elementos, mas podemos comparar quaisquer dois elementos de para ver qual é menor. Para quaisquer índices e , existe um associado custo para comparar o th …

8 cc.complexity-theory  ds.algorithms  reference-request  online-algorithms 

Eu sou novo no estudo de sistemas de reescrita como aluno de doutorado no primeiro ano. Gostaria de propor um curso de tópicos especiais sobre a reescrita da teoria e quero ter certeza de não deixar nenhuma das fontes originais de fora. Tenho uma cópia de Barendregt e Terese como …

8 lo.logic  big-list  type-theory  lambda-calculus  term-rewriting-systems 

Considere um politopo racional que é definido por meio de um oráculo de separação. Ou seja, pode ser descrito implicitamente como , mas como é muito grande, usamos um oracle, que dado um ponto , quer diz ou retorna uma meia-espaço de tal modo que .P P = { x …

8 ds.algorithms  convex-optimization  convex-geometry  high-dimensional-geometry 

O seguinte problema é NP-difícil? Dado um conjunto de números reais (metas) e um "tridente" definido por duas distâncias , do centro do tridente, qual é o número mínimo de posições de o tridente para cobrir todos os alvos, por exemplo, x 1 , … , x N a b …

8 cc.complexity-theory  np-hardness  set-cover