Perguntas com a marcação «application-of-theory»

Perguntas decorrentes de aplicações da ciência da computação teórica em outras áreas da pesquisa / prática em ciência da computação ou outros assuntos.

1
Detectando circuitos semelhantes em funcionalidade e implementação
Seja x=(x1,…,xn)x=(x1,…,xn)x=(x_1,\dots,x_n) um vetor de variáveis ​​booleanas. Sejam C,DC,DC,D dois circuitos booleanos em xxx . Diga que CCC é semelhante a DDD se: Pr[C(x)≠D(x)]Pr[C(x)≠D(x)]\Pr[C(x) \ne D(x)]{ 0 , 1 } nxxx{0,1}n{0,1}n\{0,1\}^n C,DC,DC,D diferem na distância de edição do gráfico em uma quantidade minúscula (a distância de edição é muito menor …




2
As redes sociais geralmente são boas expansoras?
Estou interessado nas propriedades combinatórias das redes sociais como gráficos. As pessoas analisaram coisas como a distribuição dos graus, o coeficiente de agrupamento e a compressibilidade desses gráficos. Uma pergunta básica é: esses gráficos geralmente são bons gráficos de expansão? Alguém verificou, digamos, a lacuna espectral do gráfico do facebook? …

1
Qual é a prova de que computadores quânticos podem simular eficientemente sistemas mecânicos quânticos arbitrários?
A JBV sugeriu que eu transformasse alguns comentários em uma pergunta, então aqui vai. Outra pergunta [1] pergunta sobre aplicações da computação QM. Uma resposta [2] foi "simulando eficientemente a mecânica quântica". Aparentemente, essa idéia remonta aos primeiros escritos de Feynman sobre o assunto; embora eu não tenha uma referência. …


1
Existem aplicações de decomposição modular de grafos na teoria TCS / complexidade?
Quais são algumas das aplicações da decomposição modular de gráficos na teoria da complexidade / TCS? Estou especialmente interessado em seu uso em provas ou limites superior / inferior, se ocorrer. [1] Decomposição modular de grafos , Wikipedia. [2] Referências para decomposição modular , TCS.SE.


2
Pós-seleção na teoria da complexidade geométrica
Contexto: Pelo que entendi, na teoria da complexidade geométrica, a existência de obstruções serve como um certificado de prova, por assim dizer, para a inexistência de um circuito computacional eficiente para a função difícil explícita no problema de limite inferior em consideração. Agora, existem outras suposições para obstruções que devem …

1
Esse caso particular da “solução de peso mínimo para equações lineares” ainda está completo com NP?
Nós, em nosso grupo de pesquisa, estamos trabalhando na aplicação de métodos heurísticos ao problema de iluminação inversa (ou seja, dado um conjunto de restrições sobre as condições de iluminação em uma cena, encontramos os locais onde as fontes de luz devem ser colocadas e suas intensidades). para cumprir as …
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.