Câu hỏi được gắn thẻ «terminology»

Câu hỏi này có thể không phải là kỹ thuật. Là một người không phải là người bản ngữ và một TA cho lớp thuật toán, tôi luôn tự hỏi tiện ích có nghĩa là gì trong 'tiện ích mệnh đề' hoặc 'tiện ích biến'. Từ điển nói rằng một …

11 cc.complexity-theory  np-hardness  terminology  reductions 

Một đồ thị màu có thể được mô tả là tuple ( G , c )(G,c)(G,c) trong đó GGG là đồ thị và c : V( G ) → Nc:V(G)→Nc : V(G) \rightarrow \mathbb{N} là màu. Hai đồ thị màu ( G , c )(G,c)(G,c) và ( H, d)(H,d)(H,d) được …

9 terminology  graph-isomorphism  equivalence 

Chúng ta đều biết rằng độ phức tạp tối thiểu của thuật toán sắp xếp dựa trên so sánh là so sánh Ω ( nhật ký nn )Ω(nđăng nhập⁡n)\Omega(n \log n) . Tôi đang cố gắng thực hiện một loại sắp xếp mù , tức là đã cho một số …

9 cc.complexity-theory  terminology  sorting 

Tôi tự hỏi nếu vấn đề sau đây có một tên, hoặc bất kỳ kết quả liên quan đến nó. Đặt là đồ thị có trọng số trong đó w ( u , v ) biểu thị trọng số của cạnh giữa u và v và với tất cả u …

9 reference-request  graph-theory  approximation-algorithms  terminology  approximation-hardness 

Trong hai câu hỏi sau đây Nguồn gốc và ứng dụng của Lý thuyết A so với Lý thuyết B? và ứng dụng vững chắc của lý thuyết thể loại trong TCS? , nhiều người đã chia sẻ kiến ​​thức và ý kiến ​​của họ về việc phân chia hai …

8 terminology  ho.history-overview  research-practice 

Tôi hy vọng tôi đã đến đúng nơi ... đó (có lẽ) là một câu hỏi lập trình logic khá đơn giản. Nếu tôi có hai mệnh đề có dạng: B:-A C:-A tôi có thể chuyển đổi chúng thành: B,C:-A ( Chỉnh sửa: kết hợp ở đâu B,CTuy nhiên, có …

8 reference-request  pl.programming-languages  terminology  logic-programming