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

I corrigir uma linguagem regular LLL em um alfabeto ΣΣ\Sigma , e eu considere o seguinte problema que eu chamo carta agendamento para LLL . Informalmente, a entrada me fornece nnn letras e um intervalo para cada letra (ou seja, uma posição mínima e máxima), e meu objetivo é colocar …

23 cc.complexity-theory  np-hardness  automata-theory  regular-language  scheduling 

O problema Nem todos iguais -SAT (NAE k -SAT), dado um conjunto C de cláusulas sobre um conjunto X de variáveis ​​booleanas, de modo que cada cláusula contém no máximo k literais, pergunta se existe uma atribuição de verdade das variáveis, de forma que cada cláusula contém pelo menos um …

23 cc.complexity-theory  reference-request  np-hardness  polynomial-time 

Subhash Khot 's únicos Jogos Conjectura é uma das áreas de pesquisa ativos na teoria da complexidade. Que evidência temos para isso? Que evidência temos contra isso?

23 cc.complexity-theory  unique-games-conjecture 

Na presente discussão , tentativa de Norbet Blum prova é sucintamente refutada por notar que a função Tardos é um contra-exemplo Teorema 6.P≠NPP≠NPP \neq NP Teorema 6 : Let ser qualquer função monótona booleano. Suponha que exista um aproximador de CNF-DNF A que possa ser usado para provar um limite …

22 cc.complexity-theory  np-hardness  complexity-classes 

Na sequência de uma pergunta anterior , Quais são os melhores limites inferiores do espaço atual para o SAT? Com um limite inferior do espaço, quero dizer aqui o número de células da worktape usadas por uma máquina de Turing que usa um alfabeto binário da worktape. Um termo aditivo …

22 cc.complexity-theory  sat  lower-bounds  space-bounded  space-complexity 

No artigo "A COMPLEXIDADE DOS PROBLEMAS DE SATISFIABILIDADE", de Thomas J. Schaefer, o autor mencionou que This raises the intriguing possibility of computer-assisted NP-completeness proofs. Once the researcher has established the basic framework for simulating conjunctions of clauses, the relational complexity could be explored with the help of a computer. …

22 cc.complexity-theory  reference-request  soft-question  reductions  proof-assistants 

Eu tenho trabalhado na introdução de alguns resultados da complexidade computacional na biologia teórica, especialmente evolução e ecologia , com o objetivo de ser interessante / útil para os biólogos. Uma das maiores dificuldades que enfrentei é justificar a utilidade da análise de pior caso assintótica para limites inferiores. Existem …

22 cc.complexity-theory  reference-request  big-picture  application-of-theory  worst-case 

Muitos problemas de gráficos algorítmicos podem ser resolvidos em tempo polinomial, tanto em gráficos não ponderados quanto em ponderados. Alguns exemplos são caminho mais curto, árvore de abrangência mínima, caminho mais longo (em gráficos acíclicos direcionados), fluxo máximo, corte mínimo, correspondência máxima, arborescência ideal, certos problemas de subgráfico mais densos, …

22 cc.complexity-theory  graph-algorithms  np-hardness 

Essa é uma pergunta em aberto - pela qual peço desculpas antecipadamente. Existem exemplos de declarações que (aparentemente) não têm nada a ver com complexidade ou máquinas de Turing, mas cuja resposta implicaria ?P≠NPP≠NP\mathbf{P}\neq \mathbf{NP}

22 cc.complexity-theory  complexity-classes  p-vs-np 

Em testes propriedade gráfico, um algoritmo de consulta um gráfico de alvo para a presença ou ausência de arestas e necessidades para determinar se o alvo quer tem uma certa propriedade ou é -muito de ter a propriedade. (Um algoritmo pode ser solicitado a ter sucesso com um erro lados …

22 cc.complexity-theory  machine-learning  query-complexity  property-testing 

Existem muitos resultados de inadequação que se baseiam na conjetura de jogos únicos. Por exemplo, Assumindo a conjectura exclusiva dos jogos, é NP difícil aproximar o problema de corte máximo dentro de um fator R para qualquer R > R GW constante . (Aqui R GW = 0,878… é a …

22 cc.complexity-theory  approximation-hardness  unique-games-conjecture 

Em um jogo de defesa de torre, você tem uma grade NxM com um início, um acabamento e várias paredes. Os inimigos seguem o caminho mais curto do início ao fim sem passar por nenhuma parede (eles geralmente não são restritos à grade, mas por uma questão de simplicidade, digamos …

22 cc.complexity-theory  ds.algorithms  graph-theory  graph-algorithms 

O estado de nosso conhecimento sobre circuitos aritméticos gerais parece ser semelhante ao estado de nosso conhecimento sobre circuitos booleanos, ou seja, não temos bons limites inferiores. Por outro lado, temos limites inferiores de tamanho exponencial para circuitos booleanos monótonos . O que sabemos sobre circuitos aritméticos monótonos ? Temos …

22 cc.complexity-theory  circuit-complexity  boolean-functions  monotone  arithmetic-circuits 

Ao ler uma resposta de Peter Shor e uma pergunta anterior de Adam Crume , percebi que tenho alguns conceitos errados sobre o que significa ser PP\mathsf{P} duro. Um problema é PP\mathsf{P} difícil se houver algum problema em PP\mathsf{P} com reduções de LL\mathsf{L} (ou se você preferir NCNC\mathsf{NC} ). Um …

22 cc.complexity-theory  complexity-classes 

Fiquei me perguntando quais papéis eu deveria ler para entender esta pergunta Uma conexão inesperada com outras áreas da matemática, como geometria algébrica ou cohomologia superior. Talvez até uma área da matemática ainda não desenvolvida. Talvez alguém desenvolva uma direção totalmente nova para a matemática, a fim de lidar com …

22 cc.complexity-theory  reference-request  gct  algebraic-topology