Perguntas com a marcação «computational-geometry»

11
Inferindo tipos de refinamento

No trabalho, fui encarregado de deduzir algumas informações de tipo sobre uma linguagem dinâmica. Reescrevo seqüências de instruções em letexpressões aninhadas , da seguinte maneira: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z =>...

9
Cobertura retangular por linha de varredura

Fiz um exercício, infelizmente, não consegui sozinho. Há um conjunto de retângulos e um retângulo . Usando o algoritmo de varredura de avião, determine se é completamente coberto pelo conjunto de .R1..RnR1..RnR_{1}..R_{n}R0R0R_{0}R0R0R_{0}R1..RnR1..RnR_{1}..R_{n} Para mais detalhes sobre o...