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

1

Quyết định xem một khoảng có chứa số nguyên tố hay không

Sự phức tạp của việc quyết định xem một khoảng của các số tự nhiên có chứa một số nguyên tố không? Một biến thể của Sàng của Eratosthenes đưa ra thuật toán , trong đó là độ dài của khoảng và ẩn các yếu tố đa logarit trong điểm …

14 cc.complexity-theory ds.algorithms nt.number-theory comp-number-theory

1

Xác suất mà một mạng sắp xếp ngẫu nhiên hoạt động

Cho đầu vào , chúng tôi xây dựng một mạng sắp xếp ngẫu nhiên với cổng bằng cách lặp lại chọn hai biến với và thêm một cổng so sánh hoán đổi chúng nếu .x 0 , Hoài , x n - 1 m x i , x j i …

14 sorting-network

1

Vấn đề quyết định xem một CNF đơn điệu có ngụ ý một DNF đơn điệu không

Hãy xem xét vấn đề quyết định sau đây Đầu vào : Một CNF đơn điệu và đơn điệu DNF .ΦΦ\PhiΨΨ\Psi Câu hỏi : là tautology không?Φ→ΨΦ→Ψ\Phi \to \Psi Chắc chắn bạn có thể giải quyết vấn đề này trong -time, trong đó là số lượng biến trong và là …

14 exp-time-algorithms boolean-formulas fine-grained

1

Hậu quả của

Một ngôn ngữ nằm trong nếu tồn tại máy Turing logspace quyết định ngôn ngữ với số lượng lời khuyên đa thức.L/polyL/polyL/poly Xem tại đây để biết thêm: https://en.wikipedia.org/wiki/L/poly Câu hỏi Hậu quả của gì?P⊆L/polyP⊆L/polyP \subseteq L/poly

14 cc.complexity-theory circuit-complexity polynomial-time advice-and-nonuniformity logspace

4

Các biểu diễn cơ sở-k của đồng miền của một đa thức - nó có phải là ngữ cảnh không?

Trong chương 4 của khóa học thứ hai của Jeffrey Shallit về lý thuyết tự động , vấn đề sau đây được liệt kê là mở: Đặt là một đa thức với các hệ số hợp lý sao cho cho tất cả . Chứng minh hoặc chứng minh rằng ngôn …

14 fl.formal-languages nt.number-theory grammars

2

Độ phức tạp mạch OR của toán tử tuyến tính dày đặc

Hãy xem xét mô hình mạch đơn điệu đơn giản sau đây: mỗi cổng chỉ là một OR nhị phân. Độ phức tạp của hàm f ( x ) = A xf(x)=Axf(x)=Ax trong đó AAA là ma trận Boolean với 0's? Nó có thể được tính bằng các mạch OR …

14 ds.algorithms circuit-complexity upper-bounds

1

Mạch nhỏ cho vấn đề đánh giá mạch

Đặt là hàm ánh xạ mạch -gate trên n bit và chuỗi n -bit x đến C (x) . Giả sử rằng các mạch được mã hóa dưới dạng một chuỗi các bài tập k: = g (i, j) trong đó i, j, k là các nhãn dây. sCnnxC(x)k:=g(i,j)i,j,kC i …

14 cc.complexity-theory circuit-complexity circuit-families

2

Bằng chứng sử dụng trợ lý trong nghiên cứu lý thuyết phức tạp?

Xem xét các chủ đề được đề cập tại một hội nghị như STOC, có bất kỳ nhà nghiên cứu thuật toán hoặc độ phức tạp nào tích cực sử dụng COQ hoặc Isabelle không? Nếu vậy, làm thế nào họ sử dụng nó trong nghiên cứu của họ? Tôi …

14 cc.complexity-theory approximation-algorithms soft-question proof-assistants

2

Trong sách Hott, hầu hết các trình định dạng loại có thừa không? Và nếu vậy, tại sao?

Trong chương 1 và Phụ lục A của sách Hott , một số họ kiểu nguyên thủy được trình bày (loại vũ trụ, loại chức năng phụ thuộc, loại cặp phụ thuộc, Loại sao chép, Loại trống, Loại đơn vị, loại số tự nhiên và loại nhận dạng) để tạo …

14 type-theory dependent-type homotopy-type-theory

1

Kích thước VC của đa thức trên bán kính nhiệt đới?

Như trong này câu hỏi, tôi đang quan tâm đến các vs / vấn đề cho nhiệt đới và mạch. Câu hỏi này giảm để hiển thị giới hạn trên cho kích thước đa thức của VC đối với các bán dẫn nhiệt đới (xem Định lý 2 dưới đây). …

14 co.combinatorics circuit-complexity algebraic-complexity arithmetic-circuits vc-dimension

2

Có các ngôn ngữ NP- hoặc P-hoàn chỉnh đối xứng cao không?

Có tồn tại , một ngôn ngữ hoàn chỉnh NP hoặc P có một số nhóm đối xứng (hoặc groupoid , nhưng sau đó các câu hỏi thuật toán trở nên cởi mở hơn) hoạt động (trong thời gian đa thức) trên các tập sao cho có ít quỹ đạo, …

14 np algebra gr.group-theory complexity symmetry

2

Ngữ nghĩa chính thức của OCaml tại Coq

Các ngữ nghĩa của một tập hợp con lớn của OCaml, được gọi là OCamllight , đã được chính thức hóa trong HOL bởi Owens vài năm trước. Gần đây, một ngữ nghĩa lý thuyết loại của một tập hợp con nhỏ hơn của OCaml đã được triển khai trong …

14 coq program-verification ocaml

2

Thêm khớp với đường dẫn Hamilton để giảm khoảng cách tối đa giữa các cặp đỉnh đã cho

Sự phức tạp của vấn đề sau đây là gì? Đầu vào : K nHHH một đường dẫn Hamilton trongKnKnK_n R⊆[n]2R⊆[n]2R \subseteq [n]^2 một tập hợp con của các cặp đỉnh một số nguyên dươngkkk Truy vấn : có phù hợp sao cho mọi , ? (trong đó )( v …

14 cc.complexity-theory graph-theory graph-algorithms np-hardness np-complete

1

Các vấn đề NP-Complete thừa nhận một thuật toán hiệu quả theo lời hứa về một giải pháp duy nhất

Gần đây tôi đã đọc một bài báo rất hay của Valiant và Vazirani cho thấy rằng nếu , thì không thể có một thuật toán hiệu quả để giải SAT ngay cả theo lời hứa rằng nó không thỏa mãn hoặc có một giải pháp duy nhất . Do …

14 np-hardness np-complete unique-solution promise-problems

1

Số lượng các phép toán số học tối thiểu để tính toán định thức

Đã có được bất kỳ công việc vào việc tìm kiếm số lượng tối thiểu của phép tính số học tiểu học cần thiết để tính toán các yếu tố quyết định của một nnn bởi nnn ma trận cho nhỏ và cố định nnn ? Ví dụ: n=5n=5n=5 .

14 cc.complexity-theory linear-algebra determinant