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

Contando argumentos, pode-se mostrar que existem polinômios de grau n em 1 variável (isto é, algo da forma que possui complexidade de circuito n. Além disso, pode-se mostrar que um polinômio como x n requer pelo menos log 2 n multiplicações (você precisa disso apenas para obter um grau alto …

12 cc.complexity-theory  circuit-complexity  polynomials  algebraic-complexity 

Enquanto trabalhava em um projeto não relacionado para a Suresh, deparei-me recentemente com alguns trabalhos realizados por Page e Opper sobre sistemas compostos pelo usuário e uma parte de seu trabalho discutiu brevemente problemas que não podem ser verificados em tempo polinomial. Não consegui encontrar muita informação sobre outros problemas …

12 cc.complexity-theory  complexity-classes 

O que estou pensando especificamente é se existe uma condição interessante na porcentagem de tarefas que atendem à fórmula 3SAT para garantir que esses problemas sejam tratáveis. Suponha, por exemplo, a classe de problemas 3SAT que das atribuições possíveis satisfazem a fórmula booleana; podemos encontrar com eficiência uma tarefa satisfatória? …

12 cc.complexity-theory  ds.algorithms  sat  np 

O resultado de Baker-Gill-Solovay mostrou que a questão P = NP não se relativiza, no sentido de que nenhuma prova relativizante (insensível à presença de um oráculo) pode resolver a questão P = NP. Minha pergunta é: Existe um resultado semelhante para a pergunta "Existe um problema de PH completo?" …

12 cc.complexity-theory  complexity-classes 

Novamente, um problema de particionamento de borda cuja complexidade me interessa, motivada por uma pergunta anterior minha . Entrada: um gráfico cúbicoG = ( V, E)G=(V,E)G=(V,E) Pergunta: existe uma partição de em , de modo que o subgráfico induzido por cada seja uma garra (ou seja, , freqüentemente chamada de …

12 cc.complexity-theory  graph-theory  np-hardness  co.combinatorics 

Uma formulação equivalente do teorema de PCP é: Para Max 3-SAT, é difícil distinguir entre fórmulas satisfatórias e fórmulas onde, no máximo, a fração das cláusulas é satisfatória (para alguns ).NPNPNPrrrr<1r<1r\lt 1 Existe algum teorema de dicotomia conhecido que classifique todo o CSP Max com base em se eles têm …

12 cc.complexity-theory  pcp  csp 

Let { 0 , . . . , N - 1 } e ∘ : S × S → S . Eu quero calcular a complexidade da comunicação para decidir se ∘ é associativo.S=S=S=0 , . . . , n - 10,...,n−10,...,n-1∘ : S× S→ S∘:S×S→S\circ : S \times S …

12 cc.complexity-theory  communication-complexity 

O papel Lauri Hella e José María Turull-Torres, Consultas de computação com lógicas de ordem superior , TCS 355 197-214, 2006. doi: 10.1016 / j.tcs.2006.01.009 propõe lógica VO, lógica de ordem variável. Isso permite a quantificação de pedidos sobre as variáveis. O VO é bastante poderoso e pode expressar algumas …

12 cc.complexity-theory  complexity-classes  lo.logic  computability  descriptive-complexity 

Que outros problemas de linguagem diferentes do isomorfismo de grafos existem em ? Você pode dar algumas referências?NP∩coAMNP∩coAMNP\cap coAM Update: Esqueci de mencionar que eu estou interessado em línguas desconhecidas para a .coNPcoNPcoNP

12 cc.complexity-theory  reference-request  complexity-classes  graph-isomorphism 

Estou lendo a prova daqui e me deparei com um problema técnico (ainda que crucial). Eu sei que isso é bastante específico e o contexto é problemático, mas eu não consegui descobrir isso sozinho. Nas páginas 51 e 55, depois de apresentar os verificadores "padrão", eles se voltam para modificar …

12 cc.complexity-theory  pcp 

Uma observação fácil é que, se um problema é determinável por um programa não-determinístico de tempo polinomial usando S ( log n ) bits de nondeterministic (isto é, todas as testemunhas são logarítmicas em comprimento), em seguida, uma ∈ P .AAAO(logn)O(log⁡n)O(\log n)A∈PA∈PA \in \mathsf{P} Se alguém fizer a pergunta: "É …

12 cc.complexity-theory 

Quais são algumas afirmações (não conhecidas) de que, se verdade, o PH deve entrar em colapso? Respostas que contenham uma breve declaração de alto nível com referência (s) são apreciadas. Tentei fazer uma pesquisa reversa sem muita sorte.

12 cc.complexity-theory  complexity-classes  big-list 

Defina como a classe de idiomas que pode ser aceita por uma máquina de Turing (multitape) no tempo f ( n ) + 1 . (O " + 1 " é apenas para simplificar a notação e evitar confusão.) Observe que não há O ( ⋅ ) em torno de …

12 cc.complexity-theory  time-complexity  turing-machines  time-hierarchy 

Sabemos que se , todo o PH entra em colapso. E se a hierarquia polinomial entrar em colapso parcial? (Ou como entender que o PH poderia entrar em colapso acima de um certo ponto e não abaixo?)P= NPP=NPP=NP Em palavras, quais seriam as consequências de e ?P ≠ N PNP= …

12 cc.complexity-theory  complexity-classes  conditional-results  polynomial-hierarchy 

A pergunta a seguir usa idéias da criptografia aplicada à teoria da complexidade. Dito isso, é uma questão puramente teórica da complexidade e nenhum conhecimento criptográfico é necessário para respondê-lo. Eu deliberadamente escrevo essa pergunta de maneira muito informal. Na falta de detalhes, é possível afirmar um pouco incorretamente. Sinta-se …

12 cc.complexity-theory  complexity-classes  np-hardness  p-vs-np