タグ付けされた質問 「np-intermediate」

1
はいインスタンスの多項式数を持つNP完全問題?
私は無限に多くの入力はサイズごとNP完全問題のために、という印象持っている、サイズのすべての可能な入力オーバーイエス・インスタンスの数がであり、(少なくとも)が指数関数的に。nnnnnnnnn これは本当ですか?それは証明できますか(おそらくという仮定の下でのみ)?または、おそらく人工的に、すべての(十分な大きさの)について、yesインスタンスの数が最大で多項式である問題を見つけることができますか?P≠ NPP≠NPP\neq NPnnnnnn 私の推論は基本的に、3-SATのyes-instanceが与えられた場合、各句のリテラルを識別し、それをtrueにし、満足できることを変更せずに、句の別の変数をさらに別の変数に置き換えることができるということです。各句でこれを行うことができるため、yesインスタンスの指数関数的な数につながります。ハミルトニアンパスなど、他の多くの問題についても同じことが言えます。パス上にないエッジを自由に変更できます。次に、何らかの方法で解決策を保持する必要がある場合に還元性が関与するため、すべてのNP完全問題に対して保持しなければならないという、ひどく推論します。 また、グラフ同型の多分NP中間問題(マッピングを知っていれば、両方のグラフに同じ変更を自由に適用できる)にも当てはまるようです。整数分解にも当てはまるのだろうか。

1
NP完全セットは、少なくとも1つがNPハードである場合にのみ、他の2つのセットから形成されますか?
この質問は、NP完全集合の集合演算から形成された集合に関する以前の質問とは多少逆になります。 2つの決定可能な集合 とL 2の和集合、交差、またはデカルト積から得られる集合がNP完全である場合、L 1、L 2の少なくとも1つは必然的にNP困難ですか?Pがこれらの集合演算の下で閉じているため、両方をPにすることはできない(P!= NPと仮定)。「決定可能」と「NPハード」の条件が必要であることも知っています。NP 以外の任意のNPコンプリートセットLと別のセットB(NPハードまたは単に決定不可能か)を考慮すると、2つの新しい交差がNP完全なNPにないNPハードセット。例:L 1:= 01L1L1L_1L2L2L_2L1、L2L1,L2L_1, L_2LLLBBB、及び L 2:= 01 L ∪ 00 B。しかし、その後の進め方がわかりません。 L1:= 01 L ∪ 11 BL1:=01L∪11BL_1:= 01L \cup 11BL2:= 01 L ∪ 00 BL2:=01L∪00BL_2:= 01L \cup 00B 私たちはNP完全セット取ることができますので、組合の場合は真ではないかもしれないことを考えているセット取得するためにラドナーの定理で建設を行うB ∈のサブセットであるNPI Aを。次いで、B ∪ (A ∖ B )= Aは、元のNP-完全なセットです。ただし、A ∖ BがまだNPIまたはNPハードであるかどうかはわかりません。交差点とデカルト積の場合、どこから始めればよいかもわかりません。あAAB ∈B∈B \inあAAB ∪ (A …
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.