Perguntas com a marcação «np»

Paridade-P é o conjunto de idiomas reconhecidos por uma máquina de Turing não determinística que só pode distinguir entre um número par ou um número ímpar de caminhos de "aceitação" (em vez de um número zero ou diferente de zero de caminhos de aceitação). Assim Paridade-P é basicamente PP atrofiado …

18 cc.complexity-theory  complexity-classes  np 

Uma rede de comutadores (o nome é inventado) é criada com três tipos de nós: um nó Iniciar um nó final um ou mais nós do Switch O nó do comutador possui 3 saídas: Esquerda, Cima, Direita; possui dois estados L e R e um estado alvo TL ou TR …

17 ds.algorithms  reference-request  graph-algorithms  np 

Seja 0≤p≤10≤p≤10\le p\le 1 e considere o problema de decisão CLICK p entrada: número inteiro s , gráfico G com t vértices e arestas Pergunta: O conter uma clique sobre, pelo menos, vértices?pp_p sssGGGttt⌈p(t2)⌉⌈p(t2)⌉\lceil p\binom{t}{2} \rceil sGGGsss Uma instância de CLIQUE pp_p contém uma proporção ppp de todas as arestas …

17 cc.complexity-theory  np  parameterized-complexity  clique 

Eu li que a programação linear inteira é solucionável em tempo polinominal se o número de variáveis ​​for fixo, ou seja, n ∈ O ( 1 ) . Se o número de variáveis ​​cresce logaritmicamente, ou seja, n ∈ O ( log 2 ( N ) ) para uma determinada …

16 cc.complexity-theory  np  open-problem 

De um ponto de vista puramente abstrato do raciocínio matemático / computacional, (como) alguém poderia descobrir ou raciocinar sobre problemas como 3-SAT, Subset Sum, Traveling Salesman etc.? Será que vamos ser mesmo capaz de raciocinar sobre eles de qualquer maneira significativa com apenas o funcional ponto de vista? Seria possível? …

15 soft-question  lambda-calculus  turing-machines  functional-programming  np 

FewP é a classe de NPNPNP -os problemas com polinomial ligada do número de soluções (no tamanho da entrada). Não é conhecido nenhum NPNPNP problema -completo em fewPfewPfewP . Estou interessado em até onde podemos esticar essa observação. Existe alguma naturais NPNPNP problema -completo com quase-polinomiais limite superior no número …

15 cc.complexity-theory  np 

Existe , uma linguagem completa NP ou P que possui alguma família de grupos de simetria (ou grupóides , mas as perguntas algorítmicas ficam mais abertas) atuando (em tempo polinomial) nos conjuntos que haja poucas órbitas, ou seja, para que para grande o suficiente e alguns , e tal que …

14 np  algebra  gr.group-theory  complexity  symmetry 

É mencionado em um comentário em outro post do cstheorySE que a completude do PSPACE implica dureza do APX. Alguém pode explicar / compartilhar uma referência para isso? Isso é "apertado"? (ou seja, existem problemas completos do PSPACE cujo problema de otimização admite uma aproximação constante de fatores no tempo …

14 cc.complexity-theory  approximation-algorithms  approximation-hardness  np  pspace 

O teorema de Rice afirma que todas as propriedades não triviais do conjunto reconhecidas por alguma máquina de Turing são indecidíveis. Estou procurando pelo teorema do tipo Rice, teórico da complexidade, que nos diz quais propriedades não triviais dos conjuntos NP são intratáveis.

14 cc.complexity-theory  computability  np 

Aqui está o problema: Temos um quadrado com alguns números de 1..N em algumas células. É necessário determinar se ele pode ser concluído em um quadrado mágico. Exemplos: 2 _ 6 2 7 6 _ 5 1 >>> 9 5 1 4 3 _ 4 3 8 7 _ _ …

13 cc.complexity-theory  np-hardness  np  puzzles 

A pergunta me ocorreu quando recebi Dana Moshkovitz responder a outro tópico . Deixe ser um NP Idioma, e deixá- R L ser o respectivo NP relação. Sabemos que existe algum polinômio p tal que:euLLReuRLR_Lppp ∀ x ∈ L ,, ∃ w ∈0 , 1p ( | x | )( …

13 cc.complexity-theory  np 

Suponha P NP.≠≠\ne O Teorema de Ladner diz que existem problemas NP Intermediários (problemas em NP que não estão nem em P nem em NP-Completo). Eu encontrei algumas referências veladas on-line que sugerem (eu acho) que existem muitos "níveis" de linguagens mutuamente redutíveis dentro do NPI que, definitivamente, nem todos …

13 cc.complexity-theory  np  np-intermediate 

Nas notas de aula de Ola Svensson: http://theory.epfl.ch/osven/courses/Approx13/Notes/lecture4-5.pdf , diz-se que não sabemos se o TSP euclidiano está em NP: A razão é que não sabemos como calcular raízes quadradas com eficiência. Por outro lado, há este artigo de Papadimitriou: http://www.sciencedirect.com/science/article/pii/0304397577900123 dizendo que é NP-completo, o que também significa que …

12 np  tsp  computing-over-reals 

Existem problemas completos de NP (ou mesmo NP-difícil ou NP) que possuem boas propriedades topológicas para estudar. Os problemas de PN têm formulações teóricas de nós? Sabemos sobre os resultados # sobre o polinômio de Jones. Problemas gráficos (incorporações?), Especificamente cores dos gráficos, podem ter boas propriedades teóricas dos nós. …

12 ct.category-theory  np 

Uma propriedade de gráfico é chamada de hereditária se fechada com relação à exclusão de vértices (ou seja, todos os subgráficos induzidos herdam a propriedade). Uma propriedade de gráfico é chamada aditiva se for fechada com relação à obtenção de uniões disjuntas. Não é difícil encontrar propriedades hereditárias, mas não …

12 cc.complexity-theory  graph-theory  graph-algorithms  np