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

Có dự án nào đang diễn ra để chính thức xác minh các định lý và bằng chứng về lý thuyết phức tạp bằng cách sử dụng một trợ lý chứng minh như Coq không? Có bất kỳ ranh giới để làm điều này?

18 cc.complexity-theory  complexity  proof-assistants 

Hay nói cách khác, chúng ta có điều đó cho mọi ngôn ngữ và B , A ≤ p B hay B ≤ p A không?MộtMộtABBBMột ≤pBMột≤pBA \leq_p BB ≤pMộtB≤pMộtB \leq_p A

15 reductions  complexity 

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 

Trong trò chơi cuội trên một dòng có các nút N + 1 có nhãn 0 đến N. Trò chơi bắt đầu bằng một viên sỏi trên nút 0. Nếu có một viên sỏi trên nút i, bạn có thể thêm hoặc xóa một viên sỏi khỏi nút i + …

13 complexity  reversible-computing 

Được biết, nếu sau đó hệ thống cấp bậc đa thức sụp đổ để Σ P 2 và M Một = Một M .NP⊆P/PolyNP⊆P/PolyNP\subseteq P/PolyΣP2Σ2P\Sigma_2^{P}MA=AMMA=AMMA = AM Sụp đổ mạnh nhất được biết đến xảy ra nếu là gì ?NEXP⊆P/PolyNEXP⊆P/PolyNEXP\subseteq P/Poly

13 circuit-complexity  complexity 

Trong cuốn sách Tính phức tạp tính toán của mình , Papadimitriou định nghĩa FNP như sau: Giả sử rằng LLL là một ngôn ngữ trong NP . Bởi Dự 9.1, có một decidable thời gian đa thức, đa thức cân đối RLRLR_L như vậy mà cho tất cả các …

13 complexity 

Trong bài viết của Stephen Cook về vấn đề P vs NP, [1] ông nói như sau [2]: Luận án khả thi: Một vấn đề tự nhiên có thuật toán khả thi nếu nó có thuật toán thời gian đa thức. Câu hỏi của tôi là, chính xác thì anh …

11 time-complexity  p-vs-np  complexity  fixed-parameter-tractable 

Có phải thực tế là một vấn đề là thời gian EXP hoàn thành ngụ ý rằng A không nằm trong D T I M E ( 2 o ( n ) ) ?MộtAAMộtAAD TTôiME( 2o ( n ))DTIME(2o(n))DTIME(2^{o(n)}) Tôi biết rằng theo định lý phân cấp thời gian, không …

10 exp-time-algorithms  complexity 

CÂU HỎI NGẮN HẠN: MAJ-3CNF có phải là vấn đề hoàn chỉnh PP theo nhiều mức giảm không? PHIÊN BẢN DÀI HẠN: Người ta biết rằng MAJSAT (quyết định xem phần lớn các bài tập của câu mệnh đề có thỏa mãn câu không) có hoàn thành PP theo nhiều …

10 counting-complexity  complexity  probabilistic-complexity 

Đưa ra các trình tạo mạnh cho một nhóm hoạt động trên các bit có độ dài và một phần tử , việc tính toán phần tử tối thiểu của , khó đến mức nào quỹ đạo của trong ?n s ∈ { 0 , 1 } n G . …

9 permutations  gr.group-theory  complexity 

Chúng tôi có một vấn đề và chúng tôi đã tìm thấy một thuật toán có vẻ là 2 lần. Tôi muốn tìm các vấn đề 2-nexptime-hoàn thành đã biết để tìm giới hạn thấp hơn. Tôi tìm thấy trong văn học chủ yếu là hai vấn đề như vậy: …

9 complexity-classes  time-complexity  complexity 

Người ta không biết liệu NEXP có trong P / poly hay không. Thật vậy, việc chứng minh rằng NEXP không có trong P / poly sẽ có một số ứng dụng trong việc khử cộng đồng. Lớp C thống nhất nhỏ nhất mà người ta có thể chứng minh …

9 complexity 

Xem xét một vấn đề tối ưu hóa lồi trong mẫu f0( x1, Lọ , xn)fTôi( x1, Lọ , xn)→ phút≤ 0,i = 1 , góc , mf0(x1,Giáo dục,xn)→tối thiểufTôi(x1,Giáo dục,xn)≤0,Tôi= =1,Giáo dục,m\begin{align} f_0(x_1, \ldots, x_n) &\to \min \\ f_i(x_1, \ldots, x_n) & \leq 0, \quad i = 1, \ldots, …

8 convex-optimization  complexity