Ciência da Computação Teórica

Perguntas e respostas para cientistas da computação teóricos e pesquisadores em áreas afins

1
Interpretação teórica do tipo de Skolemization
Qual é a interpretação teórica do tipo / equivalente de Skolemization? A skolemization converte alguma fórmula na forma normal da Skolem. As duas fórmulas são satisfatórias entre si. Ou, para dizer em termos teóricos do tipo: Existe um programa com algum tipo, se houver um programa com esse tipo na …
1
A otimização convexa em P?
Considere um problema de otimização convexa no formato f0(x1,…,xn)fi(x1,…,xn)→min≤0,i=1,…,mf0(x1,…,xn)→minfi(x1,…,xn)≤0,i=1,…,m\begin{align} f_0(x_1, \ldots, x_n) &\to \min \\ f_i(x_1, \ldots, x_n) & \leq 0, \quad i = 1, \ldots, m \end{align} onde são funções convexas. Sem perda de generalidade, podemos assumir que é linear.f0,f1,…,fmf0,f1,…,fmf_0, f_1, \dots, f_mf0f0f_0 Nesterov e Nemirovskii mencionam em seu …
1
Um problema de partição com restrições de pedidos
No OrderedPartitionproblema, a entrada são duas seqüências de nnn inteiros positivos, (ai)i∈[n](ai)i∈[n](a_i)_{i\in [n]} e (bi)i∈[n](bi)i∈[n](b_i)_{i\in [n]} . A saída é uma partição dos índices [n][n][n] em dois subconjuntos separados, III e JJJ , de modo que: ∑i∈Iai=∑j∈Jai∑i∈Iai=∑j∈Jai\sum_{i\in I} a_i = \sum_{j\in J} a_i Para tudo i∈Ii∈Ii\in I e para todos …
1
Uma conjectura relacionada à conjectura de Cerny - contraexemplo / solicitação de referência
A conjectura de Cerny é a afirmação de que qualquer autômato de sincronização com nnn estados tem uma palavra de duração sincronizada no máximo (n−1)2(n−1)2(n-1)^2 . O melhor limite superior atual para o comprimento de uma palavra sincronizada é O(n3)O(n3)O(n^3) . Digamos que dois estados sejam mesclados por uma palavra …
1
Teoria dos tipos e complexidade computacional
Existe um sistema de tipos que restrinja os termos lambda aos termos que se enquadram em uma classe de complexidade? Como os termos tipáveis ​​da teoria estão estritamente dentro da classe de complexidade? Ou isso não é possível? Acho que existem muitos estudos sobre expressibilidade da teoria dos tipos, como …
2
Qual é o estado da arte na votação online?
Existe um protocolo criptográfico que, pelo menos em teoria (e sob suposições criptográficas padrão), permite que as pessoas votem com segurança em suas casas? Eu pude ver como os vários problemas poderiam ser resolvidos (como impedir que as pessoas votassem duas vezes, produzir prova de que o voto foi registrado …
Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.