Câu hỏi được gắn thẻ «reference-request»

Là định lý tự động chứng minh và tìm kiếm bằng chứng dễ dàng hơn trong logic tuyến tính cấu trúc tuyến tính và đề xuất khác mà không co lại? Tôi có thể đọc thêm về định lý tự động chứng minh trong các logic này và vai trò …

18 reference-request  lo.logic  survey  automated-theorem-proving  linear-logic 

Một cách tiếp cận gần đây để tạo ra một loại tiền tệ trực tuyến phi tập trung, được gọi là Bitcoin , đã tạo ra một số lợi ích. Mục tiêu là có một cách để chuyển tiền mà không cần cơ quan trung ương và không có chi …

18 reference-request  cr.crypto-security 

Làm việc trực tiếp với độ phức tạp thời gian hoặc giới hạn mạch thấp hơn là đáng sợ. Do đó, chúng tôi phát triển các công cụ như độ phức tạp truy vấn (hoặc độ phức tạp của cây quyết định) để xử lý các giới hạn thấp hơn. …

18 cc.complexity-theory  reference-request  time-complexity  query-complexity 

Có đúng là có các vấn đề trong hệ thống phân cấp đa thức có thể giải quyết được trong thời gian (bởi một máy Turing xen kẽ ở một mức độ nào đó của hệ thống phân cấp đa thức) không thể giải quyết được trong trong bất kỳ …

18 cc.complexity-theory  reference-request  polynomial-hierarchy  time-hierarchy 

Phương pháp phái sinh của Brzozowski là một kỹ thuật rất đẹp để xây dựng tính tự động xác định từ các biểu thức chính quy theo cách đại số độc đáo. Tôi đã tìm ra một số khái quát dễ thương của kỹ thuật này để xử lý một …

18 reference-request  fl.formal-languages  parsing 

2 câu hỏi cho các phép đo địa lý hoặc đại số tính toán: Tôi mới bắt đầu đi sâu vào hình học tính toán và tôi yêu nó =) Tôi đang cố gắng đọc bài báo nổi tiếng của Guibas và Stolfi có tên là "Nguyên thủy cho việc …

18 reference-request  cg.comp-geom  algebra 

Vấn đề: Chúng tôi được cung cấp một bộ gậy có chiều dài nguyên. Tổng số độ dài của chúng là n (n + 1) / 2. Chúng ta có thể phá vỡ chúng để lấy các que có kích thước trong thời gian đa thức không? 1 , 2 …

18 reference-request  complexity-classes  puzzles 

Tôi quan tâm đến vấn đề sau: Cho một tập hợp X và các tập con X_1, ..., X_n của X, tìm màu của các phần tử của X với k màu sao cho các phần tử trong mỗi X_i đều có màu khác nhau. Cụ thể hơn, tôi đang …

18 cc.complexity-theory  reference-request  np-hardness  hypergraphs 

Tất nhiên, vấn đề thỏa mãn là một vấn đề cơ bản trong lý thuyết CS. Tôi đã chơi với một phiên bản của vấn đề với vô số biến. \newcommand{\sat}{\mathrm{sat}} \newcommand{\unsat}{\mathrm{unsat}} Thiết lập cơ bản. Đặt là tập hợp các biến không trống và có thể là vô hạn …

18 reference-request  lo.logic  sat  topology  lattice 

Trong cuốn sách của Sakarovitch về lý thuyết automata, nó được viết trong phần giới thiệu về phần hợp lý trong nhóm tự do mà tài liệu trình bày trong đó đưa ra "nền tảng của một lý thuyết toán học thực sự về ngôn ngữ không ngữ cảnh". Tuy …

17 context-free  automata-theory  reference-request 

Được biết, kích thước tối thiểu của -circuits tính toán hàm chẵn lẻ chính xác bằng 3 ( n - 1 ) . Bằng chứng ràng buộc thấp hơn được dựa trên phương pháp loại bỏ cổng.U2U2U_23(n−1)3(n−1)3(n-1) Gần đây, tôi nhận thấy rằng phương pháp loại bỏ cổng cũng hoạt …

17 cc.complexity-theory  reference-request  circuit-complexity 

Là lớp đồ thị sau được biết đến trong tài liệu? Lớp đồ thị được tham số hóa bởi các số nguyên dương và và chứa mỗi đồ thị sao cho với mỗi đỉnh , biểu đồ con của tạo ra trên tất cả các đỉnh ở khoảng cách từ …

17 reference-request  graph-theory  treewidth 

Tôi đang tìm kiếm các ví dụ tự nhiên về các thuật toán hiệu quả (tức là trong thời gian đa thức) st tính đúng đắn và hiệu quả của chúng có thể được chứng minh một cách xây dựng (ví dụ trong PRAPRAPRA hoặc HAHAHA ), nhưng không có …

17 cc.complexity-theory  reference-request  lo.logic  proof-complexity  constructive-mathematics 

Khi cố gắng thuyết phục các nhà kinh tế về sự liên quan của lý thuyết phức tạp trong in ấn, liệu có một tài liệu tham khảo tiêu chuẩn để trích dẫn? Tôi quen thuộc với bài đăng trên blog của Noam Nisan , khảo sát của Tim Roughgarden …

17 cc.complexity-theory  reference-request  application-of-theory  ho.history-overview  ce.computational-finance 

Hầu hết các trang web tôi đã truy cập đọc về chủ đề thú vị này nêu một số điều dọc theo dòng "Sức mạnh duy nhất của hai (ngoài 2 chính nó) xảy ra trong chuỗi này là những sức mạnh có số mũ nguyên tố" (MathWorld) hoặc là …

17 reference-request  primes