Ciência da Computação Teórica

Estou procurando problemas difíceis de resolver no tempo do FPT, mas que possuem um algoritmo de aproximação. Ou seja, problemas que são: R1. W [1] -hard. R2. Admita um algoritmo de aproximação (de preferência constante) no tempo do FPT. O problema com o qual estou familiarizado é contar o número …

9 ds.algorithms  approximation-algorithms  parameterized-complexity  fixed-parameter-tractable 

A seguinte noção de algoritmo de destilação vem de "Em problemas sem núcleos polinomiais". Seja dada uma língua Um algoritmo de destilação para L pega uma determinada lista de cadeias de entrada { x i } i ∈ [ t ] e calcula uma cadeia de saída y de modo …

9 cc.complexity-theory  np-hardness  parameterized-complexity  polynomial-hierarchy  pspace 

Eu gostaria de pedir uma ajuda de pesquisadores que realizam uma pesquisa em uma área de árvores de pesquisa. Você poderia escrever a lista dos artigos de leitura obrigatória e os mais recentes que são importantes para ler se eu quiser escrever artigos sobre árvores de busca. Pessoalmente, tenho a …

9 ds.data-structures  binary-trees 

Atualmente, estou no segundo ano interessado em TCS. Recentemente, fiquei um pouco incomodado com a dificuldade de ingressar em programas de doutorado no futuro, já que a seleção é realmente muito competitiva. Examinei as páginas de algumas das melhores escolas de CS e descobri que seus atuais alunos de graduação …

9 soft-question 

Problema clássico: Seja dado um número . O problema da classe é o seguinte.kkkkkk Dado um gráfico , existe um subconjunto de vértices para que quaisquer dois vértices de sejam adjacentes?GGGSSSkkkSSS Problema do hipergrafo: Seja dado os números e . O problema -hiperclique é o seguinte.ccckkk(c,k)(c,k)(c,k) Dado um hipergrafo uniforme …

9 cc.complexity-theory  graph-theory  matrices  clique  fixed-parameter-tractable 

Alguém já explorou qual é a complexidade do circuito de problemas clássicos de decisão, como Primes ou Isomorfismo de Gráfico, para o tamanho pequeno de entrada ?NNN Enquanto a maioria das pessoas está interessada em saber como a escala vai como , acho que também seria interessante ver como isso …

9 cc.complexity-theory  reference-request  circuit-complexity 

Estou fazendo um curso de pós-graduação em teoria da informação e fico constantemente impressionado com a quantidade de otimização convexa existente nesse assunto. No entanto, as provas parecem evitar o uso de toda a maquinaria da teoria do relaxamento, da dualidade etc. Isso é compreensível, pois você não deseja exigir …

9 reference-request  it.information-theory  convex-optimization 

Estou tentando entender os conceitos de tipos existenciais e universais, mas em todos os lugares que vejo, vejo intuições ou implementações lógicas ou operacionais (por exemplo, livro TAPL de B. Pierce), o que, bem ... é bom , mas gostaria de ver as definições (onde as vemos como conjuntos) - …

9 lo.logic  type-theory  type-systems  set-theory 

Dado um gráfico e a alguém deseja calcular . ( ) A `` expansão em pequenos conjuntos conjectura "afirma que é NP-Difícil determinar se isso está abaixo de ou acima de paraδ > 0 h ( G , δ ) = m i n | S | ≤ δ | …

9 cc.complexity-theory  spectral-graph-theory  expanders  unique-games-conjecture 

Sendo um engenheiro de software profissional, vi muitos trabalhos técnicos realmente interessantes, muitos deles publicados como artigos técnicos em revistas técnicas e sites como http://www.drdobbs.com e http://www.codeproject.com e muitos outros, aqui estão alguns exemplos em algumas áreas de interesse: Engenharia e implementação de algoritmos: http://www.codeproject.com/Articles/18113/KD-Tree-Searching-in-N-dimensions-Part-I http://www.codeproject.com/Articles/9021/Simple-and-fast-Huffman-coding http://www.drdobbs.com/cpp/sorting-an-immutable-list/240163397 http://www.codeproject.com/Articles/33781/Calculate-Percentiles-in-O-1-space-and-On-time Estruturas de …

9 soft-question  research-practice 

Temos o algoritmo para determinar se um gráfico tem um ciclo de comprimento exatamente . Como podemos descobrir quantas dessas motocicletas estão presentes em usando o mesmo ou qualquer outro algoritmo. G k k Gf( k ) n3f(k)n3f(k) n^3GGGkkkkkkGGG

9 graph-theory  graph-algorithms 

Não se acredita que seja o seguinte: L ⊆ L - uniforme N C1L⊆L−uniform NC1\mathsf{L} \subseteq \mathsf{L}-\mbox{uniform } \mathsf{NC}^1 Você pode me ajudar a ver onde o argumento termina? O problema de acessibilidade direcionada está completo para . Argumento que está em -uniforme .L N C 1euL\mathsf{L}euL\mathsf{L}N C1NC1\mathsf{NC^1} O problema …

9 cc.complexity-theory  graph-algorithms  complexity-classes  descriptive-complexity  finite-model-theory 

Considere um problema no qual você recebe uma grade 2D (por exemplo, um tabuleiro de xadrez) em que certos quadrados estão ocupados e você precisa colocar o número mínimo de retângulos sem sobreposição de qualquer tamanho wxh em que w = 1 ou h = 1 (ou seja, "quadrado" segmentos …

9 reference-request  np-hardness  planar-graphs  packing  polynomial-time 

Atualmente, estou pesquisando pseudo-aleatoriedade, que envolve um zoológico de objetos maravilhosos, como geradores pseudo-aleatórios, extratores de aleatoriedade, gráficos expansores, etc. Acho esse tópico fascinante, mas uma coisa que me deixa louca é o excesso de parâmetros que são envolvidos. Entendo que esses objetos são muito complexos, mas não posso deixar …

9 soft-question  research-practice 

Eu estou trabalhando em algoritmos de aproximação para um problema mínimo de conjunto dominante. Em particular, estou interessado em classes de gráficos restritas por subgráficos induzidos proibidos. Como o problema de dominação e suas variantes foram extensivamente estudados, suponho que alguém possa ter trabalhado nisso antes. Então, a questão é: …

9 graph-theory  graph-algorithms  approximation-algorithms