Pertanyaan yang diberi tag computational-geometry

11
Inferring type refinement

Di tempat kerja saya ditugaskan untuk menyimpulkan beberapa jenis informasi tentang bahasa yang dinamis. Saya menulis ulang urutan pernyataan menjadi letekspresi bersarang , seperti: 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
Jarak terpendek antara titik di A dan titik di B

Diberikan dua set dan masing-masing berisi titik terpisah dalam pesawat, hitung jarak terpendek antara titik di dan titik di , yaitu, .AAABBBnnnAAABBBmin { dist(p,q) | p∈A∧q∈B }min { dist(p,q) | p∈A∧q∈B }\min \space \{\mbox{ } \text{dist}(p, q) \mbox{ } | \mbox{ } p \in A \land q \in B \space \}...

9
Cakupan Rectangle oleh Sweep Line

Sayangnya saya diberi latihan, tetapi saya tidak berhasil. Ada satu set persegi panjang R1..RnR1..RnR_{1}..R_{n} dan persegi panjang R0R0R_{0} . Menggunakan algoritma plane sweeping menentukan apakah sepenuhnya dicakup oleh set .R0R0R_{0}R1..RnR1..RnR_{1}..R_{n} Untuk detail lebih lanjut...