Ciência da Computação

Perguntas e respostas para estudantes, pesquisadores e profissionais de ciência da computação

1
Pedido de referência: otimizando procedimentos em listas em idiomas dinâmicos realizando verificações de segurança com antecedência
Para o meu projeto da feira de ciências, implementei uma otimização na rotina de classificação do Python. A idéia é mover as verificações de segurança que precisam ser realizadas durante cada comparação, por exemplo, verificações de tipo e verificações de largura de caracteres, fora do loop de classificação e realizar …
2
Verifique se adicionar uma aresta a um DAG resulta em um ciclo
No começo: é um problema de concurso de programação, mas não de um problema em andamento. Infelizmente, não posso fornecer nenhum link para esta tarefa, porque ela não está disponível publicamente. Era de um concurso de programação local polonês em 2011, organizado pela Escola de Ciência da Computação de Varsóvia. …
1
Qual é o objetivo de interpretar elementos na prova de redução do PCP ao problema de decidibilidade da validade da lógica de predicados?
Como minha pergunta se relaciona diretamente a uma parte do texto de um livro de 2004, Lógica em Ciência da Computação: Modelagem e Raciocínio sobre Sistemas (2ª Edição), de Michael Huth e Mark Ryan , para fornecer contexto para a discussão a seguir, citando parcialmente o livro literalmente: O problema …
1
Ciclo de construção em retângulo
Eu tenho que construir um ciclo com comprimento fixo que inclua exatamente cantos dentro do retângulo x .nnnkkkwwwhhh Por exemplo: w=5h=3w=5h=3w = 5\\h=3 n=12k=6n=12k=6n = 12\\k = 6 Eu já descobri que preciso de pelo menos cantos e o número de cantos e o número de elementos que não sejam …
1
conseqüências
Sabemos que são equivalentes e a hierarquia polinomial cai para o nível.PP=RP,coPP=coRP,PP=coPP=coRP=RP=ZPP=BPP⊆P/polyPP=RP,coPP=coRP,PP=coPP=coRP=RP=ZPP=BPP⊆P/poly\mathsf{PP=RP},\mathsf{coPP=coRP},\mathsf{PP=coPP=coRP=RP=ZPP=BPP\subseteq P/poly}222 Quais são os outros colapsos e consequências não triviais?
3
Comprovando a regularidade de um determinado idioma
Eu estive mexendo com esse problema durante a última hora e estou incrivelmente perplexo. Seja . Mostre que é regular.A={0ku0k∣k≥1 and u∈Σ∗}A={0ku0k∣k≥1 and u∈Σ∗}A = \{\; 0^ku0^k \mid k ≥ 1 \text{ and }u ∈ Σ^*\;\}AAA Obviamente, a linguagem satisfaz o lema de bombeamento, mas isso não é conclusivo para …
1
Dados 2 conjuntos de n pontos: minimize a soma das distâncias percorridas
Me deram dois conjuntos S,TS,TS, T cada um nnnpontos em , quero encontrar uma bijeção , de modo que seja minimizado, com sendo o euclidiano distância.RkRk\mathbb{R}^ka:S→Ta:S→Ta : S \rightarrow T∑s∈Sd(s,a(s))∑s∈Sd(s,a(s))\sum_{s \in S} d(s, a(s))ddd Estou ciente de que esse problema de transporte é um caso especial do problema de distância …
Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.