Ciência da Computação

Sou estudante de graduação e estou ansioso para me tornar um acadêmico; faça todo o doutorado e comece a pesquisar. Estou interessado em uma variedade de coisas relacionadas à ciência da computação, mas ultimamente as tecnologias P2P realmente atraíram meu interesse. Tenho a impressão de que preciso escolher um dos …

8 distributed-systems  research 

Recebi n objetos e um conjunto de n permutações desses n objetos (de n! Permutações totais). Existe uma verdadeira permutação subjacente, que eu sei que é uma entre o conjunto de n permutações, mas não sei qual. Um oráculo, no entanto, conhece a verdadeira permutação. Para encontrar a permutação verdadeira, …

8 complexity-theory  lower-bounds  search-problem  permutations 

Pela tese de Church-Turing, é impossível projetar um algoritmo para decidir o problema da parada. A palavra algoritmo, neste contexto, inclui inteligência artificial ou não, isto é, a tese de Church-Turing também se aplica à inteligência artificial? É possível projetar um sistema de inteligência no futuro para resolver esse problema …

8 computability  artificial-intelligence  halting-problem  church-turing-thesis 

Eu sei que a Verificação Simbólica de Modelo é uma travessia de espaço de estado com base em representações de conjuntos de estados e relações de transição como fórmulas, como em CTL, usando modelos como o Modelo Kripke. Eu conheço a teoria. Mas acho difícil entender a aplicação real. Onde …

8 formal-methods  model-checking  software-verification 

O Exercício 4.29 de Computação Quântica e Informação Quântica de Nielsen e Chuang me deixou perplexo. Encontre um circuito contendo O (n2)O(n2)O(n^2) Toffoli, CNOT e portas de qubit único que implementam uma Cn( X)Cn(X)C^n(X) portão (para n > 3n>3n > 3), sem qubits de trabalho. Eu descobri que isso não …

8 quantum-computing  circuits 

Em um gráfico G ( V, E)G(V,E)G(V,E), fazemos o seguinte processo: Inicialmente, todos os nós em VVV são incolores. Embora existam nós não coloridos em VVV, cada nó não colorido faz o seguinte: Seleciona um número real aleatório e o envia a todos os seus vizinhos; Compara seu número com …

8 algorithm-analysis  graphs  distributed-systems  parallel-computing  randomized-algorithms 

Parece que a distinção entre fibras e fios é que as fibras são programadas cooperativamente, enquanto que as threads são programadas preventivamente. O objetivo do planejador parece ser uma maneira de fazer com que um recurso serial do processador atue de maneira paralela, "compartilhando o tempo" da CPU. No entanto, …

8 parallel-computing  threads  multi-tasking 

Eu li muitos artigos e livros sobre ontologias e estou tentando descobrir como elas são usadas em um projeto real? Por exemplo, como a ontologia de um robô de jogador de futebol pode ser definida e usada com uma arquitetura cognitiva para torná-lo inteligente? As ontologias são relações entre termos …

8 artificial-intelligence  applied-theory  knowledge-representation  ontologies  robotics 

Estou trabalhando em minha própria pequena linguagem de programação para fins educacionais e me deparei com um pouco de problema. Existem algumas soluções diferentes para isso, mas todas elas parecem deselegantes - e pelo que entendi, desnecessárias. Mas, lendo os livros que tenho e as pesquisas no Google, não consigo …

8 programming-languages  loops  language-design 

Um AT apareceu hoje para perguntar algumas coisas sobre NP e co-NP. Também chegamos a um ponto em que fiquei perplexo: como é o diagrama de Venn de P, NPI, NP e co-NP assumindo P ≠ NP (o outro caso é chato)? Parece haver quatro opções básicas. NP ∩ co-NP …

8 complexity-theory  reference-request  complexity-classes  np 

Estou tentando vincular os circuitos lógicos combinacionais (computadores baseados apenas em portas lógicas) com tudo o que aprendi recentemente em Teoria da computação. Gostaria de saber se os circuitos lógicos combinacionais podem implementar cálculos da mesma maneira que as máquinas de estados finitos. Eles parecem radicalmente diferentes: As máquinas de …

8 complexity-theory  turing-machines  computation-models  circuits 

é possível minimizar os autômatos de empilhamento? Se não, por quê? É porque, para minimização, as classes de equivalência precisam ter um índice finito e não podemos garantir isso para o CFG?

8 computability  automata  pushdown-automata 

Suponha ΠΠ\Pi é um problema de decisão decidível. Faz ¸ ∉ NPΠ∉NP\Pi\not \in NP implicar ΠΠ\Pi é NPNPNP-Difícil? Edit: se assumirmos que existe ¸ ∈ c o NP∖ NPΠ∈coNP∖NP\Pi\in coNP\setminus NPentão terminamos. Podemos refutar a reivindicação sem suposições desconhecidas?

8 complexity-theory  np-hard  complexity-classes  np 

Diz-se que o Método da Incompressibilidade simplifica a análise de algoritmos para o caso médio. Pelo que entendi, isso ocorre porque não há necessidade de calcular todas as combinações possíveis de entrada para esse algoritmo e derivar uma complexidade média. Em vez disso, uma única string incompressível é usada como …

8 algorithm-analysis  kolmogorov-complexity 

Este é um problema de exercício (Ex.3) da excelente nota de aula de Jeff Erickson. Aula 20: Árvores abrangentes mínimas [Fa'13] . Prove que um gráfico com aresta ponderada tem uma árvore de abrangência mínima exclusiva se e somente se as seguintes condições forem válidasGGG Para qualquer partição dos vértices …

8 graph-theory  spanning-trees