Ciência da Computação

A página do problema de isomorfismo gráfico da Wikipedia parece indicar que não, não foi resolvida. No entanto, um amigo meu apontou Um algoritmo de tempo polinomial para isomorfismo de gráfico . Não sou sofisticado o suficiente para seguir o raciocínio do artigo. Eu tenho minha própria tentativa bastante grosseira …

13 complexity-theory  reference-request  time-complexity  graph-isomorphism 

Ainda estou um pouco confuso com os termos "comprimento da entrada" e "tamanho da entrada" quando usado para analisar e descrever o limite superior assintomático de um algoritmo Parece que o tamanho da entrada do algoritmo depende muito do tipo de dados e do algoritmo de que você está falando. …

13 complexity-theory  terminology  algorithm-analysis  time-complexity  runtime-analysis 

fundo \newcommand\ms[1]{\mathsf #1}\def\msD{\ms D}\def\msS{\ms S}\def\mfS{\mathfrak S}\newcommand\mfm[1]{#1}\def\po{\color{#f63}{\mfm{1}}}\def\pc{\color{#6c0}{\mfm{c}}}\def\pt{\color{#08d}{\mfm{2}}}\def\pth{\color{#6c0}{\mfm{3}}}\def\pf{4}\def\pv{\color{#999}5}\def\gr{\color{#ccc}}\let\ss\gr Suponha que eu tenha dois lotes idênticos de nnn bolinhas de gude. Cada mármore pode ser uma das cores ccc , onde c≤nc≤nc≤n . Deixe ninin_i denotam o número de berlindes de cor iii em cada lote. Seja SS\msS o multiset {1,…,1n1,2,…,2n2,…,1c,…,cnc}{1,…,1⏞n1,2,…,2⏞n2,…,1c,…,c⏞nc}\small\{\overbrace{\po,…,\po}^{n_1},\;\overbrace{\pt,…,\pt}^{n_2},\;…,\;\overbrace{\vphantom 1\pc,…,\pc}^{n_c}\} representando …

13 algorithms  combinatorics  probability-theory  permutations  sampling 

Eu estava brincando no outro dia neste site: http://regexcrossword.com/ e isso me fez pensar em qual seria a melhor maneira de resolvê-lo. Você pode resolver o seguinte problema em tempo polinomial ou é NP-difícil? Dada uma grade NxM com N expressões regulares para as colunas e M para as linhas, …

13 complexity-theory  np-hard  regular-expressions 

Alguns hipervisores otimizam o uso da memória usando um método chamado balão (pelo menos é o que a KVM chama), esse método deduplica a memória entre VMs e define páginas comuns como somente leitura com cópia na gravação. É o oposto de uma chamada de bifurcação. É possível implementar no …

13 operating-systems  memory-management  virtual-memory 

Descobri que, se não entendo a etimologia por trás de um termo cs / programação, isso geralmente significa que perdi ou entendi mal algum conceito subjacente importante. Não entendo por que a estrela Kleene também é chamada de encerramento Kleene. Está relacionado a fechamentos na programação, uma função com variáveis …

13 automata  regular-expressions 

Quando ocorre uma interrupção, o processador antecipa o processo atual e chama o código do kernel para lidar com a interrupção. Como o processador sabe onde entrar no kernel? Entendo que existem manipuladores de interrupção que podem ser instalados para cada linha de interrupção. Mas como o processador executa apenas …

13 computer-architecture  operating-systems  os-kernel 

A página da Wikipedia sobre algoritmos de multiplicação menciona uma página interessante de Donald Knuth . Basicamente, envolve combinar a multiplicação por transformada de fourier com uma tabela pré-computada de multiplicações de tamanho logaritmicamente. É executado em tempo linear. O artigo age como esse algoritmo de alguma forma não conta …

13 algorithms  runtime-analysis  multiplication 

Apropois à sugestão de Raphael sobre a interseção de dois NPDAs : Deixe e A 2 NPDA para linguagens sem contexto L 1 e L 2 , respectivamente. Supondo que sabemos que L = L 1 ∩ L 2 é livre de contexto, podemos (efetivamente) construir o NPDA A para …

13 computability  automata  pushdown-automata 

Estou pensando sobre a relação entre complexidade computacional e a hierarquia de Chomsky, em geral. Em particular, se eu souber que algum problema é NP-completo, segue-se que o idioma desse problema não é livre de contexto? Por exemplo, o problema do clique é NP-completo. Segue-se que a linguagem correspondente aos …

13 complexity-theory  formal-languages 

Eu li na Wikipedia e alguns outros textos que O problema de parada é [...] decidível para máquinas determinísticas de autômatos limitados lineares (LBAs) [e] com memória finita. Mas, anteriormente, está escrito que o problema de parada é um problema indecidível e, portanto, a TM não pode resolvê-lo! Como o …

13 turing-machines  automata  undecidability  halting-problem  linear-bounded-automata 

É um fato bem conhecido que "Correlação não é igual a causalidade", mas o aprendizado de máquina parece ser quase inteiramente baseado em correlação. Estou trabalhando em um sistema para estimar o desempenho dos alunos em perguntas com base em seus desempenhos anteriores. Ao contrário de outras tarefas, como a …

13 machine-learning  statistics 

Suponha .P≠NPP≠NPP\neq NP O que podemos dizer sobre os limites de tempo de execução de todos os problemas de NP-complete? ou seja, quais são as funções mais restritas para as quais podemos garantir que um algoritmo ideal para qualquer problema completo de NP seja executado no tempo de pelo menos …

13 complexity-theory  time-complexity  np-complete  p-vs-np 

Eu estava lendo a entrada da Wikipedia sobre Complexidade Kolmogorov ( graças a esta pergunta ), que afirma: Pode-se mostrar que a complexidade Kolmogorov de qualquer string não pode ser mais do que alguns bytes maior que o comprimento da própria string. Por que você precisaria de algo além da …

13 kolmogorov-complexity 

Defina o idioma como . Em outras palavras, contém as palavras que não podem ser expressas como algumas palavras repetidas duas vezes. é livre de contexto ou não?LLLL={a,b}∗−{ww∣w∈{a,b}∗}L={a,b}∗−{ww∣w∈{a,b}∗}L = \{a, b\}^* - \{ww\mid w \in \{a, b\}^*\}LLLLLL Tentei cruzar com , mas ainda não posso provar nada. Eu também olhei …

13 formal-languages  context-free  formal-grammars