Ciência da Computação Teórica

Existe uma maneira de um provador convencer um verificador de que alguma expressão HORN-SAT é satisfatória? Claro que isso pode parecer bobagem, já que existem algoritmos de tempo lineares para o HORN-SAT. Por outro lado, HORN-SAT é P-completo, o que significa que não possui algoritmos de espaço de log, a …

10 cc.complexity-theory  interactive-proofs  zero-knowledge 

Eu estava analisando o artigo seminal de Les Valiant e tive um momento difícil com a Proposição 4.3 na página 10 do artigo. Não vejo por que, se existe um gerador com determinados valores para com base , existe algum gerador com os mesmos valores para qualquer base \ {(xa_1, …

10 ds.algorithms  counting-complexity  survey 

A norma de corte de uma matriz real é o máximo entre todos os da quantidade.||A||C||A||C||A||_CA=(ai,j)∈Rn×nA=(ai,j)∈Rn×nA = (a_{i,j}) \in \mathcal{R}^{n\times n}I⊆[n],J⊆[n]I⊆[n],J⊆[n]I \subseteq [n], J \subseteq [n]∣∣∑i∈I,j∈Jai,j∣∣|∑i∈I,j∈Jai,j|\left|\sum_{i \in I, j \in J}a_{i,j}\right| Defina a distância entre duas matrizes e para serAAABBBdC(A,B)=||A−B||CdC(A,B)=||A−B||Cd_C(A,B) = ||A-B||_C Qual é a cardinalidade da menor rede do …

10 graph-theory  co.combinatorics  metrics  max-cut  epsilon-nets 

Dado um circuito booleano em variáveis ​​(que usa apenas portas NOT, AND e OR), qual é a maneira mais eficiente de extrair a fórmula booleana representada pelo circuito? Existe um algoritmo polytime para esse problema?nCCCnnn

10 cc.complexity-theory  time-complexity  boolean-functions 

David Rodríguez - dribeas escreveu em um comentário no StackOverflow que "Nem todas as coleções podem ser implementadas sem bloqueios". Não tenho certeza se isso é verdade e não consigo encontrar provas de qualquer maneira. Essa declaração não é muito precisa, mas deixe-me reformulá-la de uma maneira um pouco mais …

10 ds.data-structures  pl.programming-languages  dc.distributed-comp  concurrency 

Dado um plano finito, tenho um mosaico hexagonal desse plano com um hexágono regular de tamanho fixo. Em seguida, calculo o gráfico G de Delaunay para o mosaico. Dado esse gráfico G, excluo conjuntos específicos de nós nesse gráfico para gerar vários subgráficos de G. Preciso determinar se esses subgráficos …

10 ds.algorithms  graph-algorithms  graph-isomorphism 

Quais classificadores de aprendizado de máquina são os mais paralelizáveis? Se você tivesse um problema de classificação difícil, tempo limitado, mas uma LAN decente de computadores para trabalhar, com quais classificadores você tentaria? Por um lado, parece-me com alguns classificadores padrão que eu conheço da pilha acima, mas posso estar …

10 lg.learning  machine-learning  dc.parallel-comp 

Eu tenho a seguinte teoria digitada |- 1_X : X -> X f : A -> B, g : B -> C |- compose(g,f) : A -> C F, f : A -> B |- apply(F,f) : F(A) -> F(B) com equações para todos os termos: f : A -> …

10 lo.logic  pl.programming-languages  type-theory  ct.category-theory  automated-theorem-proving 

Em esta questão , foi mencionado que existem versões de complexidade descritivos do teorema de Rice. Encontrei uma prova do seguinte teorema: Dada uma classe de complexidade C , propriedades não triviais de idiomas em C não podem ser computadas em C Eu já havia postado a prova que encontrei, …

10 cc.complexity-theory  complexity-classes  descriptive-complexity  separation 

Eu li um pouco sobre as seguintes estruturas de dados: O Hash ideal de Bagwell tenta Tabelas hash dinâmicas de Larson Árvores vermelho-pretas Patricia árvores ... e tenho certeza que existem muitos outros por aí. Eu tenho visto muito pouco sobre o que cada um é mais adequado, ou por …

10 ds.data-structures  functional-programming  tree  hash-function 

Seja uma árvore binária enraizada. Todo caminho da raiz de até uma folha tem comprimento . Cada nó de sempre tem um nó filho esquerdo e um direito, mas é possível que sejam os mesmos (portanto, sempre existem caminhos possíveis). O tamanho de é limitado por . Um nó com …

10 graph-theory  tree 

O capítulo de Smyth no manual de lógica em ciência da computação e outras referências descrevem como os espaços métricos podem ser usados ​​como domínios. Entendo que espaços métricos completos fornecem pontos fixos exclusivos, mas não entendo por que os espaços métricos são importantes. Eu realmente aprecio qualquer opinião sobre …

10 semantics  topology  denotational-semantics  domain-theory  metrics 

Esta questão segue o mesmo discurso inspirador dos alunos do último ano do ensino médio . Meu Ph.D. orientador me pediu para dar uma palestra inspiradora para o novo M.Sc. alunos. O assunto são fundamentos da criptografia , que é melhor ilustrada pelo livro de Goldreich . A conversa vai …

10 reference-request  soft-question  cr.crypto-security  teaching 

Em uma pergunta anterior sobre hierarquia de tempo, aprendi que as igualidades entre duas classes podem ser propagadas para classes mais complexas e as desigualdades podem ser propagadas para classes menos complexas, com argumentos usando preenchimento. Portanto, uma pergunta vem à mente. Por que estudamos uma pergunta sobre diferentes tipos …

10 cc.complexity-theory  big-picture 

fundo A complexidade do circuito é definida como o conjunto de famílias de circuitos (ou seja, sequências de circuitos, uma para cada tamanho de entrada) de profundidade limitada e tamanho polinomial construído usando a ventoinha ilimitada AND, OR e NOT.AC0AC0AC^0 A função de paridade com entrada de bits é igual …

10 cc.complexity-theory  circuit-complexity  physics  bounded-depth