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

Esta questão foi migrada do Computer Science Stack Exchange porque pode ser respondida no Theoretical Computer Science Stack Exchange. Migrou há 6 anos . (Esta pergunta é um pouco de "pesquisa".) Atualmente, estou trabalhando em um problema em que estou tentando particionar as bordas de um torneio em dois sets, …

20 cc.complexity-theory  reference-request  np-hardness 

O gráfico de linhas de um hipergrafo é o gráfico (simples) com arestas de pois os vértices com duas arestas de são adjacentes em se tiverem uma interseção não vazia. Um hipergrafo é um hiper-gráfico se cada uma de suas arestas tiver no máximo vértices.G H H G r rHHHGGGHHHHHHGGGrrrrrr …

20 cc.complexity-theory  graph-algorithms  hypergraphs 

Duas perguntas relacionadas à computação em profundidade limitada: 1) Suponha que você comece com n bits e, para começar com o bit i, pode ser 0 ou 1 com alguma probabilidade p (i), independentemente. (Se isso simplificar o problema, podemos assumir que todos os p (i) s são 0,1 ou …

20 cc.complexity-theory  quantum-computing  circuit-complexity  randomness  circuit-depth 

O teorema do PCP afirma que não há algoritmo de tempo polinomial para o MAX 3SAT encontrar uma atribuição que satisfaça as cláusulas de 7/8 de uma fórmula 3SAT satisfatória, a menos que .P = N P7 / 8 + ε7/8+ϵ7/8+ \epsilonP= NPP=NPP = NP Existe um algoritmo de tempo …

20 cc.complexity-theory  pcp 

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 contida em um ciclo ímpar sem corda. …

20 cc.complexity-theory  reference-request  graph-theory  np-hardness 

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

20 cc.complexity-theory  parameterized-complexity  fixed-parameter-tractable 

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 …

20 cc.complexity-theory  np  conditional-results  advice-and-nonuniformity  average-case-complexity 

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 conhecidos? Existem problemas naturais que são NP-completos sob …

20 cc.complexity-theory  np-hardness  big-list  randomness  reductions 

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 contrastar a complexidade da comunicação com …

20 cc.complexity-theory  complexity-classes  big-picture  communication-complexity 

O título diz mais ou menos tudo, mas acho que poderia adicionar um pouco de fundo e alguns exemplos específicos nos quais estou interessado. Teóricos da complexidade descritiva, como Immerman e Fagin, caracterizaram muitas das classes de complexidade mais conhecidas usando a lógica. Por exemplo, o NP pode ser caracterizado …

20 cc.complexity-theory  quantum-computing  descriptive-complexity 

Estou procurando uma boa pesquisa sobre algoritmos e complexidade da álgebra linear (operações como rank, inverso, autovalores, ... para matrizes booleanas, e números inteiros / racionais) com ênfase nos algoritmos paralelo ( hierarquia N C ) e polytime . Não consegui encontrar uma recente.FpFp\mathbb{F}_pNCNCNC Você conhece uma boa pesquisa recente …

20 cc.complexity-theory  ds.algorithms  reference-request  dc.parallel-comp  linear-algebra 

Na classe de complexidade , existem alguns problemas conjecturados para NÃO pertencer à classe N C , ou seja, problemas com algoritmos paralelos determinísticos. O problema de fluxo máximo é um exemplo. E acredita-se que haja problemas em N C , mas uma prova ainda não foi encontrada.PP\mathsf{P}NCNC\mathsf{NC}NCNC\mathsf{NC} Perfeito Matching …

20 cc.complexity-theory  ds.algorithms  reference-request  graph-algorithms  dc.parallel-comp 

Suponha que tenhamos um problema parametrizado por um parâmetro com valor real p que seja "fácil" de resolver quando e "rígido" quando p = p 1 para alguns valores p 0 , p 1p = p0 0p=p0 0p=p_0p = p1p=p1p=p_1p0 0p0 0p_0p1p1p_1 . Um exemplo é contar configurações de rotação …

20 cc.complexity-theory  counting-complexity  approximation-hardness  phase-transition 

São feitas cinco perguntas vinculadas e uma única resposta integrada é esperada: Q1: Existem idiomas LLL que são reconhecidos apenas pelas máquinas de Turing em PPP cujas expoentes em tempo de execução são indecidíveis ? Q2: exemplos dessas máquinas de Turing podem ser construídos de forma finita? Q3: Essas máquinas …

20 cc.complexity-theory 

Immerman e Szelepcsenyi provaram independentemente que . Utilizando sua técnica de contagem indutiva, Borodin et al provaram que o é fechado sob complementação, para . Antes do teorema de Reingold ( S G = G ), Nissan e Ta-Shma provou S L = c O S L , utilizando as …

20 cc.complexity-theory  space-bounded