Ciência da Computação

Existem pesquisas ou resultados que discutem o isomorfismo de grafos no contexto da teoria espectral de grafos? Dois teoremas conhecidos da teoria dos grafos espectrais são: Dois gráficos são chamados isospectral ou cospectral se as matrizes de adjacência dos gráficos tiverem multisets iguais de valores próprios. Quase todas as árvores …

7 graph-theory  linear-algebra 

Conseguimos uma construção simples, aparentemente contradizendo um artigo que pressupõe conjecturas plausíveis. Como é improvável que a conjectura seja falsa, o que há de errado com o argumento? De um papel Uma compactação AND é um algoritmo determinístico de tempo polinomial que mapeia um conjunto de instâncias SAT para uma …

7 logic  satisfiability 

Estou ajudando a projetar uma atividade relacionada à CS para um concurso Let's Talk Science , que promove STEM entre estudantes do ensino médio. Na competição, equipes de seis estudantes passarão de estação para estação, tentando concluir cada uma delas o mais rápido possível. Uma estação pode dar à equipe …

7 education 

Eu estava pensando outro dia, e me ocorreu que todos os programas de computador parecem representáveis ​​como um gráfico (uma árvore de sintaxe abstrata, por exemplo) ou, uma vez que expressões comuns são combinadas, um gráfico de sintaxe abstrata. Ocorreu-me que talvez qualquer programa de computador possa ser representado como …

7 graphs  turing-machines  machine-models 

Problema (tl; dr) Dada uma gramática livre de contexto, , encontre um conjunto de strings que conduzam a toda produção que ela possui pelo menos uma vez.GGGGGG Como e com que rapidez isso pode ser feito? fundo Estou trabalhando em um compilador cujo analisador é implementado com uma ferramenta semelhante …

7 complexity-theory  context-free  formal-grammars 

Eu sei que existe algo chamado correção parcial, mas eu queria saber se havia uma maneira de saber quão próximo um programa semi-correto está de um programa totalmente correto. Por exemplo, se você tivesse um programa de classificação que classifique quase completamente uma matriz, poderia usar a lógica Hoare para …

7 formal-methods  software-verification  program-correctness 

Estou bastante confuso sobre a relação exata entre a expansão de um gráfico e sua condutância. Minha primeira pergunta é: Alguém poderia me indicar uma referência que discuta essas duas noções? (Encontrei várias notas de aula sobre tópicos relacionados, mas estes parecem se concentrar tanto na expansão quanto na condutância …

7 graph-theory  reference-request  combinatorics  expanders 

Já faz um tempo desde que tive que resolver uma recorrência e queria ter certeza de que entendia o método iterativo de resolver esses problemas. Dado: T(n)=3T(n−2)T(n)=3T(n−2)T(n) = 3T(n-2) Meu primeiro passo foi substituir termos iterativamente para chegar a uma forma geral: T(n−2)=3T(n−2−2)=3T(n−4)T(n−2)=3T(n−2−2)=3T(n−4)T(n-2) = 3T(n-2 -2) = 3T(n-4) T(n)=3∗3T(n−4)T(n)=3∗3T(n−4)T(n) = …

7 asymptotics  recurrence-relation 

A classe fechada sob complemento ou é desconhecida? Procurei online, mas não consegui encontrar nada.NPNP\sf NP

7 complexity-theory  closure-properties  complexity-classes  np 

Um problema é NP-completo se: Está em NP. Todos os problemas no NP podem reduzir a isso. É o número 2 que me preocupa aqui. Eu ficaria muito surpreso se soubéssemos todos os problemas no NP. Com base nessa premissa, como podemos ter certeza de que algum problema está completo …

7 complexity-theory  np-complete  np 

Eu estava estudando a prova de que a função de Ackermann era recursiva, mas não primitiva, e uma pergunta me ocorreu: "E daí?". Por que isso Importa? Qual é o significado das funções recursivas primitivas?

7 terminology  computability  machine-models 

Enquanto lia o Xorshift , encontrei o seguinte (ênfases adicionadas): O seguinte gerador xorshift +, em vez disso, possui 128 bits de estado, um período máximo de 2 ^ 128 - 1 e passa o BigCrush: [snip code] Este gerador é um dos geradores mais rápidos a passar no BigCrush; …

7 randomness  statistics  pseudo-random-generators 

Entendo que essa é uma pergunta um pouco vaga, mas há resultados para P vs. NP, como a questão não pode ser facilmente resolvida usando oráculos. Existem resultados como este que foram mostrados para P vs. NP, mas não foram mostrados para P vs PSPACE, de modo que há esperança …

7 complexity-theory  time-complexity  space-complexity 

Atualmente, estou lendo Fuss, Futexes e Furwocks: Fast Userland Locking no Linux e me deparei com esta citação: Em um esquema de bloqueio justo, o bloqueio é concedido na ordem em que foi solicitado. Isso pode ter um impacto negativo na taxa de transferência devido ao aumento do número de …

7 concurrency  threads 

Há um resultado básico na complexidade do circuito que diz: Existe uma linguagem que não pode ser resolvida com circuitos do tamanho .o(2nn)o(2nn)o(\frac{2^n}{n}) O argumento é um argumento simples de contagem do número de funções booleanas e do número de circuitos distintos. Veja, por exemplo, estas notas de aula . …

7 complexity-theory  lower-bounds  circuits