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

Acredita-se amplamente que alguns problemas computacionais, como o isomorfismo de grafos, não possam ser NP-completos porque não possuem estrutura ou redundância suficiente para serem computacionalmente difíceis (NP-hard). Estou interessado nas diferentes noções formais para estrutura de problemas computacionais e medidas de redundância. Quais são os principais resultados conhecidos sobre essas …

11 cc.complexity-theory  graph-isomorphism 

Isso é semelhante ao SAT, exceto que conhecemos a atribuição de cada variável, mas não sabemos a atribuição de nenhum operador booleano. Nesse caso, encontrar a atribuição de cada operador para que a expressão avalie um determinado valor booleano é um problema do NPC? Na verdade, eu estava pensando se …

11 cc.complexity-theory  np-hardness 

Em um artigo sobre a relativização dos cálculos do espaço de log, Ladner e Lynch constroem um oráculo em relação ao qual . Existem alguns exemplos mais patológicos nessa veia na literatura. Eu tenho lido alguns artigos sobre classes espaciais pequenas relativizadas, e uma das principais ferramentas nesta área é …

11 cc.complexity-theory  complexity-classes  circuit-complexity  oracles  relativization 

Foi mostrado no artigo "Programação inteira com um número fixo de variáveis" que as programações inteiras com número constante de restrições (ou variáveis) são polinomialmente solucionáveis. Isso vale para a programação 0-1?

11 cc.complexity-theory  integer-programming 

Um teorema direto do produto, informalmente, diz que computar instâncias de uma função é mais difícil do que computar uma vez.kkkffffff Teoremas típicos de produtos diretos (por exemplo, o XOR Lemma de Yao) analisam a complexidade de casos médios e argumentam (muito grosseiramente) que não pode ser calculado por circuitos …

11 cc.complexity-theory  circuit-complexity  average-case-complexity 

Resposta: desconhecido Muito obrigado a todos que ajudaram a refinar esta questão e as definições a ela associadas. As definições deste wiki forneceram o ponto de partida para o wiki mais recente do TCS " P contém idiomas cuja existência é independente do PA ou ZFC? (Wiki da comunidade TCS) …

11 cc.complexity-theory  complexity-classes  turing-machines  decidability 

Dana Angluin ( 1987 ; pdf ) define um modelo de aprendizado com perguntas sobre membros e questões teóricas (contra-exemplos a uma função proposta). Ela mostra que uma linguagem regular representada por um DFA mínimo de estados pode ser aprendida em tempo polinomial (onde as funções propostas são DFAs) com …

11 cc.complexity-theory  machine-learning  lower-bounds  lg.learning  query-complexity 

O problema da partição de 3 cliques é o problema de determinar se os vértices de um gráfico, digamos , podem ser particionados em 3 grupos. Esse problema é difícil de NP por uma simples redução do problema de 3 cores. Não é difícil ver que a resposta para esse …

11 cc.complexity-theory  graph-theory  np-hardness  clique 

Suponha que tenhamos um semigrupo com os elementos S = { s 1 , s 2 , … , s n } . Nosso objetivo é produtos de computação s i ∘ s i + 1 ∘ ⋯ ∘ s j .(S,∘)(S,∘)(S,\circ)S={s1,s2,…,sn}S={s1,s2,…,sn}S=\lbrace s_1,s_2,\dots,s_n\rbracesi∘si+1∘⋯∘sjsi∘si+1∘⋯∘sjs_i\circ s_{i+1}\circ \cdots\circ s_j Em seu artigo "Pré-processamento …

11 cc.complexity-theory  graph-theory  ds.data-structures 

Nos sistemas de controle de versão distribuído (como Mercurial e Git ), é necessário comparar eficientemente os gráficos acíclicos direcionados (DAGs). Sou desenvolvedor da Mercurial e gostaríamos muito de ouvir sobre o trabalho teórico que discute a complexidade de tempo e rede da comparação de dois DAGs. Os DAGs em …

11 cc.complexity-theory  dc.distributed-comp  directed-acyclic-graph 

Eu acho que seria chamado # P-Space, mas eu encontrei apenas um artigo mencionando-o vagamente. Que tal a versão de contagem dos problemas EXP-TIME-Complete, NEXP-Complete e EXP-SPACE-Complete? Existe algum trabalho anterior que se possa citar em relação a esse ou a qualquer tipo de inclusão ou exclusão como o Teorema …

11 cc.complexity-theory  complexity-classes  counting-complexity  pspace 

Como se olha para um problema e o motivo pelo qual é provável NP-Intermediário em oposição a NP-Complete? Muitas vezes, é bastante simples olhar para um problema e dizer se é provável que o NP-Completo seja ou não, mas me parece muito mais difícil dizer se um problema é NP-Intermediário, …

11 cc.complexity-theory  complexity-classes  np-intermediate 

O que se sabe sobre a transição de fase nos problemas # P-Complete? Especificamente, existe uma transição de fase diferente para # DNF-k-SAT e # CNF-k-SAT? Atualização: Como sabemos, há uma transição de fase no Random k-SAT em que a solução do problema passa de fácil a difícil e volta …

11 cc.complexity-theory  counting-complexity  phase-transition 

NNNrrrf ( x + r ) = f ( x ) a &lt; N r rf( x ) = axmodNf(x)=axmodNf(x)=a^x\;\bmod\;Nf( x + r ) = f( X )f(x+r)=f(x)f(x+r)=f(x)a &lt; Na&lt;Na<Nrrrrrr Minha pergunta agora é: Existem limites inferiores conhecidos em para aleatório ? Existe algum limite em dado que é escolhido …

11 cc.complexity-theory  cr.crypto-security  factoring 

A integridade e a integridade dos sistemas interativos de prova são definidas informalmente como: Completude: se uma afirmação é verdadeira, o provador honesto pode convencer o verificador honesto desse fato whp . Solidez: Se uma afirmação é falsa, o provador de trapaça não pode convencer o verificador honesto (da validade …

11 cc.complexity-theory  interactive-proofs