Ciência da Computação Teórica

Perguntas e respostas para cientistas da computação teóricos e pesquisadores em áreas afins

1
Problemas quase completos de NP
Digamos que uma linguagem LLL seja P -densidade perto se houver um algoritmo de tempo polinomial que decida corretamente LLL em quase todas as entradas. A∈A∈A\in LΔALΔAL\Delta Alimn→∞|(LΔA)∩{0,1}n|2n=0.limn→∞|(LΔA)∩{0,1}n|2n=0.\lim_{n\rightarrow\infty} \frac{|(L\Delta A) \cap \{0,1\}^n|}{2^n}=0.AAALLLLLL Observe que não precisa ser esparso. Por exemplo, se tiver bits, ainda estará desaparecendo (a uma taxa exponencial), …
5
Problemas fáceis com versões de contagem difícil
A Wikipedia fornece exemplos de problemas em que a versão de contagem é difícil, enquanto a versão de decisão é fácil. Algumas delas estão contando combinações perfeitas, contando o número de soluções para 222 SAT e o número de classificações topológicas. Existem outras classes importantes (digamos exemplos em treliças, árvores, …
3
Quem introduziu a computação não determinística?
Eu tenho duas perguntas históricas: Quem primeiro descreveu a computação não determinística? Sei que Cook descreveu problemas de NP-completos e que Edmonds propôs que os algoritmos P são algoritmos "eficientes" ou "bons". Pesquisei este artigo da Wikipedia e vasculhei "Sobre a complexidade computacional dos algoritmos", mas não consegui encontrar nenhuma …
2
Relação entre e idiomas regulares
Seja a classe de todos os idiomas regulares.REGREG\mathsf{REG} É conhecido e \ mathsf {REG} \ não \ subconjunto \ mathsf {AC} ^ 0 . Mas existe alguma caracterização para idiomas em \ mathsf {AC} ^ 0 \ cap \ mathsf {REG} ?AC0⊄REGAC0⊄REG\mathsf{AC}^0 \not\subset \mathsf{REG}REG⊄AC0REG⊄AC0\mathsf{REG} \not\subset \mathsf{AC}^0AC0∩REGAC0∩REG\mathsf{AC}^0 \cap \mathsf{REG}
1
Consequências da
Enquanto o teorema de Adleman mostra, que , não conheço nenhuma literatura que investigue a possível inclusão de B Q P ⊆ P / poli . Que consequências teóricas da complexidade essa inclusão teria?B P P ⊆ P / poliBPP⊆P/poly\mathsf{BPP} \subseteq \mathsf{P}/\text{poly}B Q P ⊆ P / poliBQP⊆P/poly\mathsf{BQP} \subseteq \mathsf{P}/\text{poly} …
2
Existe um cálculo lambda digitado que seja consistente e Turing completo?
Existe um cálculo lambda digitado em que a lógica correspondente sob a correspondência de Curry-Howard é consistente e onde existem expressões lambda tipificáveis ​​para todas as funções computáveis? Esta é, sem dúvida, uma pergunta imprecisa, sem uma definição precisa de "cálculo lambda digitado". Estou basicamente me perguntando se existem (a) …
Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.