Ciência da Computação Teórica

Dado um conjunto de hiperplanos determinado pelos vetores normais , seus tipos de células (ou vetores de sinais) são todos vetores t ∈ { + , - } m para os quais existe um vetor v ∈ R d de modo que ⟨ v , h i ⟩ ≠ 0 …

11 co.combinatorics  cg.comp-geom  computational-geometry  metric-spaces 

Existem teoria algorítmica dos grafos / teoria dos números / combinatória / teoria da informação / teoria dos jogos. Existe análise matemática algorítmica? Segundo o wiki, a análise matemática inclui as teorias de diferenciação, integração, medida, limites, séries infinitas e funções analíticas. Não há problema em focar na análise real …

11 cc.complexity-theory  reference-request  soft-question  computability 

Eu sou um estudante de graduação em ciência da computação teórica e, em particular, algoritmos de aproximação. Percebo agora que estou mais interessado em matemática pura (posso dizer isso porque pareço ter gostado mais de cursos de matemática do que os cursos de ciências da computação). Eu gostaria de perguntar …

11 reference-request  soft-question 

A função inversa de Ackermann ocorre frequentemente ao analisar algoritmos. Uma ótima apresentação está aqui: http://www.gabrielnivasch.org/fun/inverse-ackermann . α1(n)=[n/2]α1(n)=[n/2]\alpha_1(n) = [n/2] α2(n)=[log2n]α2(n)=[log2⁡n]\alpha_2(n) = [\log_2 n] α3(n)=log∗nα3(n)=log∗⁡n\alpha_3(n) = \log^* n ......... αk(n)=1+αk(αk−1(n))αk(n)=1+αk(αk−1(n))\alpha_k(n) = 1 + \alpha_k(\alpha_{k−1}(n))α(n)=min{k:αk(n)≤3}α(n)=min{k:αk(n)≤3}\alpha(n) = \min\{k: \alpha_k(n)\leq 3\} Minha pergunta é: Qual é a função Claramente . Que limites mais …

11 ds.algorithms  ds.data-structures  bounds 

A maioria das teorias de tipos que conheço são predicativas, pelo que quero dizer que Void : Prop Void = (x : Prop) -> x não é bem digitado na maioria dos provadores de teoremas, pois esse tipo pi pertence ao mesmo universo Prope não é o caso Prop : …

11 lo.logic  type-theory 

Eu estava pensando em qual classe esta língua pertence: é um grafo, k é um número natural e k é o número cromático de G }L={⟨G,k⟩∣GL={⟨G,k⟩∣GL =\{ \langle G,k \rangle \mid G kkkkkkG}G}G\} Pensei em como (1) "não há coloração de k-1 cores" e (2) "não há coloração de k- …

11 cc.complexity-theory  np-hardness  complexity-classes 

Me deparei com o seguinte problema no meu antigo livro didático de algoritmo tcheco, que infelizmente não apresentava dicas ou soluções. "Definimos palavras de Fibonacci como , F 1 = b , F n + 2 = F n F n + 1 , onde a e b são letras …

11 string-matching  string-search 

Qual é a diferença entre framework lógico e teoria de tipos? Ambos têm tipos, termos e baseiam-se no cálculo lambda de tipo dependente. Temos Edinburg LF, que é baseado no cálculo lambda-pi, no entanto, parece-me que há alguma diferença sutil lá.

11 lo.logic  type-theory 

Atualmente, estou ouvindo a palestra de Alan Kays: "É realmente complexo ou acabamos de complicar?" ( https://www.youtube.com/watch?v=ubaX1Smg6pY&= ), onde ele diz que "os semáforos eram uma má idéia e havia algo chamado pseudo-tempo que era superior" (às 51:40 no vídeo vinculado). Talvez eu tenha entendido mal a palavra "pseudo-tempo", mas …

11 terminology  concurrency 

Um sistema de adição de vetores (VAS) é um conjunto finito de ações . é o conjunto de marcações . Uma execução é uma palavra não vazia de marcações r . Se essa palavra existe, dizemos que é acessível a partir de .A⊂ZdA⊂ZdA \subset \mathbb{Z}^dm 0 m 1 … m …

11 fl.formal-languages  decidability 

A prova de Goldreich et al. De que três cores têm zero provas de conhecimento usa pouco comprometimento para uma coloração inteira do gráfico em cada rodada [1]. Se um gráfico possui vértices e e arestas, um hash seguro possui b bits e buscamos a probabilidade de erro p , …

11 communication-complexity  zero-knowledge 

O problema do isomorfismo inverso semigrupo finito é GI-completo ? Aqui, supõe-se que os semigrupos inversos finitos sejam dados por suas tabelas de multiplicação.

11 cc.complexity-theory  graph-isomorphism 

Estou pensando em idéias sobre algoritmos quânticos exatos. Em particular, estou considerando as prováveis ​​limitações de , que consiste em linguagens exatamente decidíveis por famílias de circuitos quânticos uniformes em tempos polimórficos sobre um conjunto de portas finitas arbitrárias.EQPEQP\mathsf{EQP} A transformada quântica de Fourier (QFT), dada por é uma parte …

11 quantum-computing  circuit-families 

Eu gostaria de saber (relacionado a essa outra pergunta ) se os limites inferiores eram conhecidos para o seguinte problema de teste: um deles recebe acesso de consulta a uma sequência de números não negativos e , com a promessa de que ou . ε ∈ ( 0 , 1 …

11 reference-request  randomized-algorithms  property-testing 

Considere as informações completas sobre jogos combinatórios para dois jogadores que terminam após um número polinomial de jogadas e, de maneira alternada, os jogadores escolhem um número finito de jogadas permitidas. A pergunta usual é: quão difícil é distinguir de uma determinada posição o vencedor. Outra seria: quão difícil é …

11 cc.complexity-theory  np  board-games  pspace