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

Giả sử rằng đầu vào của chúng tôi là nhị phân và chúng tôi phải xuất , trong đó là một số nguyên không đổi. Đây chỉ là một sự thay đổi nếu là lũy thừa của hai, nhưng còn các số khác thì sao? Chúng ta có thể làm …

11 cc.complexity-theory  circuit-complexity  ac0 

Xem xét đầy đủ thông tin trò chơi kết hợp hai người chơi kết thúc sau một số lần di chuyển đa thức, và theo một cách khác, người chơi chọn từ một số lượng hữu hạn các bước di chuyển được phép. Câu hỏi thông thường là, thật khó …

11 cc.complexity-theory  np  board-games  pspace 

Tôi muốn biết (liên quan đến câu hỏi này khác ) nếu giới hạn thấp hơn được biết đến với các vấn đề thử nghiệm sau đây: một là được tiếp cận truy vấn đến một chuỗi các số không âm và ε ∈ ( 0 , 1 ) , …

11 reference-request  randomized-algorithms  property-testing 

Hãy xem xét vấn đề sau: Cho hai chuỗi x, y, quyết định xem có tồn tại một chuỗi đồng cấu chuỗi f sao cho f (x) = y. Nó rất dễ dàng để chứng minh rằng vấn đề này là trong . Có những điều khác chúng ta có …

11 cc.complexity-theory  reference-request  fl.formal-languages 

Đặt là một số lĩnh vực. Như thường lệ, với một chúng tôi xác định là độ phức tạp đường thẳng của so với . Gọi là tập hợp các đơn thức của , cụ thể là các đơn thức xuất hiện trong với hệ số khác không.f ∈ k …

11 cc.complexity-theory  algebraic-complexity  arithmetic-circuits 

Như chúng ta biết, định nghĩa về độ phức tạp tính toán của thuật toán hầu như không có gì phải bàn cãi, nhưng định nghĩa về độ phức tạp tính toán của các số thực hoặc các mô hình tính toán trên các số thực không phải là trường …

11 cc.complexity-theory  reference-request  computability  computing-over-reals  computable-analysis 

Mối quan hệ giữa tính toán lambda đơn giản và logic bậc cao là gì? Theo Curry-Howard, dường như chỉ cần gõ tính toán lambda tương ứng với logic mệnh đề. Làm thế nào nó liên quan đến logic thứ tự cao hơn? Theo hướng dẫn này của Geuvers: http://typessummerschool07.cs.unibo.it/cifts/geuvers-1.pdf …

11 lo.logic  typed-lambda-calculus  curry-howard 

Cây phân vùng đã bao giờ được thực hiện? Ở đây, tôi đang nói về các cây phân vùng từ hình học tính toán. Các phiên bản tối ưu sớm nhất (gần-) là do Matousek và các phiên bản khác, và gần đây nhất là Timothy Chan: https://cs.uwaterloo.ca/~tmchan/optpt_2_10.pdf Nghe có …

11 ds.data-structures  implementation  computational-geometry 

Có một công trình rất đẹp bởi Conway của những con số siêu thực. Chúng là "số" chứa cả số thực và số thứ tự, được sắp xếp hoàn toàn và có tất cả các thuộc tính của một trường (ngoại trừ chúng không tạo thành một tập hợp mà …

11 reference-request  gt.game-theory  implementation  board-games  combinatorial-game-theory 

Điều này làm tôi bối rối. Một trường hợp dễ dàng để đếm là khi vấn đề quyết định nằm trong và không có giải pháp.PPP Một bài giảng cho thấy rằng vấn đề đếm số lượng khớp hoàn hảo trong biểu đồ lưỡng cực (tương đương, đếm số lượng …

11 cc.complexity-theory  graph-theory 

Hãy xem xét một biểu đồ (vấn đề có ý nghĩa đối với cả đồ thị có hướng và không có hướng). Gọi ma trận khoảng cách của : là khoảng cách đường đi ngắn nhất từ ​​đỉnh đến đỉnh trong cho một hàm tổng hợp cố định nhất định …

11 ds.algorithms  reference-request  graph-algorithms  shortest-path 

Tôi đang sở hữu một cuốn sách, lấy cảm hứng từ nguyên tắc toán học (PM) của Russell và chủ nghĩa thực chứng logic, cố gắng chính thức hóa một lĩnh vực cụ thể bằng cách xác định các tiên đề và suy luận các định lý từ chúng. Nói …

11 lo.logic  type-theory  formal-modeling  automated-theorem-proving  bioinformatics 

Bằng chứng tiêu chuẩn cho thấy BQPSPACE có trong PSPACE dựa trên phân tích loại trò chơi Savitch trên các tích hợp đường dẫn. Tuy nhiên, nó giả định thời gian chạy cho BQPSPACE dài nhất theo cấp số nhân. Điều này đúng với PSPACE, nhưng đối với các hệ …

11 quantum-computing 

Crossposted từ MO . Đặt là một lớp biểu đồ được xác định bởi một số hữu hạn các đồ thị con bị cấm, tất cả đều là chu kỳ (chứa ít nhất một chu kỳ).CCC Có vấn đề đồ thị NP-hard nào có thể được giải quyết trong thời …

11 cc.complexity-theory  graph-theory  graph-algorithms  co.combinatorics 

Tôi đang cố gắng để hiểu những gì liên quan đến nghiên cứu khoa học máy tính lý thuyết. Các nhà khoa học máy tính lý thuyết làm gì? Tôi biết một thời gian đáng kể được dành cho việc giảng dạy, giám sát sinh viên tốt nghiệp, xin tài …

11 soft-question  research-practice