Ciência da Computação Teórica

Existem permutações e tamanho polinomial (em | w | = n ) gramática livre de contexto que descreve a linguagem finita { w π 1 ( w ) π 2 ( w ) } sobre o alfabeto { 0 , 1 } ?π1,π2π1,π2\pi_1,\pi_2|w|=n|w|=n|w|=n{wπ1(w)π2(w)}{wπ1(w)π2(w)}\{w \pi_1(w) \pi_2(w)\}{ 0 , 1 }{0,1}\{0,1\} ATUALIZAÇÃO: …

9 fl.formal-languages  grammars  context-free 

recentemente, Craig Gentry publicou o primeiro esquema de criptografia de chave pública (sobre o espaço de texto sem formatação {0,1}) que é totalmente homomórfico, o que significa que é possível avaliar de forma eficiente e compacta AND e XOR em textos simples criptografados sem o conhecimento da chave de descriptografia …

9 cr.crypto-security  circuit-complexity  homomorphic-encryption 

Como todos vocês sabem, há uma queda contínua da crise financeira de 2008. Eu estava pensando sobre como a teoria da complexidade se encaixava nisso tudo, quando percebi que não conhecia as classes básicas de complexidade relacionadas à economia financeira. Então, minha pergunta é qual é a classificação de complexidade …

9 cc.complexity-theory  gt.game-theory  ce.computational-finance 

Este é um post separado de Consequências da UP igual a NP , e também uma pergunta de acompanhamento para as Classes de complexidade semântica versus sintática . No post acima, aprendemos sobre as classes semântica e sintática . Resumidamente, quando uma classe pode ser caracterizada como uma classe de …

9 cc.complexity-theory  complexity-classes  big-picture 

Na complexidade da árvore de decisão de uma função booleana, um método de limite inferior muito bem conhecido é encontrar um polinômio (aproximado) que represente a função. Paturi deu uma caracterização para funções booleanas simétricas (parciais e totais) em termos de uma quantidade indicada ΓΓ\Gamma : Teorema ( Paturi ): …

9 cc.complexity-theory  quantum-computing  lower-bounds  boolean-functions  query-complexity 

Defina o modelo computacional MPostBQP para ser idêntico ao PostBQP, exceto que permitimos polinomialmente muitas medições de qubit antes da pós-seleção e medição final. Podemos dar alguma evidência indicando que o MPostBQP é mais poderoso que o PostBQP? Defina MPostBQP [k] para permitir várias rodadas de medição e pós-seleção antes …

9 cc.complexity-theory  complexity-classes  quantum-computing  interactive-proofs 

Exemplos bem conhecidos de computação inspirados em fenômenos naturais são computadores quânticos e computadores de DNA. O que se sabe sobre o potencial e / ou limitações da computação com as leis ou a gravidade de Maxwell? Ou seja, incorporar as soluções "rápidas" da natureza às equações de Maxwell ou …

9 computability  machine-models  physics  natural-computing 

Na minha experiência, linguagens sensíveis ao contexto e autômatos limitados lineares são freqüentemente ignorados ou ignorados nos cursos de teoria da computabilidade e são deixados de fora de alguns livros de texto notáveis, embora os autômatos finitos e pushdown recebam muita atenção. Certamente deve haver uma boa razão para que …

9 computability  fl.formal-languages  automata-theory 

Estou me referindo à pergunta aqui: algoritmos poderosos complexos demais para serem implementados . Se um algoritmo é poderoso, mas complexo demais para implementar, como você pode ter certeza de que o algoritmo está correto? Sem implementação, você não poderá testar o algoritmo em um cenário do mundo real, e …

9 ds.algorithms  implementation 

Gostaria de saber onde posso recorrer para uma introdução boa e gentil ao k-SAT (isso pode ser para matemáticos que podem não ter uma boa formação em ciência da computação). Também gostaria de conhecer trabalhos que talvez pesquisem ou expliquem os métodos atuais usados ​​para resolver o k-SAT. Finalmente, estou …

9 reference-request  sat  survey 

Foi difícil encontrar algoritmos ou publicar artigos sobre a triangulação de polígono com interseção automática (também polígono com estrutura de orifícios). Alguém pode me orientar a encontrar artigos / algoritmos publicados, por favor? PS: alguém marcar essa pergunta adequadamente, por favor, não tenho pontos de reputação suficientes para fazê-lo.

9 ds.algorithms  reference-request  cg.comp-geom 

Para um projeto em que estou trabalhando, devo gerar árvores de abrangência aleatórias com altura delimitada. Basicamente, faço o seguinte: 1) Gere uma árvore de abrangência 2) Verifique a viabilidade, se possível, mantenha-a. 1) Partindo de uma árvore de abrangência mínima (da Prim ou Kruskal), adiciono uma aresta inexistente e …

9 ds.algorithms  graph-algorithms  random-walks 

Resumindo: supondo que existam permutações de mão única , podemos construir uma que não tenha alçapão? Mais informações: Uma permutação unidirecional é uma permutação fácil de calcular, mas difícil de inverter (consulte o wiki da tag de função unidirecional para obter uma definição mais formal). Geralmente, consideramos famílias de permutação …

9 cr.crypto-security  one-way-function 

Como acompanhamento da minha pergunta anterior , resolvida por Hsien-Chih Chang, aqui está outra tentativa de encontrar uma generalização apropriada do teorema de Ramsey. (Você não precisa ler a pergunta anterior; esta postagem é independente.) Parâmetros: números inteiros são dados e, em seguida, é escolhido para ser suficientemente grande. Terminologia: …

9 reference-request  co.combinatorics  ramsey-theory 

Seja um conjunto de formas retangulares em D- dimensional. Para d ∈ { 1 , . . . , D } e v ∈ V , w d ( v ) ∈ Q + descreve o comprimento de v na dimensão d . A mesma notação é usada para o …

9 cc.complexity-theory  reference-request  np-hardness  packing