Ciência da Computação Teórica

Duas perguntas relacionadas à computação em profundidade limitada: 1) Suponha que você comece com n bits e, para começar com o bit i, pode ser 0 ou 1 com alguma probabilidade p (i), independentemente. (Se isso simplificar o problema, podemos assumir que todos os p (i) s são 0,1 ou …

20 cc.complexity-theory  quantum-computing  circuit-complexity  randomness  circuit-depth 

Suponha que queremos classificar uma lista de números reais. Suponha que recebamos uma caixa preta que pode classificar números reais instantaneamente. Quanta vantagem podemos obter usando esta caixa preta?n √SSSnnnn−−√n\sqrt n Por exemplo, podemos classificar os números com apenas chamadas para a caixa preta? O melhor algoritmo que eu encontrei …

20 ds.algorithms  sorting  decision-trees 

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

20 ds.algorithms  tree  edit-distance 

Acabei de ler na Wikipedia alemã que um gráfico infinito é um gráfico com um número infinito de nós ou um número infinito de arestas. Eu só conheço aplicativos e algoritmos para gráficos finitos. Para que servem os gráficos infinitos? Quais são as aplicações desses? Não consigo imaginar algoritmos que …

20 graph-theory  co.combinatorics 

Dada uma família conjunto de subconjuntos de um universo . Deixe e queremos responder é .FF\mathcal{F}UUUS1,S2∈FS1,S2∈FS_1,S_2 \in \mathcal FS1⊆S2S1⊆S2S_1 \subseteq S_2 Estou procurando uma estrutura de dados que me permita responder rapidamente a isso. Minha aplicação é da teoria dos grafos, onde eu quero ver se a exclusão de um …

20 graph-algorithms  ds.data-structures  partial-order 

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 …

20 cc.complexity-theory  pcp 

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 contida em um ciclo ímpar sem corda. …

20 cc.complexity-theory  reference-request  graph-theory  np-hardness 

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 extra. …

20 ds.algorithms  reference-request  string-matching 

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 exemplo que me ocorreu foi um tradutor …

20 reference-request  pl.programming-languages  semantics  compilers 

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 deparei com uma parede …

20 ds.data-structures  algebra  ct.category-theory 

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 fornecidos em , se passes são …

20 reference-request  graph-algorithms  ds.data-structures  lower-bounds  data-streams 

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

20 cc.complexity-theory  parameterized-complexity  fixed-parameter-tractable 

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 …

20 cc.complexity-theory  np  conditional-results  advice-and-nonuniformity  average-case-complexity 

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 …

20 gt.game-theory  combinatorial-game-theory 

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. ) Então, minha pergunta …

20 computability  automata-theory  turing-machines