Uma pergunta recente de Huck Bennett, perguntando se a classe PH estava contida na classe PP, recebeu respostas um tanto contraditórias (tudo verdade, ao que parece). Por um lado, vários resultados do oráculo foram dados ao contrário, e por outro Scott sugeriu que a resposta provavelmente é...
fundo Vários anos atrás, quando eu era graduado, recebíamos uma lição de casa sobre análise amortizada. Não consegui resolver um dos problemas. Eu havia perguntado isso em teoria , mas nenhum resultado satisfatório foi encontrado. Lembro que o curso da TA insistiu em algo que ele não podia provar...
Existem alguns problemas de contagem que envolvem contar exponencialmente muitas coisas (em relação ao tamanho da entrada) e ainda possuem algoritmos determinísticos surpreendentes em tempo polinomial exato. Exemplos incluem: Contando combinações perfeitas em um gráfico planar (o algoritmo FKT ),...
Certos problemas são conhecidos por serem indecidíveis, mas, no entanto, é possível progredir na solução deles. Por exemplo, o problema de parada é indecidível, mas é possível progredir na criação de ferramentas para detectar possíveis loops infinitos em seu código. Os problemas de lado a lado são...
Sabemos que L⊆NL⊆PL⊆NL⊆P\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{P} e que L⊆NL⊆L2⊆L⊆NL⊆L2⊆\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{L}^2 \subseteq polyLpolyL\mathsf{polyL} , em que L2=DSPACE(log2n)L2=DSPACE(log2n)\mathsf{L}^2 = \mathsf{DSPACE}(\log^2 n) . Nós também sabe que...
Existem benefícios no cálculo da complexidade de tempo de um algoritmo usando o cálculo lambda? Ou existe outro sistema projetado para esse fim? Todas as referências serão
Minha pergunta é simples: Qual é o pior caso de tempo da melhor algoritmo conhecido correndo para computar uma eigendecomposition de um n×nn×nn \times n matriz? A composição automática reduz à multiplicação de matrizes ou os algoritmos mais conhecidos O(n3)O(n3)O(n^3) (via SVD ) no pior...
Nos anos 80, Razborov mostrou famosa que existem funções booleanas explícitas e monótonas (como a função CLIQUE) que exigem exponencialmente muitos portões AND e OR para calcular. No entanto, a base {AND, OR} sobre o domínio booleano {0,1} é apenas um exemplo de um conjunto de portas interessante...
No clássico artigo de Andrew Chi-Chih Yao, de 1979, ele faz referência a "MO Rabin e AC Yao, em preparação". Isso ocorre pelo resultado de que a complexidade da comunicação de erro limitado da função de igualdade EQ N (se dois inteiros no intervalo de 0 a N - 1 são iguais) é O ( log log N ) .NN_N0...
Esta é uma pergunta sobre a complexidade do circuito. (As definições estão na parte inferior.) Yao e Beigel-Tarui mostraram que toda família de circuitos de tamanho s possui uma família de circuitos equivalente de tamanho s p o l y ( log s ) de profundidade dois , em que a porta de saída é uma...
Ryan Williams acabou de postar seu limite inferior no ACC , a classe de problemas que têm circuitos de profundidade constantes com ventiladores e portas AND ilimitados AND, OR, NOT e MOD_m para todos os m possíveis. O que há de tão especial nos portões MOD_m? Eles permitem simular aritmética...
O teorema de Immerman-Vardi afirma que PTIME (ou P) é precisamente a classe de idiomas que pode ser descrita por uma frase da Lógica de Primeira Ordem, juntamente com um operador de ponto fixo, sobre a classe de estruturas ordenadas. O operador de ponto fixo pode ser o ponto menos fixo (como...
Às vezes, afirma-se que a Teoria da Complexidade Geométrica de Ketan Mulmuley é o único programa plausível para resolver as questões abertas da teoria da complexidade, como a questão P vs. NP. Houve vários comentários positivos de famosos teóricos da complexidade sobre o programa. Segundo Mulmuley,...
Sabemos que o primeiro nível da hierarquia polinomial (ou seja, NP e co-NP) está em PP, e que . Também sabemos pelo Teorema de Toda que .PP⊆ PSPA CEPP⊆PSPACEPP \subseteq PSPACEPH⊆ PPPPH⊆PPPPH \subseteq P^{PP} Sabemos se ? Caso contrário, por que com um oráculo é mais forte que ? É possível que e...
Essa pergunta é inspirada por uma pergunta semelhante sobre a matemática aplicada no excesso de matemática, e esse pensamento persistente de que questões importantes do TCS, como P vs. NP, podem ser independentes do ZFC (ou de outros sistemas). Como pano de fundo, a matemática reversa é o projeto...
Tanto quanto eu entendo, o programa da teoria da complexidade geométrica tenta separar , provando que o permamento de uma matriz de valor complexo é muito mais difícil de calcular do que o determinante.VP≠ VNPVP≠VNPVP \neq VNP A pergunta que tive depois de examinar os Documentos do GCT: Isso...
Estou interessado na complexidade parametrizada do que chamarei de problema do conjunto de batida d-dimensional: dado um espaço de intervalo (isto é, um sistema definido / hipergrafo) S = (X, R) tendo a dimensão VC no máximo d e um número inteiro positivo k, X contém um subconjunto de tamanho k que...
Em geral, sabemos que a complexidade de testar se uma função assume um valor específico em uma determinada entrada é mais fácil do que avaliar a função nessa entrada. Por exemplo: Avaliar a permanente de uma matriz inteira não negativa é # P-difícil, mas dizer se essa permanente é zero ou...
Seja um número inteiro positivo fixo de tamanho bits.nUMAAAnnn É permitido pré-processar esse número inteiro, conforme apropriado. Dado outro número inteiro positivo de tamanho bits, qual é a complexidade da multiplicação ?m A BBBBmmmA BABAB Observe que já temos os algoritmos . A questão aqui é...
Esta é uma pergunta ingênua, fora dos meus conhecimentos; desculpas antecipadamente. A conjectura de Goldbach e muitas outras questões não resolvidas em matemática podem ser escritas como fórmulas curtas no cálculo de predicados. Por exemplo, o artigo de Cook "Os computadores podem descobrir...