Na complexidade parametrizada, . É conjecturado que cada uma das contenções é adequada.⊆ W [ 2 ] ⊆ … ⊆ W [ P ]F P T ⊆ W [1]FPT⊆W[1]\mathsf{FPT} \subseteq \mathsf{W}[1] ⊆ W [ 2 ]⊆W[2]\subseteq \mathsf{W}[2] ⊆ … ⊆ W [ P]⊆…⊆W[P]\subseteq \ldots \subseteq \mathsf{W}[P] Se então .P = W [ P ]F P T = W...
Discussão : Ultimamente, tenho passado algum tempo pessoal aprendendo várias coisas sobre a complexidade da comunicação. Por exemplo, me familiarizei novamente com o capítulo relevante em Arora / Barak, comecei a ler alguns papéis e pedi o livro de Kushilevitz / Nisan. Intuitivamente, quero...
Qual a velocidade de um algoritmo não determinístico para um problema EXPTIME-completo para implicar ? Um algoritmo não determinístico de tempo polinomial implicaria isso imediatamente porque mas ninguém acredita que . Se eu fiz a álgebra corretamente (veja abaixo), o teorema da hierarquia de tempo...
Hoje em Nova York e em todo o mundo é comemorado o aniversário de Christos Papadimitriou. Esta é uma boa oportunidade para perguntar sobre as relações entre a classe de complexidade PPAD de Christos (e outras classes relacionadas) e os computadores quânticos. Em seu célebre artigo de 1994,...
O seguinte problema interessante surgiu recentemente em minha pesquisa: INSTÂNCIA: Gráfico .G(V,E)G(V,E)G(V, E) SOLUÇÃO: Uma conclusão do ciclo ímpar sem corda, definida como um superconjunto do conjunto de arestas modo que o gráfico completo tenha a propriedade de que toda aresta em esteja...
Em esta questão , que parecem ter identificado um problema natural que é NP-completo sob reduções randomizados, mas possivelmente não sob reduções determinísticos (embora isto depende de qual suposições não comprovadas na teoria dos números são verdadeiras). Existem outros problemas desse tipo...
O Theoem de Karp-Lipton afirma que se , então colapso em . Portanto, assumindo separações entre e , nenhum pertencerá a .P H Σ P 2 Σ P 2 Σ P 3 N P P / p o l yN P ⊂ P / p o l yNP⊂P/poly\mathsf{NP} \subset \mathsf{P/poly}P
Podemos calcular uma porta de limiar de bits por circuitos de tamanho polinomial (fan-in ilimitado) de profundidade lg nnnn ? Como alternativa, podemos contar o número de 1s nos bits de entrada usando esses circuitos?lgnlglgnlgnlglgn\frac{\lg n}{\lg \lg n} É
Prever o mercado de ações é difícil! O TCS pode tornar esse sentimento mais formal? Recentemente, comecei a pensar um pouco sobre finanças e queria saber como o conhecimento do TCS poderia ajudar. Os fundos de hedge e as empresas de investimento parecem usar negociação algorítmica, aprendizado...
Como você projetaria uma imagem para ilustrar a conjectura exclusiva dos jogos? Isto é para uma apresentação dos "Eventos Atuais" sobre jogos exclusivos na próxima Reunião Conjunta da AMS e para o livreto que será produzido. Exemplos do tipo de ilustrações produzidas no passado estão...
Seja f(n)f(n)f(n) o pior caso de tempo de execução de um problema na entrada de tamanho nnn . Vamos tornar o problema um pouco estranho, fixando f(n)=n2f(n)=n2f(n) = n^2 para n=2kn=2kn=2k mas f(n)=nf(n)=nf(n) = n para n=2k+1n=2k+1n=2k+1 . Então, qual é o limite inferior do problema? A maneira...
De acordo com o relato histórico (não verificado), Kolmogorov pensou que todo idioma em tem complexidade de circuito linear. (Veja a conjectura da pergunta anterior de Kolmogorov de que possui circuitos de tamanho linear .) Observe que isso implica .PP\mathsf{P}PPPP≠NPP≠NP\mathsf{P}\neq...
USTCONN é o problema que requer a decisão de saber se existe um caminho do vértice de origem para o vértice de destino t em um gráfico G , onde todos são dados como parte da entrada.ssstttGGG Omer Reingold mostrou que USTCONN está em L (doi: 10.1145 / 1391289.1391291 ). A prova constrói um...
Seja uma função com valor inteiro tal que esteja em . Segue-se que está em ? Existem razões para acreditar que é improvável que isso ocorra sempre? Alguma referência que eu deva conhecer?2 F # P F # PFFF2 F2F2F# P#P\#PFFF# P#P\#P Surpreendentemente, essa situação surgiu (com uma constante muito...
Paridade e são como gêmeos inseparáveis. Ou assim parece nos últimos 30 anos. À luz do resultado de Ryan, haverá um interesse renovado nas turmas pequenas.A C0 0AC0AC^0 Furst Saxe Sipser de Yao a Hastad são todas paridade e restrições aleatórias. Razborov / Smolensky é um polinômio aproximado com...
Estou interessado na complexidade de resolver equações lineares módulo k , para k arbitrário (e com um interesse especial em potências primárias), especificamente: Problema. Para um dado sistema de mmm equações lineares em nnn módulo desconhecido kkk , existem soluções? No resumo de seu artigo...
Existem referências que fornecem detalhes sobre os limites inferiores do circuito para problemas difíceis específicos que surgem na criptografia, como fatoração inteira, problema de logaritmo discreto prime / composto e sua variante sobre o grupo de pontos de curvas elípticas (e suas variedades...
Atualmente, o cálculo de reais nas línguas mais populares ainda é feito através de operações de ponto flutuante. Por outro lado, teorias como a efetividade do tipo dois (ETT) e a teoria do domínio há muito prometem o cálculo exato dos reais. Claramente, o problema da precisão do ponto flutuante não...
Atualmente, estou interessado em obter (ou construir) e estudar fórmulas de 3-CNF insatisfatórias e de tamanho mínimo. Ou seja, eles devem consistir no menor número possível de cláusulas (m = 8) e no menor número possível de variáveis distintas (n = 4 ou mais), de modo que a remoção de pelo menos...
Considere o seguinte modelo: uma sequência de n bits r = r 1 ... r n é escolhida uniformemente aleatoriamente. Em seguida, cada índice i∈ {1, ..., n} é colocado em um conjunto A com probabilidade independente 1/2. Finalmente, um adversário é permitido, para cada i∈A separadamente, para r aleta i se...