Ao ler o artigo "É hora de declarar vitória na contagem da complexidade?" no blog "Godel's Lost Letter and P = NP" , eles mencionaram a dicotomia para CSP's. Depois de algum link a seguir, pesquisando e pesquisando, encontrei o Teorema de Ladner : Teorema de Ladner: Se , então existem problemas...
(Desculpe, se isso é bem conhecido.) Gostaria de dar algum item a um dos agentes , para que o agente obtenha o item com probabilidade . Existe uma ferramenta criptográfica (ou outra) para que todo agente (e até todo observador) possa se convencer de que o desenho aleatório foi realmente justo?kkkp...
Suponha que é um gráfico com o número de coloração d = χ ( G ) . Considere o seguinte jogo entre Alice e Bob. Em cada rodada, Alice escolhe um vértice e Bob responde com uma cor em { 1 , … , d - 1 } para esse vértice. O jogo termina quando uma borda monocromática é descoberta. Seja X ( G ) a...
Eu gostaria de perguntar sobre um caso especial da pergunta “ Decidir se um determinado circuito NC 0 calcula uma permutação ” por QiCheng que foi deixada sem resposta. Um circuito booleano é chamado de circuito NC 0 k se cada porta de saída depende sintaticamente da maioria das k portas de...
Na complexidade computacional, existe uma distinção importante entre cálculos monótonos e gerais e um famoso teorema de Razborov afirma que 3-SAT e até MATCHING não são polinomiais no modelo monótono de circuitos booleanos. Minha pergunta é simples: existe um análogo quântico para circuitos...
Edit: Eu escolhi a resposta com a pontuação mais alta até 06 de dezembro de 2012. Esta é uma pergunta suave. O conceito de algoritmos (determinísticos) remonta a BC. E os algoritmos probabilísticos? Em esta entrada wiki , o algoritmo de Rabin para o problema mais próximo par de geometria...
O estudo da ecologia e da evolução está se tornando cada vez mais matemático, mas a maioria das ferramentas teóricas parece vir da física. No entanto, em muitos casos, os problemas têm uma natureza muito discreta (veja, por exemplo, SLBS00 ) e podem se beneficiar da perspectiva da ciência da...
Recentemente, eu estava lendo As duas dualidades da computação: tipos negativo e fracionário . O artigo expande tipos de soma e tipos de produtos, fornecendo semântica para os tipos a - be a/b. Ao contrário da adição e multiplicação, não há um, mas dois inversos de exponenciação, logaritmos e...
Esta questão foi migrada do Computer Science Stack Exchange porque pode ser respondida no Theoretical Computer Science Stack Exchange. Migrou há 6 anos . Parece que muitas pessoas acreditam que P≠NP∩coNPP≠NP∩coNPP \ne NP \cap coNP , em parte porque acreditam que o...
Dado um por matriz binária (as entradas são ou ), o problema é determinar se existem dois vetores binários tais que (todas as operações executadas em ). Este problema é NP-difícil?mmmnnnMMM000111 M v 1 = M v 2 Zv1≠v2v1≠v2v_1 \ne v_2Mv1=Mv2Mv1=Mv2Mv_1 = Mv_2ZZ\mathbb{Z} Está claramente em NP, pois...
Existe um exemplo de uma linguagem que está em NPNPNP , mas onde não podemos provar este fato diretamente ao mostrar que existe uma testemunha polinomial para a adesão nesta língua? Em vez disso, o fato de o idioma estar no seria comprovado reduzindo-o para outro idioma no , onde o vínculo entre...
Grothendieck faleceu . Ele teve um impacto maciço na matemática do século XX, continuando no século XXI. Esta pergunta é feita de alguma forma no estilo / espírito, por exemplo, de Contribuições de Alan Turing para Ciência da Computação . Quais são as principais influências de Grothendieck na...
Quais problemas são conhecidos por pertencerem a mas não por pertencerem a ?PB P PBPP\mathsf{BPP}PP\mathsf P Mais precisamente, estou interessado em problemas independentes , ou seja, cujas derandomizações não são conhecidas como equivalentes. Por exemplo, sabe-se que o PIT derandomizing e a...
O problema clássico de rainhas pergunta, dado um número inteiro positivo , se existe uma matriz de números inteiros que satisfazem as seguintes condições:n Q [ 1 .. n ]nnnnnnQ [ 1 .. n ]Q[1..n]Q[1..n] i1 ≤ Q [ i ] ≤ n1≤Q[i]≤n1\le Q[i] \le n para todos osEuii i ≠ jQ [ i ] ≠ Q [ j ]Q[i]≠Q[j]Q[i]...
Na minha formação em ciência da computação, percebo cada vez mais que a maioria dos problemas discretos é NP-completa (pelo menos), enquanto a otimização de problemas contínuos é quase sempre facilmente alcançável, geralmente através de técnicas de gradiente. Existem exceções para...
Achei este artigo muito interessante. Para resumir: ele discute por que, na prática, você raramente encontra a pior das hipóteses de um problema completo de NP. A idéia no artigo é que as instâncias geralmente são muito sub ou muito restritas, e ambas são relativamente fáceis de resolver. Em...
Estou tentando entender quais são as diferenças reais entre o modelo de concorrência do ator e o modelo de concorrência dos processos sequenciais de comunicação (CSP). Até agora, o melhor que pude apresentar é que o Modelo do Ator permite que o número e o layout dos nós sejam alterados, enquanto...
Considere o problema mínimo de cobertura do conjunto com as seguintes restrições: cada conjunto contém no máximo kkk elementos e cada elemento do universo ocorre no máximo fff conjuntos. Exemplo: o caso k=4k=4k = 4 e f=2f=2f = 2 é equivalente ao problema de cobertura mínima de vértice em gráficos...
É possível traduzir uma fórmula booleana B em uma conjunção equivalente de cláusulas de Horn? O artigo da Wikipedia sobre HornSAT parece sugerir que sim, mas não pude buscar nenhuma referência. Note que eu não quero dizer "em tempo polinomial", mas sim "em
Atualmente, estou lendo " Lambda-Calculus and Combinators " de Hindley e Seldin. Não sou especialista, mas sempre me interessei pelo cálculo lambda por causa do envolvimento com a programação funcional (começando com Lisp e SICP e agora com R e Haskell). Em " Cálculo binário lambda e lógica...