• Nenhum resultado encontrado

[PENDING] Computing and proving with pivots Frédéric Meunier

N/A
N/A
Info
Descarregar agora
Protected

Academic year: 2024

Share "Computing and proving with pivots Frédéric Meunier"

Copied!
27
0
0

Carregando.... (Ver texto completo agora)

Descarregar agora ( 27 páginas )

Texto

Imagem

Figure 1. Sperner’s lemma in dimension 2: A part of a path followed by the algorithm finding a rainbow simplex
Figure 2. Fan’s lemma in dimension 2: A part of a path followed by the algorithm finding another boundary alternating simplex or an alternating 2-simplex
Figure 3. The pivot operation in the algorithm finding a second Hamiltonian path 3.5.4

Referências

Descarregar agora ( PDF - 27 páginas - 478.38 KB )

Documentos relacionados