[Hỏi]Đố vui với LISP

[gia_bach 1.549]

 

Hề hề hề,

Thử tài tí chơi.

 

(defun c:chk (/ p1 p2 p3 p4)
 (and (= (distance p1 p2) (distance p3 p4)) (= (distance p1 p3) (distance p2 p4)) (= (distance p1 p4) (distance p2 p3)))
)

Code của bác Bình và ndtnv chỉ đúng khi không quan tâm đến thứ tự các điểm.

 

[VUVUZELA 100]

Vụ này thì thuật toán sẽ viết như sau :

- Tìm điểm giữa của 4 điểm,  giống như trọng tâm ta có được điểm tâm (pt)

- Sắp xếp thứ tự 4 điểm chọn theo góc quay từ nhở đến lớn với trục quay ở điểm tâm (pt )

- Kiểm tra góc giữa 4 điểm đã sắp xếp trên có = 90 độ hay không nếu đúng hết thì trả về T

[gia_bach 1.549]

Vụ này thì thuật toán sẽ viết như sau :

- Tìm điểm giữa của 4 điểm,  giống như trọng tâm ta có được điểm tâm (pt)

- Sắp xếp thứ tự 4 điểm chọn theo góc quay từ nhở đến lớn với trục quay ở điểm tâm (pt )

- Kiểm tra góc giữa 4 điểm đã sắp xếp trên có = 90 độ hay không nếu đúng hết thì trả về T

 

Cậu này mới từ world cup Nam Phi về nên hơi bị "lơ ngơ" ..

Bây giờ đang là world cup Brazil mà, Đố vui với LISP: Điều kiện: càng ít cặp () càng có giá trị.

[phamthanhbinh 3.146]

Code của bác Bình và ndtnv chỉ đúng khi không quan tâm đến thứ tự các điểm.

 

Hề hề hề,

Thực ra hôm qua vì nóng xem World Cup nên mình cũng chẳng nghĩ tới việc xet 4 điểm có thẳng hàng hay không.

Nhưng nếu chấp nhận có HCN dẹp (tức chiều rộng bằng 0 thì vẫn có thể chấp nhập code phía trên.

Thuật toán của mình chỉ đơn giản là dựa trên hai định lý từ thời phổ thông là 

1/- HCN là hình bình hành có hai đường chéo bằng nhau.

2/- Hình bình hành là hình tứ giác có hai cặp cạnh đối diện bàng nhau đôi một.

 

Như vậy khi đả cho 4 điểm thì nếu phát xuất từ một điểm sẽ chỉ có 3 đoạn nối với ba điểm còn lại. Các đoạn này sẽ tương ứng với hai cạnh liền kề và đường chéo của hinh tứ giác tạo thành, bất kể vị trí tương đối của chúng trên mặt phẳng. Do đó nếu lấy các đoạn không trùng đỉnh đả chọn, ắt chúng sẽ là các cặp cạnh và đường chéo tương ứng với các định lý nêu trên.

 

Nếu nó đã đúng với trường hợp bất kể thứ tự thì có nhẽ cũng sẽ không sai nếu như có quy ước về trật tự của các đỉnh bởi trong code mình chỉ sử dụng distance mà không quan tâm tới chiều của đoạn thẳng.

 

Mong các bác đèn giời soi xét thêm. May ra có thể xếp đoạn code của mình vào tới trận chung kết.

 

Hề hề hề, .....

 

@ Bác Ketxu: Khoai thì có khoai, song cứ nhai ắt được bác ạ. Tuy có hơi ê răng nhưng mà cũng đỡ đói .....lisp bác ạ.

[phamthanhbinh 3.146]

Khoai chưa chắc đã dễ nhai. Như bác PTB là không ổn rồi.

Hề hề hề,

Đúng là chưa ổn thật. Vì mình không test lại nên cứ nghĩ thế là xong. Ai dè cái hám (= ....) này nó chơi mình. vậy nên xin phép sửa lại code trên như sau:

 

 

(defun c:chk ()
(and (equal (distance p1 p2) (distance p3 p4) 0.0001) (equal (distance p1 p3) (distance p2 p4) 0.0001) (equal (distance p1 p4) (distance p2 p3) 0.0001))
)

 

Ở code này mình bỏ luôn cả việc khử biến để không phải khai báo lại biến và code sẽ làm việc khi các biến p1, p2, p3, p4 này đã được xác định trước.

 

Hy vọng code lần này sẽ được vào chung kết mặc dù số cặp () không giảm so với code trước.

[Doan Van Ha 3.191]

Ý kiến của người ra đề:

@Ketxu: Không hiểu phương ngữ "khoai" nên nhầm là khoai thì mềm và dễ nhai. Ai ngờ nó tương đương "xương" của miền Nam. <_<

@Gia bach: đề cho 4 điểm bất kỳ, có nghĩa thứ tự bất kỳ, vị trí bất kỳ...

@PTB: thiếu kiểm tra điều kiện 4 điểm trùng nhau (không cần kiểm tra điều kiện thẳng hàng).

@Vuvuzela: thuật toán thì không khó nhưng điều kiện là lựa chọn thuật toán nào để viết lisp có số cặp () ít nhất có thể.

@Ndtnv: nếu sắp xếp khéo thì bỏ được hàm vl-sort. Code của bác thì nhìn rất bác học nhưng chắc chắn chạy chậm, tuy nhiên vì đề ra không y/c tốc độ nên không vấn đề gì.

@All: nên dùng equal có fuzz thay cho hàm "=", vì dùng hàm "=" rất nguy hiểm. Đã test của PTB lẫn Ndtnv đều bị dính.

Dưới đây là 1 đáp án nguyên thủy HA1 và một đáp án sửa lại hàm của ndtnv là HA2.

Mọi người xem có sai sót gì không hoặc có bài giải nào gọn hơn thì post lên cho forum cùng học hỏi.

;; Dap an nguyen thuy cua DVH.

(defun HA1(p1 p2 p3 p4 fuzz / Equal1)

 (defun Equal1 (p1 p2 p3 p4 fuzz)

  (equal (distance p1 p2) (distance p3 p4) fuzz))

 (and (equal p1 p2 fuzz) (Equal1 p1 p2 p3 p4 fuzz) (Equal1 p1 p3 p2 p4 fuzz) (Equal1 p2 p3 p4 p1 fuzz)))

;; Dap an sua lai cua Ndtnv.

(defun HA2(p1 p2 p3 p4 fuzz / l1 l2 l3 l4 l5 l6)

 (mapcar 'set (list 'l1 'l2 'l3 'l4 'l5 'l6) (mapcar 'distance (list p1 p3 p1 p2 p2 p1) (list p2 p4 p3 p4 p3 p4)))

 (and (> l1 0) (equal l1 l2 fuzz) (equal l3 l4 fuzz) (equal l5 l6 fuzz)))

 

[ndtnv 481]

Hình như bạn DVH nhầm chỗ

(equal p1 p2 fuzz)

[Doan Van Ha 3.191]

Ồ, (not (equal p1 p2 fuzz)). Srr.

[phamthanhbinh 3.146]

Ý kiến của người ra đề:

@Ketxu: Không hiểu phương ngữ "khoai" nên nhầm là khoai thì mềm và dễ nhai. Ai ngờ nó tương đương "xương" của miền Nam. <_<

@Gia bach: đề cho 4 điểm bất kỳ, có nghĩa thứ tự bất kỳ, vị trí bất kỳ...

@PTB: thiếu kiểm tra điều kiện 4 điểm trùng nhau (không cần kiểm tra điều kiện thẳng hàng).

@Vuvuzela: thuật toán thì không khó nhưng điều kiện là lựa chọn thuật toán nào để viết lisp có số cặp () ít nhất có thể.

@Ndtnv: nếu sắp xếp khéo thì bỏ được hàm vl-sort. Code của bác thì nhìn rất bác học nhưng chắc chắn chạy chậm, tuy nhiên vì đề ra không y/c tốc độ nên không vấn đề gì.

@All: nên dùng equal có fuzz thay cho hàm "=", vì dùng hàm "=" rất nguy hiểm. Đã test của PTB lẫn Ndtnv đều bị dính.

Dưới đây là 1 đáp án nguyên thủy HA1 và một đáp án sửa lại hàm của ndtnv là HA2.

Mọi người xem có sai sót gì không hoặc có bài giải nào gọn hơn thì post lên cho forum cùng học hỏi.

;; Dap an nguyen thuy cua DVH.
(defun HA1(p1 p2 p3 p4 fuzz / Equal1)
 (defun Equal1 (p1 p2 p3 p4 fuzz)
  (equal (distance p1 p2) (distance p3 p4) fuzz))
 (and (equal p1 p2 fuzz) (Equal1 p1 p2 p3 p4 fuzz) (Equal1 p1 p3 p2 p4 fuzz) (Equal1 p2 p3 p4 p1 fuzz)))
;; Dap an sua lai cua Ndtnv.
(defun HA2(p1 p2 p3 p4 fuzz / l1 l2 l3 l4 l5 l6)
 (mapcar 'set (list 'l1 'l2 'l3 'l4 'l5 'l6) (mapcar 'distance (list p1 p3 p1 p2 p2 p1) (list p2 p4 p3 p4 p3 p4)))
 (and (> l1 0) (equal l1 l2 fuzz) (equal l3 l4 fuzz) (equal l5 l6 fuzz)))
 

Hề hề hề,

Nếu 4 điểm trùng nhau có thể coi là trường hợp HCN bị suy biến thành một điểm. Và như vậy có nhẽ cũng không có gì là bất hợp lý bởi nó cũng tương tự với hình tròn suy biến thành một điểm khi r=0.

Vì lẽ đó code của mình đã sửa chắc cũng không phải là quá tệ.

Hề hề hề,....

[gia_bach 1.549]

............

Dưới đây là 1 đáp án nguyên thủy HA1 và một đáp án sửa lại hàm của ndtnv là HA2.

Mọi người xem có sai sót gì không hoặc có bài giải nào gọn hơn thì post lên cho forum cùng học hỏi.

;; Dap an nguyen thuy cua DVH.

(defun HA1(p1 p2 p3 p4 fuzz / Equal1)

 (defun Equal1 (p1 p2 p3 p4 fuzz)

  (equal (distance p1 p2) (distance p3 p4) fuzz))

 (and (equal p1 p2 fuzz) (Equal1 p1 p2 p3 p4 fuzz) (Equal1 p1 p3 p2 p4 fuzz) (Equal1 p2 p3 p4 p1 fuzz)))

;; Dap an sua lai cua Ndtnv.

(defun HA2(p1 p2 p3 p4 fuzz / l1 l2 l3 l4 l5 l6)

 (mapcar 'set (list 'l1 'l2 'l3 'l4 'l5 'l6) (mapcar 'distance (list p1 p3 p1 p2 p2 p1) (list p2 p4 p3 p4 p3 p4)))

 (and (> l1 0) (equal l1 l2 fuzz) (equal l3 l4 fuzz) (equal l5 l6 fuzz)))

 

Thêm 1 giải pháp : Tứ giác có 2 đường chéo bằng nhau và cắt nhau tại trung điểm mỗi đường là hình chữ nhật.

- cho phép 4 điểm trong không gian, khi 4 điểm là đỉnh của tam diện đều, Lisp HA1 và HA2 trả về T.

- xét t/h các điểm trùng nhau.

- có xét đến thứ tự của các đỉnh.

(defun HCN(p1 p2 p3 p4 fuzz / r1 r2 r3 r4 oo)
  (and
    (setq oo (inters p1 p3 p2 p4))
    (setq r1 (distance oo p1)
	  r2 (distance oo p2)
	  r3 (distance oo p3)
	  r4 (distance oo p4))
    (equal r1 r2 fuzz) (equal r3 r4 fuzz) (equal r1 r3 fuzz)) )

[Doan Van Ha 3.191]

- Xét thứ tự các điểm nghĩa là p1, p2, p3, p4 sắp xếp như thế nào?

- Khi oo nil >> lỗi

[gia_bach 1.549]

- Xét thứ tự các điểm nghĩa là p1, p2, p3, p4 sắp xếp như thế nào?

- Khi oo nil >> lỗi

- xét theo thứ tự :so với tâm đường tròn ngoại tiếp HCN

 

- oo nil : sorry! vậy là phải thêm 1 dấu ngoặc. (FIX ở bài trên)

[Doan Van Ha 3.191]

- xét theo thứ tự :so với tâm đường tròn ngoại tiếp HCN

 

- oo nil : sorry! vậy là phải thêm 1 dấu ngoặc. (FIX ở bài trên)

- Càng không ổn: khi chưa biết 4 điểm là hình gì thì lấy đâu tâm đường tròn ngoại tiếp HCN mà xét?

- Thuật toán này nhiều hơn các thuật toán trên 1 yếu tố là tìm giao điểm >> gần như chắc chắn sẽ dài hơn.

[ndtnv 481]

Thông thường tôi không lập trình kiểu như vậy nhưng vì bài này yêu cầu là: càng ít cặp () càng có giá trị.

2 Hàm của bạn DVH vẫn còn xét thiếu trường hợp p1 trùng p3 hoặc p4.

Vì vậy

 - Hàm HA1 phải đưa (not (equal p1 p2 fuzz)) vào hàm con

 - Hàm HA2 phải sửa thành (> (min l1 l3 l5) 0)

Nếu xét thứ tự thì code sau ngắn và ít cặp () hơn so với của bạn gia_bach

 

(and
    (inters p1 p3 p2 p4)
 (equal  (mapcar '- p1 p2) (mapcar '- p4 p3) fuzz)
 (equal  (distance p1 p3) (distance p2 p4) fuzz))

[gia_bach 1.549]

Thông thường tôi không lập trình kiểu như vậy nhưng vì bài này yêu cầu là: càng ít cặp () càng có giá trị.

2 Hàm của bạn DVH vẫn còn xét thiếu trường hợp p1 trùng p3 hoặc p4.

Vì vậy

 - Hàm HA1 phải đưa (not (equal p1 p2 fuzz)) vào hàm con

 - Hàm HA2 phải sửa thành (> (min l1 l3 l5) 0)

Nếu xét thứ tự thì code sau ngắn và ít cặp () hơn so với của bạn gia_bach

 

(and
    (inters p1 p3 p2 p4)
 (equal  (mapcar '- p1 p2) (mapcar '- p4 p3) fuzz)
 (equal  (distance p1 p3) (distance p2 p4) fuzz))

Tks bác. 

Vậy là phải ôn lai Đại số Vectơ.

[Doan Van Ha 3.191]

Chỉ cần xét p1 không trùng p2 là đủ (điều kiện này là đại diện cho 4 điểm trùng nhau).

Mọi người cứ kiểm chứng xem, liệu có trường hợp sai không nhé?

[ndtnv 481]

Chỉ cần xét p1 không trùng p2 là đủ (điều kiện này là đại diện cho 4 điểm trùng nhau).

Mọi người cứ kiểm chứng xem, liệu có trường hợp sai không nhé?

 

4 điểm không trùng nhau thì đúng, nhưng 2 cặp điểm trùng nhau thì sai

Test trên code đã sửa (not (equal p1 p2 fuzz))

 

(setq p1 '(0 0) p2 '(1 1) p3 p1 p4 p2)
(HA1 p1 p2 p3 p4 fuzz) ; => T
(HA1 p1 p3 p2 p4 fuzz) ; => nil

Nếu hình 3D thì xét điều kiện :

(or (inters p1 p2 p3 p4) (inters p1 p3 p2 p4) (inters p1 p4 p2 p3))

[Doan Van Ha 3.191]

Đào lên thư giản nhức đầu cho vui.

Không dùng ký tự "E" và "e", hãy tìm 1 chuỗi có 3 ký tự "ABC" mà giá trị khi hàm atof trả về lớn hơn 123456789.

(> (atof "ABC") 123456789) >> T

[snowman.hms 59]

Vào lúc 2/12/2020 tại 21:54, Doan Van Ha đã nói:

Đào lên thư giản nhức đầu cho vui.

Không dùng ký tự "E" và "e", hãy tìm 1 chuỗi có 3 ký tự "ABC" mà giá trị khi hàm atof trả về lớn hơn 123456789.

(> (atof "ABC") 123456789) >> T

("1D9" "1d9" "2D8" "2D9" "2d8" "2d9" "3D8" "3D9" "3d8" "3d9" "4D8" "4D9" "4d8" "4d9" "5D8" "5D9" "5d8" "5d9" "6D8" "6D9" "6d8" "6d9" "7D8" "7D9" "7d8" "7d9" "8D8" "8D9" "8d8" "8d9" "9D8" "9D9" "9d8" "9d9")

[Doan Van Ha 3.191]

3 phút trước, snowman.hms đã nói:

("1D9" "1d9" "2D8" "2D9" "2d8" "2d9" "3D8" "3D9" "3d8" "3d9" "4D8" "4D9" "4d8" "4d9" "5D8" "5D9" "5d8" "5d9" "6D8" "6D9" "6d8" "6d9" "7D8" "7D9" "7d8" "7d9" "8D8" "8D9" "8d8" "8d9" "9D8" "9D9" "9d8" "9d9")

Đáp án chính xác!

Qua câu hỏi này muốn truyền 1 thông tin mà user khi xử lý chuỗi dạng "nDm" chú ý, nếu không coi chừng lỗi lisp bất tử!

Chữ "D" và "d" hóa ra cũng "gần giống" chữ "E" và chữ "e". Tuy nhiên (type 1E3) là REAL, nhưng (type 1D3) là Nil. 

[snowman.hms 59]

6 phút trước, Doan Van Ha đã nói:

Đáp án chính xác!

Qua câu hỏi này muốn truyền 1 thông tin mà user khi xử lý chuỗi dạng "nDm" chú ý, nếu không coi chừng lỗi lisp bất tử!

Chữ "D" và "d" hóa ra cũng "gần giống" chữ "E" và chữ "e". Tuy nhiên (type 1E3) là REAL, nhưng (type 1D3) là Nil. 

(mapcar	'(lambda (x)
	     (princ (strcat "\n(atof \""
			    x
			    "\") = "
			    (vl-prin1-to-string (atof x))
			    "\n\t(distof \""
			    x
			    "\") = "
			    (vl-prin1-to-string (distof x))
		    )
	     )
	 )
	'("1D9"	   "1d9"    "2D8"    "2D9"    "2d8"    "2d9"	"3D8"	 "3D9"	  "3d8"	   "3d9"    "4D8"    "4D9"
	  "4d8"	   "4d9"    "5D8"    "5D9"    "5d8"    "5d9"	"6D8"	 "6D9"	  "6d8"	   "6d9"    "7D8"    "7D9"
	  "7d8"	   "7d9"    "8D8"    "8D9"    "8d8"    "8d9"	"9D8"	 "9D9"	  "9d8"	   "9d9"
	 )
)
->>
(atof "1D9") = 1.0e+009
	(distof "1D9") = nil
(atof "1d9") = 1.0e+009
	(distof "1d9") = nil
(atof "2D8") = 2.0e+008
	(distof "2D8") = nil
(atof "2D9") = 2.0e+009
	(distof "2D9") = nil
(atof "2d8") = 2.0e+008
	(distof "2d8") = nil
(atof "2d9") = 2.0e+009
	(distof "2d9") = nil
(atof "3D8") = 3.0e+008
	(distof "3D8") = nil
(atof "3D9") = 3.0e+009
	(distof "3D9") = nil
(atof "3d8") = 3.0e+008
	(distof "3d8") = nil
(atof "3d9") = 3.0e+009
	(distof "3d9") = nil
(atof "4D8") = 4.0e+008
	(distof "4D8") = nil
(atof "4D9") = 4.0e+009
	(distof "4D9") = nil
(atof "4d8") = 4.0e+008
	(distof "4d8") = nil
(atof "4d9") = 4.0e+009
	(distof "4d9") = nil
(atof "5D8") = 5.0e+008
	(distof "5D8") = nil
(atof "5D9") = 5.0e+009
	(distof "5D9") = nil
(atof "5d8") = 5.0e+008
	(distof "5d8") = nil
(atof "5d9") = 5.0e+009
	(distof "5d9") = nil
(atof "6D8") = 6.0e+008
	(distof "6D8") = nil
(atof "6D9") = 6.0e+009
	(distof "6D9") = nil
(atof "6d8") = 6.0e+008
	(distof "6d8") = nil
(atof "6d9") = 6.0e+009
	(distof "6d9") = nil
(atof "7D8") = 7.0e+008
	(distof "7D8") = nil
(atof "7D9") = 7.0e+009
	(distof "7D9") = nil
(atof "7d8") = 7.0e+008
	(distof "7d8") = nil
(atof "7d9") = 7.0e+009
	(distof "7d9") = nil
(atof "8D8") = 8.0e+008
	(distof "8D8") = nil
(atof "8D9") = 8.0e+009
	(distof "8D9") = nil
(atof "8d8") = 8.0e+008
	(distof "8d8") = nil
(atof "8d9") = 8.0e+009
	(distof "8d9") = nil
(atof "9D8") = 9.0e+008
	(distof "9D8") = nil
(atof "9D9") = 9.0e+009
	(distof "9D9") = nil
(atof "9d8") = 9.0e+008
	(distof "9d8") = nil
(atof "9d9") = 9.0e+009
	(distof "9d9") = nil

 

[Doan Van Ha 3.191]

Yes!
(nemberp 1E2) >> T

(numberp 1D2) >> Nil

[Doan Van Ha 3.191]

Câu đố trên của tôi, rất ngạc nhiên, là có rất ít người quan tâm, nhưng biết đâu đấy sẽ có một ngày mà bạn gặp lỗi đó (?) nhưng tìm mãi không ra lỗi.

VD: chúng ta luôn đinh ninh rằng khi cộng 2 khối có thể tích ghi là "12m3" và "34m3" (ký hiệu m3 là mét khối) chúng ta sẽ làm như sau:

(strcat (rtos (+ (atof "12m3") (atof "34m3)) 2 0) "m3") >> "46m3"

Nhưng coi chừng, biết đâu đấy, bạn sẽ thay chữ "d" vào chữ "m" và đinh ninh rằng đúng!

(strcat (rtos (+ (atof "12d3") (atof "34d3)) 2 0) "d3") >> "46d3"

Nhưng không, nó là: "46000d3"

---

Sau đây là một câu đố hóc búa hơn:

Hàm (ssget "w" p1 p2...) sẽ chỉ chọn các đối tượng nằm gọn trong khung windown có 2 điểm góc là p1 và p2.

Hỏi: chỉ ra 1 khung window đại diện bằng 2 point p1 và p2, sao cho tồn tại 1 hoặc nhiều  đối tượng dù không nằm gọn trong window đó nhưng vẫn bị chọn?

 

[ndtnv 481]

Các DIMENSION có chân dim (POINT) hoặc text... nằm hoàn toàn trong windown có 2 điểm góc là p1 và p2 nhưng các thành phần khác của DIM (text, line, extension còn lại... ) nằm ngoài màn hình

Các đối tượng có nhiều đối tượng con khác như BLOCK... nếu 1 phần nằm hoàn toàn trong p1p2, các phần còn lại nằm ngoài màn hình cũng bị chọn

 

[Doan Van Ha 3.191]

Vào lúc 31/12/2020 tại 12:08, ndtnv đã nói:

Các DIMENSION có chân dim (POINT) hoặc text... nằm hoàn toàn trong windown có 2 điểm góc là p1 và p2 nhưng các thành phần khác của DIM (text, line, extension còn lại... ) nằm ngoài màn hình

Các đối tượng có nhiều đối tượng con khác như BLOCK... nếu 1 phần nằm hoàn toàn trong p1p2, các phần còn lại nằm ngoài màn hình cũng bị chọn

 

Bạn cho xin ít ví dụ được không? Sao tôi không chọn được như bạn nói.