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

Câu hỏi này tương tự như câu hỏi chung hơn cho mô hình lý thuyết đúng của máy tính để thiết kế thuật toán và cấu trúc dữ liệu. Ở đây, tôi hỏi cụ thể về các máy tính hiệu suất cao hiện tại (như những máy tính được liệt …

20 reference-request  soft-question  machine-models 

Hôm nay tại New York và trên toàn thế giới, sinh nhật của Christos Papadimitriou được tổ chức. Đây là một cơ hội tốt để hỏi về mối quan hệ giữa lớp PPAD phức tạp của Christos (và các lớp liên quan khác của anh ấy) và máy tính lượng …

20 cc.complexity-theory  complexity-classes  quantum-computing  cr.crypto-security  nash-equilibrium 

Người ta biết rằng vấn đề tương đương là không thể giải quyết được đối với các ngôn ngữ không có ngữ cảnh chung. Tuy nhiên, tất cả các bằng chứng về thực tế này mà tôi biết dường như liên quan đến một số ngữ pháp không ngữ cảnh …

19 fl.formal-languages  grammars  context-free  decidability  undecidability 

Tôi là một nghiên cứu sinh làm việc trong khoa học máy tính lý thuyết. Tôi đã đọc các tài liệu nghiên cứu của nhiều nhà nghiên cứu và tôi đã thấy nhiều công cụ và toán học họ sử dụng để thiết kế một thuật toán. Ví dụ xem …

19 advice-request 

Pierce (2002) giới thiệu mối quan hệ đánh máy trên trang 92 bằng cách viết: Mối quan hệ gõ cho các biểu thức số học, được viết "t: T", được xác định bởi một tập hợp các quy tắc suy luận gán các loại cho các thuật ngữ và chú …

19 type-theory  notation 

Dưới đây, MSO biểu thị logic thứ tự đơn thứ hai của đồ thị với định lượng đặt đỉnh và đặt cạnh. Đặt là một họ đồ thị khép kín nhỏ. Nó xuất phát từ lý thuyết đồ thị nhỏ của Robertson và Seymour rằng F được đặc trưng bởi …

19 graph-theory  lo.logic  graph-minor  topological-graph-theory 

Đặt là hàm có giá trị nguyên sao cho nằm trong . Nó có theo F ở trong \ #P không? Có lý do để tin rằng điều này không có khả năng luôn luôn giữ? Bất kỳ tài liệu tham khảo tôi nên biết về?2 F # P FFFF2F2F2F#P#P\#PFFF#P#P\#P …

19 cc.complexity-theory  complexity-classes  counting-complexity 

Tôi muốn có một bài nói chuyện toán học trên hệ thống kiểm soát sửa đổi git . Bây giờ nó được sử dụng rộng rãi trong toán học cũng như trong ngành khoa học máy tính. Ví dụ, cộng đồng HoTT (Homotopy Type Theory) sử dụng nó và đây …

19 co.combinatorics  application-of-theory 

Trong bài viết về thuật toán đa thức thời gian chính thức năm 1995 cho phép nhân tử hóa và logarit rời rạc trên máy tính lượng tử , Peter W. Shor đã thảo luận về một cải tiến về phần tìm kiếm thứ tự của thuật toán nhân tố …

19 quantum-computing  nt.number-theory  factoring 

Gần đây, Dana Scott đã đề xuất phép tính lambda ngẫu nhiên, một nỗ lực giới thiệu các yếu tố xác suất vào phép tính lambda (chưa được đánh dấu) dựa trên một ngữ nghĩa được gọi là mô hình đồ thị. Bạn có thể tìm thấy các slide của …

19 lo.logic  pl.programming-languages  lambda-calculus 

Câu hỏi chính / chung Hãy để là một ngôn ngữ. Xác định ngôn ngữ với và cho . Hãy xem xét . Vì vậy, chúng tôi liên tục "nhúng" vào chính nó để thu được .LLLLiLiL_iL0=LL0=LL_0 = LLi={xwy:xy∈Li−1,w∈L}Li={xwy:xy∈Li−1,w∈L}L_i = \{xwy : xy \in L_{i-1}, w \in L\}L = ⋃ …

19 reference-request  fl.formal-languages 

Wikipedia liệt kê bốn vấn đề nằm trong nhưng được phỏng đoán nằm ngoài : Hệ số nguyên; Logarit rời rạc; Mô phỏng hệ thống lượng tử; Tính toán đa thức Jones ở một số gốc nhất định.PB Q PBQPBQPPPP Có bất kỳ vấn đề khác như vậy?

19 cc.complexity-theory  complexity-classes  quantum-computing 

Hiện tại, việc tính toán các số thực trong hầu hết các ngôn ngữ phổ biến vẫn được thực hiện thông qua các phép toán dấu phẩy động. Mặt khác, các lý thuyết như hiệu quả loại hai (TTE) và lý thuyết miền từ lâu đã hứa hẹn tính toán …

19 cc.complexity-theory  computing-over-reals  computable-analysis  domain-theory 

Độ phức tạp được biết đến nhiều nhất để tính toán khoảng cách chỉnh sửa chính xác giữa hai chuỗi có cùng độ dài bằng cách sử dụng không gian làm việc là đường con trong kích thước của đầu vào? Tôi giả sử đầu vào được lưu trữ ở …

19 ds.algorithms  edit-distance  space-time-tradeoff 

USTCONN là vấn đề yêu cầu quyết định xem có đường dẫn từ đỉnh nguồn sss đến đỉnh đích trong đồ thị , trong đó tất cả đều được đưa ra như một phần của đầu vào.GtttGGG Omer Reingold cho thấy USTCONN đang ở L (doi: 10.1145 / 1391289.1391291 ). …

19 cc.complexity-theory  lower-bounds  reductions  space-bounded