Permita que a classe BPNC (a combinação de e ) seja um algoritmo paralelo de profundidade de log com probabilidade de erro limitada e acesso a uma fonte aleatória (não tenho certeza se este tem um nome diferente). Defina a classe DBPNC da mesma forma, exceto que todos os processos têm acesso...
Em uma palestra de Razborov, uma pequena e curiosa declaração é publicada. Se FACTORING for difícil, o pequeno teorema de Fermat não é comprovável em .S1 12S21 1S_{2}^{1} O que é e por que as provas atuais não estão em ? S1 12S21 1S_{2}^{1}S1 12S21
BPPBPP\mathsf{BPP} eZPPZPP\mathsf{ZPP} são duas classes de complexidade probabilística básica. BPPBPP\mathsf{BPP} é a classe de linguagens decidida pelos algoritmos de Turing probabilísticos em tempo polinomial, nos quais a probabilidade do algoritmo retornar uma resposta incorreta é limitada, ou...
Na complexidade da comunicação, a conjectura de log-rank afirma que cc(M)=(logrk(M))O(1)cc(M)=(logrk(M))O(1)cc(M) = (\log rk(M))^{O(1)} Onde é a complexidade da comunicação de e é a classificação de (como uma matriz) sobre os reais.M ( x , y ) r k ( M )
A classe de complexidade é definida da seguinte maneira (da Wikipedia ):SP2S2P\textrm{S}_2^\textrm{P} Uma linguagem está em se existir um predicado de tempo polinomial tal queLLLSP2S2PS_2^PPPP Se , existe um tal que para todos ,x∈Lx∈Lx \in LyyyzzzP(x,y,z)=1P(x,y,z)=1P(x,y,z)=1 Se , existe...
O isomorfismo do gráfico (o problema de decisão) está em ? Aqui é a classe de problemas de decisão aceitos por uma máquina de Turing inequívoca (consulte o zoológico da complexidade ).UP∩coUPUP∩coUP\mathsf{UP}\cap
Eu estava tentando entender essas aulas, mas sempre me confundia ... as perguntas são: Qual é a relação entre e , em particular, é uma questão em aberto?# PFNPFNPFNP#P#P\#P Qual é a relação de e ? esta pergunta está aberta?N P⊕P⊕P\oplus PNPNPNP E o relacionamento entre e ? esta pergunta está...
Uma árvore de abrangência de um gráfico é chamada de árvore de completude se o conjunto de folhas induzir um subgráfico completo no gráfico do host. Dado um gráfico e um número inteiro , qual é a complexidade de decidir se contém uma árvore de completude com no máximo folhas?k G kGGGkkkGGGkkk Uma...
Dado um conjunto de pontos em espaço Euclideano tridimensional, o problema é determinar se o casco convexo contém a bola unidade centrado na origem.nnnddd Esse problema está no NP? É em co-NP, como se pode dar um ponto na bola fora do casco convexo como testemunha e verificar esse fato usando...
Eu tenho o seguinte problema: Entrada: dois conjuntos de intervalos e (todos os pontos de extremidade são inteiros). Consulta: existe uma bijeção monótona ?T f : S → TSSSTTTf: S→ Tf:S→Tf:S \to T O bijeç~ao é monótona wrt da ordem inclusão conjunto em e . T ∀ X ⊆ Y ∈ S , F ( X ) ⊆ f ( Y )SSSTTT∀...
Se pudermos provar que , isso implica que ? N L = N PL = PL=P\mathsf{L}=\mathsf{P}N L = N PNL=NP\mathsf{NL}=\mathsf{NP} Eu pensei que era o caso, mas não posso provar (também para o
Dado um gráfico direcionado, queremos decidir se ele contém um ciclo direcionado de comprimento uniforme. Este artigo de 1997 de YUSTER e ZWICK afirma que não se sabe que o problema está em nem se sabe que ele está completo como .PPPNPNPNP Existe algum resultado recente que resolva a...
Eu me deparei com um problema aberto colocado por David Eppstein e estou interessado em seu status de complexidade. Ele conjeturou que é NP-completo. Entrada: por matriz de 0 e 1, sequência de 0 e 1nnnnnnn2n2n^2 Pergunta: Existe um caminho através das entradas adjacentes da matriz, cobrindo cada...
Vamos chamar um idioma NP com pouca certificação se e somente se:L ∈L∈L \in Existe um polinómio de tal modo que para cada entrada x ∈ Σ * de tamanho n , se x ∈ L , em seguida, o conjunto de L x de certificados u que verificam se x ∈ L é polinomialmente dimensionada, isto é, | L x | ≤ p ( n )...
Qual é a definição padrão do Planar 3-SAT? Eu já vi várias definições diferentes. Qual foi o documento original que o definiu e provou ser
Em Tópicos avançados em tipos e linguagens de programação, é mencionado, no capítulo sobre sistemas de tipos subestruturais, que um cálculo lambda afinado "cuidadosamente criado" com um combinador de recursão para listas só pode digitar termos com tempo de execução polinomial (não apresentar a...
Existem problemas solucionáveis no tempo polinomial apenas se P! = NP e solucionáveis no tempo (digamos) ?O ( 2n)O(2n)O(2^n) Um exemplo simples seria: Se P! = NP, calcule um teste de primalidade para um número aleatório de n bits, caso contrário, avalie uma posição aleatória de pior caso no...
Usando o modelo real-RAM / BSS, temos a classe NP , (onde um BSS é o modelo Blum-Shub-Smale de um computador com operações sobre reais). Temos NP problemas completos. Então, a questão é: existe um análogo da conjectura de Berman Hartman para a classe NP ? Obviamente, a questão colocada aqui depende...
A hipótese de Riemann, com mais de um século e meio de idade, tem implicações profundas na matemática e agora um grande edifício da teoria matemática é provado condicionalmente, além de inúmeras variantes. Recentemente, deparei com uma referência a um resultado condicional no TCS com base na...
Minha pergunta é sobre algoritmos quânticos para cálculos de QED (eletrodinâmica quântica) relacionados às constantes de estrutura fina. Tais cálculos (como me explicaram) equivalem ao cálculo de séries do tipo Taylor ondeé a constante de estrutura fina (em torno de 1/137) eé a contribuição dos...