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...
Não me lembro de ter visto uma separação de classes não baseada em resultados de diagonalização e relativização. A diagonalização ainda pode ser usada para separar as classes conhecidas restantes, porque argumentos não relativizadores ainda podem ser usados na conclusão da diagonalização ou na...
NNNrrrf ( x + r ) = f ( x ) a < 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 <
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 a fácil...
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, pois a...
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...
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...
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...
Existem problemas cuja complexidade média de casos é a mesma de pior complexidade? Quais são as propriedades subjacentes a esses problemas que tornam possível reduzir o pior caso para o caso
Estou interessado em uma variação de SAT em que a fórmula CNF é monótona (nenhuma variável é negada). Essa fórmula é obviamente satisfatória. Mas digamos que o número de variáveis verdadeiras seja uma medida de quão boa é a nossa solução. Portanto, temos o seguinte problema: MONOTONE VERDADEIRO...
Esta pergunta pode não ser técnica. Como um falante não-nativo e um AT para a classe de algoritmos, sempre me perguntei o que significa gadget em 'cláusula gadget' ou 'variável gadget'. O dicionário diz que um gadget é uma máquina ou um dispositivo, mas não tenho certeza do significado coloquial...
Trabalho em um laboratório de neurociência computacional que quantifica as informações mútuas entre pares ou grupos de neurônios. Recentemente, o chefe mudou seu foco para medir a "complexidade da dinâmica neural". Ao seguir essa linha de pesquisa, algumas pessoas no meu grupo parecem equiparar...
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 problema é fácil quando ou . O...
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...
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...
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
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) "....
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...
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...
O problema da rainha N é o seguinte: Entrada: N Saída: Um posicionamento de N "rainhas" em um tabuleiro de xadrez NXN, de modo que não haja duas rainhas na mesma linha, coluna ou diagonal. Ao fazer uma pesquisa no google, descobri que muitos slides de muitos professores afirmam que esse é um...