Eu quero fazer um primeiro solucionador de SAT. Conheço a competição do SAT e a conferência do SAT, e há tantos artigos sobre esse assunto. Eu sou um iniciante, um iniciante oprimido. Por onde devo começar? Eventualmente, eu quero empurrar o estado da arte. Quero alguns conselhos de especialistas...
A conjectura de reconstrução diz que os gráficos (com pelo menos três vértices) são determinados exclusivamente por seus subgrafos deletados. Essa conjectura tem cinco décadas. Pesquisando literatura relevante, descobri que as seguintes classes de gráficos são conhecidas por serem...
Edit: Eu primeiro formulei minha restrição (2), agora ela está corrigida. Eu também adicionei mais informações e exemplos. Com alguns colegas, estudando outra questão algorítmica, conseguimos reduzir nosso problema ao seguinte problema interessante, mas não conseguimos resolver a questão de sua...
Para um alfabeto finito fixo , uma linguagem formal sobre é regular, se existe um autômato finito determinístico (DFA) sobre que aceita exatamente .ΣΣ\SigmaLeuLΣΣ\SigmaΣΣ\SigmaLeuL Estou interessado em idiomas "quase" regulares no sentido de que podem ser reconhecidos por famílias de tamanho de...
Estou tentando entender a relação entre isomorfismo de gráfico e o problema de subgrupo oculto. Existe uma boa referência para
Para uma constante , pode-se determinar em tempo linear, dado um gráfico de entrada , se sua largura de árvore é . No entanto, quando e são dados como entrada, o problema é NP-difícil. ( Fonte ). G ≤ k k Gk ∈ Nk∈Nk \in \mathbb{N}GGG≤ k≤k\leq kkkkGGG No entanto, quando o gráfico de entrada é plano...
Alguns de vocês podem estar seguindo esta pergunta , que foi encerrada por não estar em nível de pesquisa. Então, estou extraindo a parte da pergunta que está no nível da pesquisa. Além das técnicas "mais simples", como reduzir a classificação ou um problema EXPTIME-complete, quais técnicas foram...
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 literal...
Estou interessado no problema de empacotar cópias idênticas de retângulos (bidimensionais) em um polígono convexo (bidimensional) sem sobreposições. No meu problema, você não tem permissão para girar os retângulos e pode assumir que eles estão orientados paralelamente aos eixos. Você recebe as...
Atualmente, o bitcoin possui um sistema de prova de trabalho (PoW) usando SHA256. Outras funções de hash usam gráficos de uso do sistema de prova de trabalho, inversão parcial da função de hash. É possível usar um problema de Decisão na Teoria do Nó, como o reconhecimento do Nó, e transformá-lo em...
Eu li na uncountably muitos artigos que a determinação da constante de Cheeger de um gráfico é NPNP\mathsf{NP} -Hard. Parece ser um teorema popular, mas nunca encontrei uma citação ou uma prova para essa afirmação. A quem devo dar crédito por isso? Num artigo antigo (Isoperimetric Numbers of...
A teoria da complexidade, através de conceitos como NP-completeness, distingue entre problemas computacionais que têm soluções relativamente eficientes e aqueles que são intratáveis. A complexidade "refinada" visa refinar essa distinção qualitativa em um guia quantitativo sobre o tempo exato...
Alguém pode sugerir uma pesquisa boa e recente sobre a contagem de problemas e / ou problemas que são #P.
Atualmente, estou tentando encontrar problemas completos do EXPSPACE (principalmente para encontrar inspiração para uma redução) e estou surpreso com o pequeno número de resultados que estão chegando. Até agora, eu os encontrei e tenho problemas para expandir a lista: universalidade (ou outras...
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...
Alguém sabe de referências que explicitam precisamente a conexão entre o algoritmo de unificação e a eliminação gaussiana? Estou particularmente interessado na relação entre substituições triangulares e decomposições de LU. Wayne Snyder e Jean Gallier mencionam essa analogia de passagem em seu...
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...
Acabei de perceber que estou assumindo que a resposta para minha pergunta é "sim", mas não tenho um bom motivo. Imagino que talvez exista um coletor de lixo que, provavelmente, introduza apenas a desaceleração do pior dos casos . Existe uma referência definitiva que posso citar? No meu caso, estou...
Ao mexer na análise de LR não-canônica, pensei em um método de análise (com tabelas de tamanho infinito, o que o torna um tanto impraticável ) capaz de analisar exatamente as gramáticas inequívocas no tempo , e me perguntei se é possível fazer melhor. :O ( n2)O(n2)O(n^2) Todas as gramáticas...
Um tensor é uma generalização de vetores e matrizes para dimensões mais altas e a classificação de um tensor também generaliza a classificação de uma matriz. Ou seja, a classificação de um tensor é o número mínimo de grau um tensores que soma a T . Um vetor e uma matriz são tensores de grau 1 e 2,...