2-NEXPTIME-hoàn thành vấn đề

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:

Liệu PCP là một giải pháp có kích thước nhỏ hơn $2^{2^n}$
và bài toán cho một hình vuông có kích thước $2^{2^n}$

Tuy nhiên tôi không thể mã hóa những vấn đề này trong tôi. Vì vậy, tôi muốn biết các vấn đề hoàn chỉnh 2-NEXPTIME khác, đầu tiên là có trực giác hơn về lớp này và lần thứ hai trong trường hợp tốt hơn chứng minh ràng buộc thấp hơn.

Tôi không cung cấp ở đây vấn đề về mục đích để có cái nhìn tổng quan về 2-NEXPTIME.

Cảm ơn

complexity-classes time-complexity complexity

— đánh lừa
nguồn

Chứa các chương trình Datalog đệ quy trong các hiệp hội truy vấn kết hợp (Chaudhuri / Vardi 1997). Cũng cần có các vấn đề logic hoặc cơ sở dữ liệu khác đã hoàn thành 2NEXP, nhưng không có vấn đề cụ thể nào khác xuất hiện.

— András Salamon

@ AndrásSalamon Cảm ơn bạn đã trả lời. Tôi không tìm thấy tài liệu tham khảo mà bạn chỉ. Tất cả những gì tôi tìm thấy là một bài báo trước đó từ các tác giả nói rằng vấn đề này đã hoàn thành 2-EXP (chứ không phải 2-NEXP). Tui bỏ lỡ điều gì vậy.?

— đánh lừa

bạn nói đúng, tôi đã đánh giá sai kết quả: vấn đề đã hoàn thành 2EXP.

— András Salamon

Tôi sẽ luôn viết cái này là N2ExpTime chứ không phải 2NExpTime, vì "2" và "Exp" đều đề cập đến giá trị của thời gian trên bị ràng buộc, trong khi "N" đề cập đến mô hình máy. Có vẻ không tự nhiên khi đặt mô hình máy ở giữa.

— mak

Ai đó có thể cho tôi tham khảo về tính đầy đủ của 2-NEXPTIME của PCP với giải pháp có độ dài dưới 2 ^ 2 ^ n không?

— Corto

Tất nhiên, vấn đề N2Exp rõ ràng là vấn đề chấp nhận từ đối với các máy Turing không giới hạn thời gian 2 ngoại tuyến. Sử dụng công cụ này có thể khó / dễ như ốp lát 2 bung, vì về cơ bản, việc mô phỏng tính toán máy Turing như vậy cũng đòi hỏi bạn phải xác định lưới lớn gấp đôi theo cấp số nhân (2 ngoại tuyến nhiều cấu hình của băng nhớ có độ dài 2 ngoại tuyến) một cách không xác định Trong thực tế, việc hiển thị các giới hạn thấp hơn của N2Exp thường tập trung vào việc xây dựng một lưới như vậy (và đảm bảo rằng nó không phải là một cây hoặc một cái gì đó khác có cấu trúc không đủ). "N" (nondeterminism) thường là một phần cố hữu của vấn đề và không quá khó để có được một khi bạn có một lưới đủ lớn (nếu không, lúc đầu, người ta có thể bắn cho 2Ex).

$\mathcal{SROIQ}$ $\mathcal{SROIQ}$ $\mathcal{SROIQ}$

Việc ốp lát cũng cho thấy một mô hình chung khác: N2Exp thực sự giống như NP, bạn chỉ cần tìm cách mã hóa các trường hợp vấn đề lớn hơn rất hiệu quả. Về nguyên tắc, bạn có thể cố gắng mở rộng bất kỳ vấn đề NP nào. Lý do tại sao ốp lát là tốt là bạn chỉ cần chia tỷ lệ kích thước của lưới trong trường hợp này (khá đồng đều).

Mặt khác, nếu vấn đề của bạn chỉ có thể hoàn thành 2ExpTime, thì bạn có thể thoát khỏi mô phỏng máy Turing xen kẽ theo không gian theo cấp số nhân . Nếu bạn gặp khó khăn khi xây dựng lưới 2Ex, nhưng bạn có thể đạt được kích thước theo cấp số nhân, thì điều này có thể đáng để thử.

— mak
nguồn