Estou interessado na densidade crítica de 3-satisfação (3-SAT) . É suposto que tal exista: se o número de cláusulas 3-SAT geradas aleatoriamente for ou mais, elas são quase certamente insatisfatórias. (Aqui é qualquer constante pequena e é o número de variáveis.) Se o número for ou menos, elas são...
Ouvi de alguns pesquisadores seniores em ciência da computação teórica que trabalhar em um emprego que não é de pesquisa, mesmo que por alguns anos, acabará com sua carreira como pesquisador da TCS. No entanto, desconfio da alegação de que o caminho de ser um pesquisador do TCS para um trabalho...
Definimos uma linguagem de árvore regular como no livro TATA : É o conjunto de árvores aceito por um autômato finito de árvore não determinístico (Capítulo 1) ou, equivalentemente, o conjunto de árvores geradas por uma gramática regular de árvores (Capítulo 2). Ambos os formalismos têm grandes...
Os sábios outros editores da Wikipedia recusaram minha solicitação de mover o artigo da Wikipedia sobre o algoritmo Rabin-Karp para o que eu acho que deveria ser chamado, o algoritmo Karp – Rabin, com base no fato de que o nome Rabin-Karp é usado com mais frequência ( falso, se alguém atende aos...
Alguns problemas difíceis de NP que são exponenciais em gráficos gerais são subexponenciais em gráficos planares porque a largura da árvore é no máximo e eles são exponenciais na largura da árvore.4.9 | V( G ) |------√4.9|V(G)|4.9 \sqrt{|V(G)|} Basicamente, estou interessado se existem algoritmos...
RP é a classe de problemas decididos por uma máquina de Turing não determinística que termina em tempo polinomial, mas que também é permitida erro unilateral. P é a classe usual de problemas decidíveis por uma máquina de Turing determinística que termina em tempo polinomial. P = RP segue de um...
A interseção de dois (mínimo) DFAs com n estados pode ser calculada usando O (n 2 ) tempo e espaço. Isso é ideal em geral, uma vez que o DFA resultante (mínimo) pode ter n 2 estados. No entanto, se o DFA mínimo resultante tiver estados z, onde z = O (n), ele pode ser calculado no espaço n 2-eps ,...
Existem referências sobre
A classificação de sinal de uma matriz A com entradas + 1, -1 é a menor classificação (acima dos reais) de uma matriz B que possui o mesmo padrão de sinal de A (ou seja, para todos os i , j ) Essa noção é importante na complexidade da comunicação e na teoria da aprendizagem.UMAeu jBeu j>...
É sabido que qualquer prova que resolva a questão P vs NP deve superar a relativização , provas naturais e barreiras à algebrização . O diagrama a seguir divide o "espaço de prova" em diferentes regiões. Por exemplo, corresponde ao conjunto de provas que relativizam e naturalizam. (Teoria da...
Considere esta questão resolvida. Não vou escolher a melhor resposta, pois todas elas contribuíram para minha compreensão do tópico. Não tenho certeza do benefício que temos ao definir formalmente a semântica da lógica de predicados. Mas vejo valor em ter um cálculo formal de prova. O que quero...
Considere o seguinte problema: dada uma fórmula CNF e uma atribuição que satisfaça essa fórmula, existe outra atribuição satisfatória para essa fórmula? Qual é a complexidade desse problema? (Certamente está em NP, mas também é difícil em NP?) E se você não receber a tarefa e apenas quiser...
A complexidade do seguinte problema foi estudada? Entrada : um gráfico cúbico (ou regular) , um limite superior naturalG = ( V , E ) t333G = ( V, E)G=(V,E)G=(V,E)ttt Pergunta : existe uma partição de em partes do tamanho tal forma que a soma das ordens dos subgráficos correspondentes...
Recentemente, ensinei expansores e introduzi a noção de gráficos Ramanujan. Michael Forbes perguntou por que eles são chamados assim, e eu tive que admitir que não sei.
1) Qual é a relação entre tipagem estática e gramáticas formais? 2) Em particular, seria possível para um autômato limitado linear verificar se, digamos, um programa C ++ ou SML foi bem digitado? Um autômato de pilha aninhado? 3) Existe uma maneira natural de expressar regras de digitação...
Olá pessoal, entendo que o truque de preenchimento nos permite traduzir classes de complexidade para cima - por exemplo, . O preenchimento funciona "inflando" a entrada, executando a conversão (digamos, de para ), que produz um algoritmo "mágico" que você pode executar na entrada preenchida. Embora...
Desculpas por fazer uma pergunta que certamente deve estar em muitas referências padrão. Estou curioso sobre exatamente a pergunta no título, em particular estou pensando em circuitos booleanos, sem limite de profundidade. Coloquei "menor" entre aspas para permitir a possibilidade de haver várias...
À luz do resultado recente de Arora, Barak e Steurer, Algoritmos Subexponenciais para Jogos Exclusivos e Problemas Relacionados , estou interessado em problemas gráficos que têm algoritmos de tempo subexponenciais, mas que não são polinomialmente solucionáveis. Um exemplo é famoso isomorfismo...
Geralmente, constrói-se um gráfico e, em seguida, faz-se perguntas sobre a decomposição do autovalor da matriz de adjacência (ou algum parente próximo como o Laplaciano ) (também chamado de espectro de um gráfico ). Mas e o problema inverso? Dados valores próprios, é possível (eficientemente)...
Eu estava lendo isso . Diz ... Você não se sentirá faminto por fundos como a Matemática Pura. (Você sempre ficará faminto por financiamento.) ... Por que matemáticos puros precisam de financiamento? (Opa, sua pergunta sobre o excesso de matemática) Por que alguém que faz pesquisa teórica...