É possível construir uma explícita 0 / 1 -matrix com N 1,5 queridos tal que cada N 0,499 × N 0,499 submatrix contém menos de N 0,501 queridos?N× NN×NN \times N 0 / 10/10/1N1.5N1.5N^{1.5}N0,499× N0,499N0.499×N0.499N^{0.499} \times N^{0.499}N0.501N0.501N^{0.501} Ou provavelmente é possível criar um...
Discussão : Ultimamente, tenho passado algum tempo pessoal aprendendo várias coisas sobre a complexidade da comunicação. Por exemplo, me familiarizei novamente com o capítulo relevante em Arora / Barak, comecei a ler alguns papéis e pedi o livro de Kushilevitz / Nisan. Intuitivamente, quero...
Um objetivo importante dos métodos formais é provar a correção dos sistemas, por meios automatizados ou direcionados ao homem. No entanto, parece que, mesmo que você possa fornecer uma prova de correção, NÃO poderá garantir que o sistema não falhará. Por exemplo: A especificação pode não modelar...
Defina a seguinte classe de idiomas "circulares" sobre um alfabeto finito Sigma. Na verdade, o nome já existe para denotar uma coisa diferente que parece, usada no campo da computação de DNA. AFAICT, essa é uma classe de idiomas diferente. Uma linguagem L é circular se, para todas as palavras www...
Um colega que trabalha em programação genética me fez a seguinte pergunta. Primeiro tentei resolvê-lo com base em uma abordagem gananciosa, mas, pensando bem, encontrei um contraexemplo do algoritmo ganancioso. Então, pensei que vale a pena mencionar aqui. Considere dois polinômios que são...
Em esta questão , que parecem ter identificado um problema natural que é NP-completo sob reduções randomizados, mas possivelmente não sob reduções determinísticos (embora isto depende de qual suposições não comprovadas na teoria dos números são verdadeiras). Existem outros problemas desse tipo...
Essa pergunta é semelhante a uma pergunta mais geral sobre qual é o modelo teórico correto de um computador para projetar estruturas de algoritmos e dados. Aqui, pergunto especificamente sobre os atuais computadores de alto desempenho (como os listados como os 500 principais ) ou mesmo sobre...
O Theoem de Karp-Lipton afirma que se , então colapso em . Portanto, assumindo separações entre e , nenhum pertencerá a .P H Σ P 2 Σ P 2 Σ P 3 N P P / p o l yN P ⊂ P / p o l yNP⊂P/poly\mathsf{NP} \subset \mathsf{P/poly}P
Essa questão está relacionada principalmente a um problema prático de engenharia de software, mas eu ficaria curioso para saber se os teóricos poderiam fornecer mais insights sobre isso. Simplificando, eu tenho uma simulação de Monte Carlo que usa um gerador de números pseudo-aleatórios e...
São feitas cinco perguntas vinculadas e uma única resposta integrada é esperada: Q1: Existem idiomas LLL que são reconhecidos apenas pelas máquinas de Turing em PPP cujas expoentes em tempo de execução são indecidíveis ? Q2: exemplos dessas máquinas de Turing podem ser construídos de forma...
Na complexidade parametrizada, . É conjecturado que cada uma das contenções é adequada.⊆ W [ 2 ] ⊆ … ⊆ W [ P ]F P T ⊆ W [1]FPT⊆W[1]\mathsf{FPT} \subseteq \mathsf{W}[1] ⊆ W [ 2 ]⊆W[2]\subseteq \mathsf{W}[2] ⊆ … ⊆ W [ P]⊆…⊆W[P]\subseteq \ldots \subseteq \mathsf{W}[P] Se então .P = W [ P ]F P T = W...
Suponha que um gráfico com vértices seja apresentado como um fluxo de arestas, mas várias passagens são permitidas no fluxo.n mGGGnnnmmm Monika Rauch Henzinger, Prabhakar Raghavan e Sridar Rajagopalan observaram que o espaço é necessário para determinar se existe um caminho entre dois vértices...
Quais são alguns resultados conhecidos para encontrar um subarray n-dimensional exato dentro de uma matriz n-dimensional? Em 1D, é apenas um problema de correspondência de cadeias, o KMP faz isso em tempo linear. Em 2D, este artigo mostrou que isso pode ser feito em tempo linear com pouco espaço...
Por exemplo, nas linguagens de programação, é comum escrever um compilador / intérprete X-in-X, mas em um nível mais geral, muitos sistemas completos de Turing conhecidos podem simular-se de maneiras impressionantes (por exemplo, simulando o Jogo da Vida de Conway no Jogo da Vida de Conway....
O teorema do PCP afirma que não há algoritmo de tempo polinomial para o MAX 3SAT encontrar uma atribuição que satisfaça as cláusulas de 7/8 de uma fórmula 3SAT satisfatória, a menos que .P = N P7 / 8 + ε7/8+ϵ7/8+ \epsilonP= NPP=NPP = NP Existe um algoritmo de tempo polinomial trivial que satisfaz...
Esta é uma reafirmação de uma pergunta anterior . Considere o seguinte jogo imparcial de informações perfeitas entre dois jogadores, Alice e Bob. Os jogadores recebem uma permutação dos números inteiros 1 a n. A cada turno, se a permutação atual estiver aumentando, o jogador atual perde e o outro...
Recentemente, li este resumo dos problemas envolvidos na diferenciação entre árvores e isso me interessou em saber qual é o estado da arte para esse problema. Além disso, suponha que entre as operações de edição permitidas esteja o nó tradicional de adição / exclusão, edite o conteúdo e adicione...
Disclaimer: Eu não sou um teórico de CS. Vindo da álgebra abstrata, estou acostumado a lidar com coisas iguais a um isomorfismo - mas estou tendo problemas para traduzir esse conceito em estruturas de dados. Primeiro pensei que morfismos bijetivos teóricos diretos seriam suficientes, mas me...
Estou procurando um material tutorial que cubra as provas de correção do compilador, de preferência usando métodos denotacionais, no nível de um estudante iniciante. Como alternativa, você conhece alguns exemplos simples de compilador que eu poderia usar para ilustrar os problemas? (O primeiro...
O seguinte problema interessante surgiu recentemente em minha pesquisa: INSTÂNCIA: Gráfico .G(V,E)G(V,E)G(V, E) SOLUÇÃO: Uma conclusão do ciclo ímpar sem corda, definida como um superconjunto do conjunto de arestas modo que o gráfico completo tenha a propriedade de que toda aresta em esteja...