Perguntas com a marcação «reference-request»

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 sobre …

24 ds.algorithms  reference-request  lo.logic  sat 

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 reconstrutíveis: árvores gráficos desconectados, gráficos cujo complemento está desconectado gráficos regulares …

24 reference-request  graph-theory  co.combinatorics  treewidth 

Dados nnn subconjuntos S1,…,SnS1,…,SnS_1,\ldots,S_n de {1,…,d}{1,…,d}\{1,\ldots,d\} . Si,SjSi,SjS_i,S_jSi⊊SjSi⊊SjS_i \subsetneq S_j A solução trivial para esse problema passa por todos os pares de conjuntos e verifica a inclusão de um par no tempo , portanto, o tempo de execução geral é . Esse problema pode ser resolvido mais rapidamente? Existe um …

24 ds.algorithms  reference-request 

Dado um enorme banco de dados de palavras permitidas (classificadas em ordem alfabética) e uma palavra, encontre a palavra no banco de dados mais próxima da palavra especificada em termos de distância de Levenshtein. A abordagem ingênua é, é claro, simplesmente calcular a distância de levenshtein entre a palavra especificada …

24 ds.algorithms  reference-request  string-matching  string-search 

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 necessário para resolver problemas. Mais detalhes podem ser encontrados aqui: http://simons.berkeley.edu/programs/complexity2015 …

23 cc.complexity-theory  reference-request  complexity-classes  fine-grained 

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, …

23 reference-request  graph-theory  np-hardness  open-problem  treewidth 

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 Graphs, J. …

23 reference-request  graph-theory  spectral-graph-theory 

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 propriedades) de expressões regulares com exponenciação. problemas relacionados …

23 cc.complexity-theory  reference-request  big-list 

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 …

23 cc.complexity-theory  reference-request  cr.crypto-security  algebraic-topology 

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 autômatos que crescem apenas polinomialmente com o comprimento …

23 reference-request  fl.formal-languages  automata-theory  online-algorithms  dfa 

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 usadas para …

23 cc.complexity-theory  reference-request  fl.formal-languages  time-complexity  reductions 

mmmnnnm≫nm≫nm \gg nXiXiX_iiiiXmaxXmaxX_\maxXminXminX_\minXsec−maxXsec−maxX_{\mathrm{sec-max}}Xi−Xj∼N(0,2m/n)Xi−Xj∼N(0,2m/n)X_i - X_j \sim N(0,2m/n)|Xi−Xj|=Θ(m/n−−−−√)|Xi−Xj|=Θ(m/n)|X_i - X_j| = \Theta(\sqrt{m/n}) i,ji,ji,jXmax−Xmin=O(mlogn/n−−−−−−−−√)Xmax−Xmin=O(mlog⁡n/n)X_{\max} - X_{\min} = O(\sqrt{m\log n/n})n/2n/2n/2 pares de compartimentos separados. Esse argumento (não completamente formal) nos leva a esperar que a diferença entre e seja com alta probabilidade.XmaxXmaxX_{\max}XminXminX_{\min}Θ(mlogn/n−−−−−−−−√)Θ(mlog⁡n/n)\Theta(\sqrt{m\log n/n}) Estou interessado na diferença entre e . O argumento descrito …

23 reference-request  pr.probability 

Alguém pode sugerir uma pesquisa boa e recente sobre a contagem de problemas e / ou problemas que são #P.

23 cc.complexity-theory  reference-request  counting-complexity 

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 dimensões de um retângulo e os vértices do …

23 reference-request  np-hardness  cg.comp-geom  optimization  packing 

Estou tentando entender a relação entre isomorfismo de gráfico e o problema de subgrupo oculto. Existe uma boa referência para isso?

23 cc.complexity-theory  reference-request  quantum-computing  graph-isomorphism