パラメータ化された複雑性は複雑性理論の未来になるのでしょうか?


9

私はアルゴリズムと複雑さの理論に取り組む研究者であり、ある程度パラメータ化された複雑さを使用しています。私には、パラメータ化された複雑さの研究者は、研究論文の数に関して非常に活発である(私が他の人がそうでないことを意味するわけではない)ようです。通信の複雑さ、演算の複雑さなどの研究者も、さまざまなパラメータを大幅に使用していることがわかりました。

質問: パラメータ化された複雑性は複雑性理論の未来になるのでしょうか?未来とは、研究論文の数、その分野で働く研究者の数などを意味します。

私は世間知らずで、多くのことに気づいていないかもしれないことに注意してください。


3
本当にあなたの2番目の質問だけがこのサイトに適していると思います。つまり、「量子化されたパラメータ化された複雑さ」に関する作業はありますか?-最初の質問は(a)常に予測が難しい未来を予測することに関するものであり、(b)回答は非常に主観的であるためです。しかし、私はあなたの質問(1)に対する答えは、パラメータ化された複雑さについてではない、アルゴリズムと複雑さに関する多くの活発な研究がまだあると思います。
Joshua Grochow

1
ここでは研究者ではありませんが、パラメータ化された複雑さが、単に...複雑とは異なるものであることを知りませんでした。複雑さが2つの量に依存するとき、人々は正確に何を事前に行いましたか?そのうちの1つを忘れてしまいましたか?
user541686 2018

1
私はパラメーター化された複雑さの大ファンであり、FPTニュースレターが発行されたのと同じ日にこの投稿を見て興奮しました。:)
マイケルウェハー2018

回答:


17

未来を予測することはほぼ不可能です。特に最先端の研究ではそうです。ディープラーニングが現在どの程度の影響を与えているのか、区別がつかない難読化によって暗号が引き継がれるとは誰も予測していません。

とは言っても、これだけ言っておきます。パラメーター化された複雑さを引き継ぐことを期待する特別な理由はありません。20年ほど活躍している成熟したフィールドです。有望な分野として私を本当に襲うことはありません。明確にするために、私はそれが繁栄し続ける成功した分野だと思います。

グーグルのトレンドを見ると、パラメータ化された複雑さに対する検索インタレストは減少しています。(興味がある場合は、他の用語で比較してください。)Downey - Fellowsの教科書Parameterized Complexity更新された教科書を合わせた引用を調べると、かなり安定していることがわかります (出典:Google学者。私は自分のプロファイルに両方の本を追加し、それらを結合し、結合された引用のスクリーンショットを撮り、その後プロファイルからそれらを削除しました。)ここに画像の説明を入力してください

これは適切な数の引用ですが、パラメータ化された複雑さが引き継がれると考えるのは指数関数的な増加ではありません。もちろん、このデータは非常に欠陥がありますが、パラメーター化された複雑さの世界的な人気を私が見つけることができる最良の兆候です。

物事はグローバルに人気がなくても、ローカルで非常に人気があることに注意してください。私が学部生だったとき、私の周りの誰もがそれについて話していたので、カテゴリー理論について学ぶ必要があると思いました。本も買った。それから私は大学院に進み、二度とそれについて聞いたことがありませんでした。本は今日まで未読のままです。おそらく、同じような状況にあります。パラメータ化された複雑さがたくさんある部門にいますが、他の場所に移動すると、話はまったく異なります。


6
そこにあるすべての未読のカテゴリー理論の本へのRIP ...
ギガバイト

3
ちょうど好奇心から:複雑さとアルゴリズムで働いている多くの人々がしばらくの間カテゴリー理論に興味を持っていた場所があったと言っていますか?それとも、これらの人々はプログラミング言語の世界でより多くの人でしたか?(その場合、それは驚くべきことではありません)。カテゴリ理論指向の研究者として、私はこの場所がどこにあり、何に興味があったのかを知りたいと思っています。
ダミアーノ・マッツァ

@DamianoMazza大学院でアルゴリズムと複雑さに夢中になりました。カテゴリー理論への私の暴露は物事のPL /ロジック側でした。私はカテゴリー理論が好きです。それは私の仕事ではあまり出てこなかっただけです。
トーマス

さて、私が言ったように、それはそれほど驚くべきことではありません!(PL /ロジックの人々がカテゴリに興味を持っていることも、アルゴリズムや複雑さでそれらの使用法を見つけたことがないこともありません)。ありがとうございました!
Damiano Mazza 2018

@DamianoMazzaを使用すると、TMの「疑似カテゴリ」を作成して、いくつかの弱い還元可能性によって商を計算できます。次に、カテゴリ理論の構築によって完全性を特徴付ける機能などの素晴らしいものを取得できますが、私がそれを実行したとき、 posetを使用するだけで、まったく同じ結果が得られます。しばらく前にここにこの関係を作ったこの紙があります:このposetの主な理想は「構文クラス」で、これは完全な言語を持ち、数えきれないほど列挙可能です。たぶん、あなたは適切なカテゴリーから得ることができるより多くのマイレージがあるかもしれません、しかし、私はまだ得ていません。
Samuel Schlesinger
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.