No segmento Principais problemas não resolvidos em ciência da computação teórica? , Iddo Tzameret fez o seguinte excelente comentário:
Acho que devemos distinguir entre grandes problemas abertos que são vistos como problemas fundamentais, como , e grandes problemas abertos que constituirão um avanço técnico, se resolvidos, mas que não sejam necessariamente tão fundamentais, por exemplo, limites exponenciais inferiores em circuitos (isto é, AC ^ 0 + \ mod 6 portas). Portanto, devemos abrir um novo wiki da comunidade intitulado "problemas abertos nas fronteiras do TCS" ou algo semelhante.
Como o Iddo não iniciou o tópico, pensei em iniciar esse tópico.
Muitas vezes, os principais problemas em aberto dos campos são conhecidos por pesquisadores que trabalham em campos relacionados, mas o ponto em que a pesquisa atual está paralisada é desconhecido para quem está de fora. O exemplo citado é bom. Como alguém de fora, é claro que um dos maiores problemas na complexidade de circuitos é mostrar que o NP requer circuitos de tamanho super polinomial. Mas pessoas de fora podem não estar cientes de que o ponto atual em que estamos presos está tentando provar limites exponenciais inferiores para circuitos CA 0 com portas mod 6. (É claro que poderia haver outros problemas de complexidade do circuito de dificuldade semelhante que descreveriam onde estamos presos. Isso não é exclusivo.) Outro exemplo é mostrar os limites inferiores do SAT no espaço de tempo melhor que o n 1.801 .
Este tópico é para exemplos como este. Como é difícil caracterizar esses problemas, darei apenas alguns exemplos de propriedades que esses problemas possuem:
- Muitas vezes não serão os grandes problemas em aberto do campo, mas serão um grande avanço se forem resolvidos.
- Geralmente não é incrivelmente difícil, no sentido de que se alguém lhe dissesse que o problema foi resolvido ontem, não seria muito difícil de acreditar.
- Esses problemas também costumam ter números ou constantes que não são fundamentais, mas surgem porque é aqui que estamos presos.
- O problema nas fronteiras de um campo específico continuará mudando de tempos em tempos, em oposição ao maior problema do campo, que permanecerá o mesmo por muitos e muitos anos.
- Geralmente, esses problemas são os problemas mais fáceis que ainda estão abertos. Por exemplo, também não temos limites exponenciais inferiores para AC 1 , mas como [6] está incluído nessa classe, é formalmente mais fácil mostrar limites inferiores para [6] e, portanto, está em a fronteira atual da complexidade do circuito. A C 0
Por favor, poste um exemplo por resposta; aplicam-se convenções padrão de lista grande e CW. Se alguém puder explicar que tipos de problemas estamos procurando melhor do que eu, fique à vontade para editar esta postagem e fazer as alterações apropriadas.
EDIT: Kaveh sugeriu que as respostas também incluam uma explicação de por que um determinado problema está na fronteira. Por exemplo, por que estamos procurando limites mais baixos contra AC 0 [6] e não AC 0 [3]? A resposta é que temos limites mais baixos contra AC 0 [3]. Mas então a pergunta óbvia é por que esses métodos falham no AC 0 [6]. Seria bom se as respostas pudessem explicar isso também.