Ciência da Computação Teórica

Perguntas e respostas para cientistas da computação teóricos e pesquisadores em áreas afins

2
Quantidade mínima de cores impedindo um sub-triângulo uniformemente colorido
No Bundeswettberweb Infomatik 2010/2011, havia um problema interessante: Para fixo , encontre um mínimo de e um mapa , de modo que não haja triplo com .nnnkkkφ:{(i,j)|i≤j≤n}→{1,…,k}φ:{(i,j)|i≤j≤n}→{1,…,k}\varphi: \{(i,j)|i\leq j \leq n\}\rightarrow \{1,\ldots,k\}(i,j),(i+l,j),(i+l,j+l)(i,j),(i+l,j),(i+l,j+l)(i,j),(i+l,j),(i+l,j+l)φ(i,j)=φ(i+l,j)=φ(i+l,j+l)φ(i,j)=φ(i+l,j)=φ(i+l,j+l)\varphi(i,j)=\varphi(i+l,j)=\varphi(i+l,j+l) Ou seja, estamos procurando a quantidade mínima de cores para um triângulo, de modo que não exista um …
2
O que é ciência da computação teórica?
O que exatamente é a ciência da computação teórica? Está aprendendo a codificar em vários idiomas e criando aplicativos em plataformas? Ou está apenas pensando em algoritmos cada vez mais rápidos para que você possa realizar uma tarefa com mais eficiência pelos computadores? Ou está programando e pensando em novas …
3
Conjunto de arco de feedback transitivo (TFAS): NP-complete?
Há algum tempo, publiquei uma solicitação de referência para problemas gráficos, onde queremos encontrar uma partição em 2 das arestas, em que os dois conjuntos cumprem uma propriedade não relacionada à sua cardinalidade. Eu estava tentando provar que o seguinte problema é difícil de NP: Dado um torneio , existe …
1
avaliação do circuito
É sabido se o problema de avaliação do circuito está em N C 1 ? Que tal A L o g T i m e (uniforme N C 1 )?NC1NC1\mathsf{NC^1}NC1NC1\mathsf{NC^1}ALogTimeALogTime\mathsf{ALogTime}NC1NC1\mathsf{NC^1} Sabemos que os circuitos de profundidade podem ser avaliados com circuitos de profundidade k + c, onde c é uma …
2
Complexidade da computação um menor mais denso
Considere o seguinte problema. Entrada: Um gráfico não direcionado . Saída: Um gráfico menor de com a maior densidade de arestas entre todos os menores de , ou seja, com a maior proporção.G=(V,E)G=(V,E)G=(V,E)HHHGGGGGG|E(H)|/|V(H)||E(H)|/|V(H)||E(H)|/|V(H)| Este problema foi estudado? É solucionável em tempo polinomial ou é NP-difícil? E se considerarmos classes de …
1
Funções unidirecionais com relação a vários limites de recursos
Informalmente, funções unidirecionais são definidas com relação aos algoritmos PTIME. Eles são computáveis ​​em tempo polinomial, mas não invertíveis em tempo polinomial de caso médio. A existência de tais funções é um importante problema em aberto na ciência da computação teórica. Estou interessado em funções unidirecionais (não necessariamente para aplicativos …
1
Boa referência sobre métodos aproximados para resolver problemas de lógica
Sabe-se que muitos problemas lógicos (por exemplo, problemas de satisfação de várias lógicas modais) não são decidíveis. Também existem muitos problemas indecidíveis na teoria de algoritmos, por exemplo, na otimização combinatória. Mas, na prática, heuristcs e algoritmos aproximados funcionam bem para algoritmos práticos. Portanto, pode-se esperar que algoritmos aproximados para …
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.