Ciência da Computação

Um amigo meu realmente me fez uma pergunta muito interessante relacionada à ciência da computação, e eu fico presa a ela há muito tempo. O problema é: você tem que viajar km. O único posto de gasolina está no ponto de partida. Sua capacidade máxima do tanque de combustível é …

7 algorithms  complexity-theory  efficiency  applied-theory 

Dado um problema, é possível provar qual seria a melhor eficiência de pior algoritmo de um algoritmo para resolver esse problema? Por exemplo, vamos dar o problema de classificar uma matriz. Muitos dos algoritmos de classificação mais simples têm uma eficiência de pior caso de O (n2)O(n2)O(n^2)como Classificação rápida e …

7 asymptotics  proof-techniques  efficiency 

Eu tenho uma coleção de substrings "this" "is" "a" "antelope" Eu preciso olhar para qualquer string e responder à pergunta "Alguma das substrings fornecidas nessa string" Portanto, minha string de entrada pode ser "issue" O que seria uma correspondência porque "is" é uma substring de "issue" Na minha primeira tentativa, …

7 algorithms  strings 

Suponha que tenhamos uma árvore na qual as folhas sejam rotuladas com um conjunto de números LLLe nós internos com um conjunto de operações OOO. Em particular LLL pode ser N,ZN,Z\mathbb{N}, \mathbb{Z} ou QQ\mathbb{Q}e, opcionalmente, pode conter ππ\pi e / ou eee. OOO pode ser qualquer subconjunto de {+,−,⋅,/, ^}{+,−,⋅,/, …

7 algorithms  turing-machines  real-numbers  equality 

Suponha que há dois problemas e .PPPQQQ Como posso dizer que "resolver é a mesma coisa que resolver "?PPPQQQ Por exemplo, se é NP-Hard, então podemos dizer " pode ser resolvido em tempo polinomial se existir um algoritmo que resolva em tempo polinomial".PPPPPPAAAQQQ Deve haver um prazo mais curto para …

7 complexity-theory  terminology 

Diz-se que um gráfico está conectado em se não tiver cortes de vértices (ou seja, pelo menos três vértices devem ser excluídos para desconectar o gráfico). Até onde eu sei, é possível determinar se um gráfico simples é conectado em tempo (exemplo: http://www2.tu-ilmenau.de/combinatorial-optimization/Schmidt2012b.pdf ), mas Eu consideraria útil determinar eficientemente …

7 algorithms  graph-theory  reference-request 

Mostre que o problema da soma do subconjunto (Dada uma sequência de números inteiros e um número , existe uma subsequência de que soma exatamente ?) Está NP-completo.S=i1,i2,…,inS=i1,i2,…,inS=i_1, i_2, \dots , i_nkkkSSSkkk Dica: Use o problema exato da capa. O problema exato da capa é o seguinte: Dada uma família …

7 complexity-theory  np-complete  reductions  np-hard 

A primeira frase do artigo da Wikipedia sobre o Teorema de Parikh afirma: "O teorema de Parikh em ciência da computação teórica diz que, se olharmos apenas para o número relativo de ocorrências de símbolos terminais em uma linguagem livre de contexto, sem levar em conta sua ordem, então a …

7 formal-languages  regular-languages  context-free 

Encontrei uma declaração (sem explicação) de que um idioma A =0 0∗UMA=0 0∗A = 0^*é decidível. Como isso é possível? Quero dizer, como construiríamos uma máquina de Turing que aceitaria (ou rejeitaria) uma sequência possivelmente infinita de zeros? Eu também pensei que talvez pudéssemos criar um enumerador que criaria todas …

7 formal-languages  computability 

Eu tenho lido sobre a contagem de modelos, também conhecido como o problema #SAT. Quais são as aplicações práticas, se houver, desse problema, e como exatamente elas se reduzem a ele? Não consegui encontrar nada, embora isso seja simplesmente devido à minha própria ignorância sobre o assunto.

7 complexity-theory  applied-theory  counting 

De alguma forma, pensei sobre o quicksort ontem à noite e estava lendo sobre isso na Wikipedia. A parte interessante para mim foi: 'Se pudéssemos escolher consistentemente um pivô dos 50% médios, teríamos que dividir a lista no máximoregistro4 / 3nlog4/3⁡n\log_{4/3} n. A escolha do pivô parece ser um possível …

7 algorithm-analysis  runtime-analysis  sorting  quicksort 

Seja G = (V, E) um gráfico de capacidade unitária com n vértices e m arestas. Seja T denotado todas as árvores abrangidas em G. Se rodarmos o algoritmo de Karger, obteremos uma árvore de abrangência aleatória em T formada pelas arestas contratadas, denotamos essa distribuição de árvores de abrangência …

7 graph-theory  randomized-algorithms  spanning-trees 

Peço desculpas, mas mesmo após essas duas outras postagens: aqui e aqui ainda estou tendo problemas para entender as TMs e a relativização do oracle. Esta questão vem à questão de um ângulo diferente: Por que as provas não relativizantes são consideradas mais válidas do que argumentos baseados em resultados …

7 complexity-theory  proof-techniques  oracle-machines  relativization 

Estou tão confuso com alguns dos teoremas online sobre a altura das árvores. A altura da árvore significa o número de arestas ou nós? se nós, inclui o nó do qual está contando? A altura de uma árvore pode começar de 0?

7 graph-theory  terminology  trees 

Estou procurando estruturas de dados para responder a consultas de vizinhos mais próximos em 3D que sejam razoavelmente eficientes em termos de espaço (ou seja, use no máximo O (n1 + ϵ)O(n1 1+ϵ)O(n^{1+\epsilon}) espaço) e rápido (O (nϵ)O(nϵ)O(n^{\epsilon}) ou O ( l ogk( N ) )O(euogk(n))O(log^k(n)) consulta na pior das …

7 data-structures  computational-geometry  nearest-neighbour