Ciência da Computação

Deixei A={L∣Lis one-counter and L¯ is also one-counter}A={L∣Lis one-counter and L¯ is also one-counter}A= \{L \mid L \;\text{is one-counter and \(\bar{L}\) is also one-counter} \} Claramente, Deterministic one-counter⊆ADeterministic one-counter⊆A\text{Deterministic one-counter} \subseteq A É o caso que A=Deterministic one-counterA=Deterministic one-counter A = \text{Deterministic one-counter}? Eu sei que, para linguagens sem contexto, …

8 formal-languages  automata  closure-properties  pushdown-automata 

O Sudoku é um quebra-cabeça bem conhecido que é conhecido por ser NP-completo e é um caso especial de um problema mais geral conhecido como quadrados latinos. Uma solução correta do quadrado consiste em preencher todas as linhas e todas as colunas com números de a sob a condição de …

8 complexity-theory  np-complete 

Sou muito novo em redes neurais e tenho tentado descobrir algumas coisas. Então, digamos que você encontre uma rede neural com 100 entradas, uma camada oculta com 200 nós e 32 saídas. Digamos também que você, o "descobridor" dessa instância específica de uma rede neural, é capaz de ler os …

8 machine-learning  neural-networks 

Eu tenho algumas dificuldades em entender o algoritmo distribuído para a árvore 6 - colorir no tempo .O(log∗n)O(log∗⁡n)O(\log^*n) A descrição completa pode ser encontrada no seguinte artigo: Quebra de simetria paralela em gráficos esparsos. Goldberg, Plotkin, Shannon . Em suma, a ideia é ... A partir da coloração válida fornecida …

8 algorithms  runtime-analysis  distributed-systems  colorings 

Estou procurando aplicações práticas de máquinas de estado finito como máquinas DFA, NFA, Moore, Mealy ... Seria útil se alguém apontasse para exemplos do Linux Kernel. Eu sei que o DFA é usado na correspondência de strings como o algoritmo KMP. Qual é o significado das máquinas NFA, Moore e …

8 reference-request  automata  finite-automata 

Entrada: um conjunto deℓℓ\ell matrizes UMAEuAiA_i(de números). Os elementos em cada matriz estão em ordem classificada, mas o conjunto de matrizes não é necessariamente classificado. As matrizes não são necessariamente do mesmo tamanho. O número total de elementos énnn. Saída: Okkko menor elemento dentre todos os elementos da entrada. Qual …

8 algorithms  algorithm-analysis 

Considere o seguinte problema: Deixei kkkseja uma constante. Nos é dado umkkkmatriz -ary Ad1×…×dkAd1×…×dkA_{d_1\times\ldots\times d_k} do 000 e 111's. DeixeiN=∏ki=1diN=∏i=1kdiN = \prod_{i=1}^k d_i. Queremos criar uma estrutura de dados pré-processando AAA para executar o seguinte tipo de operações de consulta: Dadas as coordenadas de um kkkcaixa de ary DDD, Tem …

8 reference-request  data-structures  space-complexity 

Eu realmente gostaria da sua ajuda para provar ou refutar a seguinte reivindicação: . Na teoria da complexidade computacional, BPP, que significa tempo polinomial probabilístico de erro limitado é a classe de problemas de decisão solucionáveis ​​por uma máquina de Turing probabilística em tempo polinomial, com uma probabilidade de erro …

8 complexity-theory  time-complexity  probabilistic-algorithms 

Considere o seguinte problema: Seja definido um wheel como uma lista indexada circularmente indexada de inteiros. Por exemplo…kkkkkk {3, 4, 9, -1, 6} … É um 5 rodas com 3 na posição 0, 4 na posição 1 e assim por diante. Uma roda suporta a operação de rotação, de modo …

8 algorithms 

Teoricamente falando, é possível ter um compilador Lisp / Scheme que possa produzir código que possa competir com o C compilado, digamos com margem de 15 a 25%? Nos meus testes, descobri que a atual safra de compiladores (Bigloo, SBCL, Gambit, Chicken etc.) é 20 a 50 vezes mais lenta …

8 optimization  compilers 

Dada uma matriz inteira (tamanho máximo 50000), tenho que encontrar o mínimo e o máximo XXX de tal modo que X=ap⊕ap+1⊕⋯⊕aqX=ap⊕ap+1⊕⋯⊕aqX = a_p \oplus a_{p+1} \oplus \dots \oplus a_q para alguns ppp, qqq com p≤qp≤qp \leq q. Eu tentei este processo: sumi=a0⊕a1⊕⋯⊕aisumi=a0⊕a1⊕⋯⊕ai\text{sum}_i = a_0 \oplus a_1 \oplus \dots \oplus a_i …

8 algorithms  algorithm-analysis  performance  binary-arithmetic  arithmetic 

Estou particularmente interessado em soluções para o problema que a pesquisa encapsulada pode depender da ordem da avaliação. De acordo com [1], a pesquisa encapsulada no PAKCS depende da ordem da avaliação, enquanto no MCC, não, mas seu uso requer conhecimento da implementação do compilador e não segue a especificação …

8 reference-request  functional-programming  nondeterminism  logic-programming 

O problema da 3-Coloração pode ser comprovado pelo NP-Complete, utilizando a redução do 3SAT Graph Coloring (da 3SAT) . Como consequência, o problema 4-Coloring é NP-Complete usando a redução de 3-Coloring: Redução da instância de 3 cores: adicionando um vértice extra ao gráfico do problema de 3 cores e tornando-o …

8 complexity-theory  graph-theory  terminology  np-complete 

Para malhas poligonais 2D, as representações da estrutura de dados QuadEdge e HalfEdge são suficientes para armazenar e permitir a consulta eficiente de todas as informações topológicas e de incidência. Existem estruturas de dados compactas e eficientes para malhas poliédricas 3D? Eu sei que tem havido algum trabalho recente sobre …

8 data-structures  computational-geometry 

Dado um gráfico , onde . O que é um algoritmo rápido para gerar o conjunto de todas as listas de vizinhança 2-hop de todos os nós em .G = ( V, E)G=(V,E)G = (V,E)| V| =n|V|=n|V| = nVVV Ingenuamente, você pode fazer isso em . Com o poder das …

8 algorithms  algorithm-analysis  graphs  randomized-algorithms