Ciência da Computação Teórica

Sabe-se se ESPAÇO (n) (a classe de linguagens reconhecida por TMs determinísticas com espaço linear) é um subconjunto apropriado de E (a classe de linguagens reconhecida por TMs determinística no tempo 2 ^ O (n))?

8 cc.complexity-theory  complexity-classes 

Eu encontrei um artigo intitulado " Factoring integers and computar logaritmos discretos via aproximação diofantina " por CP Schnorr de 1993. Parece um método probabilístico com tempo de execução polinomial esperado (e espaço) para apresentar a fatoração de inteiros. Do artigo: "Um cenário para fatorar ... O problema de rede …

8 ds.algorithms  approximation-algorithms  integer-programming 

O problema # MONOTONE-2SAT é conhecido por # P-complete. Isso significa que #SAT pode ser reduzido a ele. Minha pergunta é: dada uma instância #SAT , que é a transformação que converte F na instância correspondente # MONOTONE-2SAT F ′ ?FFFFFFF′F′F' A segunda questão é: deixar ser o número de …

8 cc.complexity-theory  ds.algorithms  complexity-classes  sat 

Parametrizada máximo problema cláusulas independente: Entrada: fórmula A r-CNFSAT F tendo n variáveis e m cláusulas, k Ques: Does existe pelo menos k cláusulas de tal modo que eles são independentes entre si ou seja, não variável ocorre mais do que uma vez em todos estes cláusulas combinadas. Parâmetro: k …

8 cc.complexity-theory  parameterized-complexity  fixed-parameter-tractable 

Sabe-se que se então . Além disso, sabe-se que . Parece que o PCP não pode nos dizer quais problemas naturais não estão no . Gostaria de saber se é possível usar a caracterização PCP para separar o do .C o N P = P C P [ O ( …

8 cc.complexity-theory  pcp  proof-complexity 

Suponha que você tenha machos e n fêmeas. Cada pessoa tem m atributos. Cada pessoa indica um conjunto de atributos que um possível candidato deve ter. Uma correspondência é um conjunto de pares. Cada par liga um macho a uma fêmea. A satisfação de uma correspondência é o número de …

8 cc.complexity-theory  np-hardness  matching 

Comecei a examinar estruturas de incidência e projetos combinatórios (motivação possível: limitar algumas estruturas na automontagem generalizada), e o artigo da Wikipedia faz a seguinte declaração interessante, mas inexplicável: projetos de blocos têm aplicação no teste de software. (A página da Wikipedia com a reivindicação está aqui ). Meu google-fu …

8 reference-request 

Existe algum algoritmo por aí que pode retornar algum valor indicando um nível de aleatoriedade? Eu acredito que se chama Entropia de Dados . Li recentemente este artigo: http://faculty.rhodes.edu/wetzel/random/mainbody.html Sua abordagem de analisar lançamentos de moedas se aplica a bytes? Devo descer para o nível de bit em que é …

8 randomness 

Gostaria de ser um pouco bom em pesquisa de strings e correspondência de padrões. Você poderia me indicar alguns bons recursos on-line? Problemas de exercícios seriam ótimos. Obrigado.

8 ds.algorithms  string-search 

Os diagramas de decisão binária ordenada reduzida (ROBDD) são uma estrutura de dados eficiente para representar funções booleanas de várias variáveis . Eu gostaria de ter uma intuição de quão eficientes eles são.f( x1, x2, . . . , xn)f(x1,x2,...,xn)f(x_1,x_2,...,x_n) Por exemplo, para compactação de dados, sabemos que dados com …

8 ds.data-structures  binary-decision-diagrams 

Recentemente, houve uma prova de queP≠ NPP≠NPP \ne NP . Pouco tempo após sua publicação, foram levantados alguns problemas com essa prova. Então ... a prova está correta ou não? (Por favor, responda somente se você tiver evidências ... essa pergunta pode demorar um pouco até ser respondida)

8 np-hardness  cc.complexity-theory 

Alguém conhece algum formalismo algébrico (ou relacionado) de processo que captura informações de localização refinadas? Eu estou familiarizado com ambientes e gráficos grandes, que obviamente têm um modelo de localização, mas e as tentativas de modelar informações de localização mais concretas, de modo que a localização de algum agente seja …

8 concurrency  process-algebra  formal-modeling 

Suponha que sejam algumas funções contínuasf:R×R→Rf:R×R→Rf:\mathbf{R}\times \mathbf{R} \to \mathbf{R} x1…xnx1…xnx_1 \ldots x_n é um conjunto de valores reais e gostaríamos de calcular argmina∑if(a,xi)argmina∑if(a,xi)\text{argmin}_a \sum_i f(a,x_i) a precisão prescrita Existem resultados na dificuldade desse problema para vários f? Por exemplo, suponha que . O mínimo do nosso problema agora é a …

8 approximation-algorithms  machine-learning  st.statistics 

Existe um algoritmo generalizado para encontrar a função inversa de uma função bijetiva arbitrária? Para que esse algoritmo seja útil, ele deve ser interrompido assim que a resposta correta for encontrada. Além do requisito de que ela deva encontrar a solução eventualmente, não há restrições de tempo para encontrar ou …

8 ds.algorithms 

Por exemplo, uma maneira de visualizar a correspondência máxima de peso é que cada vértice vvv obtém um utilitário que é igual ao peso da aresta na qual ele corresponde e a zero, caso contrário.fv=w(ev)fv=w(ev)f_v= w(e_v) portanto, uma correspondência de peso máximo pode ser vista como maximização do objetivo .∑vfv∑vfv\sum_v …

8 ds.algorithms  graph-theory