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

Hãy là một đa thức-cỗ máy thời gian xác định, có thể đặt câu hỏi với một số oracle Một . Ban đầu A trống nhưng điều này có thể được thay đổi sau một trò chơi sẽ được mô tả dưới đây. Đặt x là một chuỗi.MMMAAAAAAxxx Hãy xem …

10 cc.complexity-theory  complexity-classes  gt.game-theory 

Bạn nghĩ gì về việc thường xuyên đọc các bài báo bên ngoài lĩnh vực của chính mình, ngay cả những bài không liên quan đến khu vực của anh ấy? Trực giác của tôi là nó có thể đưa ra một quan điểm hoặc kỹ thuật hoàn toàn khác …

10 soft-question  advice-request 

Tôi đã bắt gặp hai ví dụ về độ cứng giả thuyết của một số vấn đề đồ thị. Độ cứng giả thuyết có nghĩa là bác bỏ một số phỏng đoán sẽ ngụ ý tính đầy đủ NP của vấn đề đồ thị tương ứng. Chẳng hạn, phỏng đoán …

10 cc.complexity-theory  graph-theory  np-hardness 

Định lý của Mahaney cho chúng ta biết rằng nếu có một -complete thưa thớt được đặt dưới các mức giảm nhiều lần một đa thức, thì . (Xem " Bộ hoàn chỉnh thưa thớt cho NP: Giải pháp phỏng đoán Berman và Hartmanis ")NPNPNPP= NPP=NPP = NP Có hậu …

10 cc.complexity-theory  complexity-classes  reductions  polynomial-time  logspace 

Thuật ngữ đảo ngược chương trình có nhiều sắc thái ý nghĩa, nhưng có lẽ đã bắt đầu với tác phẩm năm 1956 của J. McCarthy The Inversion of Function Defined by Turing Machines trong bối cảnh AI. Cho đến nay, nhiều kết nối giữa đảo ngược chương trình và …

10 reference-request  lambda-calculus  typed-lambda-calculus  reversible-computing 

Hãy xem xét trò chơi 2 người sau: Thiên nhiên chọn ngẫu nhiên một chương trình Mỗi người chơi đóng một số trong [0, vô cùng] để đáp ứng với di chuyển của tự nhiên Lấy số lượng tối thiểu của người chơi và chạy chương trình trong (tối đa) …

10 lo.logic  computability  gt.game-theory 

Hãy xem xét vấn đề sau. Có giá trị chưa biết v 1 , ⋯ , v n ∈ R . Nhiệm vụ là tìm chỉ mục của cái lớn nhất chỉ sử dụng các truy vấn có dạng sau. Một truy vấn được chỉ định bởi một tập hợp …

10 approximation-algorithms  randomized-algorithms  search-problem  random-walks  binary-trees 

Có một thuật toán sắp xếp dựa trên so sánh sử dụng trung bình so sánh l g ( n ! ) + o ( n )lg(n!)+o(n)\mathrm{lg}(n!)+o(n) không? Sự tồn tại của thuật toán so sánh trường hợp xấu nhất l g ( n ! ) + o ( n …

10 cc.complexity-theory  ds.algorithms  sorting 

Động lực : Trong khi phát triển các công cụ để tạo phiên bản dữ liệu, cuối cùng chúng tôi đã xem xét các thuật toán để "tìm" hai bộ số nguyên, bằng cách đưa ra một chuỗi các phép biến đổi lấy một bộ số nguyên khác. Chúng tôi …

10 cc.complexity-theory  ds.algorithms  reference-request  string-matching  edit-distance 

Có một khái niệm về khả năng tính toán trên các tập hợp khác với các số tự nhiên không? Để tranh luận, hãy nói về tập hợp mà phỏng đoán với .NSSSNN\mathbb{N} Thật hấp dẫn khi nói "vâng, chúng là những hàm có dạng trong đó là bất kỳ …

10 computability 

Đặt là một nhóm abelian hữu hạn và để là đa giác trong được xác định là các điểm thỏa mãn các bất đẳng thức sau:P R Γ xΓΓ\GammaPPPRΓRΓ\mathbb{R}^\Gammaxxx ∑g∈Gxg≤|G|xg≥0∀G≤Γ∀g∈Γ∑g∈Gxg≤|G|∀G≤Γxg≥0∀g∈Γ\begin{array}{cl} \sum_{g\in G} x_g \le |G| & \forall G \le \Gamma \\ x_g \ge 0 & \forall g \in \Gamma \end{array} …

10 gr.group-theory  fourier-analysis  convex-geometry 

Tôi đang quan tâm trong việc xác định mức độ phức tạp của vấn đề quyết định sau đây: Cho hai số nguyên và l 2 (mỗi với ít nhất bit m), quyết định xem bit quan trọng nhất của nhân l 1 ⋅ l 2 là 1 (hiển thị …

10 cc.complexity-theory  circuit-complexity 

Chúng ta được cho các cặp đối tượng (giả sử, số). Mỗi đối tượng xuất hiện trong tối đa qqq cặp. Mục tiêu của chúng tôi là phân phối các cặp thành các thùng có kích thước bằng nhau, sao cho mỗi đối tượng xảy ra trong càng ít thùng …

10 combinatorics 

Giả sử là một ngôn ngữ được tham số hóa đối với một số bảng chữ cái . Các -slice của là , tập các trường hợp trong có tham số . Lớp phức tạp chứa các ngôn ngữ được tham số hóa sao cho cho mỗi , có thể …

10 cc.complexity-theory  reference-request  parameterized-complexity 

Tôi đã lập trình được vài năm, nhưng tôi không quen với CS lý thuyết. Gần đây tôi đã cố gắng nghiên cứu ngôn ngữ lập trình và là một phần trong đó, kiểm tra và suy luận. Câu hỏi của tôi là, nếu tôi cố gắng viết một loại …

10 coq  type-inference  proof-assistants