Ciência da Computação Teórica

Dado um gráfico planar, uma lata incorporá-lo em tempo linear passando livre em um grade. Estou interessado em saber se algum algoritmo eficiente é conhecido por incorporar em linha reta um gráfico planar cruzando livremente em uma grade n c × n c , para alguns c pequenos , de …

13 reference-request  graph-theory  graph-drawing 

Estou interessado na complexidade do problema do conjunto dominante (DSP) em algumas classes gráficas específicas que são subclasses de gráficos cordais . Um gráfico é um gráfico de caminho não direcionado se for o gráfico de interseção de vértices de uma família de caminhos em alguma árvore não direcionada. Seja …

13 reference-request  graph-theory  graph-algorithms  np-hardness 

A definição dos números de Ramsey é a seguinte: Seja um número positivo, de modo que todo gráfico de ordem pelo menos contenha um clique em vértice ou um conjunto estável em vértices.R ( a , b )R(uma,b)R(a,b)R ( a , b )R(uma,b)R(a,b)umaumaabbb Estou trabalhando em alguma extensão do Ramsey …

13 reference-request  co.combinatorics  ramsey-theory 

O teorema da pretensão paralela de Raz é um resultado importante no PCP, na aproximação, etc. O teorema é resumido da seguinte forma. G = ( S, T, A, B, π, V)G=(S,T,UMA,B,π,V)G=(\mathcal{S},\mathcal{T},\mathcal{A},\mathcal{B},\pi, V)S, T, A, BS,T,UMA,B\mathcal{S},\mathcal{T},\mathcal{A},\mathcal{B}ππ\piS× TS×T\mathcal{S}\times\mathcal{T}V: S× T× A× B→ { 0 , 1 }V:S×T×UMA×B→{0 0,1}V:\mathcal{S}\times\mathcal{T}\times\mathcal{A}\times\mathcal{B}\rightarrow\{0,1\}nv ( G ) …

13 cc.complexity-theory  complexity-classes  pcp  interactive-proofs 

Estou à procura de alguns conselhos e feedback. Formação: Sou estudante de matemática, com interesse em ciência da computação teórica (complexidade computacional, teoria de grafos, combinatória). Quero fazer um doutorado em Ciência da Computação e focar na teoria. Minha formação é em áreas matematicamente intensivas da ciência da computação, mas …

13 soft-question  career 

Estou interessado em modelar objetos, a partir de programação orientada a objetos, na teoria dos tipos dependentes. Como possível aplicação, eu gostaria de ter um modelo em que possa descrever diferentes recursos de linguagens de programação imperativas. Eu só consegui encontrar um artigo sobre modelagem de objetos na teoria dos …

13 reference-request  pl.programming-languages  type-theory  coq  dependent-type 

Eu tenho uma pergunta sobre a redutibilidade do SERF de Impagliazzo, Paturi e Zane e algoritmos subexponenciais. A definição de redutibilidade do SERF fornece o seguinte: Se é SERP-redutível a P 2 e ali ó ( 2 ε n ) algoritmo para P 2 para cada ε > 0 , …

13 cc.complexity-theory  reference-request 

A função Mobius é definida como μ ( 1 ) = 1 , μ ( n ) = 0 se n tiver um fator primordial ao quadrado e μ ( p 1 … p k ) = ( - 1 ) k se todos os primos p 1 , …

13 comp-number-theory 

Na definição de tratabilidade de parâmetro fixo (forte), o tempo limite é uma expressão da forma onde a instância de entrada é ( x , k ) com o parâmetro k , p é um polinômio ef é uma função computável .f( K ) . p ( | x | …

13 cc.complexity-theory  reference-request  fixed-parameter-tractable 

Eu me deparei com esse problema em uma área da física bastante distante da ciência da computação, mas parece que é o tipo de pergunta que foi estudada em CS, então pensei em tentar a sorte perguntando aqui. Imagine que você receba um conjunto de pontos e uma lista de …

13 ds.algorithms  cg.comp-geom 

Seja uma matriz real quadrada A e dois vetores x e b de comprimento n , de modo que A x = b . A resolução de x através da Eliminação Gaussiana padrão produz uma complexidade agregada de quase O ( n 3 ) . No entanto, há casos em …

13 cc.complexity-theory  linear-algebra  matrices 

Na minha busca contínua para tentar aprender o cálculo lambda, "Lambda-Calculus and Combinators an Introduction" de Hindley & Seldin menciona o seguinte artigo (por Bruce Lercher) que prova que a única expressão redutível que é a mesma (conversão de módulo alfa) para si mesma é: (λx.xx)(λx.xx)(λx.xx)(λx.xx)(\lambda x.xx)(\lambda x.xx) . Embora …

13 lo.logic  lambda-calculus 

Eu tinha feito alguma pesquisa sobre isso, mas não consegui encontrar uma resposta de qualquer maneira. Huck respondeu totalmente. Obrigado :)

13 cc.complexity-theory  complexity-classes  time-complexity  space-complexity 

Chong, Han e Lam mostraram que a conectividade st não direcionada pode ser resolvida no EREW PRAM em time com processadores .O ( log n )O(registron)O({\log}n)O ( m + n )O(m+n)O(m+n) Qual é o algoritmo paralelo mais conhecido para conectividade st em gráficos planares direcionados? Indique o tempo de execução, …

13 ds.algorithms  graph-theory  dc.parallel-comp 

Neste artigo de Kempe-Kleinberg-Tardos, os autores propõem algoritmos gananciosos baseados em funções submodulares para determinar os nós mais influentes em um gráfico, com aplicações em redes sociais.kkk Basicamente, o algoritmo é o seguinte: S= e m p t y s e t S=empty setS = {\rm empty~set} escolha o nó …

13 ds.algorithms  graph-theory  dc.distributed-comp  social-sciences  heuristics