Suponha, temos dois polígonos convexos não sobrepostos e . Como podemos desenhar uma linha reta que divide em duas partes da mesma área e também divide em duas partes da mesma área? Além disso, podemos fazer isso com complexidade ou melhor? ( )
Suponha, temos dois polígonos convexos não sobrepostos e . Como podemos desenhar uma linha reta que divide em duas partes da mesma área e também divide em duas partes da mesma área? Além disso, podemos fazer isso com complexidade ou melhor? ( )
Respostas:
Isso é conhecido como o teorema de Ham-Sandwich :
Dados dois objetos mensuráveis em espaço euclidiano tridimensional, é possível dividir cada um deles ao meio com uma linha.
Nota: Convexidade não é necessária. E pode ser substituído por com "linha" substituído por um hiper-dimensional.
Adicionado em resposta à solicitação de @ WillardZhan:
Ivan Stojmenovíc. Bissecções e cortes em sanduíche de presunto de polígonos convexos e poliedros. Inf. Processo. Lett. 38 (1): 15-21. 1991. ( CiteSeer PDF download .)
Resumo . Apresentamos um algoritmo seqüencial de tempo linear para encontrar uma linha reta que corta dois polígonos convexos separados (isto é, corta os dois em partes da mesma área).Abbott, Timothy G., Erik D. Demaine, Martin L. Demaine, Daniel M. Kane, Stefan Langerman, Jelani Nelson e Vincent Yeung. "Cortes dinâmicos de sanduíche de presunto de polígonos convexos no avião". In CCCG , pp. 61-64. 2005. ( download em PDF .)