Ciência da Computação Teórica

Eu acredito que a resposta a esta pergunta é bem conhecida; mas infelizmente não sei. Na computação quântica, sabemos que estados mistos são representados por matrizes de densidade. E a norma de rastreamento da diferença de duas matrizes de densidade caracteriza a capacidade de distinguir os dois estados mistos correspondentes. …

11 quantum-computing  quantum-information 

Enquanto estudante de EE, participei de algumas palestras que apresentavam uma boa caracterização de circuitos booleanos em termos de quantos ciclos aninhados eles tinham. Na complexidade, os circuitos booleanos são frequentemente vistos como dags, mas em ciclos reais de hardware são comuns. Agora, modulando alguns detalhes técnicos sobre o que …

11 cc.complexity-theory  reference-request  circuit-complexity  machine-models  ar.hardware-architecture 

A motivação para esta pergunta é o fato de que a maioria das strings de n bits é incompressível. Intuitivamente, podemos propor, por analogia, que a maioria das provas de Tautologias seja incompressível para o tamanho polinomial. Basicamente, minha intuição é que algumas provas são inerentemente aleatórias e não podem …

11 lower-bounds  proof-complexity  kolmogorov-complexity 

( X, d)(X,d)(X, d)( Y, f)(Y,f)(Y, f)μ : X→ Yμ:X→Y\mu : X \rightarrow Yμμ\muρ = maxp , q∈ X{ d( x , y)f( μ ( x ) , μ ( y) )), f( μ ( x ) , μ ( y) ))d( x , y)}ρ=maxp,q∈X{d(x,y)f(μ(x),μ(y)),f(μ(x),μ(y))d(x,y)} \rho = \max_{p,q \in X} …

11 approximation-algorithms  cg.comp-geom  embeddings 

Qual é a complexidade temporal exata do algoritmo de espaço de log não-direcionado de st-connectivity de Omer Reingold?

11 cc.complexity-theory  randomness 

Em um gráfico, um conjunto independente é um subconjunto de vértices que não contém uma aresta como um subgrafo induzido. O problema de encontrar os maiores conjuntos independentes em um gráfico é uma questão algorítmica fundamental e difícil. Vamos considerar a questão mais geral de encontrar (o tamanho de) o …

11 ds.algorithms  reference-request  graph-theory  np-hardness  co.combinatorics 

É fácil procurar em muitos livros didáticos as provas de redução de assunto e forte normalização do Sistema F; também, às vezes, existem definições do Sistema F com pares, onde (t, r) é um termo, não apenas uma codificação. A questão é: qual seria a referência para esse sistema?

11 reference-request  lo.logic  type-theory  lambda-calculus  polymorphism 

Acabei de começar (independente) a aprender sobre computação quântica em geral a partir do livro de Nielsen-Chuang. Eu queria perguntar se alguém poderia tentar encontrar tempo para me ajudar com o que está acontecendo com o postulado de medição da mecânica quântica. Quero dizer, não estou tentando questionar o postulado; …

11 quantum-computing  quantum-information 

Barry Jay, em seu livro, faz algumas afirmações ousadas - basicamente dizendo que, no centro de um programa, tudo é atômico ou composto. Então, as coisas podem ser facilmente iteradas, filtradas, atualizadas, apenas navegando nesse relacionamento de composição. Essa é uma nova fronteira em Ciência da Computação para linguagens de …

11 fl.formal-languages 

O lema Johnson-Lindenstrauss diz aproximadamente que para qualquer coleção de pontos em , existe um mapa onde tal que para todos : É sabido que declarações semelhantes não são possíveis para a métrica , mas é sabido se existe alguma maneira de contornar tais valores inferiores limites, oferecendo garantias mais …

11 ds.algorithms  approximation-algorithms  cg.comp-geom  metrics  embeddings 

Dado qualquer gráfico simples e não direcionado G, não é trivial determinar se G possui automorfismos não triviais (sem identidade). Mas quais são os resultados nos limites superior / inferior deste problema de decisão?

11 cc.complexity-theory  graph-isomorphism  automorphism 

Em um gráfico direcionado, , , se é um DAG (gráfico acíclico direcionado), é chamado de conjunto de arco de feedback. F ⊂ E G ∖ F FG = ( V, E)G=(V,E)G=(V,E)F⊂ EF⊂EF\subset EG ∖ FG∖FG\setminus FFFF Se cada aresta estiver associada a um peso , o problema do conjunto …

11 ds.data-structures  graph-theory  np-hardness  approximation-algorithms 

Quando penso em software inseguro, acho que é "muito útil" e pode ser abusado por um invasor. Portanto, de certa forma, proteger software é o processo de tornar o software menos útil. Em Ciência da Computação Teórica, você não está trabalhando com o mundo real. Então, existem preocupações de segurança …

11 cr.crypto-security  big-picture 

Aqui estão duas variações na definição de NP. Eles (quase certamente) definem classes de complexidade distintas, mas minha pergunta é: existem exemplos naturais de problemas que se encaixam nessas classes? (Meu limite para o que conta como natural aqui é um pouco menor que o normal.) Classe 1 (uma superclasse …

11 cc.complexity-theory  complexity-classes  np 

Estou especialmente interessado em seu uso em aplicativos de verificação de modelo. Tenho redes abertas, fechadas e mistas de filas com diferentes classes de clientes por Baskett et al. Alguma outra sugestão para ler material? Obrigado.

11 reference-request  markov-chains  queueing-theory  model-checking