Ciência da Computação Teórica

Estou procurando notas de aula disponíveis on-line ou outros recursos que ofereçam uma boa introdução à programação paralela, assim como o analógico paralelo de classes básicas em ciência da computação. Meu foco é o seguinte: enquanto sou capaz de falar sobre dividir e conquistar, algoritmos gananciosos, programação dinâmica e similares, …

10 reference-request  soft-question  dc.parallel-comp  survey 

Contexto: Consideramos apenas dígitos. Deixe CYCLE ser a linguagem dos gráficos com um ciclo; é um problema NL-completo. Seja HASEDGE o idioma dos gráficos com pelo menos uma aresta. Em seguida, trivialmente, não é mais NL, enquanto permanece assim.CICLO ∪ ¯ HASEDGECICLO ∪ HASEDGECYCLE∪HASEDGE\text{CYCLE} \cup \text{HASEDGE}CICLO ∪ HASEDGE¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯CYCLE∪HASEDGE¯\text{CYCLE} \cup \overline{\text{HASEDGE}} …

10 cc.complexity-theory  graph-theory  descriptive-complexity 

Ouvi muitas vezes dizer que você não pode escrever um programa para detectar bugs em um navegador da Web, processador de texto ou sistema operacional, por causa do Teorema de Rice: qualquer propriedade semântica para uma linguagem completa de Turing é indecidível. No entanto, não sei até que ponto isso …

10 computability 

Estou procurando o texto completo do resultado da camarilha de Moon and Moser de 1965, On Cliques in Graphs (existem gráficos com um número máximo de cliques exponenciais em ). O paywall da minha universidade não tem acesso ao diário específico. (De fato, a visualização fornece as primeiras frases da …

10 reference-request  graph-theory  co.combinatorics  clique 

Ao considerar as interações nas redes, geralmente é muito difícil calcular a dinâmica analiticamente , e as aproximações são empregadas. As aproximações de campo médio geralmente acabam ignorando completamente a estrutura da rede e, portanto, raramente são uma boa aproximação. Uma aproximação popular é a aproximação de pares, que considera …

10 graph-theory  gt.game-theory  evolutionary-game-theory 

Suponha que seja uma linguagem booleana, de seqüências finitas acima de { 0 , 1 } . Seja L n o número de strings em L com comprimento n . Para uma função d ( n ) dos números inteiros positivos aos números reais positivos, L tem densidade superior d …

10 cc.complexity-theory  reference-request  p-hardness 

Estou diante de um dilema bastante difícil: - Eu havia completado a M.Tech no CS há 2 anos, completando minha dissertação na área de testes VLSI. Enquanto eu gostei do meu trabalho, não quero voltar a fazer meu doutorado nisso - tenho muita vontade de seguir um curso teórico (em …

10 soft-question  advice-request  career 

Um idioma está na classe se houver dois idiomas e modo queLLLDPDPDPL1∈NPL1∈NPL1 \in NPL2∈coNPL2∈coNPL2 \in coNPL=L1∩L2L=L1∩L2L = L1 \cap L2 Um problema canônico de completo é SAT-UNSAT: dadas duas expressões 3-CNF, e , é verdade que é satisfatório eDPDPDPFFFGGGFFFGGG não é? Também se sabe que o problema Critical SAT é …

10 cc.complexity-theory  np-hardness  complexity-classes  sat 

Katz e Lindell mencionam em seu livro que o LFSR tem sido horrível como base para geradores pseudo-aleatórios e defendem que eles não são mais usados ​​(bem, eles também recomendam que as pessoas usem cifras de bloco em vez de cifras de fluxo). Mas vejo, por exemplo, que uma das …

10 soft-question  cr.crypto-security  pseudorandom-generators 

Digamos que temos um poliedro na forma padrão: A x = bx ≥ 0UMAx=bx≥0 0\begin{equation*} \begin{array}{rl} \mathbf{A}\mathbf{x} = \mathbf{b} \\\\ \mathbf{x} \ge 0 \end{array} \end{equation*} Existem métodos conhecidos para encontrar um hiperplano que divide o poliedro de uma maneira que o número de vértices em cada lado do hiperplano seja …

10 ds.algorithms  linear-programming  linear-algebra 

Dado um gráfico misto G=(V,E,A)G=(V,E,A)G=(V,E,A) com as arestas EEE e arcos AAA , encontre uma correspondência em EEE que minimize o número de arcos em G/MG/MG/M , onde G/MG/MG/M é obtido de GGG contratando vértices correspondentes e removendo arcos paralelos. (A versão de decisão) deste problema está incompleta? Foi estudado …

10 cc.complexity-theory  reference-request  graph-theory 

Quero começar a aprender sobre a codificação de rede: http://en.wikipedia.org/wiki/Network_coding Você conhece alguma boa pesquisa (por exemplo, pesquisas e tutoriais do IEEE) sobre os assuntos acima. Encontrei alguns cursos universitários no google, mas gostaria de receber recomendações de pessoas que já leem e conhecem uma boa fonte. Graças Vasilis

10 it.information-theory  coding-theory  survey  ni.networking-internet 

Minha pergunta é sobre a equivalência da segurança de várias funções unidirecionais candidatas que podem ser construídas com base na dureza da fatoração. Assumindo o problema de FACTORING: [Dado para números primos aleatórios P , Q < 2 n , encontre P , Q. ]N= PQN=PQN = PQP, Q < …

10 reference-request  cr.crypto-security  nt.number-theory  average-case-complexity  one-way-function 

Alguém pode me apontar a referência para a não definibilidade do módulo de continuidade funcional no PCF? \ newcommand {\ bool} {\ mathsf {bool}}\newcommand{\N}{\mathbb{N}} \newcommand{\bool}{\mathsf{bool}} Andrej Bauer escreveu um post muito bom no blog explorando alguns dos problemas com mais detalhes, mas vou resumir apenas um pouco do seu post …

10 pl.programming-languages  lambda-calculus  denotational-semantics  computing-over-reals 

Em termos gerais, a correspondência de padrões de permutação lida com problemas do seguinte tipo: Dadas as permutações em e em , com , contém uma subsequência de comprimento cujos elementos são ordenados de acordo com ?ππ\piSnSnS_nσσ\sigmaSmSmS_mm ≤ nm≤nm\leq nππ\pi ττ\taummmσσ\sigma Por exemplo, se e , a subsequência corresponde a …

10 permutations  string-matching