Khoa học máy tính lý thuyết

Khi tôi nhìn vào phân tích Earley, nó trông rất thanh lịch, và tôi tự hỏi tại sao kỹ thuật GLR trở nên phổ biến? Có ai biết điều gì đã xảy ra với Earley phân tích cú pháp mà Tomita đã tạo GLR không? Hiệu suất? Bất kỳ ấn …

11 parsing 

Có bất kỳ ví dụ cụ thể (hoặc một nguồn phong phú) nào về việc áp dụng các số -adic trong khoa học máy tính không?ppp

11 survey 

Biểu thị bằng mức độ tối thiểu trong và bởi mức độ tối thiểu.G delta - ( G )δ+(G)δ+(G)\delta^+(G)GGGδ−(G)δ−(G)\delta^-(G) Trong một câu hỏi liên quan , tôi đã đề cập đến phần mở rộng Ghouila-Houri của định lý Dirac về chu trình Hamilton , điều này cho thấy rằng nếu …

11 reference-request  graph-theory 

Như @Marzio đã đề cập, trò chơi sau đây được gọi là Địa lý tổng quát . Cho đồ thị và đỉnh bắt đầu , trò chơi được xác định như sau:G=(V,E)G=(V,E)G=(V,E)v∈Vv∈Vv \in V Ở mỗi lượt (hai người chơi xen kẽ), một người chơi chọn , và sau đó …

11 graph-theory  graph-algorithms  gt.game-theory 

Một đồ thị phẳng là một đồ thị có thể được nhúng vào trong mặt phẳng, mà không cần phải cạnh qua. Đặt là một siêu dữ liệu -uniform, tức là một siêu đồ thị sao cho tất cả các siêu tăng của nó có kích thước k.G=(X,E)G=(X,E)G=(X,E)kkk Đã có …

11 graph-theory  planar-graphs  hypergraphs  embeddings  generalizations 

Vấn đề N-queen là đây: Đầu vào: N Đầu ra: Vị trí của N "nữ hoàng" trên bàn cờ NXN sao cho không có hai nữ hoàng nằm trên cùng một hàng, cột hoặc đường chéo. Thực hiện tìm kiếm trên google, tôi thấy rằng nhiều slide của nhiều giáo …

11 cc.complexity-theory  np-hardness  csp 

Theo cuốn sách Lý thuyết đồ thị tôpô của Gross và Tucker, đã đưa ra một tế bào nhúng đồ thị trên một bề mặt (bởi 'bề mặt', ý tôi ở đây là một hình cầu có một số và bên dưới đề cập đến hình cầu có chính xác …

11 ds.algorithms  reference-request  graph-theory  cg.comp-geom  topological-graph-theory 

Tôi làm việc trong phòng thí nghiệm khoa học thần kinh tính toán để định lượng thông tin lẫn nhau giữa các cặp hoặc nhóm tế bào thần kinh. Gần đây, ông chủ đã chuyển trọng tâm sang đo lường "sự phức tạp của động lực học thần kinh". Theo …

11 cc.complexity-theory  it.information-theory 

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 

Các thuật toán gần đúng có thể cung cấp đầu ra lên đến một số yếu tố không đổi. Đây là một chút ít thỏa mãn hơn các thuật toán chính xác. Tuy nhiên, các yếu tố không đổi được bỏ qua trong sự phức tạp thời gian. Vì vậy, …

11 ds.algorithms  big-list  approximation-algorithms 

Tôi quan tâm đến một biến thể SAT trong đó công thức CNF là đơn điệu (không có biến nào bị phủ định). Một công thức như vậy rõ ràng là thỏa đáng. Nhưng nói rằng số lượng các biến thực sự là thước đo mức độ tốt của giải …

11 cc.complexity-theory  np-hardness  sat 

Có vấn đề nào mà độ phức tạp trường hợp trung bình giống như độ phức tạp trường hợp xấu nhất của chúng không? Các thuộc tính cơ bản của những vấn đề này làm cho việc giảm trường hợp xấu nhất thành trường hợp trung bình có thể là …

11 cc.complexity-theory  reductions  average-case-complexity 

Đã có công việc nào trong việc phục hồi độ dốc của một đoạn đường từ số hóa của nó chưa? Dĩ nhiên, người ta không thể làm điều này với độ chính xác hoàn hảo; những gì người ta muốn là một phương pháp xuất phát từ một dòng …

11 reference-request  cg.comp-geom  cv.computer-vision  image-processing 

Câu hỏi này có thể có một câu trả lời rõ ràng ... nhưng dù sao đây cũng là câu hỏi. Theo trực giác, đó là tuyên bố hợp lý sau đây - "một máy có chương trình con A, lần lượt có chương trình con B giống như một …

11 complexity-classes  oracles 

Tôi tự hỏi nếu các lớp NPC được xác định bởi nhiều mức giảm một và mức giảm Turing có bằng nhau không. Chỉnh sửa: Một câu hỏi khác, là việc giảm Turing chỉ làm sụp đổ các lớp C và co-C đối với một số C hoặc có một …

11 cc.complexity-theory  np-hardness  reductions