ミッケル・ソルプ

ミッケル・ソルプ（1965年生まれ）は、コペンハーゲン大学に勤務するデンマークの コンピュータ科学者です。デンマーク工科大学で学士課程を修了し、 1993年にオックスフォード大学で博士課程を修了しました。 ^[1] 1993年から1998年までコペンハーゲン大学に在籍し、1998年から2013年までニュージャージー州のAT&T研究所に在籍しました。2013年以降はコペンハーゲン大学で教授および効率的アルゴリズムおよびデータ構造センター（EADS）の所長を務めています。^[2]

Thorup の主な研究はアルゴリズムとデータ構造に関するものです。彼の最もよく知られた成果の 1 つは、無向グラフにおける単一ソース最短経路問題に対する線形時間アルゴリズムです (Thorup、1999)。^[3]彼はMihai Pătraşcu とともに、単純な表ハッシュ方式が、最悪の場合でもより高い独立性を持つハッシュ ファミリと同じか類似のパフォーマンス基準を達成し、より高速な実装を可能にすることを示しました。^{[4] [5]}

ソルプ氏はJournal of the ACMのアルゴリズムとデータ構造分野の編集者であり、SIAM Journal on Computing、ACM Transactions on Algorithms、Theory of Computingの編集委員も務めています。アルゴリズムとデータ構造への貢献により、2005年からAssociation for Computing Machineryのフェローを務めています。 ^{[6] 2006年から}デンマーク王立科学文学アカデミー に所属しています。2010年には「AT&Tのインターネットトラフィック分析と音声サービスに適用された高度なハッシュおよびサンプリング技術を含むアルゴリズムの卓越した革新」によりAT&Tフェロー賞を受賞しました。^[7]

2011年、彼はテーブルの上にブロックを積み重ねて、可能な限り最大のオーバーハング、つまりテーブルの端から最も遠い水平距離を達成するという古典的な問題を定数倍以内で解いたことで、アメリカ数学会のデイビッド・P・ロビンズ賞を共同受賞しました。 ^[8]「論文は離散数学における印象的な結果を説明しています。問題は簡単に理解でき、議論は深いにもかかわらず、やる気のある学部生なら誰でも簡単に理解できます。」^[3] 2021年には、エッジ接続のための高速決定論的アルゴリズムに関する河原林健一との共同研究でフルカーソン賞を受賞しました。 ^[9]

Scholia には、Mikkel Thorupの著者プロフィールがあります。

• Thorup, Mikkel (1999)。 「線形時間で正の整数重みを持つ無向単一ソース最短経路」。Journal of the ACM。46 ( 3): 362–394。doi : 10.1145/316542.316548。S2CID  207654795 。FOCS 1997 で発表されました。
• Pătraşcu, Mihai; Thorup, Mikkel (2010). 「近傍問題とさらに詳細な問題に対する下限値の引き上げ」SIAM Journal on Computing . 39 (2): 730–741. doi :10.1137/070684859. S2CID  8324376.暫定版はFOCS 2006、doi :10.1109/FOCS.2006.35に掲載されています。
• Pătraşcu, Mihai ; Thorup , Mikkel (2011). 「単純なタブ化ハッシュの威力」。第 43 回 ACM コンピューティング理論シンポジウム (STOC '11) の議事録。pp. 1–10。arXiv : 1011.5200。doi : 10.1145 /1993636.1993638 。。
• Paterson, Mike ; Peres, Yuval; Thorup, Mikkel; Winkler, Peter; Zwick, Uri (2009). 「最大オーバーハング」.アメリカ数学月刊誌. 116 (9): 763–787. arXiv : 0707.0093 . doi :10.4169/000298909x474855. S2CID  1713091.2011年MAAロビンズ賞。