Ciência da Computação Teórica

Existem resultados conhecidos sobre a complexidade de encontrar um separador (de qualquer tamanho) que satisfaça uma determinada propriedade? Eu sei que é fácil encontrar um separador de clique (tempo polinomial) e também sei que muitos trabalhos consideram o problema de encontrar pequenos separadores ou separadores que deixam componentes de tamanho …

9 ds.algorithms  graph-theory  graph-algorithms 

Gostaria de me desculpar por todos os posts abaixo. Escolheu o fórum errado para postar isso originalmente. No entanto, em vez de tornar isso um desperdício completo, refiz a pergunta como um verdadeiro problema "Ciência da Computação Teórica". Problema: Crie um algoritmo que utilize um conjunto de n pontos ordenados …

9 ds.algorithms  cg.comp-geom  polygon 

Qual é a possibilidade de um cientista da computação transformar seu campo em um matemático puro? e qual é a maneira mais suave de fazer isso? algum exemplo para pessoas que poderiam fazer isso?

9 soft-question  research-practice  career 

Minha pergunta é um pouco vaga. Fiquei me perguntando se (e como), podemos aplicar a noção de largura de árvore aos problemas de empacotamento em gráficos. Eu ficaria feliz com quaisquer insights ou referências de trabalhos de pesquisa anteriores sobre isso (assumindo que há alguma relação). Obrigado.

9 ds.algorithms  reference-request  graph-theory  graph-algorithms  approximation-algorithms 

Eu queria descobrir quais são algumas das aplicações do SGT na área de teoria da informação e codificação e talvez comunicações. O mais relacionado que vem à mente é o trabalho sobre códigos de expansão Michael Sipser e Daniel Spielman, "Expander Codes", IEEE Transactions on Information Theory, Vol. 42, No …

9 it.information-theory  coding-theory  spectral-graph-theory 

Cada vez mais os mecanismos de busca são considerados guardiões da informação, mas o critério usado pelos mecanismos de busca para classificar os resultados é opaco para os usuários. Como os usuários podem ter certeza de que seus resultados não são tendenciosos ou adulterados de alguma forma para beneficiar algum …

9 ds.algorithms  data-mining 

No contexto de alguns trabalhos recentes , definimos uma linguagem baseada em uma lógica de três valores à la Kleene, onde 1 11 11 significa verdadeiro, para falso e para erro ou não sei. Para mostrar que nossa linguagem era expressiva, queríamos provar que poderíamos criar um conjunto de operadores …

9 reference-request  lo.logic 

Existe um programa linear para o qual eu quero não apenas uma solução, mas uma solução que seja o mais central possível na face do politopo que assume o valor mínimo. A priori, esperamos que a face minimizadora seja alta dimensionalmente por várias razões, incluindo que a função objetivo minimizada …

9 ds.algorithms  linear-algebra  linear-programming 

Ao interpretar teclas como números naturais, podemos usar a seguinte fórmula. h(k)=⌊m(kAmod1)⌋h(k)=⌊m(kAmod1)⌋\begin{equation} h(k) = \lfloor m (kA\bmod{1}) \rfloor \end{equation} O que estou tendo problemas para entender é como escolhemos o valor de A onde: 0&lt;A&lt;10&lt;A&lt;1\begin{equation} 0 < A < 1 \end{equation} De acordo com Knuth, um valor ideal é: A≈(5–√−1)/2=0.6180339887...A≈(5−1)/2=0.6180339887...\begin{equation} …

9 hash-function 

Gostaria de saber por que, para o reconhecimento de linguagens sem contexto, apenas os autômatos não determinísticos de push-down (DPA = NPDA) funcionam. Por que os autômatos push-down determinísticos (DPDA) não reconhecem esses idiomas?

9 fl.formal-languages  automata-theory  context-free 

Tenho uma pergunta, cuja resposta provavelmente é bem conhecida, mas não consigo encontrar nada significativo depois de algumas pesquisas, por isso gostaria de receber alguma ajuda. Minha pergunta é se é sabido que decidir se um número é transcendental é indecidível. Possivelmente, assume-se como entrada, digamos, um programa que retorne …

9 computability  computable-analysis 

Suponha que eu tenho uma lista de subconjuntos de { 1 , . . . , n } . Eu posso fazer o pré-processamento nesta lista, se necessário. Após este pré-processamento, eu sou apresentado com um outro conjunto A ⊆ { 1 , . . . , n } . …

9 ds.algorithms  ds.data-structures 

Estou procurando um software para calcular / estimar o volume de poliedros convexos de alta dimensão. Mais especificamente, eu estou interessado em um programa, que pode lidar com corpos com vértices em espaço dimensional com parâmetros delimitados aproximadamente da seguinte forma: e . Observe que não há garantia no número …

9 cg.comp-geom  software  convex-geometry  high-dimensional-geometry 

Continuando com esta pergunta ... Estou tentando aprender a usar e criar redes neurais para minha pesquisa, e um ponto está me escapando um pouco. Percebo que as camadas ocultas são uma parte um tanto necessária disso, mas estou preso em dois pontos que minhas referências não estão explicando para …

9 ne.neural-evol 

O Teorema do PCP declara que todo problema de decisão no NP tem provas probabilisticamente verificáveis ​​(ou equivalentemente, que existe um sistema completo e quase sonoro para os teoremas do NP, usando complexidade de consulta constante e logaritmicamente muitos bits aleatórios). A “sabedoria popular” que cerca o Teorema do PCP …

9 lo.logic  pcp  polynomial-hierarchy