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

2

Kích thước VC của đa thức (trong một biến) độ d

Các hàm tuyến tính trong một biến có kích thước VC = 3 và tôi nhớ đọc ở đâu đó rằng VC cho đa thức bậc ddd là (d2+3d+2)/2(d2+3d+2)/2(d^2 + 3d + 2)/2 . Tôi đang tìm kiếm những ý tưởng có thể chứng minh cho tuyên bố trên (và …

8 cg.comp-geom vc-dimension

2

Giấy chấm dứt Hoare Logic gốc

Tôi đang tìm bài báo gốc nơi Hoare (hoặc người khác mà tôi cho là) thảo luận về việc chấm dứt (Total Correctness). Hoặc bất kỳ công việc ban đầu nào khác về việc chấm dứt logic "vanilla" Hoare (tôi cho rằng ý tôi là một ngôn ngữ đồ chơi …

8 reference-request lo.logic pl.programming-languages program-verification program-logic

1

Biểu thức chính quy của gia đình biểu thức chính quy

Tôi đã đọc về Vấn đề Chiều cao của Sao và nhận thấy rằng các biểu thức chính quy của Eggan tuân theo một mẫu đơn giản có thể được mô tả bằng biểu thức chính quy. Câu hỏi của tôi là: có bất kỳ kết quả thú vị nào …

8 fl.formal-languages regular-language regular-expressions

1

Tìm kiếm hiệu quả số lượng chuyển vị tối thiểu cần thiết để sắp xếp danh sách

Tôi muốn một phương pháp hiệu quả để tính toán số lượng chuyển vị tối thiểu cần thiết để sắp xếp danh sách. Tôi không cần biết chuyển vị thực sự là gì. Ví dụ: danh sách [1, 1, 2, 0] yêu cầu 2 lần chuyển vị: [1, 1, 2, …

8 ds.algorithms sorting permutations edit-distance

1

Hàm hợp lý và CFL

Trong công việc của tôi đã nảy sinh vấn đề phân loại CFL dưới các hình ảnh chức năng hợp lý. Nói cách khác, những gì lớp của ngôn ngữ hình thành ngôn ngữ , cho bối cảnh cố định ngôn ngữ miễn phí L và xác định trạng thái …

8 fl.formal-languages context-free-languages

1

Đếm giảm từ #SAT xuống #HornSAT?

Có thể tìm cách giảm đếm từ #SAT xuống #HornSAT không? Tôi chưa tìm thấy câu hỏi này được đăng ở đây, vì vậy quyết định kiểm tra xem có ai có câu trả lời nào không. Hãy để tôi giải thích những gì tôi có nghĩa là bằng cách …

8 cc.complexity-theory complexity-classes sat counting-complexity reductions

1

Bộ đếm tự động đa đầu xác định hai chiều hoặc logspace TM với bộ đếm

Được biết điều gì đó về các ngôn ngữ được công nhận bởi bộ đếm tự động đa đầu xác định hai chiều hoặc logspace TM với bộ đếm (mô hình tương đương)? Lớp này được gọi là Aux2DC trong bài viết của cố vấn của tôi . Hoặc về …

8 cc.complexity-theory complexity-classes fl.formal-languages logspace counter-automata

2

Có mối liên hệ nào giữa TCS và nghiên cứu Năng lượng bền vững không?

Có ai biết bất kỳ công việc nào liên quan đến Khoa học máy tính lý thuyết và Năng lượng rẻ / bền vững không? tức là có bất kỳ công việc nào trong TCS với ứng dụng là Năng lượng rẻ / bền vững.

8 application-of-theory

1

Bằng chứng kỹ thuật liên quan đến thư từ Curry Curry Howard

Tôi đang tìm kiếm các nguồn về khái niệm chính thức của các chương trình. Điều này dường như có liên quan mật thiết đến sự tương ứng của Curry-Howard, nhưng người ta cũng có thể theo dõi điều này trở lại với Universal Turing Machines và khả năng đọc …

8 pl.programming-languages universal-computation type-systems program-verification formal-methods

1

Khả năng ứng dụng của khoa học máy tính lý thuyết trong nghiên cứu phần mềm độc hại

Tôi muốn biết tầm quan trọng của TCS trong nghiên cứu phần mềm độc hại. Do khối lượng lớn các biến thể phần mềm độc hại mới nhận được mỗi ngày (~ 50.000 mẫu / ngày theo McAfee), các nhà nghiên cứu phần mềm độc hại phụ thuộc rất nhiều …

8 cr.crypto-security security

2

Tập lớn nhất cho phép tìm kiếm lượng tử không cấu trúc một bước

Tập hợp lớn nhất thừa nhận thuật toán tìm kiếm lượng tử xác định, đối với một yếu tố được đánh dấu duy nhất, hoạt động chỉ với một cuộc gọi đến nhà tiên tri là gì? Câu hỏi rất thú vị vì thuật toán của Grover, đối với tìm …

8 quantum-computing quantum-information

2

Lựa chọn trực tuyến giá rẻ với so sánh có trọng số

Giả sử chúng ta muốn tìm phần tử nhỏ nhất của tập , có phần tử được lập chỉ mục từ 1 đến n . Chúng tôi không có quyền truy cập vào các giá trị của các phần tử này, nhưng chúng tôi có thể so sánh bất kỳ …

8 cc.complexity-theory ds.algorithms reference-request online-algorithms

2

Tạo một điểm trong một polytope hợp lý

Hãy xem xét một đa giác hợp lý được xác định bằng phương tiện phân tách. Nghĩa là, P có thể được mô tả ngầm là P = { x ∈ R k : A x ≤ b , A ∈ Z m × k , b ∈ Z m …

8 ds.algorithms convex-optimization convex-geometry high-dimensional-geometry

1

Đọc danh sách trên các hệ thống viết lại?

Tôi mới học các hệ thống viết lại khi là nghiên cứu sinh năm thứ nhất. Tôi muốn đề xuất một khóa học chủ đề đặc biệt về lý thuyết viết lại, và tôi muốn chắc chắn rằng tôi không bỏ sót bất kỳ nguồn gốc nào. Tôi có một …

8 lo.logic big-list type-theory lambda-calculus term-rewriting-systems

1

Là hạng tenor là trong VNP?

Được biết nếu xếp hạng tenxơ ba chiều nằm trong VNP (lớp dũng cảm không xác định)? Nếu có, những gì được biết về thứ hạng tenor chiều cao? Trong thực tế, tôi quan tâm đến vấn đề đơn giản hơn nhiều. Tôi muốn biết liệu người ta có thể …

8 cc.complexity-theory algebraic-complexity