Ciência da Computação

Gostaria de saber se existe alguma conexão entre o polígono convexo e o objeto concreto? O que podemos dizer sobre a fundibilidade do objeto se soubermos que o objeto é um polígono convexo e vice-versa. Vamos reunir algumas coisas básicas que precisamos saber. O objeto é moldável se puder ser …

7 complexity-theory  time-complexity  computational-geometry 

Seja o autômato de correspondência de cadeia para o padrão , ou sejaAP=(Q,Σ,δ,0,{m})AP=(Q,Σ,δ,0,{m})A_P = (Q,\Sigma,\delta,0,\{m\})P∈ΣmP∈ΣmP \in \Sigma^m Q={0,1,…,m}Q={0,1,…,m}Q = \{0,1,\dots,m\} δ(q,a)=σP(P0,q⋅a)δ(q,a)=σP(P0,q⋅a)\delta(q,a) = \sigma_P(P_{0,q}\cdot a) para todos os eq∈Qq∈Qq\in Qa∈Σa∈Σa\in \Sigma com o comprimento do prefixo mais longo de que é um sufixo de , ou sejaσP(w)σP(w)\sigma_P(w)PPPwww σP(w)=max{k∈N0∣P0,k⊐w}σP(w)=max{k∈N0∣P0,k⊐w}\qquad \displaystyle \sigma_P(w) = …

7 algorithms  finite-automata  strings  searching 

Eu tenho dois problemas relacionados a caminhos em um gráfico direcionado. Deixe que ser um grafo orientado com fonte e alvo . Deixe ser outro vértice em .G=(V,E)G=(V,E)G=(V,E)s∈Vs∈Vs \in Vt∈Vt∈Vt \in Vv∈V∖{s,t}v∈V∖{s,t}v \in V \setminus \{s,t\}GGG Encontre um caminho direcionado simples¹ de até até .ssstttvvv Encontrar um caminho simples dirigido …

7 algorithms  graphs 

Considere um sistema de equações lineares A x = 0Ax=0Ax=0, Onde UMAAA é um n × nn×nn\times nmatriz com entradas racionais. Suponha que a classificação deUMAAA é &lt; n&lt;n<n. Qual é a complexidade de verificar se ele tem uma soluçãoxxx de modo que todas as entradas de xxx são estritamente …

7 algorithms  complexity-theory  linear-algebra 

A questão é se a seguinte declaração é verdadeira ou falsa: UMA≤TB⟹UMA≤mBUMA≤TB⟹UMA≤mBA \leq_T B \implies A \leq_m B Eu sei que se UMA≤TBUMA≤TBA \leq_T B existe um oráculo que pode decidir A em relação a B. Sei que isso não é suficiente para dizer que existe uma função computável de …

7 computability  reductions  turing-machines 

Tenho uma pergunta geral sobre o mapeamento de reduções. Eu já vi vários exemplos de redução de funções paraATMATMA_{TM} onde ATM={⟨M,w⟩: For M is a turing machine which accepts string w}ATM={⟨M,w⟩: For M is a turing machine which accepts string w}A_{TM} = \{\langle M, w \rangle : \text{ For } …

7 computability  proof-techniques  reductions 

Fui encarregado de resolver algumas relações de recorrência e tenho tido problemas com as chamadas relações 'chip &amp; conquistar'. Aqui estão alguns problemas de exemplo: T(n)=T(n−5)+cn2T(n)=T(n−5)+cn2T(n) = T(n-5) + cn^2 e T(n)=T(n−2)+lognT(n)=T(n−2)+log⁡nT(n) = T(n-2) + \log{n} Eu deveria estar dando uma resposta na notação ΘΘ\Theta . Como faço para resolver …

7 asymptotics  recurrence-relation 

Estou estudando diferentes abordagens para a definição de computação com sistemas dinâmicos contínuos. Eu tenho tentado encontrar uma boa introdução à teoria dos "sistemas de transição de Estado", mas não consegui. Alguém conhece uma introdução moderna ao tópico? De particular interesse seria algo relacionado à computabilidade.

7 computability  automata  reference-request  computation-models 

Uma pergunta foi postada no Stack Overflow solicitando um algoritmo para resolver esse problema: Eu tenho uma matriz (chame de A) que é nxn. Desejo selecionar um subconjunto (denominado B) de pontos da matriz A. O subconjunto consistirá em n elementos, nos quais um e apenas um elemento é obtido …

7 algorithms  dynamic-programming  check-my-algorithm 

O que segue é o meu algoritmo para fazer isso no que acredito ser O(n)O(n)O(n)tempo e minha prova disso. Meu professor discorda que seja executado emO(n)O(n)O(n) e, em vez disso, pensa que é executado em Ω(n2)Ω(n2)\Omega(n^2)Tempo. Quaisquer comentários sobre a prova em si ou o estilo (ou seja, minhas idéias …

7 algorithms  time-complexity  runtime-analysis 

(isso está relacionado à minha outra pergunta, veja aqui ) Imagine uma tela com três janelas: Gostaria de encontrar uma estrutura de dados eficiente para representar isso, apoiando essas ações: retornar uma lista de coordenadas onde uma determinada janela pode ser posicionada sem se sobrepor a outras para o exemplo …

7 algorithms  computational-geometry  user-interface  modelling 

Atualmente, estou trabalhando em uma solução para um problema para o qual (após um pouco de pesquisa) o uso de uma escalada e, mais especificamente, uma idéia algorítmica de escalada de espingarda (ou reinício aleatório ) parece ser a melhor opção, como eu não tenho idéia de como o melhor …

7 algorithms  optimization  heuristics 

Muitas vezes, vejo uma frase como essa ao ler textos sobre Complexidade Computacional: "Para este caso especial de " ouTSPTSP\text{TSP} "Este é um caso especial de " ouSATSAT\text{SAT} " - é o seguinte caso especial de " oukkkPARTITIONPARTITION\text{PARTITION}BIN PACKINGBIN PACKING\text{BIN PACKING} " é um caso especial de " nauseam.SUBSET SUMSUBSET …

7 complexity-theory 

Eu tenho que escrever uma gramática para Pascal, e há apenas uma coisa que está causando problemas. Digamos que temos operadores (classificados por prioridade de baixa a alta): Postfix^ . Prefixo^ . [ ], e ., (mesma prioridade e associativo à esquerda). O único terminal idé qualquer letra minúscula. Agora …

7 programming-languages  parsers  formal-grammars 

Eu projetei um classificador M que reconhece gestos e sempre o classifica em qualquer categoria. Um gesto é classificado com base na distância entre a série temporal da amostra y e a série temporal do treinamento x. O resultado do classificador são valores probabilísticos. Existem 3 classes / categorias com …

7 machine-learning  pattern-recognition