タグ付けされた質問 「big-list」

答えがアイテム(本、定理、ソフトウェアなど)の大きなリストである質問

5
EXPSPACEの完全な問題
私は現在、EXPSPACEの完全な問題を見つけようとしています(主に削減のインスピレーションを見つけるためです)。 これまでのところ、私はこれらを見つけましたが、リストを拡大するのに苦労しています: べき乗を伴う正規表現の普遍性(またはその他のプロパティ)。 ベクトル加算システムに関連する問題 観察できないゲーム(たとえば、このブログを参照) FO-LTLの一部、1次線形時相論理の決定可能なフラグメントの計算上の複雑さについて EXPSPACEの完全性が自然に現れるとき、他のコンテキストを知っていますか?


1
承認されたFOCS / STOC論文の重大な間違い[終了]
現在のところ、この質問はQ&A形式には適していません。回答は、事実、参考文献、または専門知識によってサポートされると予想されますが、この質問は、議論、議論、世論調査、または広範な議論を求める可能性があります。この質問を改善し、おそらく再開できると思われる場合は、ヘルプセンターをご覧ください。 8年前に閉鎖されました。 過去にそのような機会に遭遇しましたか?まあ、すべての可能性がありますが、この発生がどれほど現実的であるかを知りたいと思います。もちろん、小さな間違いではなく、論文のターゲットを変更する重大な間違いについて言及しています。ありがとう


9
本からの削減。
これは、「本からのアルゴリズム」に沿っています。リダクションはアルゴリズムでもありますが、本からのアルゴリズムに関する質問への応答のリダクションを考えることは疑わしいと思いました。したがって、別のクエリです! あらゆる種類の削減は大歓迎です。 まず、頂点のカバーから星のマルチカットへの本当に簡単な削減から始めます。ソースの問題が特定されると、その減少はほとんど示唆されます(その前に、問題が星では難しいと信じることは難しいでしょう)。この削減には、リーフを持つスターの構築、およびグラフのすべてのエッジとのペアの端末の関連付けが含まれ、それが機能することは「見やすい」です。参照が見つかったら、参照へのリンクでこれを更新します。nnn 本の文脈を逃している人は本からアルゴリズムに関する質問を見たがっているかもしれません。 更新:私は、この本からの縮小とみなされるものについて完全に明確ではなかったことを認識しています。私はこの問題に少し注意が必要だと思うので、他のスレッドへの参照をすり抜けて、故意に問題をかわすことを告白します:) それで、私が念頭に置いていたものを説明させてください、そして、私はそれが言うまでもなく行くと思います-この点でYMMV。私は本からの証拠の本来の意図に直接類似するつもりです。私は非常に賢い削減を見てきましたが、その一連の思考がどのように誰に起こったのかについて、私はギャップを残しています。このような削減によって明確なa敬の念が残りますが、これらはこの文脈で収集しようとしている例ではありません。 私が探しているのは、把握しやすいが思い付かないという理由で、難易度が低く説明されている削減であり、おそらく多少驚くべきことです。問題の削減にはカバーする講義が必要だと推定する場合、法案に合わない可能性が高いですが、高レベルのアイデアがエレガントで、詳細に悪魔がいる例外があるかもしれないと確信しています(記録、私は私が何かを考えることができるかどうかわからない)。 私が与えた例は、意図的に単純であり、できれば完全にではないにしても、これらの特性をある程度説明することを望んでいます。マルチカットについて初めて聞いたのは教室で、インストラクターは、一般にNPが難しいだけでなく、木に制限されていてもNPが難しいと言い始めました... { 高さの劇的な一時停止} 一つ。振り返ってみると明らかですが、すぐに証明できなかったことを思い出します。 私は考え振り返ってみると明らかに密接に私が探していますについて説明します。これが説明の複雑さに関係しているかどうかはわかりません-おそらくはっきりしない何かがエレガントと分類される場合があります-遠慮なくあなたの例を持ち出してください(例外?)が、正当化を本当に感謝します。ある時点の後、これは好みの問題であることを考えると、あなたが私がめちゃくちゃ複雑で完全に美しいと見ているものを見つけることを確かに気軽にすべきです。さまざまな例を見るのを楽しみにしています!

2
コンテキストフリーであると証明できない言語
「おそらくコンテキストフリーではない」言語を探していますが、既知の標準的なテクニックを使用して(反)証明することはできません。 このテーマに関する最近の調査や、最近の会議の未解決問題セクションはありますか? おそらくCFであることが知られていない言語はあまりないので、もしあなたがそれを知っていれば、それを回答として投稿することもできます。 私が見つけた例は次のとおりです。 原始語 のよく知られている言語(それに関する素晴らしい最近の本があります:文脈自由言語と原始語)Q = { w ∣ w ≠ u私(| u | > 1 )}Q={w∣w≠ui(|u|>1)}Q = \{ w \mid w \neq u^i (|u| > 1) \} 多項式の共同ドメインの基本-kの表現(質問「を参照してください多項式の共同ドメインの基本-Kの表現を-それは文脈自由である?」多分domotorpによって解決されたcstheory、上、ご覧彼プレプリント) 注:Aryehの答えで示したように、いくつかのセットの(非)有限性または(非)空性に関する未知の推測に言語を「リンク」すると、そのような言語のクラス全体を構築できます(例 は、2つの素数の和として表現できません)。このような例にはあまり興味がありません。LG O のL Db a c h= { 12 n∣ 2 nLGoldbach={12n∣2nL_{Goldbach} = \{ 1^{2n} \mid 2n}}\}


3
ランダム化またはP /ポリ削減でNP完全な問題。
で、この質問は、我々は(これは数論で証明されていない仮定が真であるにもよるが)NP完全の下には、決定論的削減の下で削減をランダム化しますが、可能性はない自然な問題を特定したように見えます。そのような問題は他に知られていますか?P /ポリ削減のもとでNP完全であるが、P削減のもとでは知られていない自然な問題はありますか?

6
ネットワーク/ソーシャルネットワーク分析の視覚化ツール?
Jung(http://jung.sourceforge.net/)を使用してページランクを視覚化していましたが、100ノードを超えてスケ​​ーリングするのは少し遅く、困難でした。他の人々がネットワーク/ソーシャルネットワークの分析と視覚化に使用する他のツールは何かと思っていました。

22
実際に最も頻繁に使用されるアルゴリズムはどれですか?
ロックされています。この質問とその回答はロックされています。なぜなら、質問はトピックから外れていますが、歴史的に重要だからです。現在、新しい回答やインタラクションを受け入れていません。 どのアルゴリズムが最も頻繁に使用されますか? 回答ごとに1つのアルゴリズムを記述し、回答を短くしてください(1行または2行)。


11
最もよく知られているアルゴリズムが実行時間問題はありますか
ログを分母に持つアルゴリズムを見たことはありませんが、この形式で実際に有用なアルゴリズムがあるかどうか疑問に思っていますか? 実行時にログファクターが増加する原因となる可能性のあるもの(ソートやツリーベースのアルゴリズムなど)を理解していますが、ログファクターで割り切れる原因は何ですか?


7
量子コンピューティング/情報の大学?
どの大学が強力な量子コンピューティングカリキュラムを持ち、ある種の量子コンピューティング/情報コース/研究を提供していますか? ここでの目的は、これらの分野で大学院研究を検討している人にとって有用なリストを収集することであり、どちらが「最良」であるかを議論することではありません。このリストを役立つものにするために、この領域が追求されている大学の部分の簡単な説明(多くの場所で、これは誰にも馴染みのない学際的な研究所にあります)とURLを含めてください。


弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.