Para provar que a 3 cores é decidível, basta dizer:
- Cada nó no gráfico possui 3 cores possíveis
- Portanto, podemos enumerar todas as possibilidades de e verificar se não há duas arestas conectando nós da mesma cor
Isso prova que a 3 cores é decidível? Ou preciso construir uma máquina de Turing para uma prova adequada?
Ao colorir 3, estou falando sobre o problema da coloração gráfica; ou seja, atribua uma das três cores a cada nó em um gráfico não direcionado, de modo que dois nós adjacentes não tenham a mesma cor.
5
Isso é bom o suficiente para mim. A propósito, mesmo se você quer ser muito formal, não precisa fornecer uma máquina de Turing; um programa em qualquer idioma completo de Turing será suficiente. (Na verdade, a linguagem não precisa mesmo ser Turing completo, só precisamos para definir funções computáveis.)
—
Yuval Filmus
Para a maioria das pessoas, sim. Em um curso introdutório, talvez não. Além disso, para algumas pessoas, "prova formal" significa algo diferente, que você pode ter visto se fez um curso de lógica.
—
Yuval Filmus 01/01
@YuvalFilmus Thanks. Como é uma "prova formal" no contexto de um curso de lógica? Você poderia me indicar um exemplo, por favor?
—
Jenny
@ Jenny Se você estiver interessado, faça um curso de lógica.
—
Yuval Filmus 02/01
@YuvalFilmus Não tenho acesso a um curso de lógica. Existe um livro ou uma fonte on-line que você pode recomendar?
—
Jenny