タグ付けされた質問 「polynomial-time」

アルゴリズム、アルゴリズム分析、および多項式実行時間を目的とした複雑さ理論の質問に使用します。時間の複雑さ。このような質問は、多くの場合、参照要求、またはランタイム分析や時間の複雑さに関するものです。

3
なぜほとんど(またはすべて)の多項式時間アルゴリズムが実用的ですか?
私は最近、論文の興味深いコメントを読んで、数学がいかに奇妙に役立つかを知りました。これは、多項式時間が実際に効率的である必要がないことを述べています(たとえば、は多項式時間ですが、効率的ではありません)。しかし、多項式時間のすべてのアルゴリズムも、多くてもなどのように、現実的であるとは言えませんか?私の質問は次のとおりだと思います:O(n999999999999999999999)O(n999999999999999999999)O(n^{999999999999999999999})O(n4)O(n4)O(n^4) これは意外ですか? 多項式時間であるが実用的ではないアルゴリズムの例はありますか?

2
Pにある充足可能性の問題を解決するための一般的な方法
シェーファーの二分法の定理から、Pには少数のタイプの充足可能性の問題のみがあり、その他の問題はすべてNP完全であることを知っています。ただし、私が知っているすべてのアルゴリズムは、そのタイプの問題に固有の特定の手法を使用します。たとえば、Hornsatの単位伝播、XORSATの線形代数手法mod 2、2-satのさまざまな他の手法などです。Pのこれらすべての問題に対して機能する1つの一般的なポリタイムアルゴリズムはありますか?ありがとう。


1
与えられたnセットのうち少なくともkの小さなスーパーセットを見つける
セットが与えられ、それらの和集合のサイズがます。与えられたセットのうち少なくともを含む小さなセットを作成します。nnnmmmkkknnn がある多項式よりも小さいと仮定しましょう。つまり、です。この場合、最適化問題のための効率的な(多項式)アルゴリズムがあります。mmmnnnm&lt;P(n)m&lt;P(n)m < P(n) 与えられたセットのうち少なくともを含む最小のセットを見つけます。kkknnn

2
変数の数に指数関数的に多くの節がある場合、SATはPにありますか?
少なくとも句を含むように長いCNFを定義します。ここで、はその変数の数です。ましょうは、満足できる長いCNF式です。2ん22ん22^\frac{n}{2}んんnLong-SAT = { ϕ :ϕ長期土={φ:φ\text{Long-SAT}=\{\phi: \phi}}\} なぜなのか知りたいのですが。からへの多項式時間の短縮ができるので、最初はだと思いました。ロング-SAT ∈ P長期土∈P\text{Long-SAT} \in PNPCNPC\text{NPC}土土\text{SAT}長期土長期土\text{Long-SAT} しかし、多分私はを削減できますか?それ、どうやったら出来るの?2-土2-土\text{2-SAT}長期土長期土\text{Long-SAT}
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.