Perguntas com a marcação «cc.complexity-theory»

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 diagramas de Feynman comloops. ∑ …

10 cc.complexity-theory  quantum-computing  physics 

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 hipótese de Riemann. …

10 cc.complexity-theory  algebraic-complexity  arithmetic-circuits 

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 …

10 cc.complexity-theory  computing-over-reals 

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 xadrez …

10 cc.complexity-theory  reference-request 

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 NP-completo?

10 cc.complexity-theory  reference-request  np-hardness  sat  planar-graphs 

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 …

10 cc.complexity-theory  complexity-classes 

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 prova devido à complexidade). Isso seria …

10 cc.complexity-theory  type-theory  lambda-calculus 

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 entrada da …

10 cc.complexity-theory  graph-theory 

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 complexidade …

10 cc.complexity-theory  reference-request  graph-theory 

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 inverso).

10 cc.complexity-theory  complexity-classes  nondeterminism 

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 …

10 cc.complexity-theory  cg.comp-geom 

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 …

10 cc.complexity-theory  ds.algorithms  np-hardness  partial-order  matching 

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 …

10 cc.complexity-theory 

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 \mathsf{coUP}UPUP\mathsf{UP}

10 cc.complexity-theory  graph-isomorphism 

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 …

10 cc.complexity-theory  graph-theory  graph-algorithms