Là quy mô thành viên chứng kiến cho mọi ngôn ngữ NP đã được biết đến?

Câu hỏi xảy ra với tôi khi tôi nhận được câu trả lời của Dana Moshkovitz cho một chủ đề khác .

Đặt là Ngôn ngữ NP và đặt là quan hệ NP tương ứng . Chúng ta biết rằng tồn tại một số đa thức sao cho: $L$ $R_L$ $p$

$\forall x \in L, \\, \exists w \in \\{0,1\\}^{p(|x|)} \quad (x,w) \in R_L$

The above statement only requires the existence of such $p$ , but it does not force it to be explicitly determined. In contrast, for every NP language I know, $p$ is already known:

For SAT, the size of witness is equal to the number of atoms appearing in the formula.
For Hamiltonicity, the size of witness is $O(|V|)$ , where $V$ is the vertex set.
For Graph 3-Coloring, the size of witness is $O(|V|)$ , where $V$ is the vertex set.

Does there exist an NP language (even an artificial one), for which we know there exist some polynomial $p$ bounding the size of witness, yet we cannot explicitly determine $p$ ?

cc.complexity-theory np

— M.S. Dousti
nguồn

For any given language in NP, there are many NP relations that give rise to it. Are you asking about languages

L

$L$ where the minimal polynomial

p

$p$ is unknown (that is, where we can try to minimize the polynomial by looking at different relations giving rise to the same

L

$L$ ), or about relations where the corresponding polynomial

p

$p$ is unknown (but we know one exists)?

— Joshua Grochow

@Joshua: I might be misunderstanding your comment, but if we know the minimal

p

$p$ over all relations for some NP-complete problem and if it is non-zero, doesn't that mean

P \neq N P

$P\neq NP$ ?

— Cong Han

@Cong: You're right. I guess I meant the minimal p we know of, say, modulo standard assumptions/current state of the art. For example, I believe Ryan Williams's STOC 2010 paper shows that if there is a relation for SAT with witness size

o (n)

$o(n)$ , then

N E X P ⊈ P / p o l y

$NEXP \not\subseteq P/poly$ , so showing such a thing is beyond current understanding.

— Joshua Grochow

@Joshua: Right, of course! Got it thanks.

— Cong Han

If there's a relation for Circuit SAT with witness size

k - ω (\log n)

$k-\omega(\log n)$ , where

k

$k$ is the number of inputs to the circuit and

n

$n$ is the size of the circuit, then yes,

N E X P ⊈ P / p o l y

$NEXP \not\subseteq P/poly$ .

— Ryan Williams

If you don't mind artificial languages, we can construct such problems using pretty much any number k whose value is unknown to mathematicians. For example, we don't know the value of R(5,5) (the fifth Ramsey number), or the size of the largest excluded minor of the family of knotless graphs (this number is finite due to the Robertson-Seymour theorem), or the value of BB(10), where BB() stands for the Busy Beaver function. Let k equal any of these numbers. We know that k is finite, but we don't know the value of k.

Now construct some problem in NP where the witness is of size $O(n^k)$ . Off the top of my head I can't think of a nice way of doing this, but here's one way. Let the input be a succinct description of a graph. Since the description size is n, the graph is on exponentially many vertices. (For example, maybe the input is a circuit that accepts two inputs x and y and tells you if (x,y) is an edge in the graph.) The question is to determine if the graph contains a path of length $n^k$ . This problem is in NP because the prover can send the list of vertices on the path in order, which the verifier can check. The size of the witness is $n^k$ .

— Robin Kothari
nguồn

Là quy mô thành viên chứng kiến ​​cho mọi ngôn ngữ NP đã được biết đến?

Là quy mô thành viên chứng kiến cho mọi ngôn ngữ NP đã được biết đến?