فولكر ستراسن

فولكر ستراسن (مواليد 29 أبريل 1936) هو عالم رياضيات ألماني ، وأستاذ فخري في قسم الرياضيات والإحصاء بجامعة كونستانز . ^{[ 1 ]}

حصل على العديد من الجوائز لمساهماته المهمة في تحليل الخوارزميات ، بما في ذلك ميدالية كانتور ، ^{[ 2 ]} وميدالية كونراد تسوزه ، ^{[ 3 ]} وجائزة باريس كانيلاكس عن العمل في اختبار الأعداد الأولية العشوائي ، ^{[ 4 ]} وجائزة كنوت عن "مساهماته الرائدة والمؤثرة في تصميم وتحليل الخوارزميات الفعالة". ^{[ 5 ]}

وُلد ستراسن في 29 أبريل 1936 في دوسلدورف-غيريسهايم . ^{[ 2 ]} بعد دراسة الموسيقى والفلسفة والفيزياء والرياضيات في عدة جامعات ألمانية، ^{[ 2 ]} حصل على درجة الدكتوراه في الرياضيات عام 1962 من جامعة غوتنغن تحت إشراف كونراد جاكوبس . ^{[ 6 ]} ثم شغل منصبًا في قسم الرياضيات، ولاحقًا في قسم الإحصاء بجامعة كاليفورنيا، بيركلي ، حيث أصبح في نهاية المطاف أستاذًا مشاركًا.

في عام 1968، انتقل ستراسن إلى زيورخ مديراً لندوة (لاحقاً معهد) الرياضيات التطبيقية . وبقي في جامعة زيورخ لمدة عشرين عاماً قبل أن ينتقل إلى جامعة كونستانز في عام 1988. ^{[ 2 ]} تقاعد في عام 1998. ^{[ 4 ]}

بدأ ستراسن أبحاثه كعالم في نظرية الاحتمالات بورقته البحثية التي نشرها عام 1964 بعنوان "مبدأ الثبات لقانون اللوغاريتم المتكرر" . وقد حظي قانون ستراسن للوغاريتم المتكرر باقتباسات واسعة، وأدى إلى تقديمه في المؤتمر الدولي للرياضيات في موسكو عام 1966.

في عام 1965، نشر ستراسن بحثاً بعنوان "وجود مقاييس احتمالية ذات هوامش معطاة" . في هذا البحث، استنتج الشروط اللازمة والكافية لكي تكون سلسلة من مقاييس الاحتمالية سلسلة من توزيعات مارتينجال ، أو مارتينجال فرعي، أو مجاميع جزئية لمتغيرات عشوائية مستقلة .

في أطروحته التأهيلية بعنوان " السلوك شبه المؤكد لمجاميع المتغيرات العشوائية المستقلة والمارتينجالات" ، قام ستراسن بتنقيح وتوسيع عمله السابق.

في عام ١٩٦٩، بدأ ستراسن عمله على ابتكار الخوارزميات وحدود التعقيد الأدنى بنشر بحثه " الحذف الغاوسي ليس الأمثل" . في هذا البحث، قدّم ما يُعرف الآن بخوارزمية ستراسن ، وهي خوارزمية لضرب المصفوفات الكبيرة بسرعة تفوق بكثير الحد الزمني البسيط O(n³). في البحث نفسه، قدّم أيضًا خوارزمية سريعة تقاربياً لعكس المصفوفة ، استنادًا إلى طريقة ضرب المصفوفات السريعة. شكّلت هذه النتيجة إنجازًا نظريًا هامًا، وحفّزت المزيد من الأبحاث في مجال ضرب المصفوفات السريع. على الرغم من التحسينات النظرية اللاحقة، لا تزال خوارزمية ستراسن طريقة عملية لضرب المصفوفات الكثيفة ذات الأحجام المتوسطة إلى الكبيرة.

في عام 1971، شارك ستراسن في تأليف ورقة بحثية مع أرنولد شونهاج حول الضرب السريع للأعداد الصحيحة الكبيرة. وظلت خوارزمية شونهاج-ستراسن الأسرع من نوعها لعقود عديدة، ولا تزال تُستخدم في العديد من التطبيقات العملية.

في عام 1973، تعاون هوبر وستراسن في ورقة بحثية بعنوان "اختبارات مينماكس ونظرية نيمان-بيرسون للسعات" ، والتي أصبحت في أعمال هوبر اللاحقة أساسية في مجال الإحصاءات القوية .

في المؤتمر الدولي للرياضيات في فانكوفر عام 1974، قدم ستراسن ورقة بحثية بعنوان " بعض النتائج في نظرية التعقيد الجبري" ، حيث قدم حدودًا دنيا غير خطية للتعقيد الجبري لعدد من المسائل الحسابية الهامة. وواصل هذا النهج في ورقة بحثية أخرى عام 1976 بعنوان " التعقيد الحسابي على الحقول المنتهية" .

في عام 1977، تعاون ستراسن مع روبرت م. سولوفاي في اختبار سولوفاي-ستراسن للأولية ، وهي الطريقة الأولى التي تثبت أنه يمكن إجراء اختبار الأولية في وقت متعدد الحدود عشوائي .

في ورقة بحثية عام 1980 بعنوان " بعض كثيرات الحدود التي يصعب حسابها" ، أظهر ستراسن ويواكيم فون زور جاتين - باستخدام نتائج جوس هاينتز ومالتي سيفكينج - أن بعض كثيرات الحدود أحادية المتغير المثيرة للاهتمام ذات المعاملات النسبية يصعب حسابها.

في عام ١٩٨٣، أثبت والتر باور وستراسن متباينةً تُحدِّد أساسًا تعقيد دالة كسرية واحدة في عددٍ كيفي من المجاهيل من الأسفل، وذلك بتعقيد الدالة مع جميع مشتقاتها من الرتبة الأولى. وقد وسّع هذا الاكتشاف الحدود الدنيا التي طرحها ستراسن في بحثه المنشور عام ١٩٧٤ لتشمل الدوال الكسرية الفردية. ومن بين التطبيقات العديدة، يوجد أيضًا برهانٌ على أن حساب معكوس المصفوفة ليس أصعب بكثير من حساب محدد تلك المصفوفة.

في عام 1990، كتب ستراسن دراسة استقصائية حول نظرية التعقيد الجبري .

في المؤتمر الأوروبي الأول للرياضيات في باريس (1992)، قدم ستراسن عمله حول الطيف التقاربي لمجموعات الخرائط الثنائية الخطية، الموثق في ورقة الجبر والتعقيد .

ساهمت أعمال ستراسن الرائدة في نظرية الاحتمالات ، والتحليل الوظيفي ، والإحصاء الرياضي ، وتصميم الخوارزميات ، ونظرية التعقيد الحسابي .

في عام 1999، مُنح ستراسن ميدالية كانتور ، ^{[ 2 ]} وفي عام 2003، شارك في الحصول على جائزة باريس كانيلاكس مع روبرت سولوفاي ، وغاري ميلر ، ومايكل رابين، وذلك لأبحاثهم في اختبار الأعداد الأولية العشوائي. ^{[ 4 ]} وفي عام 2008، مُنح جائزة كنوت لإسهاماته الرائدة والمؤثرة في تصميم وتحليل الخوارزميات الفعالة. ^{[ 5 ]} وفي عام 2011، فاز بميدالية كونراد تسوزه من جمعية المعلوماتية . ^{[ 3 ] [ 7 ]} كما أصبح ستراسن عضوًا في العديد من الأكاديميات العلمية الألمانية الرائدة، بالإضافة إلى زمالة الجمعية الرياضية الأمريكية.

• الصفحة الرئيسية للدكتور فولكر ستراسن
• وايسستين، إريك دبليو. “صيغ ستراسين” . عالم الرياضيات .صيغ لضرب المصفوفات وعكسها بشكل أسرع.
• أوكونور، جون جيه؛ روبرتسون، إدموند إف ، "فولكر ستراسن" ، أرشيف ماك تيوتور لتاريخ الرياضيات ، جامعة سانت أندروز